Kurt Gödel: Úplnost a neúplnost

978-80-87269-39-8

138

ŠVEJDAR, V. ŠVANDOVÁ, B. Kurt Gödel: Úplnost a neúplnost.
Kanina a Plzeň : OPS a ZČU, 2015. ISBN: 978-80-87269-39-8.

Kniha shrnuje dopad dvou hlavních Godelových výsledků, tj. věty o úplnosti (kalkulu predikátové logiky prvního řádu) a věty o neúplnosti (matematiky), na další vývoj matematiky (a logiky). Rozvoj zkoumání v základech matematiky na přelomu 19. a 20. století vedl k nutnosti exaktněji formulovat matematická tvrzení i důkazy. Odtud také pramení nebývalé úsilí matematiků té doby najít úplný axiomatický systém matematiky. Pak ale důkaz Godelovy věty, nejdůležitější výsledek logiky 20. století, přiměl matematiky i logiky přehodnotit svůj postoj k úplnosti a neúplnosti. Jestliže před rokem 1931 bylo možné chápat neúplnost jako nedostatečnost axiomů a neúplnou teorii jako nedokončený polotovar, poté bylo nutné akceptovat, že existují teorie neúplné v principu a že tyto (v principu) neúplné teorie nejsou žádnými (uměle zkonstruovanými) anomáliemi, ale že se jedná o teorie každodenní matematické praxe. Výklad proměny matematické praxe po Godelových větách je doplněn přepracovaných kritickým překladem obou hlavních Godelových článků 1. Die Vollstandigkeit der Axiome des logischen Funktionenkalkuls (1930), and 2. Uber formal unentscheidbare Satze der Principia Mathematica und verwandter Systeme I (1931). Překlad je založen na edici: Kurt Gödel (1986). Collected works, Vol. I, Publications 1929–1936, editor in chief Solomon Feferman, edited by John W. Dawson, Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay and Jean van Heijenoort. Překlad obou článků tak umožňuje českému čtenáři získat vlastní a přímou zkušenost s dodnes problematickým objevem úplnosti a neúplnosti deduktivní metody.