|
|
|
1-3 mündliches qualifying exam Mathews (Mathematik Building; dabei Swift, Horn, Steinberg, Melkanoff. Er berichtet die Grundgedanken seiner thesis. Ich sage: Dezimal Gödelzahl würde kleiner sein; aber das hätte nicht den Vorteil seiner Methode von Kommutativität. – Später frage ich, wie Gödel bedenke, dass Konsistenz nicht im Kalkül selbst beweisbar ist.) Melkanoff sagt, ich soll ihm mal im numerisch Analyse Institut besuchen. Er wird mir den Computer vorführen. – Ich fahre zum Postamt (sie können den Einschreibebrief nicht finden; ich muss lange stehen und werde sehr müde).
