User:Autumn-Pan/Head-Position-Reachability
Jump to navigation
Jump to search
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