A course in mathematical logic for mathematicians
2mentions
1recommended by
2HN commenters
2022–2024first – last mentioned
50% recommend50% neutral
Affiliate links. As an Amazon Associate I earn from qualifying purchases.
A Course in Mathematical Logic for Mathematicians, by Y. Manin https://math.uchicago.edu/~shmuel/lg-readings/Manin,%20Logic...
on “Ask HN: Do you recall any book or course that made a topic finally click?” ↗…of explicitly described, “obviously valid” elementary deductions. [0] Do we have any true 100% proof for anything (where we don't rely on some assumption that we consider true without a proof)? [0] A Course in Mathematical Logic for Mathematicians (2010), page 45
on “My grandfather Paul Tillich, the unbelieving theologian” ↗