|
|
|
|
|
|
by ionfish
5148 days ago
|
|
|
Do you have a decent understanding of first order logic? If not, sort that out first. Peter Smith has a good list of books to choose from: http://www.logicmatters.net/2012/05/teach-yourself-logic-1-f... Then get Smith's book An Introduction to Gödel's Theorems. It explains Gödel's results in great detail and doesn't assume too much background knowledge. A certain amount of perseverance will, of course, be required… There's some supplementary material on his website: http://www.logicmatters.net/igt/ |
|
|