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 2906070 obálek a 876950 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
Meze formalizace, analytičnosti a prostoročasu | ||||||||||||||||
|
|
Autor: Čana, Tomáš a Filozofický ústav (Akademie věd ČR) Digitální objekty
AnotaceMonografie anglických, slovenských a českých příspěvků věnovaná stému výročí narození Kurta Gödela (28.4.1906) se zabývá tematicky rozlehlým prostorem úvah a inspirací, které jsou přímo či nepřímo motivovány Gödelovými objevy a důkazy. Otázkám formalizace je věnována pozornost především v rozborech důsledků nemožnosti realizace Hilbertova formalistického programu matematiky. Fyzikální inspirace se věnují Gödelovu speciálnímu řešení Einsteinových rovnic obecné teorie relativity, v kterém rozeznal možnou existenci časových smyček a formuloval tak odvážnou hypotézu cestování v čase. Předznamenal tím současné intenzivní výzkumy na poli teoretické fyziky, které se snaží odhalit fundamentální strukturu prostoročasu na samých jeho hranicích. Neméně významným okruhem problémů jsou také otázky vztahu mysli a stroje, a analýza způsobů, jakým mysl postupuje, když se snaží řešit problémy v rámci tradice analytického myšlení. Rozmanité aspekty Gödelových důkazů na poli matematiky, fyziky, filosofie a kognitivních věd, se tedy oprávněně stávají centrem úvah a pokusů o domyšlení jejich důsledků a filosofických konsekvencí, přestože samy o sobě jsou především částmi exaktní matematiky. Zdroj anotace: Web obalkyknih.cz Dostupné zdroje
|
| ||||||||||||||
