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.
Category Archives: Geek stuff
Simple things are best.
I did fiddle around a bit today trying to get a hack to work for splitting long posts into an initial para or two, with the rest to be revealed by hitting a “Read more” link (if you want to … Continue reading
Posted in Geek stuff
Leave a comment
Ahem …. Leopard stacks icons
It is seriously sad to care about these things. I know. But for those who are equally miffed by the Leopard update’s failure to sort the stack icon flaw — ok, it’s not exactly a bug but everyone thinks it … Continue reading
Posted in Geek stuff
1 Comment
Who needs an iPhone? …
… but I sure hope that this rumour is true! That would be so very useful to have.
Posted in Geek stuff
Leave a comment
Oh no …. more geekery
I’ve just discovered — about eight months after everyone else — that WordPress (the cool alternative to Blogger for hosting/managing a blog) can handle LaTeX code, so can do nice looking logic stuff. I was already trying to resist following … Continue reading
Posted in Geek stuff
3 Comments
Leopard, second impressions
I’m still dosed up to the eyeballs and so finding it annoyingly difficult to concentrate on work. I am supposed to be thinking more about issues related to ACA0 – especially as I’m due to talk about this sort of … Continue reading
Posted in Geek stuff
Leave a comment
Leopard, first impressions
Leopard arrived today, in its rather cool box. And I installed it by the book — the book in question being the useful, confidence-inspiring, and very inexpensive e-book Take Control of Upgrading to Leopard. So I used SuperDuper! to clone … Continue reading
Posted in Geek stuff
Leave a comment
Harmless geekery
I was going to sound off on the subject of tripos reform: but on second thoughts, it’s probably safer to indulge in harmless geekery instead. So … (roll of drums): There’s now another much bigger, much better edition of the … Continue reading
Posted in Books, Geek stuff
Leave a comment
For Mac geeks …
I’ve just become a real convert to DevonThink, which seems to be by far the best solution for organizing a whole collection of downloaded PDFs of articles, stored emails, lecture notes and the like. I haven’t yet begun to explore … Continue reading
Posted in Geek stuff
Leave a comment
Size matters
One thing that distracted me for a while was getting myself a new laptop, a 17″ MacBook Pro. Simply fantastic, of course. Huge and very bright sharp screen — I got a matte one — and fast. Oh, very fast. … Continue reading
Posted in Geek stuff
Leave a comment
How to make life difficult for yourself
A posting on philos-l, on corner quotes: Choose a common font such as Arial. You’ll find a good enough corner there somewhere. Copy the symbol you want so you have it on the clipboard, then paste it into a Word … Continue reading
Posted in Geek stuff
3 Comments