|
|
|
11(½) – 2 bei Abe Kaplans zum „brunch“ (dabei nur noch Myra und George Brown. Wir 3 Männer Gespräch über den Formalismus im department. – Abes Fragen über rekursive Funktionen, Unentscheidbarkeit; ob eine Maschine auch Beweise finden kann und sonstige Probleme lösen, für die es kein effektives Verfahren gibt, und die ein Mensch zuweilen durch „Ingenuität“ lösen kann.) –
