### Pages

### Posts feed

### Archives

### Recent Comments

- André Gargoura on Raymond Smullyan (1919–2017)
- Peter Smith on Raymond Smullyan (1919–2017)
- Kai von Fintel on Conditionals again
- Jan von Plato on Raymond Smullyan (1919–2017)
- Jon Awbrey on Frege on “if”

### Logic/Maths blogs

### Some other blogs

### Last Tweets

- Now just cross that I was enticed to squander an hour on such a third-rate farrago. #lineofduty, Mar 26
- Oh well, that became unwatchably ridiculous self-parody. Pity. #Lineofduty, Mar 26
- You wouldn’t think that (re)writing a page in an intro logic text would turn into a three-espresso problem. But there it is …, Mar 25
- That annoying thing where you realize, writing Ch. 19, that how you handled something crucial in Ch. 2 Really Won’t Do. Yes, THAT thing., Mar 21
- Yes! @BeatriceRana’s new Goldberg Variations CD is pretty terrific. https://t.co/adYmFbPQ7G, Mar 21

# Monthly Archives: July 2009

## Logic disappearing over the horizon ….

I’ve just had an invitation to give a talk at the University of X, a distinguished place, with a philosophy graduate community of about fifty (according to their website). So I checked out how much logic/phil maths is going on, … Continue reading

Posted in Logic
23 Comments

## World-class again

I got the very good news eight or nine days ago of an award under the AHRC Research Leave scheme, to complete a book on Gentzen’s proof(s) of the consistency of arithmetic (how the best versions work — not obvious … Continue reading

Posted in This and that
6 Comments

## Congratulations to Wilfrid Hodges!

Logicians will be delighted to see that Wilfrid Hodges has been elected a Fellow of the British Academy.

Posted in Logic
Leave a comment

## One to cross off your list

Suppose an undergraduate wrote this: The first [incompleteness theorem] says that there are truths of arithmetic that are not provable in a consistent first-order logic that can express arithmetic. You’d patiently explain that there are four things wrong with this. … Continue reading

Posted in This and that
8 Comments

## Time-travelling with Google maps

Late last night, I walked down the street where I lived from the age of four until I was fourteen. A virtual walk, using Street View in Google maps. A rather sad experience though. For what a visual mess so … Continue reading

Posted in This and that
Leave a comment

## Twitter is sometimes not entirely frivolous

I was amused by the kids twittering away at the Joint Session (like third-formers passing notes in the back row) — some very good pics too. Mildly fun to see what I was missing. If not exactly useful. However, a … Continue reading

Posted in This and that
1 Comment

## Gödel sorted … until the next time

Well, I’ve just this morning sent off the PDF for the next reprinting of my Gödel book: it should be available mid-August. I’ve eliminated quite a few more typos (thanks to everyone who let me know of errors in the … Continue reading

Posted in This and that
3 Comments

## Apple Preview: fail

This might just save a few Mac-based LaTeX users some grief. Suppose you use TeXShop to typeset \documentclass[11pt,a4paper]{article}\begin{document} $\{0\} \to \{y = 0\}$\end{document} The result looks just fine in the TeXShop preview window onscreen (which calls on the Mac pdf … Continue reading

Posted in Geek stuff
2 Comments