Jozef Kelemen
Strojovia a agenty

1994 | Nakladatelství Archa

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 , 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ý. 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ázk…a, 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 , 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ý.

Stav

Velmi dobrý

Skladem pro e-shop

O knize

Stav:	Velmi dobrý
Vazba:	brožovaná
Počet stran:	109
Jazyk:	slovensky
ISBN10:	8071150894
ISBN:	9788071150893
Edice:	16. svazek ed. 16. svazek ed. Filozofia do vrecka
Vydáno v:	Bratislava
Vystaveno:	14. 11. 2025 10:55
Číslo položky:	1459436