Posts feed
Explore all this site
Tag Cloud
Archives
Recent Comments
- scott on Gödel’s First Theorem, from Gödel 1931 to Kleene 1943
- Peter Smith on Gödel’s First Theorem, from Gödel 1931 to Kleene 1943
- scott on Gödel’s First Theorem, from Gödel 1931 to Kleene 1943
- David Auerbach on Gödel’s First Theorem, from Gödel 1931 to Kleene 1943
- Peter Smith on Gödel’s First Theorem, from Gödel 1931 to Kleene 1943
Blogroll
Tweets @PeterSmith
Error: Twitter did not respond. Please wait a few minutes and refresh this page.
Monthly Archives: August 2009
Simpson’s SOSOA
The rather long awaited new edition of Simpson’s wonderful Subsystems of Second Order Arithmetic is out with CUP. Added: I’ve now looked at a copy in the CUP bookshop, and this is a corrected reprinting of the first-edition, without new … Continue reading
Posted in This and that
6 Comments
Disappearing logic again
A footnote to my post, Logic disappearing over the horizon. I’ve just been reading Stephen Simpson’s “Unprovable Theorems and Fast-Growing Functions” (an introductory piece in the 1987 AMS Contemporary Mathematics Logic and Combinatorics volume that contains some important papers on … Continue reading
Posted in Logic
4 Comments
More logic books available online …
Richard Zach, over at LogBlog, has posted this: Exciting developments! The Association of Symbolic Logic has made the now-out of print volumes in the Lecture Notes in Logic (vols. 1-12) and Perspectives in Mathematical Logic (vols. 1-12) open-access through Project … Continue reading
Conceptual mathematics again
Newly in to the CUP bookshop today, a second edition of Lawvere and Schanuel’s Conceptual Mathematics. This has a little new material over and above what was in the first edition: that looks a good move, as I found when … Continue reading
Posted in Logic
Leave a comment