5/25/2023 0 Comments Gödel's Theorem by Torkel Franzén![]() There are a lot of symbols in IGT! What should I read if I want something shortish but reliable that will just give me some headline news without all the hard work?Īs so often, the Stanford Encyclopedia of Philosophy is a good place to start: the entry on Kurt Gödel by Juliette Kennedy gives a brisk account of the incompleteness theorems, and then there is of course lots more in the entry specifically on Gödel’s Incompleteness Theorems by Panu Raatikainen (though there a quite a few symbols there too). ![]() But better, check out the Teach Yourself Logic Guide for suggestions for elementary logical reading.Ģ. I suppose you could try reading IGT and filling in logical background (from Wikipedia, for example) on a need-to-know basis. But you don’t need very much background: a reading knowledge of standard logical symbolism, the idea of a formal system for first-order logic, the ideas of soundness and completeness, the idea of a formal axiomatized theory … I am afraid that you do need some logical background to tackle my book (and likewise for most alternative presentations). What do I need to know before I can read IGT? ![]() So here are some suggestions, for different kinds of audiences.ġ. I’m sometimes asked for recommendations about what to read before or after IGT - or indeed, what to read instead of tackling IGT if you are looking for something less weighty, or alternatively looking for something more like a conventional mathematical text. ![]()
0 Comments
Leave a Reply. |