I mentioned it in comments on the other post already, but I thought of a few solutions to my question: how do you keep a gaggle of scholars jointly working on a publication project organized? They are outlined in a wiki page. Comments welcome (you can edit the wiki, of course, or write something on … Continue reading Online Collaboration for Scholars Follow-up

Greg is reporting from the Realism/Anti-Realism Workshop in Nancy, and Yarden from the CMU Summer School in Logic. Stay tuned for reports from Computability in Europe next week from yours truly.

Friendster reminded me that today is Alan Turing's birthday.

If you've ever coauthored a paper, you know what a hassle it is to send versions back and forth, keep track of changes, avoid conflicts when you're simultaneously changing things, and so on. Now software engineers have the same problems when working on large development projects and have developed very sophisticated Revision Control Systems. I've … Continue reading Online Multi-Author Collaboration?

On June 22, 1936, Moritz Schlick, influential philosopher and center of the Vienna Circle of logical empiricists, was gunned down on the steps of the University of Vienna. The Institute Vienna Circle is holding a small memorial event at the University of Vienna today, which will include the presentation of the first two volumes of … Continue reading Schlick Killed 70 Years Ago Today

There will be two interesting workshops following GAP 6 in Berlin (September 14 & 15): one on Carnap, and one with the promising title "Towards a New Epistemology of Mathematics".

I'm at HOPOS, which is loads of fun. All my history of analytic/history of logic buddies are here. But more to the point:Paolo Mancosu just gave the most amazing talk about the debate within the Vienna Circle about Tarski's theory of truth, in particular, the opposition that Neurath had voiced against it from the mid … Continue reading History of Logic at HOPOS

SciBlog, a blog project of a bunch of science writers in Vienna, goes live tomorrow with an event at Depot. If you're in Vienna, come on by.

Peter has posted a new version of the first 22 chapters of his Gödel Book.

The new issue of Philosophia Mathematica is devoted to Gödel. There are essays by Sol Feferman, Peter Koellner, Wilfried Sieg, Bill Tait, Rick Tieszen, and Mark van Atten, as well as a review of Torkel Franzén's Gödel's Theorem: An Incomplete Guide to its Use and Abuse.

After a week in Singapore and a week in Melbourne, I'm back in cold and rainy Vienna, nursing a cold and trying to finish two papers. Thanks to John and Belle, who I got to hang out with in Singapore, and to Allen, Conrad, Graham, Greg, Kate, Maren, Tama, and Zach for making it a … Continue reading I’m Back

I'm in Singapore this week, giving a talk at ISMVL, and then visiting Greg in Melbourne next week. Regularly scheduled programming--such as it's been--will resume June 1.

A few more upcoming conferences marking Gödel's 100th birthday: The Annual Meeting of the ASL in Montreal next week will include a Special Gödel Symposium featuring Jeremy Avigad, Steve Awodey, Bill Tait, John Burgess, Akihiro Kanamori, and Sy Friedman.The Dutch Graduate School in Logic is putting on a Gödel Centenary Celebration in Utrecht, on May … Continue reading More Gödel Celebrations

I was talking to a friend of mine who works at the Technisches Museum Vienna the other day about Enigma and Colossus, since I had just heard Jack Copeland's talk at the Gödel Centennial about the history of Colossus. So I did some Googling and found some interesting books which I should get: Action This … Continue reading Enigma and Colossus

On Saturday, I unfortunately missed Ulrich Kohlenbach's talk, since the banquet the night before went a little long and I overslept. That was a pity, since I really like and admire his work. The second talk was by Harvey Friedman, "My 40 Years on His Shoulders". He as the title suggests, he gave a survey … Continue reading Gödel Centennial, Day 3

Four interesting papers by Phillip Wadler: The unreasonable effectiveness of logicAs Natural as 0,1,2From Frege to Gosling: 19'th century logic and 21'st century programming languagesProofs are Programs: 19th Century Logic and 21st Century Computing available on his history of logic and programming languages page. (Hat tip: Lambda the Ultimate)

The first two people to email me their address get a postcard with a special Gödel Centennial stamp.

Day 2, Friday, was Gödel's birthday. I showed up for the panel discussion on unknowability, which wasn't particularly enlightening. Then Piergiorgio Odifreddi gave a very entertaining talk, in which he speculated on what philosophical writings may have served as inspiration for Gödel's results. He focussed on three figures: Aristotle, Kant, and Leibniz and drew some … Continue reading Gödel Centennial, Day 2

Thanks, Peter, for telling me about your blog. Not.Watch Logic Matters! And thanks (seriously) to Martijn Vermaat.

Here's where I channel Brian Leiter:Distinguished logician and computer scientist Georg Gottlob, former chair of the Department of Information Systems at the University of Technology, Vienna, moves to Oxford University. This is a great loss for the TU Wien and the Viennese logic community. It is to be hoped that Gottlob will continue to be … Continue reading Computational Logician Gottlob from Vienna to Oxford