Question

Proving if $g(n)=\left\{\begin{smallmatrix}5n-1&n\text{ is odd}\\n/4\ &\ n\text{ is even}\end{smallmatrix}\right.$ is primitive recursive

score 49 · Answer 1 · 2022-10-13 04:56:11

49

Views

Proving if $g(n)=\left\{\begin{smallmatrix}5n-1&n\text{ is odd}\\n/4\ &\ n\text{ is even}\end{smallmatrix}\right.$ is primitive recursive

Published on 13 Oct 2022 - 4:56

score 74 · Answer 2 · 2022-10-13 15:36:00

74

Views

Is the function $h$ defined by measuring the number of steps the Collatz conjecture partial recursive?

Published on 13 Oct 2022 - 15:36

score 81 · Answer 3 · 2022-10-14 18:41:23

81

Views

Surjective total computable functions are not r.e

Published on 14 Oct 2022 - 18:41

score 85 · Answer 4 · 2026-03-29 22:28:48

85

Views

Computable partitions of the $\omega$-dimensional vector space over the field $\{0,1\}$

Published on 29 Mar 2026 - 22:28

score 253 · Answer 5 · 2022-10-20 22:19:42

253

Views

If Rayo number construction is not limited to first order set theory, will we be able to build much larger Rayo number?

Published on 20 Oct 2022 - 22:19

score 96 · Answer 6 · 2026-02-24 06:45:19

96

Views

Is the decision problem of compiling a program decidable?

Published on 24 Feb 2026 - 6:45

score 46 · Answer 7 · 2022-10-21 18:10:29

46

Views

How to prove that a set is recursively enumerable?

Published on 21 Oct 2022 - 18:10

score 144 · Answer 8 · 2022-10-21 20:05:34

144

Views

Example of a partial computable function that cannot be extended to a total computable function

Published on 21 Oct 2022 - 20:05

score 35 · Answer 9 · 2026-04-03 04:16:29

35

Views

Finding an infinite regular language from the difference of two non-regular languages.

Published on 03 Apr 2026 - 4:16

score 56 · Answer 10 · 2022-10-23 00:24:01

56

Views

Is the Fixed Point Theorem Extensional?

Published on 23 Oct 2022 - 0:24

score 167 · Answer 11 · 2022-10-24 14:17:48

167

Views

Generating an uncomputable number by throwing dice

Published on 24 Oct 2022 - 14:17

score 43 · Answer 12 · 2022-10-29 22:02:08

43

Views

Classifying the following set in the arithmetical hierarchy?

Published on 29 Oct 2022 - 22:02

score 102 · Answer 13 · 2022-10-31 05:00:08

102

Views

What are the best upper and lower bounds you can prove for the final crossover point between some popular fast-growing functions?

Published on 31 Oct 2022 - 5:00

score 47 · Answer 14 · 2026-02-24 06:48:34

47

Views

Is the converse of Hilberts 10th problem decidable?

Published on 24 Feb 2026 - 6:48

score 69 · Answer 15 · 2026-03-30 09:47:29

69

Views

How can there be non-computably enumerable sets in a computably enumerable degree?

Published on 30 Mar 2026 - 9:47

List Question

Proving if $g(n)=\left\{\begin{smallmatrix}5n-1&n\text{ is odd}\\n/4\ &\ n\text{ is even}\end{smallmatrix}\right.$ is primitive recursive

Is the function $h$ defined by measuring the number of steps the Collatz conjecture partial recursive?

Surjective total computable functions are not r.e

Computable partitions of the $\omega$-dimensional vector space over the field $\{0,1\}$

If Rayo number construction is not limited to first order set theory, will we be able to build much larger Rayo number?

Is the decision problem of compiling a program decidable?

How to prove that a set is recursively enumerable?

Example of a partial computable function that cannot be extended to a total computable function

Finding an infinite regular language from the difference of two non-regular languages.

Is the Fixed Point Theorem Extensional?

Generating an uncomputable number by throwing dice

Classifying the following set in the arithmetical hierarchy?

What are the best upper and lower bounds you can prove for the final crossover point between some popular fast-growing functions?

Is the converse of Hilberts 10th problem decidable?

How can there be non-computably enumerable sets in a computably enumerable degree?

Trending Questions

Popular # Hahtags

Popular Questions