Strojovia a agenty

Strojovia a agenty (Popis)

brožovaná väzba matná, 110 strán, veľmi dobrý stav, slovenský jazyk, menší formát, 11 x 19 cm

*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ý.