De stelling van GödelE. Nagel, J.R. NewmanDe stelling van Gödel uitgelegd en begrijpelijk gemaakt
- Inleiding
- Het consistentieprobleem
- Absolute consistentiebewijzen
- De systematische codificatie van de formele logica
- Een voorbeeld van een geslaagd absoluut consistentiebewijs
- Het begrip afbeelden en het gebruik ervan in de wiskunde
- Gödels bewijzen; Gödel-getallen; De aritmetisering van de meta-mathematica; De kern van Gödels redenering
- Slotbeschouwing
€2,00