Lecture Notes

These will be a collection of lecture notes that I’ve written. Although, these notes do not have to be on lectures themselves per se, rather just anything that I read that I find interesting. This is mostly just for myself but I am posting it in case it is of use to anyone else.

Gödel’s Modal Ontological Proof (7/4/2026)

On Gödel’s mathematical proof for God’s existence. I simply cover background modal logic needed and the argument from Gödel + Scott in English (rather than formal string manipulations). I am not writing this to convince anyone; it is just for my own reference.

See the pdf here.

References

• https://plato.stanford.edu/entries/logic-modal/
• https://math.stackexchange.com/questions/248548/g%C3%B6dels-ontological-proof
• https://en.wikipedia.org/wiki/G%C3%B6del%27s_ontological_proof

Differential Propositional Calculus (12/2025)

To be finished.

See the markdown here.