User:Autumn-Pan/Head-Position-Reachability: Difference between revisions
Jump to navigation
Jump to search
Autumn-Pan (talk | contribs) add history |
Autumn-Pan (talk | contribs) No edit summary |
||
| Line 4: | Line 4: | ||
* In January 2026, a [[BB(6)]] holdout was informally solved with concepts based on Backward Reasoning | * In January 2026, a [[BB(6)]] holdout was informally solved with concepts based on Backward Reasoning | ||
* By March 2026, the ideas explored in January were formalized by Autumn Pan and RobinCodes | * By March 2026, the ideas explored in January were formalized by Autumn Pan and RobinCodes | ||
== Disclaimer == | |||
Information on this framework is limited and delayed due to the paper being actively written and unpublished | |||
Latest revision as of 02:13, 27 February 2026
Head-position reachability is a proposed framework based on Backward Reasoning that aims to decide non-halting Turing machines.
History
- In January 2026, a BB(6) holdout was informally solved with concepts based on Backward Reasoning
- By March 2026, the ideas explored in January were formalized by Autumn Pan and RobinCodes
Disclaimer
Information on this framework is limited and delayed due to the paper being actively written and unpublished