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