Question

Example of a primitive recursive function whose range is properly general recursive

score 40 · Answer 1 · 2024-02-29 01:14:22

40

Views

Example of a primitive recursive function whose range is properly general recursive

Published on 29 Feb 2024 - 1:14

score 79 · Answer 2 · 2024-03-05 16:39:59

79

Views

Is being able to decide which program stop first equivalent to the halting problem?

Published on 05 Mar 2024 - 16:39

score 43 · Answer 3 · 2024-03-09 02:32:52

43

Views

Why do we have a constant function as part of primitive recursive functions?

Published on 09 Mar 2024 - 2:32

score 54 · Answer 4 · 2026-03-27 08:41:58

54

Views

Understanding the proof of the uncomputability of the "productivity function"

Published on 27 Mar 2026 - 8:41

score 69 · Answer 5 · 2024-03-12 19:37:05

69

Views

Showing that $\Sigma_1$ does not have the separation property

Published on 12 Mar 2024 - 19:37

score 57 · Answer 6 · 2024-03-17 20:58:09

57

Views

Difference between $\simeq$ and $=$ in recursion theory

Published on 17 Mar 2024 - 20:58

score 86 · Answer 7 · 2024-03-18 14:00:09

86

Views

Uniform versions of theorems

Published on 18 Mar 2024 - 14:00

score 125 · Answer 8 · 2024-03-20 01:36:24

125

Views

Is my interpretation of this notation correct ? (G.E. Sacks book)

Published on 20 Mar 2024 - 1:36

score 71 · Answer 9 · 2026-02-23 15:28:02

71

Views

Deciding a circle rotation reachability problem?

Published on 23 Feb 2026 - 15:28

score 82 · Answer 10 · 2026-03-25 23:38:34

82

Views

Proof that $x \in O \wedge y \in H_x$ is $\Pi_1^1$

Published on 25 Mar 2026 - 23:38

score 42 · Answer 11 · 2024-03-25 12:32:02

42

Views

Kreisel's proof that for every $\Pi^1_1$ closed set $F$, its perfect kernel $F_p$ is $\Sigma_2^1$

Published on 25 Mar 2024 - 12:32

score 119 · Answer 12 · 2024-03-26 16:16:19

119

Views

When asserting that a Turing machine exists, how do you know you can find it?

Published on 26 Mar 2024 - 16:16

score 32 · Answer 13 · 2024-03-27 05:38:57

32

Views

Showing the weakness of the least modulus on a delta 2 approximation

Published on 27 Mar 2024 - 5:38

score 34 · Answer 14 · 2024-03-30 13:02:44

34

Views

What does it mean for a set to be a member of $\aleph$?

Published on 30 Mar 2024 - 13:02

score 66 · Answer 15 · 2015-01-07 17:03:35

66

Views

Computability of determining whether an expression equals zero

Published on 07 Jan 2015 - 17:03

List Question

Example of a primitive recursive function whose range is properly general recursive

Is being able to decide which program stop first equivalent to the halting problem?

Why do we have a constant function as part of primitive recursive functions?

Understanding the proof of the uncomputability of the "productivity function"

Showing that $\Sigma_1$ does not have the separation property

Difference between $\simeq$ and $=$ in recursion theory

Uniform versions of theorems

Is my interpretation of this notation correct ? (G.E. Sacks book)

Deciding a circle rotation reachability problem?

Proof that $x \in O \wedge y \in H_x$ is $\Pi_1^1$

Kreisel's proof that for every $\Pi^1_1$ closed set $F$, its perfect kernel $F_p$ is $\Sigma_2^1$

When asserting that a Turing machine exists, how do you know you can find it?

Showing the weakness of the least modulus on a delta 2 approximation

What does it mean for a set to be a member of $\aleph$?

Computability of determining whether an expression equals zero

Trending Questions

Popular # Hahtags

Popular Questions