Question

Is $f$ primitive recursive in $g$ if $f$ does not eventually dominate $g$?

score 41 · Answer 1 · 2023-08-09 13:58:02

41

Views

Is $f$ primitive recursive in $g$ if $f$ does not eventually dominate $g$?

Published on 09 Aug 2023 - 13:58

score 91 · Answer 2 · 2026-03-27 00:04:35

91

Views

Is the function sending a sentence to the diagonal of a sentence form extended over it, computable?

Published on 27 Mar 2026 - 0:04

score 60 · Answer 3 · 2023-08-11 12:32:49

60

Views

Proving $\omega_1$ is measurable from Martin Measure being an ultrafilter

Published on 11 Aug 2023 - 12:32

score 441 · Answer 4 · 2026-03-25 07:41:15

441

Views

Why is incomputability weaker than Kolmogorov complexity?

Published on 25 Mar 2026 - 7:41

score 77 · Answer 5 · 2026-03-29 20:17:41

77

Views

Could analog computers be used to solve a set of PDEs w/o the traditional numerical instability problems that come from discretizing the domain?

Published on 29 Mar 2026 - 20:17

score 236 · Answer 6 · 2026-02-23 12:09:18

236

Views

Proof for halting problem is recursively enumerable

Published on 23 Feb 2026 - 12:09

score 28 · Answer 7 · 2023-08-13 17:07:49

28

Views

Equivalence result on recursive enumerable sets

Published on 13 Aug 2023 - 17:07

score 42 · Answer 8 · 2023-08-15 21:17:22

42

Views

Formalizing modus ponens on $PA$ arithmetic theory.

Published on 15 Aug 2023 - 21:17

score 50 · Answer 9 · 2023-08-21 17:24:19

50

Views

Given a recursive function, show there is a n such that Wn is recursive

Published on 21 Aug 2023 - 17:24

score 42 · Answer 10 · 2023-08-22 19:11:33

42

Views

Equivalence result for Recursion Theorem

Published on 22 Aug 2023 - 19:11

score 115 · Answer 11 · 2026-03-26 22:17:41

115

Views

About Gödel's completeness and incompleteness theorems

Published on 26 Mar 2026 - 22:17

score 69 · Answer 12 · 2026-03-26 11:24:06

69

Views

Probabilistic Kleene's recursión theorem

Published on 26 Mar 2026 - 11:24

score 176 · Answer 13 · 2026-03-26 12:33:58

176

Views

Does this paradox prove that the halting problem is undecidable?

Published on 26 Mar 2026 - 12:33

score 21 · Answer 14 · 2023-08-29 17:36:37

21

Views

Proving the Computability of the Function $\beta$ Analogous to Another Function

Published on 29 Aug 2023 - 17:36

score 64 · Answer 15 · 2026-02-23 13:42:41

64

Views

Decidable formal language with a finite but non-computable size

Published on 23 Feb 2026 - 13:42

List Question

Is $f$ primitive recursive in $g$ if $f$ does not eventually dominate $g$?

Is the function sending a sentence to the diagonal of a sentence form extended over it, computable?

Proving $\omega_1$ is measurable from Martin Measure being an ultrafilter

Why is incomputability weaker than Kolmogorov complexity?

Could analog computers be used to solve a set of PDEs w/o the traditional numerical instability problems that come from discretizing the domain?

Proof for halting problem is recursively enumerable

Equivalence result on recursive enumerable sets

Formalizing modus ponens on $PA$ arithmetic theory.

Given a recursive function, show there is a n such that Wn is recursive

Equivalence result for Recursion Theorem

About Gödel's completeness and incompleteness theorems

Probabilistic Kleene's recursión theorem

Does this paradox prove that the halting problem is undecidable?

Proving the Computability of the Function $\beta$ Analogous to Another Function

Decidable formal language with a finite but non-computable size

Trending Questions

Popular # Hahtags

Popular Questions