Posts feed
Explore all this site
Tag Cloud
Archives
Recent Comments
- 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
- David Auerbach 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
Blogroll
Tweets @PeterSmith
Error: Twitter did not respond. Please wait a few minutes and refresh this page.
Category Archives: Geek stuff
Under reconstruction
(Friday) I’m planning, over the next day or three, to experiment with updating Logic Matters with a classier new WordPress theme. I’m so far favouring the “Tarski” theme, not just because the name seems peculiarly appropriate for a logic blog, … Continue reading
Posted in Geek stuff
3 Comments
TTP, CUP, and a shiny new MBA
I suppose it was mildly daft to plunge into blogging about Alan Weir’s TTP just as the beginning of term looms. There’s now a flurry of other things which I really need to be thinking about, just as I’m getting … Continue reading
Posted in Books, Geek stuff
Leave a comment
One logician’s iPad
There’s a new page on this site, linked on the right, for anyone interested. And for the rest of you, I’ll try henceforth to keep the blog an iPad-free zone. Mind you, I’m only saying try … [Added] Well, since … Continue reading
Posted in Geek stuff
1 Comment
Reading the iPad
Just a few thoughts, after five or six weeks of happy togetherness with my new iPad … It is no wonder that we love our books: in reading them, we cradle them close to our heart.1 Yes. And we similarly … Continue reading
Posted in Geek stuff
9 Comments
PhilTeX group blog
One to watch if you are a philosophical LaTeX geek? — PhilTeX, a fairly new group blog on possibly relevant LaTeX matters. I’ve added links on the blogroll here and on the LaTeX for Logicians pages.
Posted in Geek stuff
Leave a comment
Apologia pro iPad sua
(“Are you sure that ‘iPad’ is feminine?” Err …. Now you mention it, no. But let’s not fuss about that, eh?) Ok, I really didn’t intend to buy an iPad. Let alone buy one on the first day of availability … Continue reading
Posted in Geek stuff
11 Comments
Shiny new L4L
Ok, that took less time than I thought it would. So there’s now an exciting new improved LaTeX for Logicians to gladden geeky hearts. There are some rough edges which will get smoothed, but it is functional. Now tell me … Continue reading
Posted in Geek stuff
2 Comments
Blowing the dust off LaTeX for Logicians
The LaTeX for Logicians pages have been woefully ignored of late. But at last — as a bit occupational therapy while my brain is still in a jet-lagged mush — I’ve started moving the pages to this site, updating content … Continue reading
Posted in Geek stuff
Leave a comment
Work in progress
The plan is to port here the whole old Logic Matters site (including, the pages relating to my recent books and also LaTeX for Logicians) into one better organized, and much-easier-to-update, site. Watch this space. It may take a while … Meanwhile, … Continue reading
Posted in Geek stuff
Leave a comment
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