This blog is simply a place for me to record my thoughts as I try to understand Gödel’s Incompleteness Theorems and other mathematical logic subjects. I will be working through various texts, asking and trying to answer questions as they arise. I am no mathematician only being self-taught. Even though I will try to be accurate – user beware! Comments, suggestions and corrections are encouraged and welcomed.
