A Principia Mathematica és a kapcsolódó rendszerek formailag eldönthetetlen tételeiről

Olvasói vélemények

A Gödel munkásságáról szóló kritikák kiemelik annak a matematikára és logikára gyakorolt mélyreható hatását, valamint azokat a kihívásokat, amelyeket az olvasók számára jelent, különösen azok számára, akik nem rendelkeznek erős matematikai háttérrel. Sok recenzens a könyvet a matematika filozófiája iránt érdeklődők számára nélkülözhetetlen olvasmánynak tartja, míg mások a könyv bonyolultságát és a fordítási hibákat kritizálják.

A könyvet észbontó erőpróbának tartják, amely feltárja a formális rendszerek paradox természetét, és mély betekintést nyújt a matematika alapjaiba. A recenzensek dicsérik történelmi jelentőségét és Gödel eredeti gondolatmenetét. Kötelező olvasmánynak tartják a matematikusok, az informatikusok, valamint a logika és a filozófia iránt érdeklődők számára.

Sok olvasó szerint a könyv nehezen érthető szilárd matematikai és logikai alapismeretek nélkül. Panaszkodnak a zavaros tipográfiára és a fordítási hibákra, amelyek egyes érveket összefüggéstelenné tesznek. Míg egyesek úgy érzik, hogy a bevezetés nem eléggé magyarázó, mások azt javasolják, hogy az egyszerűbb kifejtések előzetes elolvasása szükséges, mielőtt Gödel művével megküzdünk.

(34 olvasói vélemény alapján)

Eredeti címe:

On Formally Undecidable Propositions of Principia Mathematica and Related Systems

Könyv tartalma:

1931-ben egy fiatal osztrák matematikus korszakalkotó tanulmányt publikált, amely Arisztotelész óta a logika egyik legforradalmibb gondolatát tartalmazta. Kurt Giidel azt állította, és részletes bizonyítékot kínált, hogy bármely aritmetikai rendszerben, még az aritmetika elemi részeiben is, vannak olyan tételek, amelyeket a rendszeren belül nem lehet bizonyítani vagy cáfolni. Így bizonytalan, hogy az aritmetika alapaxiómái nem vezetnek ellentmondásokhoz. Ennek a felfedezésnek a következményeit a 20. századi matematikában még ma is érezzük és vitatjuk.

A jelen kötet Giidel nagy horderejű művének első angol fordítását adja közre. Nemcsak érthetőbbé teszi az érvelést, hanem az R. B. Braithwaite professzor (Cambridge University} által közreműködött bevezetés, amely önmagában is kiváló tudományos munka, az érvelés nagy részét parafrazálva megvilágítja azt.

Ez a Dover-kiadás így széles körben elérhetővé teszi egy eredeti gondolatokat tartalmazó klasszikus mű kiváló kiadását, amely mély érdeklődésre tarthat számot a matematikusok, logikusok és mindazok számára, akiket érdekel az olyan axiómák felállítására tett kísérletek története, amelyek szigorú alapot biztosítanának minden matematika számára. Fordította B. Meltzer, Edinburgh-i Egyetem. Előszó. Bevezetés R. B. Braithwaite tollából.