Vyhledávat v databázi titulů je možné dle ISBN, ISSN, EAN, č. ČNB, OCLC či vlastního identifikátoru. Vyhledávat lze i v databázi autorů dle id autority či jména.
Projekt ObalkyKnih.cz sdružuje různé zdroje informací o knížkách do jedné, snadno použitelné webové služby. Naše databáze v tuto chvíli obsahuje 2897955 obálek a 875375 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
Strojovia a agenty. | ||||||||
|
|
Autor: Kelemen, Jozef
Hodnocení: Anotace27. 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ý. Zdroj anotace: OKCZ - ANOTACE Z WEBU Dostupné zdroje
|
| ||||||
