Kurt Gödel
Mathematiker, Philosoph und berühmter Logiker.
Uns interessieren hier seine beiden "Unvollständigkeitssätze", die
Hilberts Bemühungen, die mathematischen Theorien zu axiomatisieren, zu nichte machten. 
In späteren Jahren hat er einen ontologischen Gottesbeweis vorgelegt, der auch von anderen auf seien formale Korrektheit geprüft wurde. Die Idee eine Wesen, das in der Wirklichkeit lebt, durch einen logischen Existenzbeweis begründen zu wollen, halte ich für völlig absurd. Falls Gott aber zur Welt der Ideen gehört, braucht man ihm nur Allmacht zu unterstellen und ein indirekter Existenzbeweis liefert das gewünschte Ergebnis

AKS-Primzahltest 
Dieser Test ist der einzige Test der feststellen kann, ob eine natürliche Zahl n eine Primzahl ist. Das Problem dabei ist die Zeit, die man  für eine solche Berechnung braucht.
Polynomialzeit
Der AKS-Primzahltest läuft in Polynomialzeit. Das bedeutet je größer die Primzahl ist, desto gewaltiger ist der Zeitaufwand. Für die Folge der Primzahlen folgt daraus: Sie ist nicht konstruktiv ! Der AKS-Primzahltest ist 1999 entwickelt worden.


[13] Ist Gödels Arbeit ist falsch ?