Lexikon der Argumente

 

I 602
Geist/Gödel/Dennett: Gödel selbst schien "Himmelshaken" als Erklärung für den menschlichen Geist für nötig zu halten.
Gödel: gewisse Wahrheiten kann man "sehen" aber niemals beweisen. (> Beweis).
I 605
Gödelzahl: ist eine Möglichkeit, alle möglichen Axiomensysteme in alphabetischer Reihenfolge anzuordnen.
DennettVsGödel: Problem: wie kann man überhaupt feststellen, ob ein Mathematiker einen Satz beweisen hat, oder nur ein Geräusch gemacht hat, wie ein Papagei? (Verhalten).
J.R.Lucas, 1961⁽¹⁾: die entscheidende Eigenschaft sollte sein, "einen Satz als wahr darzustellen".
DennettVsLucas: das stößt aber auf unüberwindliche Interpretationsprobleme.
Gödel/Toshiba-Bibliothek/Dennett: "es gibt keinen einzelnen Algorithmus, der alle Wahrheiten der Arithmetik beweisen kann". Dennett: über alle anderen Algorithmen in der Bibliothek sagt Gödel aber nichts.


1. J.R.Lucas, Minds, Machines, and Gödel. Etica E Politica 5 (1):1 (1961)