Skip to main content
2 events
when toggle format what by license comment
Dec 12, 2017 at 20:26 comment added ACL Poizat's book is wonderful (except for some of its jokes), with a definitely personal insight to its topic. I admire his treatment of Gödel's incompleteness where he replaces Gödel's coding by an interpretation of finite sets within Peano arithmetic.
Aug 23, 2010 at 15:43 history answered Pietro CC BY-SA 2.5