- RT @logicians: Two infinities that are surprisingly equal -over at Tim Gowers's blog. https://t.co/dG6zT5FEo8 #math #SetTheory #logic, 5 hours ago
- RT @davidallengreen: The politician responsible for the failed water cannon purchase and garden bridge project explains how UK can make a success out of Brexit., Sep 16
- RT @serpentstail: STOP WHAT YOU'RE DOING *** NEW @SarahGPerry novel coming next year! *** https://t.co/5fqzNMMMKc #MELMOTH https://t.co/4ebqZmlm6n, Sep 14
- RT @calvinb: This Fibonacci joke is as bad as the last two you heard combined., Sep 14
- RT @GreggDCaruso: Gottlob Frege: The machine in the ghost | by @Raymodraco |Prospect Magazine | https://t.co/gvhP24hjFq, Sep 14
Monthly Archives: November 2009
I hadn’t noticed that Craig Smorynski has reviewed my Introduction to Gödel’s Theorems in Philosophia Mathematica — thanks to Eckart Menzler for alerting me. Smorynski says some very nice things: The goal of the book is not to introduce the … Continue reading
The daughter’s quite excellent cooking blog has kicked into life again … Always worth a read. Not that I’m biased or anything.
On the Philosophy Faculty website, we have some “suggestions for those intending to read philosophy and/or beginning a philosophy course“. But this is an elderly document which I first put together about ten years ago, and which hasn’t been revised … Continue reading
I’ve updated all the episodes so far to give them what I hope are more useful headers (a bullet-pointed list of topics). The last two episodes have also been more significantly revised. You can get the latest, greatest, versions here. … Continue reading
The latest episode showing how a theory like Q can express/capture primitive recursive functions and relations is now online. [As always, I’ll be very glad to hear about typos/thinkos.] Earlier instalments can be found here.
Well, that really takes the biscuit. The University Library tea room has stopped using china cup and saucers like a civilized place, and started using disposable paper cups. Ye gods, what is the world coming to? Once upon a time, … Continue reading
I promised — foolishly, as I’m quite snowed under with other things too! — to introduce a paper of Neil Tennant’s on entailment and deducibility next week at our logic reading group. So as background I thought it might be … Continue reading
Hilbert writes Just as the physicist investigates his apparatus … the mathematician has to secure his theorems by a critique of this proofs, and for this he needs proof theory. (p. 61) Indeed: if you are physicist getting surprising results … Continue reading
Moving the blog and other stuff to a new host and getting to know WordPress just a bit has — what a surprise! — taken up too much time. I’ll try to concentrate now on moving more content (leaving theme-fiddling … Continue reading