Question

Significance of the Halting problem on non-finite inputs

score 69 · Answer 1 · 2019-09-06 22:03:05

69

Views

Significance of the Halting problem on non-finite inputs

Published on 06 Sep 2019 - 22:03

score 328 · Answer 2 · 2019-09-08 11:09:12

328

Views

Which set of diophantine equations could have the powers of two as result?

Published on 08 Sep 2019 - 11:09

score 65 · Answer 3 · 2026-03-26 02:53:05

65

Views

Algorithm telling if a word is good

Published on 26 Mar 2026 - 2:53

score 1.4k · Answer 4 · 2019-09-13 13:52:34

1.4k

Views

Shoenfield introductory mathematical logic book alternatives

Published on 13 Sep 2019 - 13:52

score 157 · Answer 5 · 2026-03-25 21:49:30

157

Views

Is there a Turing machine that limit-compute if some other TM halts on all inputs?

Published on 25 Mar 2026 - 21:49

score 78 · Answer 6 · 2019-09-18 20:17:33

78

Views

Complement of the halting set one to one reducible to $\{y | \phi_y = \phi_x\}$ for fixed $x$.

Published on 18 Sep 2019 - 20:17

score 214 · Answer 7 · 2019-09-19 15:53:16

214

Views

Example of decidable subset of $ \mathbb{N} $, so that set of prime factors of elements is undecidable

Published on 19 Sep 2019 - 15:53

score 95 · Answer 8 · 2019-09-20 16:07:41

95

Views

Theory of finite sets of naturals (with order)

Published on 20 Sep 2019 - 16:07

score 54 · Answer 9 · 2019-09-22 23:16:12

54

Views

Show that the function is primitive recursive

Published on 22 Sep 2019 - 23:16

score 592 · Answer 10 · 2019-09-24 01:53:10

592

Views

How do we prove that Peano Arithmetic is effectively generated?

Published on 24 Sep 2019 - 1:53

score 316 · Answer 11 · 2019-09-24 19:02:34

316

Views

Recursively enumerable set is an image of primitive recursive function

Published on 24 Sep 2019 - 19:02

score 166 · Answer 12 · 2026-03-26 03:12:45

166

Views

What fraction of finitely presented groups have unsolvable word problem?

Published on 26 Mar 2026 - 3:12

score 263 · Answer 13 · 2026-03-25 21:53:18

263

Views

Are there programs that a Turing machine cannot run simultaneously?

Published on 25 Mar 2026 - 21:53

score 658 · Answer 14 · 2026-02-23 06:34:36

658

Views

Halting problem within a finite time interval?

Published on 23 Feb 2026 - 6:34

score 44 · Answer 15 · 2019-09-27 22:00:52

44

Views

A surjection on the partially computable functions that is not acceptable

Published on 27 Sep 2019 - 22:00

List Question

Significance of the Halting problem on non-finite inputs

Which set of diophantine equations could have the powers of two as result?

Algorithm telling if a word is good

Shoenfield introductory mathematical logic book alternatives

Is there a Turing machine that limit-compute if some other TM halts on all inputs?

Complement of the halting set one to one reducible to $\{y | \phi_y = \phi_x\}$ for fixed $x$.

Example of decidable subset of $ \mathbb{N} $, so that set of prime factors of elements is undecidable

Theory of finite sets of naturals (with order)

Show that the function is primitive recursive

How do we prove that Peano Arithmetic is effectively generated?

Recursively enumerable set is an image of primitive recursive function

What fraction of finitely presented groups have unsolvable word problem?

Are there programs that a Turing machine cannot run simultaneously?

Halting problem within a finite time interval?

A surjection on the partially computable functions that is not acceptable

Trending Questions

Popular # Hahtags

Popular Questions