Question

Why prefer Gödel's β-function to Cantor's pairing function on coding number sequences

score 562 · Answer 1 · 2017-01-27 13:02:36

562

Views

Why prefer Gödel's β-function to Cantor's pairing function on coding number sequences

Published on 27 Jan 2017 - 13:02

score 21 · Answer 2 · 2026-03-29 02:12:33

21

Views

closed r.e. sets with respect to finite state machines

Published on 29 Mar 2026 - 2:12

score 58 · Answer 3 · 2026-03-25 09:29:20

58

Views

Is there a standard notion of a "theory of Turing machines"?

Published on 25 Mar 2026 - 9:29

score 49 · Answer 4 · 2026-03-26 21:54:05

49

Views

Upper logarithmic bound for a word from a finite alphabet.

Published on 26 Mar 2026 - 21:54

score 394 · Answer 5 · 2026-03-26 22:19:57

394

Views

How do we know we get the right answer?

Published on 26 Mar 2026 - 22:19

score 179 · Answer 6 · 2017-02-01 06:58:21

179

Views

Formal logic versus computation?

Published on 01 Feb 2017 - 6:58

score 125 · Answer 7 · 2017-02-04 14:09:57

125

Views

Prove that the language {<M1><M2>|M2 accepts <M1> , and M1 doesn't accept <M2>} isn't in RE

Published on 04 Feb 2017 - 14:09

score 274 · Answer 8 · 2026-03-26 20:25:47

274

Views

There is no recursive function that counts sizes of finite sets

Published on 26 Mar 2026 - 20:25

score 276 · Answer 9 · 2017-02-06 12:30:41

276

Views

$f(x) = g(x)$ is a primitive recursive function

Published on 06 Feb 2017 - 12:30

score 211 · Answer 10 · 2017-02-06 22:57:47

211

Views

How can halting problem exist practically?

Published on 06 Feb 2017 - 22:57

score 377 · Answer 11 · 2017-02-07 03:43:00

377

Views

Primitive recursion, initial functions and class closed by composition

Published on 07 Feb 2017 - 3:43

score 307 · Answer 12 · 2026-03-26 20:25:53

307

Views

Why is this set not recursively enumerable?

Published on 26 Mar 2026 - 20:25

score 241 · Answer 13 · 2017-02-11 09:01:45

241

Views

Prove that the set $\{x|\varphi_x \text{is total}\}$ is productive

Published on 11 Feb 2017 - 9:01

score 35 · Answer 14 · 2017-02-12 00:10:39

35

Views

Computation of an inequality equivalent to RH

Published on 12 Feb 2017 - 0:10

score 428 · Answer 15 · 2017-02-12 03:24:01

428

Views

Reference for creative set criterion theorem

Published on 12 Feb 2017 - 3:24

List Question

Why prefer Gödel's β-function to Cantor's pairing function on coding number sequences

closed r.e. sets with respect to finite state machines

Is there a standard notion of a "theory of Turing machines"?

Upper logarithmic bound for a word from a finite alphabet.

How do we know we get the right answer?

Formal logic versus computation?

Prove that the language {<M1><M2>|M2 accepts <M1> , and M1 doesn't accept <M2>} isn't in RE

There is no recursive function that counts sizes of finite sets

$f(x) = g(x)$ is a primitive recursive function

How can halting problem exist practically?

Primitive recursion, initial functions and class closed by composition

Why is this set not recursively enumerable?

Prove that the set $\{x|\varphi_x \text{is total}\}$ is productive

Computation of an inequality equivalent to RH

Reference for creative set criterion theorem

Trending Questions

Popular # Hahtags

Popular Questions