Question

Turing Machine That Accepts Machines With Undecidable Languages

score 515 · Answer 1 · 2026-03-26 05:56:21

515

Views

Turing Machine That Accepts Machines With Undecidable Languages

Published on 26 Mar 2026 - 5:56

score 10.7k · Answer 2 · 2026-03-26 07:31:53

10.7k

Views

Help understanding a 'reversing a string' Turing Machine

Published on 26 Mar 2026 - 7:31

score 728 · Answer 3 · 2026-03-26 16:04:14

728

Views

Can differential calculus (limits, integrals, derivatives) be encoded in lambda calculus?

Published on 26 Mar 2026 - 16:04

score 287 · Answer 4 · 2026-03-27 14:39:51

287

Views

Is the limit of a recursive sequence of recursive ordinals itself a recursive ordinal?

Published on 27 Mar 2026 - 14:39

score 224 · Answer 5 · 2014-12-17 18:11:31

224

Views

let A be a $2\times 2$ matrix . Then the smallest number $n\in \mathbb N$ such that $A^n=I$ is

Published on 17 Dec 2014 - 18:11

score 1.7k · Answer 6 · 2014-12-20 22:14:25

1.7k

Views

A mathematically mature introduction to Turing Machines and Computability [reference-request]

Published on 20 Dec 2014 - 22:14

score 371 · Answer 7 · 2014-12-21 20:14:11

371

Views

Infinite sets having no RE subsets

Published on 21 Dec 2014 - 20:14

score 140 · Answer 8 · 2026-03-25 20:41:51

140

Views

What is a simple proof that something is np complete that does not use np completeness of something else?

Published on 25 Mar 2026 - 20:41

score 2.4k · Answer 9 · 2014-12-24 12:00:43

2.4k

Views

Example for 2 disjoint languages that cannot be separated by a decidable language

Published on 24 Dec 2014 - 12:00

score 760 · Answer 10 · 2014-12-26 16:55:03

760

Views

Diagonalization

Published on 26 Dec 2014 - 16:55

score 227 · Answer 11 · 2026-03-25 04:41:01

227

Views

True or false? If $\eta$ is an explicitly defined incomputable number, then no formal system can pin down the value $\eta$ to arbitrary precision.

Published on 25 Mar 2026 - 4:41

score 4.1k · Answer 12 · 2014-12-30 15:34:08

4.1k

Views

There is a subset of positive integers which no computer program can print

Published on 30 Dec 2014 - 15:34

score 2k · Answer 13 · 2026-03-26 07:30:55

2k

Views

two way infinite turing machine?

Published on 26 Mar 2026 - 7:30

score 186 · Answer 14 · 2014-12-31 21:17:43

186

Views

Is there an incomplete Turing degree that is not r.e.?

Published on 31 Dec 2014 - 21:17

score 51 · Answer 15 · 2019-10-10 10:33:53

51

Views

Is limit computable reals countable?

Published on 10 Oct 2019 - 10:33

List Question

Turing Machine That Accepts Machines With Undecidable Languages

Help understanding a 'reversing a string' Turing Machine

Can differential calculus (limits, integrals, derivatives) be encoded in lambda calculus?

Is the limit of a recursive sequence of recursive ordinals itself a recursive ordinal?

let A be a $2\times 2$ matrix . Then the smallest number $n\in \mathbb N$ such that $A^n=I$ is

A mathematically mature introduction to Turing Machines and Computability [reference-request]

Infinite sets having no RE subsets

What is a simple proof that something is np complete that does not use np completeness of something else?

Example for 2 disjoint languages that cannot be separated by a decidable language

Diagonalization

True or false? If $\eta$ is an explicitly defined incomputable number, then no formal system can pin down the value $\eta$ to arbitrary precision.

There is a subset of positive integers which no computer program can print

two way infinite turing machine?

Is there an incomplete Turing degree that is not r.e.?

Is limit computable reals countable?

Trending Questions

Popular # Hahtags

Popular Questions