Strojovia a agenty přehled

27. októbra 1949 prebehla na oddelení filozofie Manchesterskej univerzity diskusia o tom, či môže počítač myslieť. Pred zúčastnenými sa v novom technickom a vedeckom kontexte znova aktualizovala otázka, ktorá nebola ani v nimulosti európským mysliteľom neznáma či cudzia - otázka, či bude raz možné skonštruovat systém, ktorý by dokázal to, čo zatiaľ dokáže iba ľudská myseľ. Dvaja spomedzi diskutujúcich, matematik Max Newmann a filozof Michael Polányi, aktualizovali v spojitosti s touto témou alarmuj)ce výsledky logika Kurta Gödela. Ten v roku 1931 dokázal, že žiadny formálny systém, ktorým možno opísať aspoň aritmetiku, nemôže poskytnúť prostriedky na dôkaz vlastnej bezospornosti. Ak je teda počítač z hľadiska sovjich výpočtových schopností ekvivalentý s formálnym systémom (čo je dodnes skoro všeobecne prijímaná hypotéza, sformulovaná prvý raz logikom A. Churchom začiatkom 30. rokov), tak nemá zmysel pokúšať sa napodobiť vtipnou súčinnosťou jeho schopností všetko to, čo dokáže ľudská myseľ. Alan Turing, matematik, ktorý koncom 20. rokov ako prvý sformalizoval pojem výpočtu, bol voči takýmto argumentom skeptický.... celý text