The Foundations of Mathematics

Mathematical Logic: Een Fundamentele Inleiding

Mathematical Logic is een dynamisch vakgebied dat is ontstaan uit filosofische vragen over de fundamenten van de wiskunde. Tegenwoordig heeft de logica zich losgemaakt van zijn oorsprong en is het uitgegroeid tot een essentieel onderdeel van de wiskunde. Dit boek is speciaal ontworpen voor studenten die zich willen specialiseren in logica, maar ook voor diegenen die geïnteresseerd zijn in de toepassingen van logica binnen andere wiskundige gebieden. Het biedt een solide basis voor een begin cursus op het niveau van een graduate studie.

Hoofdstukken en Inhoud

Het boek bestaat uit drie hoofdsecties: Set Theory, Model Theory en Recursion Theory.

Set Theory

In het hoofdstuk over verzamelingenleer worden de set-theoretische fundamenten van de wiskunde gepresenteerd, gebaseerd op de ZFC-axioma's. Dit gedeelte behandelt ook belangrijke technische resultaten zoals de Axioma van Keuze, wel-orderingen en de theorie van niet-telbare kardinalen. Deze basis vormt het uitgangspunt voor verdere verkenning van wiskundige concepten en structuren.

Model Theory

Het hoofdstuk over modeltheorie richt zich op predikaatlogica en formele bewijzen. Hier worden belangrijke deorema’s zoals de Completeness, Compactness, en Löwenheim-Skolem Theorema's besproken. Daarnaast komen elementaire submodellen, modelvolledigheid en toepassingen in de algebra aan bod. Dit hoofdstuk bouwt voort op de fundamenten die in het hoofdstuk over verzamelingenleer zijn gelegd. Wiskunde kan nu worden gezien als formele bewijzen vanuit de ZFC-axioma's, en modeltheorie genereert modellen van set-theorie. Er wordt een blik geworpen op het begrip absolutisme en een analyse van modellen zoals H( ) en R( ).

Recursion Theory

Het hoofdstuk over recursietheorie ontwikkelt enkele basisprincipes over rekenbare functies en gebruikt deze om een aantal resultaten van fundamenteel belang te bewijzen. Belangrijke onderwerpen zoals Church's stelling over de ondecidabiliteit van logische gevolgtrekking, de onvolledigheidsstellingen van Gödel, en Tarski's stelling over de non-definieerbaarheid van waarheid komen allemaal uitgebreid aan bod.

Kwaliteit en Gebruik

Het boek is geprezen om zijn uitstekende schrijfstijl en de bruikbaarheid van de wiskundige inhoud. De opbouw en toegankelijkheid maken het voorstelbaar voor zowel nieuwkomers in de logica als voor ervaren wiskundigen die hun kennis willen verdiepen. De uitgebreide en gedetailleerde behandelingen van de belangrijkste onderwerpen zorgen ervoor dat dit boek een waardevolle aanvulling vormt voor elke wiskundige bibliotheek.