Thoughtscript[io]

Adam In Tae Gerard
Truth-Grounding and the Liar
- A classical solution to the Liar Paradox
On Proofs and Diagrams in Math
- on proof and diagramming in math
On the Computational Proof for God's Existence
- regarding gödel's ontological proof
Ground Facts and Truth
- automating truth and proof