Die fehlende Möglichkeit formaler Systeme, die Wahrheit aller innerhalb der Systeme formulierbaren Aussagen „über sich selbst“ zu beweisen, führt auf zentrale Fragen der Erkenntnistheorie und der künstlichen Intelligenz. Die enorme Mächtigkeit der daraus ableitbaren Aussagen muss gewürdigt werden, aber ebenso muss deutlich werden, dass nicht alle Aussagen ableitbar sind. Der Gödelsche Satz spielt also im Bereich der Allgemeinbildung eine ebenso zentrale Rolle wie die Heisenbergsche Unschärferelation, denn er macht prinzipielle Aussagen über die Fähigkeit, die Welt zu erkennen. Theoretische Informatik beschäftigt sich in diesem Sinne auch mit Computern, sie beschäftigt sich aber vor allem mit Menschen, ihrer Suche nach Wahrheit und dem gescheiterten Versuch, wenigstens im Bereich der Mathematik vollständige Wahrheit zu finden.