Fülszöveg Kurt Gödel nevezetes, az axiomatikus módszer korlátaira rámutató nemteljességi tételei a huszadik század legtöbbet idézett tudományos eredményei közé tartoznak. Az első szerint egyetlen konzisztens, az aritmetikát is magába foglaló axiómarendszer sem képes minden problémát eldönteni: minden ilyen rendszer esetében megadhatók olyan állítások, amelyek az axiómák alapján nem bizonyíthatók és nem is cáfolhatók. A második nemteljességi tétel szerint az ilyen rendszerekben – amennyiben konzisztensek – bizonyos, a saját konzisztenciájukat kódoló mondatok sem bizonyíthatók, az axiómarendszerek tehát “nem képesek saját ellentmondás-mentességüket igazolni”.A magyar olvasók előtt is jól ismert Raymond Smullyan a tőle megszokott világos, élvezetes stílusban ismerteti meg az Olvasót a gyakran idézett és legalább olyan gyakran félreértelmezett eredményekkel. Gödel eredeti, 1931-es gondolatmenete mellett a tételek különböző, többek között Tarskitól és Rossertől származó általánosításait is… Tovább
