Number of the records: 1  

Meze formalizace, analytičnosti a prostoročasu

  1. View book information on page www.obalkyknih.cz

    book


    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 numberC 329.776
    Umístění 51 - Matematika. Teoretická matematika
    Meze formalizace, analytičnosti a prostoročasu
    BranchPlaceInfoSignature
    Lidická ( volný výběr ) k vypůjčeníC 329.776   

    Title statementMeze formalizace, analytičnosti a prostoročasu / [Tomáš] Čana ... [et al. ; k vydání připravil Vladimír Havlík]
    Edition statementVyd. 1.
    Issue dataPraha : Filosofia, 2007
    Phys.des.301 s. : il. ; 21 cm
    ISBN978-80-7007-268-4 (brož.)
    National bibl. num.cnb001790598
    Internal Bibliographies/Indexes NoteObsahuje 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í
    Conspect510 - 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ěru51 - Matematika. Teoretická matematika
    Document kindBOOKS
    Meze formalizace, analytičnosti a prostoročasu
    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.cz
    Loading…

Number of the records: 1  

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.