Posts feed
Explore all this site
Tag Cloud
Archives
Recent Comments
- Peter Milne on Carnap and the Diagonalization Lemma (Continued)
- Peter Milne 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
- 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
Blogroll
Tweets @PeterSmith
Error: Twitter did not respond. Please wait a few minutes and refresh this page.
Category Archives: Logic
Slides for more introductory logic lectures
I’ve somewhat belatedly put online slides for the last six of last term’s intro logic lectures. Lectures 11–13 introduce propositional trees, and lectures 14–16 introduce the language QL. Frankly, you would do much better to read my book: but since … Continue reading
Posted in Logic
2 Comments
Cambridge Principia Symposium
A while back, a number of us had the thought that we ought to do something in Cambridge to mark the centenary of Principia. But organizing blockbuster conferences is always a real pain; and to hold them here you need … Continue reading
Posted in Logic
Leave a comment
Cuts, consistency and axiomatized theories
In the Wednesday Logic Reading Group, where we are working through Sara Negri and Jan von Plato’s Structural Proof Theory, I today introduced Chapter 6, ‘Structural Proof Analysis of Axiomatic Theories’. In their commendable efforts to be brief, the authors … Continue reading
Posted in Books, Logic
Leave a comment
Godel Without (Too Many) Tears. Episodes 5 & 6
Here are the handouts for the last two Gödel lectures: 5. Primitive recursive functions 6. Expressing and capturing the primitive recursive functions (These two haven’t changed greatly from the previous versions from earlier in the year.)
Posted in Gödel's theorems
Leave a comment
Intro Logic Lectures
Here’s another helping of the overheads for my first-year logic lectures 4 to 10 this term. This is the block of seven lectures on basic propositional logic via truth-tables. I’ve already posted the links to the first three very introductory … Continue reading
Posted in Logic
Leave a comment
Piling up on my desk
Term rattles on, leaving little time for doing much reading other than for the two logic seminars for grads (this term we looking at Mary Leng’s book on Mathematics and Reality in one, and Sara Negri and Jan von Plato’s … Continue reading
Posted in Books, Logic
4 Comments
Godel Without (Too Many) Tears. Episode 4
I’m afraid that life has been rather distracting recently, with little time for more-than-minimal blogging. I hope, however, that things will get back to normal after a few more very busy days catching up with life. Here, in the meantime, … Continue reading
Posted in Gödel's theorems
Leave a comment
Gödel Without (Too Many) Tears. Episode 3
Here are the notes for today’s lecture. 3. Two weak arithmetics To repeat, there’s a dedicated GWT comments page here — still unused, despite many hundred downloads of previous episodes!
Posted in Gödel's theorems
Leave a comment
Godel Without (Too Many) Tears. Episode 2
The first episode of the new version of Gödel Without Tears was downloaded over 1650 times in seven days: there seems to be some interest, which is good to see! Anyway, here’s a very marginally revised version, together with the … Continue reading
Posted in Gödel's theorems
Leave a comment
Principia symposium, and another graduate conference
This year we mark the centenary of the publication of the first volume of Principia. There will be a symposium in Cambridge with seven or eight talks to honour the occasion, on November 27th and 28th, with the meeting suitably … Continue reading