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.
Monthly Archives: October 2008
Online logic texts resources
In case you missed this over at Richard Zach’s blog, here’s a link to an excellent page by Henri Galinon which in turn links to freely available logic texts and surveys of various kinds. Very well worth checking out. [Link … Continue reading
iTunes: why?
Life has been more than a bit distracting for the last few weeks. So apart from stuff that has had to be done — revising some lectures for the beginning of term, and putting together some thoughts for the first … Continue reading
Posted in This and that
Leave a comment
Mathematics and games, again
OK, I’ve had a chance to get back to wrestling with Sec. 108 of the Big Typescript. So here’s a draft handout for the first seminar of term — mostly for third year undergrads and beginning post-grads (so this is … Continue reading
Posted in This and that
4 Comments