|
|
|
|
|
|
by dvt
3361 days ago
|
|
|
I studied at UCLA and also took several logic and metalogic classes (it was my AOF). For one of the metalogic classes, this was our text: http://www.math.ucla.edu/~dam/135.07w/135notes.pdf We briefly talked about Godel's proofs, but they are nontrivial. Henkin's proof of completeness is hard enough[1]. I don't mean to sound dismissive, but a class where Godel, Escher, Bach is the text does not seem very rigorous. Logic is very tricky stuff. And once you get into infinities, it's not even intuitive. [1] https://www.cs.nmsu.edu/historical-projects/Projects/complet... |
|
|