Gödelův důkaz

Psal se rok 1931, když Kurt Gödel v revolučním článku „O formálně nerozhodnutelných větách Principia Mathematica a příbuzných systémů“ vyvrátil jeden ze základních předpokladů matematiky a logiky. Je ironií, že jen pár matematiků bylo v té době schopno porozumět složitému důkazu mladého vědce, a tak trvalo dvě desetiletí, než byla jeho práce v plném rozsahu doceněna. Plného uznání vědeckou komunitou se jí dostalo až v roce 1951, kdy se Gödel stal prvním laureátem Ceny Alberta Einsteina, nejvyšší pocty svého druhu ve Spojených státech, za výsledky v oboru přírodních věd. Výbor rozhodující o udělení cen, jehož členové byli Albert Einstein aj. Robert Oppenheimer, charakterizoval jeho práci jako „jeden z největších příspěvků vědě poslední doby“.

V knížce Gödelův důkaz nabízejí Ernest Nagel a James R. Newman čtivý a speciální symboliky prostý výklad hlavních myšlenek a důsledků Gödelova objevu.

Knížka byla poprvé publikována v roce 1958 a od té doby je znovu a znovu vydávána – čeština je jedenáctým jazykem, do něhož byla přeložena. Nagelova a Newmanova populární a vlivná práce nabízí vzdělanému čtenáři se zájmem o matematiku, logiku a filozofii příležitost porozumět důkazu jinak obtížnému a nepřístupnému.

V posledním vydání tuto dnes již klasickou práci přehlédl a aktualizoval nositel Pulitzerovy ceny Douglas R. Hofstadter. Odstranil víceznačnosti, vyjasnil argumenty a text učinil ještě přístupnějším. Připojil úvod, kde odhaluje svůj vztah k této knížce a vliv, jaký měla na jeho odborný růst, vysvětluje podstatu Gödelova důkazu a ukazuje, jak a proč je tento důkaz dodnes důležitý.

Tato půvabně napsaná knížka je určena studentům, vědcům, učitelům, jakož i odborníkům v matematice, kybernetice, logice, filozofii a přírodních vědách.

Představuje svého druh první čtivý výklad hlavních myšlenek Gödelova důkazu i některých z něj plynoucích důsledků..

2003, 1. vydání, formát 130 x 215 mm, 126 stran, brožovaná

Vydavatelství: VUTIUM

ISBN: 80-214-3174-1