Question

Primitive recursive function, constructing a proof

score 143 · Answer 1 · 2016-06-19 15:37:10

143

Views

Primitive recursive function, constructing a proof

Published on 19 Jun 2016 - 15:37

score 91 · Answer 2 · 2016-06-20 18:40:52

91

Views

Does the recursion theorem give practical means of constructing the indices mentioned in it?

Published on 20 Jun 2016 - 18:40

score 449 · Answer 3 · 2016-06-21 09:45:23

449

Views

Asymptotic bound to all computable functions lower than the Busy Beaver function

Published on 21 Jun 2016 - 9:45

score 303 · Answer 4 · 2026-03-26 17:31:21

303

Views

Online Encyclopedia of continuous and/or computable real valued functions?

Published on 26 Mar 2026 - 17:31

score 111 · Answer 5 · 2016-07-04 12:51:41

111

Views

Existence of a injective and recursive(but not primitve recursive) fucntion that has a primitve recursive inverse.

Published on 04 Jul 2016 - 12:51

score 1.6k · Answer 6 · 2026-03-28 04:42:49

1.6k

Views

What are $\Sigma _n^i$, $\Pi _n^i$ and $\Delta _n^i$?

Published on 28 Mar 2026 - 4:42

score 139 · Answer 7 · 2013-04-01 20:53:58

139

Views

Which diophantine polynomials generate these diophantine sets?

Published on 01 Apr 2013 - 20:53

score 140 · Answer 8 · 2013-04-04 20:32:32

140

Views

Proving Decidable Language

Published on 04 Apr 2013 - 20:32

score 249 · Answer 9 · 2013-04-05 01:45:43

249

Views

simple sets, cofinite sets, filters

Published on 05 Apr 2013 - 1:45

score 232 · Answer 10 · 2013-04-05 19:10:37

232

Views

The Permitting Method

Published on 05 Apr 2013 - 19:10

score 104 · Answer 11 · 2013-04-06 02:36:52

104

Views

a finite algorithm mapping from $\omega \times \omega$ to $\omega$ possible?

Published on 06 Apr 2013 - 2:36

score 1.2k · Answer 12 · 2013-04-10 00:17:07

1.2k

Views

Post Correspondence Problem for alphabets of size two

Published on 10 Apr 2013 - 0:17

score 128 · Answer 13 · 2013-04-10 20:21:28

128

Views

Binary expansion and correspondence of finite strings

Published on 10 Apr 2013 - 20:21

score 972 · Answer 14 · 2013-04-10 20:48:06

972

Views

delta-zero formula and power of 2

Published on 10 Apr 2013 - 20:48

score 175 · Answer 15 · 2013-04-12 17:32:47

175

Views

A question on non-standard ordinals in $\alpha-$recursion

Published on 12 Apr 2013 - 17:32

List Question

Primitive recursive function, constructing a proof

Does the recursion theorem give practical means of constructing the indices mentioned in it?

Asymptotic bound to all computable functions lower than the Busy Beaver function

Online Encyclopedia of continuous and/or computable real valued functions?

Existence of a injective and recursive(but not primitve recursive) fucntion that has a primitve recursive inverse.

What are $\Sigma _n^i$, $\Pi _n^i$ and $\Delta _n^i$?

Which diophantine polynomials generate these diophantine sets?

Proving Decidable Language

simple sets, cofinite sets, filters

The Permitting Method

a finite algorithm mapping from $\omega \times \omega$ to $\omega$ possible?

Post Correspondence Problem for alphabets of size two

Binary expansion and correspondence of finite strings

delta-zero formula and power of 2

A question on non-standard ordinals in $\alpha-$recursion

Trending Questions

Popular # Hahtags

Popular Questions