Question

A function dominating all total recursive functions

score 212 · Answer 1 · 2017-07-06 00:24:44

212

Views

A function dominating all total recursive functions

Published on 06 Jul 2017 - 0:24

score 582 · Answer 2 · 2017-07-07 07:31:16

582

Views

What do we know about the reciprocal busy beaver series?

Published on 07 Jul 2017 - 7:31

score 595 · Answer 3 · 2026-03-25 12:54:07

595

Views

Kolmogorov complexity vs. intuitive notion of simplicity

Published on 25 Mar 2026 - 12:54

score 395 · Answer 4 · 2017-07-17 01:25:12

395

Views

Show that an infinite recursively enumerable subset of $\Bbb N$ must be the range of a one-to-one recursive function

Published on 17 Jul 2017 - 1:25

score 155 · Answer 5 · 2026-03-28 23:58:38

155

Views

Who was the first to show that there is a Universal Turing-Machine that uses a binary alphabet?

Published on 28 Mar 2026 - 23:58

score 424 · Answer 6 · 2017-07-19 14:38:11

424

Views

How to show that the following functions are primitive recursive?

Published on 19 Jul 2017 - 14:38

score 40 · Answer 7 · 2017-07-20 16:16:52

40

Views

Computability of Inverse Fourier Transform on L^2

Published on 20 Jul 2017 - 16:16

score 337 · Answer 8 · 2026-03-27 16:20:16

337

Views

reduction from VC to IS

Published on 27 Mar 2026 - 16:20

score 497 · Answer 9 · 2017-07-22 02:07:28

497

Views

General method for solving recursive linear ordinary differential equations for analytic functions

Published on 22 Jul 2017 - 2:07

score 90 · Answer 10 · 2017-07-25 17:43:41

90

Views

Prove decidability of language in logic

Published on 25 Jul 2017 - 17:43

score 283 · Answer 11 · 2026-03-30 17:03:24

283

Views

Why isn't the approach of measurable functions (almost) duplicated in the approach to computable functions?

Published on 30 Mar 2026 - 17:03

score 109 · Answer 12 · 2017-07-27 17:18:24

109

Views

Showing a set is immune (has no infinte r.e. subset)

Published on 27 Jul 2017 - 17:18

score 1.1k · Answer 13 · 2026-03-26 12:40:57

1.1k

Views

Is there an effective theory which "solves" the halting problem?

Published on 26 Mar 2026 - 12:40

score 541 · Answer 14 · 2017-08-01 18:28:31

541

Views

What comes after $1$, $\omega$, $\epsilon_0$, ...?

Published on 01 Aug 2017 - 18:28

score 57 · Answer 15 · 2017-08-02 21:25:32

57

Views

Row Shuffling and Permutation Question

Published on 02 Aug 2017 - 21:25

List Question

A function dominating all total recursive functions

What do we know about the reciprocal busy beaver series?

Kolmogorov complexity vs. intuitive notion of simplicity

Show that an infinite recursively enumerable subset of $\Bbb N$ must be the range of a one-to-one recursive function

Who was the first to show that there is a Universal Turing-Machine that uses a binary alphabet?

How to show that the following functions are primitive recursive?

Computability of Inverse Fourier Transform on L^2

reduction from VC to IS

General method for solving recursive linear ordinary differential equations for analytic functions

Prove decidability of language in logic

Why isn't the approach of measurable functions (almost) duplicated in the approach to computable functions?

Showing a set is immune (has no infinte r.e. subset)

Is there an effective theory which "solves" the halting problem?

What comes after $1$, $\omega$, $\epsilon_0$, ...?

Row Shuffling and Permutation Question

Trending Questions

Popular # Hahtags

Popular Questions