Minds, Machines and Gödel - Minds, Machines and Gödel

"Minds, Machines and Gödel" je J. R. Lucas Filozofický dokument z roku 1959, ve kterém tvrdí, že člověk matematik nelze přesně vyjádřit pomocí algoritmický automat. Odvolání k Gödelova věta o neúplnosti, tvrdí, že pro každý takový automat by existoval nějaký matematický vzorec, který by nedokázal dokázat, ale který by lidský matematik mohl vidět i ukázat jako pravdivý.

Papír je a Gödelianův argument proti mechanismus.

Lucas papír představil v roce 1959 Oxfordská filozofická společnost. Poprvé byl vytištěn Filozofie, XXXVI, 1961, poté znovu vytištěno Modelování mysli, Kenneth M. Sayre a Frederick J. Crosson, ed., Notre Dame Press, 1963, a v Mysl a stroje, vyd. Alan Ross Anderson, Prentice-Hall, 1964, ISBN  0-13-583393-0.

Viz také

• Umělá inteligence
• Filozofie umělé inteligence

externí odkazy

• Minds, Machines and Gödel - originální papír

Tento filozofie související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to.