Umysły, maszyny i Gödel - Minds, Machines and Gödel
„ Umysły, maszyny i Gödel ” to praca filozoficzna JR Lucasa z 1959 roku, w której twierdzi on, że ludzki matematyk nie może być dokładnie przedstawiony przez automat algorytmiczny . Odwołując się do twierdzenia Gödla o niezupełności , twierdzi, że dla każdego takiego automatu istniałaby jakaś matematyczna formuła, której nie mógłby udowodnić, ale którą ludzki matematyk mógł zarówno zobaczyć, jak i wykazać, że jest prawdziwa.
Artykuł jest gödlowskim argumentem przeciwko mechanizmowi .
Lucas przedstawił dokument w 1959 roku Oxford Philosophical Society . Po raz pierwszy została wydrukowana w Philosophy , XXXVI, 1961, a następnie przedrukowana w The Modeling of Mind , Kenneth M. Sayre i Frederick J. Crosson, red., Notre Dame Press, 1963, oraz w Minds and Machines , wyd. Alan Ross Anderson, Prentice-Hall, 1964, ISBN 0-13-583393-0 .
Zobacz też
Linki zewnętrzne
 |
Ten artykuł o filozoficznym eseju lub zbiorze esejów jest skrótem . Możesz pomóc Wikipedii, rozwijając ją . |