Twitter is a free service that lets you keep in touch with people through the exchange of quick, frequent answers to one simple question: What are you doing? Join today to start receiving PeterSmith's updates.
Already using Twitter from your phone? Click here.
'I think the only way I could be persuaded to Twitter would be if a live songbird flew into my mouth.' Will Self on BBC Radio 4.2:44 PM Jul 4thfrom Tweetie
You really have to try quite hard to do a bit of LaTeX typsetting as ugly as Beall's Sprandrels of Truth. OUP should be ashamed!7:06 AM Jul 3rdfrom Tweetie
Accidentally(!) opened bottle of excellent Barolo yesterday (intended to open plonk). Oooof. So bought good steak today. Magic combination.11:25 AM Jul 2ndfrom Tweetie
I think I've finished redoing Gödel. One last print out and check ... Thanks to the dozens of people who've told me how to improve it!5:43 AM Jul 2ndfrom Tweetie
It isn't finding proofs that is hard: it is finding proofs that make you think "yep! of course!! see it now!!!".3:24 PM Jun 25thfrom Tweetie
Phew! Think the penny has dropped about how best to repair my crap version of Rosser's Theorem without unravelling other stuff in the book.3:22 PM Jun 25thfrom Tweetie
Minerva holding back the rain clouds. Lots of kids graduating today in the sun.8:00 AM Jun 25thfrom Tweetie
So back to trying to sort out Rosser's Theorem for the reprint of Gödel.3:52 AM Jun 25thfrom Tweetie
All these people twittering from cutting-edge conferences. I'm impressed. I find it hard enough staying at home trying to understand basics!3:51 AM Jun 25thfrom Tweetie
What beats the first glass of good prosecco in the garden on a summer's evening? The second glass, for a start ...10:48 AM Jun 24thfrom Tweetie