Number of the records: 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áš, - Author Havlík, Vladimír, - Author - Editor
Gödel, Kurt, 1906-1978
matematická logika filozofie matematiky analytická filozofie
sborníky konferencíCall number C 329.776 Umístění 51 - Matematika. Teoretická matematika Title statement Meze formalizace, analytičnosti a prostoročasu / [Tomáš] Čana ... [et al. ; k vydání připravil Vladimír Havlík] Edition statement Vyd. 1. Issue data Praha : Filosofia, 2007 Phys.des. 301 s. : il. ; 21 cm ISBN 978-80-7007-268-4 (brož.) National bibl. num. cnb001790598 Internal Bibliographies/Indexes Note Obsahuje bibliografie a bibliografické odkazy Language note Část. anglický, německý a slovenský text, anglická resumé Another responsib. Čaňa, Tomáš, 1973- (Author)
Havlík, Vladimír, 1961- (Author) (Editor)
Another responsib. Filosofický ústav (Akademie věd ČR) (Publisher)
Subj. Headings Gödel, Kurt, 1906-1978 * matematická logika * filozofie matematiky * analytická filozofie Form, Genre sborníky konferencí Conspect 510 - Obecné úvahy o matematice UDC 510.6 , 510.21 , 1:167.2 , (062.534) Country Česko Language čeština ; angličtina ; němčina ; slovenština Ve volném výběru 51 - Matematika. Teoretická matematika Document kind BOOKS 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.czLoading…
Number of the records: 1