- Menschen können bestimmte Aussagen über ein gegebenes formales
System nur als wahr erkennen (beweisen), weil sie sich außerhalb
des Systems befinden(
Gödel ). - Maschinen (Roboter) sind ein formales System.
- => jeder Mensch kann eine Maschine schlagen, da für jede Maschine (jedes formale System) solche wahren, aber unbeweisbaren Aussagen existieren.
(John Lucas 1961: Minds, Machine and Gödel)
