Godelův důkaz

Recenze čtenářů

Kniha je dobře hodnoceným úvodem do Gödelova důkazu, který je oceňován pro svou srozumitelnost a přístupnost, přičemž se zabývá složitým tématem v matematice a logice. Čtenáři oceňují strukturovaný výklad, postupné uvádění do složitých pojmů a srozumitelný text, který nabízí lepší pochopení Gödelova díla. Někteří však považují některé části knihy za náročné a vyjadřují obavy nad konkrétními tvrzeními autorů.

⬤ Jasný a přístupný výklad Gödelova důkazu.
⬤ Poutavý a dobře strukturovaný výklad.
⬤ Vhodné pro technické i netechnické publikum.
⬤ Poznámky pod čarou zlepšují porozumění termínům a pojmům.
⬤ Zachovává rovnováhu mezi hloubkou a srozumitelností.

⬤ Některé části jsou náročné a vyžadují soustředění.
⬤ Přesnost některých tvrzení v textu byla zpochybněna.
⬤ Chybí pokrytí některých moderních matematických pojmů, jako je teorie množin a vypočitatelnost.

(na základě 12 hodnocení čtenářů)

Původní název:

Godel's Proof

Obsah knihy:

Godelův důkaz byl poprvé publikován v USA v roce 1958. V roce 1931 vyšel v německém vědeckém časopise poměrně krátký článek se zakázaným názvem „O formálně nerozhodnutelných větách Principia Mathematica a příbuzných systémech“.

Jeho autorem byl Kurt Godel, tehdy pětadvacetiletý mladý matematik na Vídeňské univerzitě, který byl od roku 1938 stálým členem Institutu pro pokročilá studia v Princetonu. Článek je milníkem v dějinách logiky a matematiky.

Když Harvardova univerzita udělila Godelovi čestný titul, v citaci byla práce označena za jeden z nejvýznamnějších pokroků v logice v moderní době. V době svého vzniku však nebyl název Godelova článku ani jeho obsah většině matematiků srozumitelný.