Submitted by Richard Zach on Thu, 06/15/2006 - 5:13pm
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:
Submitted by Richard Zach on Wed, 06/07/2006 - 7:53pm
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.
Submitted by Richard Zach on Wed, 06/07/2006 - 5:28pm
Peter has posted a new version of the first 22 chapters of his Gödel Book.
Submitted by Richard Zach on Thu, 06/01/2006 - 9:39pm
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.
Submitted by Richard Zach on Thu, 06/01/2006 - 5:11pm
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 thoroughly enjoyable visit to Melbourne.
Submitted by Richard Zach on Tue, 05/16/2006 - 11:34am
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.
Submitted by Richard Zach on Sat, 05/13/2006 - 3:04pm
A few more upcoming conferences marking Gödel's 100th birthday:
Submitted by Richard Zach on Fri, 05/12/2006 - 5:43pm
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.
Submitted by Richard Zach on Fri, 05/05/2006 - 3:45pm
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 of his work on finding mathematically "natural" or "interesting" statements which are independent of strong theories. The three areas he focussed on was the theory of well quasi-orders (Kruskal's theorem, the graph minor theorem), Borel selection theory, and Boolean relation theory.
Submitted by Richard Zach on Tue, 05/02/2006 - 6:20pm
Four interesting papers by Phillip Wadler:
- The unreasonable effectiveness of logic
- As Natural as 0,1,2
- From Frege to Gosling: 19'th century logic and 21'st century programming languages
- Proofs are Programs: 19th Century Logic and 21st Century Computing
available on his history of logic and programming languages page. (Hat tip: Lambda the Ultimate)
Submitted by Richard Zach on Sun, 04/30/2006 - 10:58pm
The first two people to email me their address get a postcard with a special Gödel Centennial stamp.
Submitted by Richard Zach on Sun, 04/30/2006 - 2:57pm
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 vague analogies between things Aristotle wrote in the Metaphysics and intuitionistic logic, between the antinomies of reason in Kant's first Critique and incompleteness, and Leibniz's calculus universalis and Gödel numbering.
Submitted by Richard Zach on Sat, 04/29/2006 - 12:23am
Submitted by Richard Zach on Fri, 04/28/2006 - 3:55pm
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 affiliated with the TU in some form or another.
Submitted by Richard Zach on Fri, 04/28/2006 - 3:46pm
Submitted by Richard Zach on Fri, 04/28/2006 - 3:40pm
Gödel would have turned 100 years old today. Happy Birthday, Kurtele! Merry Gödelmas, everyone else! I'm going to report on today's sessions (well, on Hajek's and Putnam's) at the Gödel Centennial conference tomorrow, since I have to get ready now for the fancy Gala Dinner at the Belvedere Palace. ("Black Tie Optional". I guess I'll wear a black tie, since I still don't own a tux.)
Submitted by Richard Zach on Fri, 04/28/2006 - 9:18am
Dana Scott just told this joke, which he heard from Ray Smullyan:
Two professors at a math conference stand in front of a blackboard, on which is written the sentence "Only an idiot would believe a sentence like this!" The first professor asks the second, "Do you believe that?" The second answers, "Of course not! Only an idiot would believe a sentence like this!"
Submitted by Richard Zach on Fri, 04/28/2006 - 6:11am
I'm in Vienna for the Gödel Centennial conference, Horizons of Truth. Day 1 featured talks by:
Submitted by Richard Zach on Mon, 04/24/2006 - 3:20pm
Submitted by Richard Zach on Fri, 04/21/2006 - 8:48pm
Call for Papers:
Uncertainty: Reasoning about probability and vagueness
September 5 to 8, Prague