Goodsteinrijen

dc.rights.license	CC-BY-NC-ND
dc.contributor.advisor	Oosten, Jaap van
dc.contributor.author	Vliet, Lowie van
dc.date.accessioned	2025-04-03T09:01:55Z
dc.date.available	2025-04-03T09:01:55Z
dc.date.issued	2025
dc.identifier.uri	https://studenttheses.uu.nl/handle/20.500.12932/48724
dc.description.sponsorship	Utrecht University
dc.language.iso	NL
dc.subject	In deze scriptie wordt een stelling behandeld die iets zegt over eindige getallen, maar waarvan het bewijs niet gegeven kan worden zonder gebruik te maken van oneindige constructies. Dit gegeven wordt verder onderzocht en gekoppeld aan bewijsbaarheid middels Peano axioma's. De klasse van primitieve functies en de rol die deze functies spelen bij het aantonen van bewijsbaarheid wordt eveneens uitvoerig beschreven.
dc.title	Goodsteinrijen
dc.type.content	Bachelor Thesis
dc.rights.accessrights	Open Access
dc.subject.keywords	Bewijsbaarheid; primitieve functies; Goodstein; recursieve functies;
dc.subject.courseuu	Wiskunde
dc.thesis.id	5984