669
Die Annahme der Unentscheidbarkeit setzt voraus, dass
zwischen den beiden Seiten einer Gleichung, sozusagen, eine unterirdische
Verbindung besteht; dass die Brücke nicht in Symbolen
geschlagen werden kann.
Aber dennoch besteht; denn sonst wäre die Gleichung sinnlos. –
Aber die Verbindung besteht nur, wenn
wir sie durch
Symbole //
einen Kalkül //
gemacht haben.
Der Uebergang ist nicht durch eine dunkle Spekulation
hergestellt, von andrer Art als das was er verbindet.
(Wie ein dunkler Gang zwischen zwei lichten Orten.)