KNAW

Publicatie

Krachtige bewijzen (2011) Open access

Pagina-navigatie:
Titel Krachtige bewijzen
Gepubliceerd in Logic Group Preprint Series, Vol. 291, p.1-. ISSN 0929-0710.
Auteur Iemhoff, R.
Datum 2011-11-01
Trefwoord(en) logica, wiskunde, Bewijstheorie, Constructivisme
Taal Nederlands
Type Working paper
Samenvatting In 2009 werd mij door de Nederlandse Wetenschaps Organisatie een Vidi beurs toegekend voor het project “The power of constructive proofs”. Het project is wiskundig van aard en valt binnen het NWO gebiedsbestuur Exacte Wetenschappen. Op uitnodiging van het ANTW heb ik een artikel geschreven dat gaat over die vakgebieden in de wiskundige logica, de Bewijstheorie en het Constructivisme, waarop het project betrekking heeft. Het is geen alomvattend overzicht van die gebieden, maar belicht die thema’s die voor het project van belang zijn.
Publicatie http://dspace.library.uu.nl/handle/1874/213378
Persistent Identifier URN:NBN:NL:UI:10-213378
Metadata XML
Repository Universiteit Utrecht

Omhoog
Ga terug naar de inhoud
Ga terug naar de site navigatie