Godelov dôkaz

Recenzie čitateľov

Kniha je dobre hodnoteným úvodom do Gödelovho dôkazu, ktorý je oceňovaný pre svoju zrozumiteľnosť a prístupnosť, pričom sa zaoberá zložitou témou v matematike a logike. Čitatelia oceňujú štruktúrovaný výklad, postupné zavádzanie do zložitých pojmov a prehľadné písanie, ktoré ponúka lepšie pochopenie Gödelovho diela. Niektorí však považujú niektoré časti knihy za náročné a vyjadrujú obavy nad konkrétnymi tvrdeniami autorov.

⬤ Jasné a prístupné vysvetlenie Gödelovho dôkazu.
⬤ Pútavý a dobre štruktúrovaný výklad.
⬤ Vhodné pre technické aj netechnické publikum.
⬤ Poznámky pod čiarou zlepšujú pochopenie pojmov a koncepcií.
⬤ Zachováva rovnováhu medzi hĺbkou a zrozumiteľnosťou.

⬤ Niektoré časti sú náročné a vyžadujú si sústredenie.
⬤ Presnosť niektorých tvrdení v texte bola spochybnená.
⬤ Chýba pokrytie niektorých moderných matematických pojmov, ako je teória množín a vypočítateľnosť.

(na základe 12 čitateľských recenzií)

Pôvodný názov:

Godel's Proof

Obsah knihy:

Godelov dôkaz bol prvýkrát publikovaný v USA v roku 1958. V roku 1931 vyšiel v nemeckom vedeckom periodiku pomerne krátky článok so zakázaným názvom „O formálne nerozhodnuteľných vetách Principia Mathematica a príbuzných systémoch“.

Jeho autorom bol Kurt Godel, vtedy mladý 25-ročný matematik na Viedenskej univerzite, ktorý bol od roku 1938 stálym členom Inštitútu pre pokročilé štúdium v Princetone. Tento článok je míľnikom v dejinách logiky a matematiky.

Keď Harvardova univerzita udelila Godelovi čestný titul, v citácii sa táto práca označila za jeden z najdôležitejších pokrokov v logike v modernej dobe. V čase jej vzniku však názov Godelovho článku ani jeho obsah neboli väčšine matematikov zrozumiteľné.