Bevezetés a matematikai logikába

Olvasói vélemények

A könyvről vegyes vélemények születtek, egyes felhasználók dicsérik, hogy kiváló önképző szöveg, amely a matematikai logika témáinak széles körét lefedi, míg mások kritizálják olvashatóságát és sűrű anyagát, mondván, hogy kezdők számára nem alkalmas. A kiadvány minőségével kapcsolatban különböző konkrét problémákat is megjegyeztek, különösen a legutóbbi kiadás esetében.

Jó önképzésre, a matematikai logika témáinak átfogó lefedése, az első fejezetben hozzáférhető anyag, hatékony a némi előismerettel rendelkezők számára.

Nem egyértelmű és nehezen olvasható indexes betűtípusok, sűrű, többszöri olvasást igénylő anyag, elégtelen példák a problémamegoldáshoz, gyenge bevezető magyarázatok a főbb fejezetekhez, és a kiadvány következetlenségei.

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

Eredeti címe:

Introduction to Mathematical Logic

Könyv tartalma:

A klasszikus tankönyv új kiadása, a Bevezetés a matematikai logikába, hatodik kiadás a matematikai logika főbb témáit járja körül. Foglalkozik az állítólagos logikával, az elsőrendű logikával, az elsőrendű számelmélettel, az axiomatikus halmazelmélettel és a kiszámíthatóság elméletével.

A szöveg Godel, Church, Kleene, Rosser és Turing főbb eredményeit is tárgyalja. A hatodik kiadás tartalmazza a Godel második befejezetlenségi tételével kapcsolatos legújabb munkákat, valamint helyreállítja az elsőrendű aritmetikára vonatkozó konzisztenciabizonyításokról szóló függeléket. Ez a függelék utoljára az első kiadásban jelent meg.

Az új kiadásban történeti megfontolásokból szerepel. A szöveg történelmi távlatokat és számos új, különböző nehézségű feladatot is kínál, amelyek motiválják és elvezetik a tanulókat az anyag mélyreható, gyakorlati megértéséhez.