University of Calgary
UofC Navigation

All LogBlog Posts

History of Logic at HOPOS

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:

SciBlog Launch

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.

New Version of Peter Smith's Gödel Book

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.

Philosophia Mathematica Issue on Gödel

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.

I'm Back

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.

On the Road Again

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.

More Gödel Celebrations

Submitted by Richard Zach on Sat, 05/13/2006 - 3:04pm

A few more upcoming conferences marking Gödel's 100th birthday:

Enigma and Colossus

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.

Gödel Centennial, Day 3

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.

Wadler on Logic and Programming

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)

Want Mail?

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.

Gödel Centennial, Day 2

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.

Peter Smith blogs

Submitted by Richard Zach on Sat, 04/29/2006 - 12:23am

Thanks, Peter, for telling me about your blog. Not.

Watch Logic Matters! And thanks (seriously) to Martijn Vermaat.

Computational Logician Gottlob from Vienna to Oxford

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.

Nothing of Consequence

Submitted by Richard Zach on Fri, 04/28/2006 - 3:46pm

A new logic blog, from Ole Hjortland, St. Andrews: Nothing of Consequence.

(I collect logic blogs. If you have one and it's not on my blogroll, tell me!)

Happy 100, Kurtele!

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.)

Logic Joke

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!"

Gödel Centennial, Day 1

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:

Proof-theoretic Semantics in Synthese

Submitted by Richard Zach on Mon, 04/24/2006 - 3:20pm

The February issue of Synthese is a special issue on proof-theoretic semantics, edited by Reinhard Kahle and Peter Schröder-Heister. It's papers from a conference in Tübingen in 1999.

Uncertainty: Reasoning about probability and vagueness, Prague, Sept 5-8, 2006

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

Pages

Site Feed

Subscribe to Syndicate