Question

Proving a statement is true by proving it is undecidable.

score 746 · Answer 1 · 2020-04-29 14:55:32

746

Views

Proving a statement is true by proving it is undecidable.

Published on 29 Apr 2020 - 14:55

score 129 · Answer 2 · 2020-04-29 22:34:24

129

Views

Show that the decidability of a statement is undecidable.

Published on 29 Apr 2020 - 22:34

score 187 · Answer 3 · 2020-04-30 15:51:28

187

Views

Proving Parallel Postulate by showing that it is undecidable

Published on 30 Apr 2020 - 15:51

score 227 · Answer 4 · 2020-05-05 22:19:56

227

Views

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

Published on 05 May 2020 - 22:19

score 192 · Answer 5 · 2020-05-27 02:39:47

192

Views

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

Published on 27 May 2020 - 2:39

score 168 · Answer 6 · 2020-05-29 02:29:48

168

Views

The set of elements that are members of this set?

Published on 29 May 2020 - 2:29

score 268 · Answer 7 · 2020-05-30 13:06:52

268

Views

Rice theorem and trivial properties for decidability proof

Published on 30 May 2020 - 13:06

score 90 · Answer 8 · 2020-06-01 12:13:05

90

Views

Necessity of decidable type checking for formalizing mathematics

Published on 01 Jun 2020 - 12:13

score 46 · Answer 9 · 2020-06-08 09:11:08

46

Views

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

Published on 08 Jun 2020 - 9:11

score 111 · Answer 10 · 2020-06-16 12:13:07

111

Views

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

Published on 16 Jun 2020 - 12:13

score 247 · Answer 11 · 2020-06-30 18:37:52

247

Views

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

Published on 30 Jun 2020 - 18:37

score 399 · Answer 12 · 2020-07-05 07:10:49

399

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 05 Jul 2020 - 7:10

score 55 · Answer 13 · 2020-07-08 14:41:25

55

Views

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

Published on 08 Jul 2020 - 14:41

score 79 · Answer 14 · 2020-07-16 22:36:06

79

Views

Separation axiom implied by semidecidability of comparison

Published on 16 Jul 2020 - 22:36

score 564 · Answer 15 · 2020-07-24 11:44:21

564

Views

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

Published on 24 Jul 2020 - 11:44

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