Question

Prove the decidability of an enumerable set. A and B are enumerable, C is decidable.

score 132 · Answer 1 · 2020-09-23 12:42:24

132

Views

Prove the decidability of an enumerable set. A and B are enumerable, C is decidable.

Published on 23 Sep 2020 - 12:42

score 129 · Answer 2 · 2020-09-23 14:03:10

129

Views

Prove decidability. Sets A and B. B is finite (have inite number of elements), A is undecidable. Can $A$ $cup$ $B$ be decidable?

Published on 23 Sep 2020 - 14:03

score 199 · Answer 3 · 2020-10-04 02:03:06

199

Views

Open problems in the first order theory of the real numbers

Published on 04 Oct 2020 - 2:03

score 555 · Answer 4 · 2020-10-17 00:51:28

555

Views

Boolos’s proof of Gödel’s first incompleteness theorem. What am I getting wrong?

Published on 17 Oct 2020 - 0:51

score 157 · Answer 5 · 2020-10-24 05:05:44

157

Views

Has Any Currently Open Problem in Mathematics Definitively Been Shown to be Decidable?

Published on 24 Oct 2020 - 5:05

score 225 · Answer 6 · 2020-10-26 07:39:09

225

Views

Show that the following language is decidable

Published on 26 Oct 2020 - 7:39

score 41 · Answer 7 · 2020-10-26 07:58:49

41

Views

$\mathsf{DSPACE}(n) \subsetneq \mathbb{E}$: there is a decidable language no LBA can handle..

Published on 26 Oct 2020 - 7:58

score 92 · Answer 8 · 2020-10-27 07:52:36

92

Views

Show that $G_{u,v}$ is not decidable and not recognizable (nor is its complement)

Published on 27 Oct 2020 - 7:52

score 103 · Answer 9 · 2020-10-29 10:52:18

103

Views

Boolos’s proof of the first incompleteness theorem. Predicate $C(x,y)$ and assumption of completeness.

Published on 29 Oct 2020 - 10:52

score 1k · Answer 10 · 2020-11-04 17:52:17

1k

Views

show this language is undecidable

Published on 04 Nov 2020 - 17:52

score 192 · Answer 11 · 2026-02-23 13:33:46

192

Views

Best approach for Undecidability proof

Published on 23 Feb 2026 - 13:33

score 311 · Answer 12 · 2020-11-26 17:16:06

311

Views

Show that this language is undecidable

Published on 26 Nov 2020 - 17:16

score 510 · Answer 13 · 2020-11-26 18:44:45

510

Views

Show that the following language is decidable by finding the algorithm for the finite automaton

Published on 26 Nov 2020 - 18:44

score 212 · Answer 14 · 2020-11-26 21:39:34

212

Views

NP, NP-complete and Reducibility

Published on 26 Nov 2020 - 21:39

score 166 · Answer 15 · 2020-11-27 19:56:00

166

Views

How to show that this language is decidable

Published on 27 Nov 2020 - 19:56

List Question

Prove the decidability of an enumerable set. A and B are enumerable, C is decidable.

Prove decidability. Sets A and B. B is finite (have inite number of elements), A is undecidable. Can $A$ $cup$ $B$ be decidable?

Open problems in the first order theory of the real numbers

Boolos’s proof of Gödel’s first incompleteness theorem. What am I getting wrong?

Has Any Currently Open Problem in Mathematics Definitively Been Shown to be Decidable?

Show that the following language is decidable

$\mathsf{DSPACE}(n) \subsetneq \mathbb{E}$: there is a decidable language no LBA can handle..

Show that $G_{u,v}$ is not decidable and not recognizable (nor is its complement)

Boolos’s proof of the first incompleteness theorem. Predicate $C(x,y)$ and assumption of completeness.

show this language is undecidable

Best approach for Undecidability proof

Show that this language is undecidable

Show that the following language is decidable by finding the algorithm for the finite automaton

NP, NP-complete and Reducibility

How to show that this language is decidable

Trending Questions

Popular # Hahtags

Popular Questions