Zwei unberechenbare Typen

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