Ciro Santilli
OurBigBook.com
$£
Sponsor
中国
独裁统治 China Dictatorship 新疆改造中心、六四事件、法轮功、郝海东、709大抓捕、2015巴拿马文件 邓家贵、低端人口、西藏骚乱
Halting problem
...
Area of technology
Information technology
Computer
Computer science
Computational problem
Decision problem
OurBigBook.com
tags:
Undecidable problem
words: 1k
articles: 27
The canonical
undecidable problem
.
Table of contents
1k
27
Turing machine decider
Halting problem
403
4
Turing machine regex tape notation
Turing machine decider
166
Cycler Turing machine
Turing machine decider
98
Translated cycler Turing machine
Turing machine decider
37
Closed Tape Language decider
Turing machine decider
2
Busy beaver
Halting problem
1k
21
Step busy beaver
Busy beaver
47
Busy beaver function
(
B
B
(
n
)
)
Busy beaver
427
13
Specific values of the Busy beaver function
Busy beaver function
399
12
Turing machine acceleration
Specific values of the Busy beaver function
61
Busy Beaver Challenge
Specific values of the Busy beaver function
69
BB(5)
(Busy beaver function of 5)
Specific values of the Busy beaver function
165
4
Marxen-Buntrock machine
(1989, 4098 1's, ~47M steps)
BB(5)
31
Skelet’s machines
(2003)
BB(5)
51
2
Skelet machine #1
(proved 2023, cyclel start: 50-200M, period: ~8B)
Skelet’s machines
47
1
Skelet machine #1 is infinite
Skelet machine #1
45
BB(6)
(Busy beaver function of 6)
Specific values of the Busy beaver function
39
4
BB(6) is hard
BB(6)
39
3
Antihydra
(28 Jun 2024)
BB(6) is hard
3
2
Antihydra GMP implementation
Antihydra
gmp/antihydra.c
Antihydra
3
Busy beaver scale
Busy beaver
448
5
Turing machine compiler
Busy beaver scale
Automated theorem proving by halting problem reduction
Busy beaver scale
152
3
Conjecture reduction to a halting problem
Automated theorem proving by halting problem reduction
71
2
Turing machine that halts if and only if the Goldbach conjecture is false
(27-state)
Conjecture reduction to a halting problem
Turing machine that halts if and only if Collatz conjecture is false
Conjecture reduction to a halting problem
39
Ancestors
(8)
Decision problem
Computational problem
Computer science
Computer
Information technology
Area of technology
Technology
Home
Incoming links
(10)
Automated theorem proving by halting problem reduction
Busy beaver
Busy beaver function
Busy beaver scale
Collatz conjecture
Hilbert's tenth problem
Turing machine decider
Uncomputable function
Undecidable problem
Universal Turing machine