Question

Computability of "isomorphism existence" between special cubic number fields

score 59 · Answer 1 · 2011-11-30 21:46:03

59

Views

Computability of "isomorphism existence" between special cubic number fields

Published on 30 Nov 2011 - 21:46

score 659 · Answer 2 · 2011-12-07 21:29:55

659

Views

Are there any R-complete problems?

Published on 07 Dec 2011 - 21:29

score 174 · Answer 3 · 2011-12-07 22:45:25

174

Views

The set of arithmetical numbers

Published on 07 Dec 2011 - 22:45

score 274 · Answer 4 · 2011-12-09 22:17:51

274

Views

Partial recursive functions as products of sets of total recursive functions?

Published on 09 Dec 2011 - 22:17

score 789 · Answer 5 · 2011-12-10 18:55:29

789

Views

Definition of a computable (or recursive) set

Published on 10 Dec 2011 - 18:55

score 663 · Answer 6 · 2026-03-26 06:31:09

663

Views

Irrationality measure of the Chaitin's constant $\Omega$

Published on 26 Mar 2026 - 6:31

score 1.3k · Answer 7 · 2011-12-26 04:40:21

1.3k

Views

Is a semirecursive (recursively semidecidable) set enumerable?

Published on 26 Dec 2011 - 4:40

score 431 · Answer 8 · 2026-03-28 02:03:12

431

Views

Is Turing completeness monotone with respect to Cook reductions?

Published on 28 Mar 2026 - 2:03

score 91 · Answer 9 · 2012-01-05 18:55:58

91

Views

What would an "algebraic axiomatization of the partial recursive functions" be?

Published on 05 Jan 2012 - 18:55

score 278 · Answer 10 · 2026-03-27 19:44:34

Is there constructive proof of the fact that every recursive set $A \ne \varnothing$ is recursively enumerable in non-decreasing order?

score 119 · Answer 11 · 2012-01-11 17:46:36

119

Views

Composition of a system with desired properties

Published on 11 Jan 2012 - 17:46

score 628 · Answer 12 · 2026-03-29 01:33:49

628

Views

Finding General Expression from recursion

Published on 29 Mar 2026 - 1:33

score 2.2k · Answer 13 · 2012-01-18 18:44:13

2.2k

Views

Is the Collatz conjecture in $\Sigma_1 / \Pi_1$?

Published on 18 Jan 2012 - 18:44

score 1.9k · Answer 14 · 2012-01-21 18:11:17

1.9k

Views

Example of a number that is not the limit of a computable sequence

Published on 21 Jan 2012 - 18:11

score 313 · Answer 15 · 2012-01-24 14:09:38

313

Views

Constructing a TM from a grammatically computable function

Published on 24 Jan 2012 - 14:09

List Question

Computability of "isomorphism existence" between special cubic number fields

Are there any R-complete problems?

The set of arithmetical numbers

Partial recursive functions as products of sets of total recursive functions?

Definition of a computable (or recursive) set

Irrationality measure of the Chaitin's constant $\Omega$

Is a semirecursive (recursively semidecidable) set enumerable?

Is Turing completeness monotone with respect to Cook reductions?

What would an "algebraic axiomatization of the partial recursive functions" be?

Is there constructive proof of the fact that every recursive set $A \ne \varnothing$ is recursively enumerable in non-decreasing order?

Composition of a system with desired properties

Finding General Expression from recursion

Is the Collatz conjecture in $\Sigma_1 / \Pi_1$?

Example of a number that is not the limit of a computable sequence

Constructing a TM from a grammatically computable function

Trending Questions

Popular # Hahtags

Popular Questions