Zoekresultaten

Blader door alle records: alle velden: "*"

Auteur	Arie Blom
Titel	De onvolledigheidsstellingen van Gödel
Begeleider	Jan Pieter van der Schaar
Jaar	2009
Pagina's	29
Faculteit	Faculteit der Natuurwetenschappen, Wiskunde en Informatica
Opleiding	FNWI BSc Bèta-gamma
Samenvatting	Wat heeft ertoe aangezet in het begin van de twintigste eeuw intensief over de grondslagen van de wiskunde na te denken en wat voor resultaten zijn toen geboekt? In het bijzonder wordt ingegaan op het formalisme van Hilbert en de stelling van Gödel. Hierbij komen de Peano-axioma's voor de rekenkunde, de tweede-orde logica van Frege, de Russelparadox, de propositielogica, consistentie van systemen en volledigheid van systemen aan bod. In de conclusie worden de resultaten in een bredere context geplaatst, om te proberen de reikwijdte van de implicaties aan te geven.
Soort document	scriptie bachelor
Download bestand	document/220523

Gebruik dit adres om naar deze pagina te linken: http://dare.uva.nl/scriptie/380979

Disclaimer/Klachtenregeling
Meent u dat de digitale beschikbaarstelling van bepaald materiaal inbreuk maakt op enig recht dat u toekomt of uw (privacy)belangen schaadt, dan kunt u dit onderbouwd aan de Universiteitsbibliotheek laten weten. Bij een gegronde klacht zal de Universiteitsbibliotheek het materiaal ontoegankelijk maken en/of van de website verwijderen, dan wel samen met u bekijken hoe op een andere manier aan uw klacht tegemoet kan worden gekomen.
Stuurt u hiervoor een e-mail naar: dare@uva.nl, of een brief naar: Bibliotheek van de Universiteit van Amsterdam, afdeling Elektronische Diensten, UvA-DARE, Singel 425, 1012 WP Amsterdam. Er zal dan zo spoedig mogelijk contact met u worden opgenomen.