Question

Determining whether a language $L_{a}$ is recursively enumerable.

score 444 · Answer 1 · 2026-03-29 19:51:25

444

Views

Determining whether a language $L_{a}$ is recursively enumerable.

Published on 29 Mar 2026 - 19:51

score 97 · Answer 2 · 2021-03-26 11:44:28

97

Views

Are all computable functions fixed-point computable?

Published on 26 Mar 2021 - 11:44

score 55 · Answer 3 · 2026-03-29 03:45:17

55

Views

Complexity of true $\Pi_1$-sentences

Published on 29 Mar 2026 - 3:45

score 248 · Answer 4 · 2026-03-26 20:39:32

248

Views

Can a proposition be false and its negation be false in Intuitionistic logic?

Published on 26 Mar 2026 - 20:39

score 242 · Answer 5 · 2021-03-31 13:19:21

242

Views

Understanding the Entscheidungsproblem

Published on 31 Mar 2021 - 13:19

score 232 · Answer 6 · 2026-03-29 19:51:20

232

Views

Why does the unsolvabililty of the Halting Problem imply the unsolvability of the Entscheidungsproblem?

Published on 29 Mar 2026 - 19:51

score 118 · Answer 7 · 2021-04-03 05:40:41

With $f_i$ as enumeration of single-place primitive recursive functions, show that $F(n,m) = f_n(m)$ is not primitive recursive via diagonal argument

score 156 · Answer 8 · 2026-04-04 23:23:07

156

Views

Show that a set is one reducible to another given its m-reducible

Published on 04 Apr 2026 - 23:23

score 122 · Answer 9 · 2026-03-29 19:49:50

122

Views

Can we avoid some uses of Church-Turing Thesis, by building "interpreters"?

Published on 29 Mar 2026 - 19:49

score 223 · Answer 10 · 2021-04-09 23:58:05

223

Views

Show that the range of a monotone recursive function is a recursive set

Published on 09 Apr 2021 - 23:58

score 72 · Answer 11 · 2021-04-11 16:28:40

72

Views

Computablility of a real number

Published on 11 Apr 2021 - 16:28

score 546 · Answer 12 · 2021-04-12 00:31:27

546

Views

Are there computable reals that are not Dedekind-computable?

Published on 12 Apr 2021 - 0:31

score 176 · Answer 13 · 2021-04-14 00:18:00

176

Views

If $x$ and $y\in\mathbb R$ are computable, is $x+y$ computable?

Published on 14 Apr 2021 - 0:18

score 323 · Answer 14 · 2026-02-23 12:00:23

323

Views

Is Rule 30 Turing complete?

Published on 23 Feb 2026 - 12:00

score 179 · Answer 15 · 2021-04-18 20:10:42

179

Views

How complicated can infinitary satisfiability problems be?

Published on 18 Apr 2021 - 20:10

List Question

Determining whether a language $L_{a}$ is recursively enumerable.

Are all computable functions fixed-point computable?

Complexity of true $\Pi_1$-sentences

Can a proposition be false and its negation be false in Intuitionistic logic?

Understanding the Entscheidungsproblem

Why does the unsolvabililty of the Halting Problem imply the unsolvability of the Entscheidungsproblem?

With $f_i$ as enumeration of single-place primitive recursive functions, show that $F(n,m) = f_n(m)$ is not primitive recursive via diagonal argument

Show that a set is one reducible to another given its m-reducible

Can we avoid some uses of Church-Turing Thesis, by building "interpreters"?

Show that the range of a monotone recursive function is a recursive set

Computablility of a real number

Are there computable reals that are not Dedekind-computable?

If $x$ and $y\in\mathbb R$ are computable, is $x+y$ computable?

Is Rule 30 Turing complete?

How complicated can infinitary satisfiability problems be?

Trending Questions

Popular # Hahtags

Popular Questions