Formal Frameworks
2025-10-31 · Krzysztof Sawa (Toonhai) · 38 downloads · 59 views
English translation (with commentary) of a seminal Polish dialogue between Toonhai and Deepseek on relational mathematics and nonlinear proof — non-linear artifacts as anchors of non-linear logic, capturing LoE as a meta-mathematical framework.
This page is a catalog projection of a Zenodo deposit. Dual Frame: O_H ≠ O_A ≠ R_shared. Do not treat the English gloss as established physics, a working engine, or AGI. Canonical record is the DOI. This atlas is one observer's map — not the owner of the field, not the only map.
Zenodo record · doi:10.5281/zenodo.17496466 · PDF · cc-by-4.0
← all works · Atlas · llms.txt