Truth-Grounding and the Liar
- A classical solution to the Liar Paradox
On Proofs and Diagrams in Math
- on proof and diagramming in math
Fun Math Stuff and the Philosopher's Stone #3
- curry howard isomorphism
On the Computational Proof for God's Existence
- regarding gödel's ontological proof
Ground Facts and Truth
- automating truth and proof