One nice thing about spending a sabbatical at LPS in Irvine is that I get to sit in on some really cool classes. One, I'm attending Jeff Barrett's course on Quantum Mechanics. I never actually had a chance to study QM, and I've always been interested. Maybe it'll help me understand what quantum logic is … Continue reading Ah, to be a grad student again…

Yesterday, I arrived in Irvine, Calif., where I'll be spending the Fall quarter at the Department of Logic and Philosophy of Science at the University of California. I'm very excited: it's a very good department, there are lots of people here to talk to, and I get to take some seminars! The downside: it's in … Continue reading The OC

It's been up for a while now, but better late than never: Peter Smith (Cambridge) has set up a very handy page of links to LaTeX class files, style files, and instructions, especially for logicians. It includes, for instance, links to Josh Parson's style file for setting formulas in Frege's Begriffsschrift notation. Also, Peter's own … Continue reading LaTeX for Logicians

If you're into history of logic (or mathematics generally), or are just looking for old articles, and you're stuck at a university whose libraries holdings go back to only about 1965, what can you do? Say you're looking for a paper from Mathematische Annalen 1924, where do you go to find it online? Well, JSTOR … Continue reading History of mathematics soon won’t need libraries

I just finished reading the new Tarski biography, Alfred Tarski: Life and Logic, by Anita Burdman Feferman and Sol Feferman. It is a well-researched, interesting, beautiful, and sometimes moving account of the life of one of the leading figures in the field. It was especially interesting reading for me, since a great chunk of his … Continue reading Alfred Tarski: Life and Logic