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 2893647 obálek a 874269 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
Gödelův důkaz | ||||||||||||
Autor: Nagel, Ernest a Newman, James Roy Digitální objekty
AnotaceV roce 1931 publikoval teprve 25letý Kurt Gödel, rodák z Brna, revoluční článek, v němž se kriticky vypořádal s určitými předpoklady tvořícími základ tradičního zkoumání v matematice a logice. V současnosti je jeho průzkum této terra incognita jedním z důležitých příspěvků moderní vědě. Knížka Gödelův důkaz je nově redakčně přehlédnuta, je rozšířena a aktualizována. Představuje svého druhu první čtivý výklad hlavních myšlenek Gödelova důkazu i některých z něj plynoucích důsledků. Kniha je určena studentům, vědcům, učitelům, odborníkům v mate- matice, kybernetice, logice, filozofii. Dostupné zdroje
|