Bevezetés a matematikai logikába

Eredeti címe:

An Introduction to Mathematical Logic

Könyv tartalma:

A matematikai logika átfogó áttekintése, amelyet széles körben dicsérnek áttekinthetősége és alapos lefedettsége miatt, sokféle háttérrel rendelkező olvasó számára alkalmas. Elsősorban a matematika haladó alap- és mesterszakos hallgatói számára készült, de a feldolgozás az informatika és a filozófia haladó hallgatói számára is sok érdekességet tartalmaz.

A bevezető rész felkészíti az olvasót az egymást követő, az állítólagos logikáról és az elsőrendű nyelvekről és logikáról szóló fejezetekre. A későbbi fejezetek hangsúlya a logika matematikai szempontból történő megközelítésétől a matematika és a logika közötti kölcsönhatásra helyeződik át.

A témák között szerepelnek G del, Church és Tarski tételei a befejezetlenségről, a megdönthetetlenségről és a meghatározhatatlanságról; a rekurzív függvények és rekurzív relációk szigorú kezelése; a kiszámíthatóság elmélete; és Hilbert tizedik problémája. A szövegben számos feladat található, és egy függelék hasznos számelméleti háttérismereteket nyújt.