Argument van Lucas
Het argument van Lucas is een filosofisch argument van J.R. Lucas waarbij hij beredeneert dat mensen iets kunnen wat computers niet kunnen, namelijk de waarheid van Gödelzinnen inzien. De redenering is dat computers formele systemen zijn en dat er, volgens de eerste stelling van Gödel, zinnen zijn die binnen een formeel systeem niet bewezen kunnen worden. Een mens kan echter wel de waarheid van zo'n Gödelzin inzien waarmee volgens J.R. Lucas is aangetoond dat de mens iets kan wat computers niet kunnen.
Externe links
- (en) Website van J.R. Lucas met publicaties en presentaties over de implicaties volgens hem van de stelling van Gödel
- Kunnen wij elke machine verslaan? Beschouwingen rondom Lucas' Argument, Albert Visser
- (en) Is Lucas's Gödelian argument valid?, Xandra van de Putte
