List questions from computability

Published on 25 Mar 2026 - 14:18

2.5k

Views

Halting problem on finite set of programs

Published on 10 Aug 2012 - 23:13

1.3k

Views

For a Turing machine and input $w$- Is "Does M stop or visit the same configuration twice" a decidable question?

Published on 11 Aug 2012 - 19:21

303

Views

For a Turing machine $M$ can we decide whether there's an input which at $M(x)$ never moves left?

Published on 12 Aug 2012 - 9:47

488

Views

Recursively enumerable set? Any hints?

Published on 13 Aug 2012 - 4:16

483

Views

Computable function and decidable sets: For a computable $g$ and decidable set $A$ , Does $g(A), g^{-1}(A)$ necessarily decidable?

Published on 13 Aug 2012 - 7:07

494

Views

The emptiness problem for "lunatic" and "crazy" Turing machines

Published on 13 Aug 2012 - 12:33

433

Views

A qualitative, yet precise statement of Godel's incompleteness theorem?

Published on 28 Mar 2026 - 14:27

837

Views

Show $f$ is primitive recursive, where $f(n) = 1$ if the decimal expansion of $\pi$ contains $n$ consecutive $5$'s

Published on 16 Aug 2012 - 15:15

153

Views

On the Decision Problem for Two-variable First-Order Logic

Published on 18 Aug 2012 - 11:57

302

Views

Total function and termination

Published on 22 Aug 2012 - 2:01

758

Views

Primitive recursive functions and mutual recursion

Published on 23 Aug 2012 - 3:20

790

Views

What does the concept of computation actually mean?

Published on 29 Aug 2012 - 6:11

489

Views

How does Borelness overlap with definability, computability, or constructiveness?

Published on 29 Mar 2026 - 11:42

367

Views

Showing a set of true sentences is recursive

Published on 10 Sep 2012 - 16:05

List Question

Solovay Randomness

Halting problem on finite set of programs

For a Turing machine and input $w$- Is "Does M stop or visit the same configuration twice" a decidable question?

For a Turing machine $M$ can we decide whether there's an input which at $M(x)$ never moves left?

Recursively enumerable set? Any hints?

Computable function and decidable sets: For a computable $g$ and decidable set $A$ , Does $g(A), g^{-1}(A)$ necessarily decidable?

The emptiness problem for "lunatic" and "crazy" Turing machines

A qualitative, yet precise statement of Godel's incompleteness theorem?

Show $f$ is primitive recursive, where $f(n) = 1$ if the decimal expansion of $\pi$ contains $n$ consecutive $5$'s

On the Decision Problem for Two-variable First-Order Logic

Total function and termination

Primitive recursive functions and mutual recursion

What does the concept of computation actually mean?

How does Borelness overlap with definability, computability, or constructiveness?

Showing a set of true sentences is recursive

Trending Questions

Popular # Hahtags

Popular Questions