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 |