Overview
Finite-Memory Obstructions to Linear Reasoning in Open-Ended Mathematics. The note proves a finite-memory continuation obstruction under its stated definitions and separates that theorem from the broader conjecture that open-ended mathematical discovery has unbounded continuation index.
Archive note
This page is generated from the typed archive record. See the source manuscript and related entries for the full argument and its scope.