Zwei unberechenbare Typen
Hierher kommt ein Dialog zwischen Gödel und Turing, der noch in Ausarbeitung ist