Gödel's Incompleteness Theorems

Voor goed onderbouwde inzichten in Gödel’s onvolledigheidsstellingen biedt deze publicatie een overzichtelijke mix van oorspronkelijke tekst, toelichtingen en historische context. De nadruk ligt op Gödel’s beroemde onvolledigheidsstellingen uit 1931, die aantonen dat de begrippen waarheid en bewijs niet kunnen samenvallen. De oorspronkelijke bewijsvoering wordt stap voor stap toegelicht en geïllustreerd met talrijke voorbeelden. Daarnaast reist het werk terug naar het begin van de twintigste eeuw, een periode van grote crisis in de wiskunde waarin type theorie, axioma’s en logica elkaar raakten. De combinatie van annotatie en historisch perspectief maakt dit boek niet alleen een vertaling, maar ook een verdieping in de context van Gödel’s werk en de daaropvolgende wiskundige ontwikkeling.

Verder biedt het boek een duidelijke inleiding tot de theorieën rondom ontologische en formele logica, met aandacht voor volledigheid, onwaarheden in de getaltheorie en de consistentie van belangrijke aannames. Het is geschikt voor wie basiskennis in logica heeft en zich verder wil verdiepen in de consequenties van onvolledigheidslijnen voor wiskunde, filosofie en informatie-wetenschap.

Daarnaast bevat dit werk een revisievertaling van de Duitse editie die eerder door de auteur werd uitgebracht, en presenteert het de discussie rondom de grootste logische waarnemingen van Gödel op een toegankelijke manier. Het is geschreven voor een breed lezerspubliek, met duidelijke toelichtingen en ondersteunende voorbeelden, en richt zich op een begrip van de fundamenten van logica en wiskunde als geheel.

Kenmerken

• Diepgaande behandeling van Gödel’s onvolledigheidsstellingen
• Annotaties met talrijke voorbeelden
• Historische excursies naar vroege twintigste eeuw
• Revisievertaling van de Duitse editie
• Inleiding door een klassieke logicus, gericht op lezers met basiskennis
• Geschikt voor wiskundigen, filosofen en computerwetenschappers

Gebruikssuggesties

1. Raadpleeg de inleiding voor het doel en de scope van de onderwerpen
2. Volg de stap-voor-stap toelichtingen bij Gödel’s bewijsvoering
3. Verken de historische context via de excursies en voorbeelden
4. Gebruik de toelichtingen om de consequenties voor logica en wiskunde te begrijpen