Math

The cosmological argument to prove the existence of God has been my favourite proof of its kind since the first time it was presented to me. It was simple enough to understand, it felt rigorous enough to be convincing, and it left a lot of room open to extract implications and corollaries that were interesting and useful.

Still, the fact that the argument was presented in natural language, rather than the language of symbolic logic, always left me with an unsettled feeling: shouldn’t this proof, like all others that are watertight and irrefutable, be possible to express in mathematical terms? I made some shallow attempts to codify it myself, but I never managed to do it in a way that left me satisfied.