Related changes
← BB(2,6)
Enter a page name to see changes on pages linked to or from that page. (To see members of a category, enter Category:Name of category). Changes to pages on your Watchlist are in bold.
List of abbreviations:
- N
- This edit created a new page (also see list of new pages)
- m
- This is a minor edit
- b
- This edit was performed by a bot
- (±123)
- The page size changed by this number of bytes
17 October 2026
|
|
20:35 | BB(2,5) 3 changes history +7 [Yves30. (3×)] | |||
|
|
20:35 (cur | prev) +6 Yves30. talk contribs (Minor edit: add missing word) Tag: Visual edit | ||||
|
|
20:14 (cur | prev) +1 Yves30. talk contribs (Add missing parenthesis to last corrected formula) Tag: Visual edit | ||||
|
|
20:11 (cur | prev) 0 Yves30. talk contribs (Minor change: last analyzed TM expected to halt in exp(exp(O(n))) steps, not exp(exp(O(1)))) Tag: Visual edit | ||||
16 October 2026
|
|
17:46 | BB(2,5) 4 changes history +620 [Polygon; Yves30. (3×)] | |||
|
|
17:46 (cur | prev) +18 Polygon talk contribs (Added references section) | ||||
|
|
07:22 (cur | prev) +3 Yves30. talk contribs (Reformulation (last solved TM has been found halting by a Rocq-certified longitudinal simulator)) Tag: Visual edit | ||||
|
|
07:11 (cur | prev) +13 Yves30. talk contribs (Moving the last solved TM to the formally proven section) Tag: Visual edit | ||||
|
|
07:06 (cur | prev) +586 Yves30. talk contribs (Update info of last solved halting TM: it has been solved by a longitudinal simulator, halting proof confirmed in Rocq) Tag: Visual edit | ||||
15 October 2026
|
|
11:11 | BB(2,5) 2 changes history +455 [Yves30. (2×)] | |||
|
|
11:11 (cur | prev) +165 Yves30. talk contribs (New analysis on a yet unsolved TM: expected to halt in double exponential nb of steps) Tag: Visual edit | ||||
|
|
11:02 (cur | prev) +290 Yves30. talk contribs (Update: new halting TM discovered, add it to top halters.) Tag: Visual edit | ||||