Entstanden auf einer KoMa. Auf die Melodie von "City of New Orleans" (bzw. "wann wird's mal wieder richtig Sommer", allerdings mit anderen Akkorden am Schluss des Refrains).
C G C 1 durch n hoch a mit a natürlich, Am F G aufsummiert für alle n aus IN, C G C Das ist nicht so einfach zu berechnen Am G C schon ab a = 3 kriegt's niemand hin. Am a = 1 ist noch trivial, Em immer größer wird die Zahl, G D leicht zeigt man, dass die Summe divergiert. Am Doch schon bei a = 2 wird's schwer, Em Pi quadrat durch 6 kommt raus, G G7 C der Beweis dafür ist ziemlich kompliziert. Refrain: F G C Was ist die Lösung der Probleme? Am F C G Wie beweist man, dass sie existiert? C G Am D Die Antwort ist für's Leben völlig nutzlos, Eb F G C doch trotzdem bin ich ohne sie frustriert. C G C Im Atlas gibt es viele bunte Karten. Am F G Jedes Land ist anders angemalt. C G C Doch wieviel Farben braucht man dafür wirklich? Am G C Wird hier für Farben nicht zu viel bezahlt? Am Wer's ausprobiert, stellt ganz schnell fest, Em drei Farben reichen nicht. G D Die Frage ist, sind vier immer genug? Am Vor kurzem fand man den Beweis, Em mit Graphentheorie, G G7 C er ist jedoch so lang wie'n dickes Buch. Refrain C G C Fermat fand in einem Buch die Gleichung Am F G a + b = c, jeweils hoch k. C G C Zu lösen ist sie nur mit ganzen Zahlen, Am G C ab k = 3 ist jedoch keine da. Am Lange Zeit war unbekannt, Em ob das nun wirklich stimmt. G D Zu zeigen ist das wirklich gar nicht leicht. Am Fermat, der fand den Beweis, Em doch schrieb er ihn nicht auf; G G7 C der Rand hat dafür nämlich nicht gereicht. Refrain C G C Gödel spielte gern mit den Axiomen Am F G und baute Sätze furchtbar kompliziert C G C "Diesen Satz, den kann man nicht beweisen." Am G C Den vorigen hat er formalisiert. Am Gödels Satz beweist uns nun, Em für jegliches System, G D dass es immer unvollständig bleibt Am Es bleiben immer Sätze da, Em die nicht beweisbar sind, G G7 C egal wieviel Axiome man aufschreibt. Refrain (4. Zeile geändert) ... Eb F G C Und Gödels Satz beweist, ich bleib' frustriert.