title: Argument van Lucas
text: 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
   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
   Is Lucas's Gödelian argument valid?, Xandra van de Putte
  
  Filosofie van de kunstmatige intelligentie