auto
small
medium
large
x-large
Notes
Chapter 12
Section 9
Page 1155
auto
small
medium
large
x-large
Jump to page
Look up in index
Search
‹
›
Notes
Chapter 12:
The Principle of Computational Equivalence
Section 9:
Implications for Mathematics and Its Foundations
Axiom systems for programs
(See pages
794
and
1168
.)
Further development:
— The Physicalization of Metamathematics and Its Implications for the Foundations of Mathematics (2022)