Loading ...
Sorry, an error occurred while loading the content.

[Computational Complexity] A Year of Incompleteness

Expand Messages
  • Lance
    Edited from an email by Jan van Leeuwen and Jiri Wiedermann The year 2006 will be a special year for the foundations of logic and theoretical computer science
    Message 1 of 1 , Jan 3, 2006
    • 0 Attachment
      Edited from an email by Jan van Leeuwen and Jiri Wiedermann

      The year 2006 will be a special year for the foundations of logic and theoretical computer science because on April 28, 2006 it will be 100 years ago that Kurt Gödel was born.

      In 2006 it will also be exactly 75 years ago that Gödel's incompleteness theorem was published and 50 years ago that he wrote his famous letter to von Neumann which is now recognized as one of earliest recognitions of what we now know as the P-versus-NP problem.

      Gödel's 100th birthday is beginning to receive some attention among logicians. There will be an International Symposium commemorating "the 100th jubilee of the birth of Kurt Gödel" in Brno (Czech Republic), the city where he was born, a Gödel Centenary 2006 Symposium in Vienna with a special lecture by Roger Penrose, and also at CiE 2006 there will be special attention for Gödel's "legacy for computability".

      We note that 2006 also marks the 100th birthday of Richard Rado (well known as a great combinatorial mathematician and born on the same day as Gödel) and also of the well-known statistician William Feller.

      --
      Posted by Lance to Computational Complexity at 1/03/2006 07:21:00 AM

    Your message has been successfully submitted and would be delivered to recipients shortly.