Gödel, Godel, Goedel, Kurt, Vienna, Wien, Cafe Reichsrat, 1930, Podnieks, Karlis
My personal page: http://podnieks.id.lv/
Any comments are welcome: email to Karlis.Podnieks@lu.lv
NEW! Richard Zach found the exact location of Cafe Reichsrat!
Visiting Gödel in Vienna Prof. Karlis Podnieks 

This work is licensed under a Creative Commons License and is copyrighted © 20102014 by me, Karlis Podnieks. Part 1. September 2010: Searching for Cafe Reichsrat 

Vienna: Searching for Cafe Reichsrat Kurt Gödel proved his Incompleteness Theorem in Vienna, during the summer of 1930, and he first told about it to his colleagues on Tuesday, August 26 at the Cafe Reichsrat:
Picture #054 from the excellent gallery published by BVI. [According to Carnap's diary], "...Carnap was probably the first one to learn about the [Gödel's] results on August 26, 1930 during a conversation at the Cafe Reichsrat in Vienna [Austria]. Feigl was apparently also there and Waismann joined the the group later that afternoon." Full text: Paolo Mancosu. Between Vienna and Berlin: The Immediate Reception of Godel's Incompleteness Theorems. History and Philosophy of Logic, 1999, Vol.20, N1, pp.3345 (available online from Taylor & Francis Group). For an attempt of a detailed reconstruction of the meeting, see John L. Casti. The One True Platonic Heaven: A Scientific Fiction on the Limits of Knowledge. The National Academies Press, 2003, 224 pp. 

Cafe Reichsrat does not exist any more, how to locate it in Vienna now? I
knew about the problem from So, visiting Vienna, I decided to follow the directions... 

September 10, 2010: the same door?
I took this picture September 10, 2010 sitting at the table in the patio of a wonderful Wiener Cafe – Cafe Conditorei Sluka at Rathausplatz 8. The door resembles, indeed, the one on the old photo.


But there is another similar door...
nearby in the same building that is more likely the true door of the former Cafe Reichsrat. [Added July 25, 2014] Richard Zach found the exact location of Cafe Reichsrat! July 2014: 4 pictures of the building. 

Part 2.
December 2012: Florianigasse 42 (student) Währinger Strasse 3133 (student) Lange Gasse 72 (completeness, Adele) Josefstädterstrasse 4143 (incompleteness) Hegelgasse 5 (leaving Vienna forever) 

Cafe Reichsrat, July 1516, 1927 “Gemeinderat Schleifer schreibt: ... Etwa um 3/4 4 Uhr nachmittags begab ich mich mit dem Gemeinderat Reismann vom Parlament zu der von einer Sanitätskolonne des Schutzbundes im Café Reichsrat errichteten Sanitätsstation. Obgleich vor dem Kaffeehause eine rote Fahne mit dem weißen Kreuz gehißt war, wurde von der Polizei auch diese Sanitätsstation beschossen. Während unserer Anwesenheit erhielt ein Sanitätsmann, der beim Kaffeehauseingang stand, einen Bauchschuß.” Full text: Karl Kraus: Vor der Walpurgisnacht  Aufsätze 19251936 – Kapitel 9: Der Hort der Republik. Projekt GutenbergDE, SPIEGELONLINE. See also: Julirevolte in Wien. 

A chronology of some facts about the Turning point in the human intellectual history
K. Gödel [1931] Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme. "Monatshefte für Mathematik und Physik", 1931, Vol. 38, pp. 173198. Wir müssen wissen  wir werden wissen! David Hilbert's Radio Broadcast, Königsberg, 8 September 1930 (audio record published by James T.Smith, and translations in 7 languages published by Laurent Siebenmann). "...according to Gödel's biographer John Dawson, Hilbert and Gödel never discussed it, they never spoke to each other. The story is so dramatic that it resembles fiction. They were both at a meeting in Königsberg in September 1930. On September 7th Gödel offhandedly announced his epic results during a roundtable discussion. Only von Neumann immediately grasped their significance... The very next day, September 8th, Hilbert delivered his famous lecture on ``Logic and the understanding of nature.'' As is touchingly described by Hilbert's biographer Constance Reid (see Reid [1996]  K.P.), this was the grand finale of Hilbert's career and his last major public appearance. Hilbert's lecture ended with his famous words: ``Wir muessen wissen. Wir werden wissen.'' We must know! We shall know!" (from a G.J.Chaitin's lecture, Buenos Aires, 1998). "Historians and Mathematicians agree, 1930 was Gödel’s most profound year – if one was to include the latter part of 1929 as well. It is in this year that Gödel states he first heard of Hilbert’s proposed outline of a proof of the continuum hypotheses. In the summer, Gödel began work on trying to prove the relative consistency of analysis. Gödel soon discovered that truth in number theory is undefinable – he later went on to prove a combinational form of the Incompleteness Theorem. In 1930, Gödel traveled several days to attend the Second Conference on Epistemology of the Exact Sciences (September 57). Towards the end of the Conference on the last day, Gödel spoke for the first time and, "criticized the formalist assumption that consistency of ‘transfinite’ axioms assures the nonderivability of any consequence that is ‘contentually false.’ He concluded, ‘For of no formal system can one affirm with certainty that all contentual considerations are representable in it.’ And then v. Neumann interjected, ‘It is not a foregone conclusion whether all rules of inference that are intuitionistically permissible may be formally reproduced.’" It was after this statement, that Gödel made the announcement of his incompleteness result, "Under the assumption of the consistency of classical mathematics, one can give examples of propositions…that are contentually true, but are unprovable in the formal system of classical mathematics." It was these events which preceded the formal 1931 publishing of Gödel’s article Uber formal unentscheidbare Saetze der Principia Mathematica und verwandter Systeme." (A fragment from Gödel, and his Incompleteness Theorem by Mark Wakim). For a complete biography see John W. Dawson Jr. Logical Dilemmas. The Life and Work of Kurt Gödel. A. K. Peters, 1997. Photo gallery by BVI. 
Gödel, Godel, Goedel, Kurt, Vienna, Wien, Cafe Reichsrat, 1930, Podnieks, Karlis