Nachmittags Übungen. Nachher 5 – 9 mit GödelPGödel, Kurt, 1906–1978, öst.-am. Mathematiker im CaféLWien!Café. Über Grundlegung der Mathematik. Er meint, Ableitung aus Logik sei gescheitert; er vertrete einen intuitionistisch-formalistischen Standpunkt.381
Er denkt sehr scharfsinnig. Wir einigen uns schließlich in manchen Punkten. Ich schlage ihm vor, einen Aufbau entsprechend diesen Gedankengängen zu versuchen.38Vgl. TB 23. XII. 1929R🕮
