Individual machines
Topic | Replies | Views | Activity | |
---|---|---|---|---|
About the Individual machines category
|
![]() |
0 | 153 | March 27, 2022 |
The 30 to 34 CTL holdouts from BB(5)
|
![]() ![]() ![]() ![]() |
7 | 757 | September 21, 2023 |
Skelet #1 is a translated cycler – Coq agrees
|
![]() ![]() ![]() ![]() |
3 | 207 | August 8, 2023 |
Skelet #34 and #35 – Coq proof
|
![]() ![]() |
1 | 115 | August 2, 2023 |
#8210683 does hot halt
|
![]() ![]() |
1 | 82 | July 30, 2023 |
Pipelining, Venn Diagrams, and the Late Middlegame of BB(5)
|
![]() ![]() |
2 | 241 | May 3, 2023 |
Deciphering Skelet's BL_Proof
|
![]() ![]() |
5 | 217 | April 20, 2023 |
10756090 is irregular
|
![]() |
0 | 203 | March 17, 2023 |
Some machines decided by Skelet's decider
|
![]() ![]() |
2 | 211 | October 9, 2022 |
#5807483 infinite by CTL
|
![]() ![]() |
3 | 163 | October 6, 2022 |
Skelet's machine #32 does not halt
|
![]() |
0 | 169 | October 3, 2022 |
Halting Collatz-like machine
|
![]() ![]() |
1 | 197 | September 27, 2022 |
#7410754 does not halt
|
![]() ![]() ![]() ![]() |
10 | 337 | September 27, 2022 |
I think that #43.374.927 is infinite
|
![]() ![]() |
2 | 289 | September 12, 2022 |
Skelet machines that are Translated Cyclers
|
![]() ![]() |
3 | 402 | June 5, 2022 |
Skelet #10 Backtracking?
|
![]() ![]() |
5 | 398 | June 4, 2022 |