Počet záznamů: 1
Meze formalizace, analytičnosti a prostoročasu
Vyd. 1. - Praha : Filosofia, 2007 - 301 s. : il. ; 21 cm
ISBN 978-80-7007-268-4 (brož.)
Čaňa, Tomáš, - Autor Havlík, Vladimír, - Autor - Editor
Gödel, Kurt, 1906-1978
matematická logika filozofie matematiky analytická filozofie
sborníky konferencíSignatura C 329.776 Umístění 51 - Matematika. Teoretická matematika Údaje o názvu Meze formalizace, analytičnosti a prostoročasu / [Tomáš] Čana ... [et al. ; k vydání připravil Vladimír Havlík] Údaje o vydání Vyd. 1. Vyd.údaje Praha : Filosofia, 2007 Fyz.popis 301 s. : il. ; 21 cm ISBN 978-80-7007-268-4 (brož.) Číslo nár. bibl. cnb001790598 Poznámky o skryté bibliografii a rejstřících Obsahuje bibliografie a bibliografické odkazy Jazyková pozn. Část. anglický, německý a slovenský text, anglická resumé Dal.odpovědnost Čaňa, Tomáš, 1973- (Autor)
Havlík, Vladimír, 1961- (Autor) (Editor)
Dal.odpovědnost Filosofický ústav (Akademie věd ČR) (Nakladatel, vydavatel)
Předmět.hesla Gödel, Kurt, 1906-1978 * matematická logika * filozofie matematiky * analytická filozofie Forma, žánr sborníky konferencí Konspekt 510 - Obecné úvahy o matematice MDT 510.6 , 510.21 , 1:167.2 , (062.534) Země vyd. Česko Jazyk dok. čeština ; angličtina ; němčina ; slovenština Ve volném výběru 51 - Matematika. Teoretická matematika Druh dok. KNIHY Monografie 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.czNačítání…
Počet záznamů: 1