A self-verifying proof that the Thiele Machine is a universal model of computation which strictly contains the Turing Machine as a blind, special case. All open source.
python computer-science information-theory computational-geometry formal-methods turing-machine software-verification epistemology z3-smt-solver computer-science-theory proof-complexity thiele-machine sight-debt philosophy-of-computation church-turing-thesis
-
Updated
Dec 17, 2025 - Python