If you are looking for clear non-technical expositions of the Godel theorems (there are a few), I can offer some suggestions. Since I haven't met with you, I don't know what has been suggested.
By the way, Godel had a project along the lines of Leibniz and Boole to make philosophy exact. There are several people who worked with him at IAS (Institute of Advanced Study) that comment on this. An example is Hao Wang of Harvard and IAS.
If you are looking for clear non-technical expositions of the Godel theorems (there are a few), I can offer some suggestions. Since I haven't met with you, I don't know what has been suggested.
ReplyDeleteBy the way, Godel had a project along the lines of Leibniz and Boole to make philosophy exact. There are several people who worked with him at IAS (Institute of Advanced Study) that comment on this. An example is Hao Wang of Harvard and IAS.
ReplyDelete