University of Calgary
UofC Navigation

Gödel Year 2006

LogBlog Has Moved!

You are looking at the old blog archive. LogBlog has moved to richardzach.org.
If you'd like to receive updates on new posts, please subscribe there!

Submitted by Richard Zach on Tue, 11/29/2005 - 10:44pm

2005 is Einstein Year. 2006 will be Gödel Year: on April 28, 2006, Kurt Gödel would have been 100 years old. So next year will be hectic if you want to hit all the Gödel-related events:

Gödel’s Philosophy, a session of the Boston Colloquium for Philosophy of Science, on February 27. Speakers: Juliette Kennedy, Palle Yourgrau, and Mark van Atten.

Truth and Proof: Kurt Gödel and the Foundations of Mathematics, a two-day conference at the University of Edinburgh, March 25 & 26. Speakers: John Dawson, Stewart Shapiro, Harvey Friedman, Torkel Franzén, Hannes Leitgeb, Panu Raatikainen, Philip Welch, Richard Zach

A symposium on Gödel in Brno, CZ, where Gödel was born, during the week of April 22-28. (No program yet.)

Horizons of Truth: Gödel Centenary 2006
, on April 27-29, which promises to be the highlight of the Gödel Year. This is a three-day affair in Vienna with a long list of speakers, including Gary Kasparov (!) at the conference banquet. Some of the invited speakers are: Paul Cohen, Sol Feferman, Harvey Friedman, Georg Kreisel, Roger Penrose, Hilary Putnam, Dana Scott, and Hugh Woodin.

Gödel Centenary: His Legacy for Computability, a special session at Computability in Europe, June 30-July 5, with speakers Torkel Franzén, Wilfried Sieg, and Richard Zach.

PS: This looks like a fun Einstein-related online event, happens tomorrow.