Question

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

score 71 · Answer 1 · 2018-08-12 08:48:03

71

Views

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

Published on 12 Aug 2018 - 8:48

score 149 · Answer 2 · 2026-03-25 12:15:16

149

Views

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

Published on 25 Mar 2026 - 12:15

score 119 · Answer 3 · 2018-08-24 16:14:55

119

Views

Turing jump cofinal sets

Published on 24 Aug 2018 - 16:14

score 135 · Answer 4 · 2026-03-23 11:14:48

135

Views

Computable but Nonexistent Set

Published on 23 Mar 2026 - 11:14

score 84 · Answer 5 · 2026-03-25 12:13:53

84

Views

Turing's argument that computable sequences are enumerable

Published on 25 Mar 2026 - 12:13

score 146 · Answer 6 · 2018-08-30 09:34:04

146

Views

Non repeating complete list of partial recursive functions

Published on 30 Aug 2018 - 9:34

score 211 · Answer 7 · 2018-08-30 13:30:07

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

score 60 · Answer 8 · 2018-09-02 16:27:46

60

Views

Diagonalization argument for indecidability of consistent theories

Published on 02 Sep 2018 - 16:27

score 665 · Answer 9 · 2026-02-23 01:22:38

665

Views

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

Published on 23 Feb 2026 - 1:22

score 398 · Answer 10 · 2018-09-07 19:30:34

398

Views

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

Published on 07 Sep 2018 - 19:30

score 262 · Answer 11 · 2018-09-08 17:42:18

262

Views

What are the applications of primitive recursive functions?

Published on 08 Sep 2018 - 17:42

score 129 · Answer 12 · 2018-09-11 20:11:38

129

Views

Pairing function that is linear in one of its arguments

Published on 11 Sep 2018 - 20:11

score 134 · Answer 13 · 2018-09-11 20:42:23

134

Views

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

Published on 11 Sep 2018 - 20:42

score 553 · Answer 14 · 2018-09-13 21:41:30

553

Views

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

Published on 13 Sep 2018 - 21:41

score 294 · Answer 15 · 2026-03-25 07:38:20

294

Views

Induction on complexity, upside down?

Published on 25 Mar 2026 - 7:38

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