Show simple item record

The Consequences of Gödel’s Incompleteness Theorems for the Consistency of Mathematics.

dc.rights.licenseCC-BY-NC-ND
dc.contributor.advisorOosten, Jaap van
dc.contributor.authorVerheggen, Harm
dc.date.accessioned2024-08-26T09:01:49Z
dc.date.available2024-08-26T09:01:49Z
dc.date.issued2024
dc.identifier.urihttps://studenttheses.uu.nl/handle/20.500.12932/47351
dc.description.abstractThe aim was to provide a clear overview of Gödel's Incompleteness Theorems. The thesis covers primitive recursive functions and relations, some properties of Peano Arithmetic (PA for short), and material required to prove that PA is incomplete and unable to prove its own consistency. Finally, the thesis considers some consequences of Gödel's work, one of which relates to Hilbert's Program.
dc.description.sponsorshipUtrecht University
dc.language.isoEN
dc.subjectThe aim was to provide a clear overview of Gödel's Incompleteness Theorems. The thesis covers primitive recursive functions and relations, some properties of Peano Arithmetic (PA for short), and material required to prove that PA is incomplete and unable to prove its own consistency. Finally, the thesis considers some consequences of Gödel's work, one of which relates to Hilbert's Program.
dc.titleThe Consequences of Gödel’s Incompleteness Theorems for the Consistency of Mathematics.
dc.type.contentBachelor Thesis
dc.rights.accessrightsOpen Access
dc.subject.courseuuWiskunde
dc.thesis.id37602


Files in this item

Thumbnail
Name:
incompleteness.pdf
Size:
610.7Kb
Format:
PDF
View/Open

This item appears in the following Collection(s)

Show simple item record