List questions from decidability

Published on 23 Feb 2026 - 8:31

130

Views

Show that the decidability of a statement is undecidable.

Published on 23 Feb 2026 - 8:31

188

Views

Proving Parallel Postulate by showing that it is undecidable

Published on 23 Feb 2026 - 8:30

228

Views

Is Halting problem an example of a problem which is true but unprovable?

Published on 23 Feb 2026 - 8:31

193

Views

Does the existence of Gödel universal functions make the S-m-n theorem unnecessary?

Published on 23 Feb 2026 - 8:33

169

Views

The set of elements that are members of this set?

Published on 23 Feb 2026 - 8:33

269

Views

Rice theorem and trivial properties for decidability proof

Published on 23 Feb 2026 - 8:31

91

Views

Necessity of decidable type checking for formalizing mathematics

Published on 23 Feb 2026 - 8:31

47

Views

Is there any example of a property which is true but undecidable?

Published on 23 Feb 2026 - 8:32

112

Views

Why is the blank-tape halting problem $H_0$ so relevant in literature?

Published on 23 Feb 2026 - 8:32

248

Views

“Natural” example of an undecidable subset of $\Bbb N$

Published on 23 Feb 2026 - 8:32

400

Views

Prove that $L=\big\{\langle G\rangle \mid G\text{ is a CFG over }\Sigma=\{0,1\}\text{ and }1^* \cap L(G)\ne\varnothing\big\}$ is decidable.

Published on 23 Feb 2026 - 8:34

56

Views

Prove decidability or undecidability of a language accepted by a turing machine.

Published on 23 Feb 2026 - 8:32

80

Views

Separation axiom implied by semidecidability of comparison

Published on 23 Feb 2026 - 8:31

565

Views

Is Hilbert's tenth problem decidable for degree $2$?

Published on 23 Feb 2026 - 8:30

List Question

Proving a statement is true by proving it is undecidable.

Show that the decidability of a statement is undecidable.

Proving Parallel Postulate by showing that it is undecidable

Is Halting problem an example of a problem which is true but unprovable?

Does the existence of Gödel universal functions make the S-m-n theorem unnecessary?

The set of elements that are members of this set?

Rice theorem and trivial properties for decidability proof

Necessity of decidable type checking for formalizing mathematics

Is there any example of a property which is true but undecidable?

Why is the blank-tape halting problem $H_0$ so relevant in literature?

“Natural” example of an undecidable subset of $\Bbb N$

Prove that $L=\big\{\langle G\rangle \mid G\text{ is a CFG over }\Sigma=\{0,1\}\text{ and }1^* \cap L(G)\ne\varnothing\big\}$ is decidable.

Prove decidability or undecidability of a language accepted by a turing machine.

Separation axiom implied by semidecidability of comparison

Is Hilbert's tenth problem decidable for degree $2$?

Trending Questions

Popular # Hahtags

Popular Questions