A course in mathematical logic
by Manin, I͡U. I. · first published 1977
2mentions
1recommended by
2HN commenters
2009–2020first – last mentioned
50% recommend50% neutral
Affiliate links. As an Amazon Associate I earn from qualifying purchases.
Correct - he's referencing Tarski not Goedel. Incorrect - Goedel is not much harder to prove or wider-ranging than Tarski. Goedel is proven as a corollary to Tarski in Manin, Course In Mathematical Logic (Springer - http://www.amazon.com/Course-Mathematical-Logic-Graduate-Mat...) Strongly recommend Manin to the mathematically literate interested in a sophisticated and worldly introduction to logic. Manin…
on “World's shortest explanation of Gödel's theorem” ↗You're welcome. My understanding of the subject is based on a course in mathematical logic which I took at a university. According to the lecturer, there are no good books on the subject. There was one book they referenced, but it was fat and unapproachable. So, unfortunately, I can't really…
on “A ‘Useless’ Perspective That Transformed Mathematics” ↗