Meze formalizace, analytičnosti, prostoročasu

Vladimír Havlík

V knize připravované při příležitosti stého výročí narození Kurta Gödela (28. 4. 1906) byly shromážděny texty zabývající se 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 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.

V češtině, slovenštině a angličtině.

Publikace byla vyprodána.

publikace Meze formalizace, analytičnosti, prostoročasu
vyšlo: 14. ledna 2008
316 stran, brožovaná
ISBN 978-80-7007-248-4