Subject seems sufficiently interesting that maybe I should stop by his bookstore on Sunnyside, look at the book, and maybe even buy it.
Of course right now my interest is more due to attempt to “understand” GÃ¶del’s completeness (Everything that is ‘true’ can be logically ‘proven’, and everything that can be logically ‘proven’ is ‘true’.) and incompleteness (in any description of ‘reality’ it is possible to construct some statement that is ‘true’ in the context of reality, yet can’t be proven) theorems. Of course Kurt GÃ¶del went insane. I, on the other hand, am doing this as part of MATH 4802 course at Carletonia.