Knihobot

Kurt Gödel

    28. duben 1906 – 14. leden 1978

    Kurt Gödel byl rakousko-americký logik, matematik a filozof, který zásadně ovlivnil vědecké a filozofické myšlení 20. století. Je známý především svými dvěma větami o neúplnosti, které ukázaly, že v každém dostatečně silném formálním systému existují pravdivá tvrzení, jež nelze z axiomů dokázat. K prokázání těchto vět vyvinul Gödel svou metodu, dnes známou jako Gödelovo kódování, která přiřazuje přirozená čísla formálním výrazům. Jeho práce v oblasti teorie důkazů také objasnila souvislosti mezi různými logickými systémy a prokázal, že hypotézu kontinua nelze z přijatých axiomů teorie množin vyvrátit.

    Kurt Gödel
    Collected works 2
    On formally undecidable propositions of Principia mathematica and related systems
    Collected works 1
    Collected works
    Filosofické eseje
    Úplnost a neúplnost
    • 2015

      Úplnost a neúplnost

      • 138 stránek
      • 5 hodin čtení
      5,0(1)Ohodnotit

      Další kniha z řady základních textů evropské vzdělanosti iniciovaná Petrem Vopěnkou. A po desetiletích teprve druhá přeložená kniha zásadních textů jednoho z největších matematiků, logiků a myslitelů dvacátého století. Gödelovy věty (z roku 1931) o neúplnosti jsou i přes svojí stručnost stále vlivným textem nejen exaktních věd (zejm. matematické logiky). Přesahují do filosofie (a nejen matematiky), neboť svou podstatou stanovují omezenost i tak exaktní vědy, kterou matematika je (a ve svém důsledku třeba i nemožnost dokázat úplnou bezespornou teorii, což má důsledky i pro aritmetiku přirozených čísel). Kniha vedle těchto stěžejních textů obsahuje úvodní poznámku a bohatou předmluvu Vítězslava Švejdara, na závěr je doplněna autorovou bibliografií.

      Úplnost a neúplnost
    • 1999

      Soubor publikovaných i nepublikovaných filosofických esejů jednoho z největších logiků 20. století.

      Filosofické eseje