Question

Example of a ring where Hilbert's tenth problem is creative

score 74 · Answer 1 · 2026-04-11 19:15:49

74

Views

Example of a ring where Hilbert's tenth problem is creative

Published on 11 Apr 2026 - 19:15

score 152 · Answer 2 · 2026-05-10 16:59:03

152

Views

How many variables do you need to be complete for $\Sigma^0_n$?

Published on 10 May 2026 - 16:59

score 123 · Answer 3 · 2026-04-13 01:08:29

123

Views

Turing jump cofinal sets

Published on 13 Apr 2026 - 1:08

score 143 · Answer 4 · 2026-04-29 12:44:23

143

Views

Computable but Nonexistent Set

Published on 29 Apr 2026 - 12:44

score 86 · Answer 5 · 2026-05-10 16:58:22

86

Views

Turing's argument that computable sequences are enumerable

Published on 10 May 2026 - 16:58

score 149 · Answer 6 · 2026-04-15 04:09:33

149

Views

Non repeating complete list of partial recursive functions

Published on 15 Apr 2026 - 4:09

score 214 · Answer 7 · 2026-04-16 14:37:28

Can any computable real number be represented as the sum of some integer plus some rational number times some other computable real number?

score 62 · Answer 8 · 2026-04-08 12:41:36

62

Views

Diagonalization argument for indecidability of consistent theories

Published on 08 Apr 2026 - 12:41

score 668 · Answer 9 · 2026-04-13 07:34:52

668

Views

Why is the set of all tautologies in propositional logic recursively enumerable?

Published on 13 Apr 2026 - 7:34

score 401 · Answer 10 · 2026-04-15 13:22:29

401

Views

Are all computing languages restricted to primitive recursive functions capable of modeling each other?

Published on 15 Apr 2026 - 13:22

score 265 · Answer 11 · 2026-04-10 10:34:35

265

Views

What are the applications of primitive recursive functions?

Published on 10 Apr 2026 - 10:34

score 132 · Answer 12 · 2026-04-10 20:52:59

132

Views

Pairing function that is linear in one of its arguments

Published on 10 Apr 2026 - 20:52

score 137 · Answer 13 · 2026-04-14 20:29:53

137

Views

Prove the inverse of a 1-1 1-place partial recursive function is partial recursive.

Published on 14 Apr 2026 - 20:29

score 556 · Answer 14 · 2026-04-14 22:46:12

556

Views

Computably enumerable set is finite iff every computably enumerable subset is computable

Published on 14 Apr 2026 - 22:46

score 296 · Answer 15 · 2026-04-09 23:54:34

296

Views

Induction on complexity, upside down?

Published on 09 Apr 2026 - 23:54

List Question

Example of a ring where Hilbert's tenth problem is creative

How many variables do you need to be complete for $\Sigma^0_n$?

Turing jump cofinal sets

Computable but Nonexistent Set

Turing's argument that computable sequences are enumerable

Non repeating complete list of partial recursive functions

Can any computable real number be represented as the sum of some integer plus some rational number times some other computable real number?

Diagonalization argument for indecidability of consistent theories

Why is the set of all tautologies in propositional logic recursively enumerable?

Are all computing languages restricted to primitive recursive functions capable of modeling each other?

What are the applications of primitive recursive functions?

Pairing function that is linear in one of its arguments

Prove the inverse of a 1-1 1-place partial recursive function is partial recursive.

Computably enumerable set is finite iff every computably enumerable subset is computable

Induction on complexity, upside down?

Trending Questions

Popular # Hahtags

Popular Questions