On the Broader Epistemological Significance of Self-Justifying Axiom Systems
Conference Paper
Formal Antecedent
Foundations and Logic
Citation
Dan E. Willard. (2014). On the Broader Epistemological Significance of Self-Justifying Axiom Systems. Logic, Language, Information, and Computation (WoLLIC 2014). 8652. pp. 221–236. Springer.
Why this reference is included
Willard’s On the Broader Epistemological Significance of Self-Justifying Axiom Systems (2014) is a key conference paper that the program draws on as a technical source. Cited in Book I (Categorical Foundations), Part 18, Chapter The Self-Hosting Landscape, where the program draws on it in the context of “Willard constructed formal arithmetic theories that can prove their own consistency.”
Cited in
-
Book I — Categorical Foundations Part 18Chapter The Self-Hosting Landscape
Willard constructed formal arithmetic theories that can prove their own consistency