| Titel | Krachtige bewijzen |
|---|---|
| Gepubliceerd in | Logic Group Preprint Series, Vol. 291, p.1-8. 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://igitur-archive.library.uu.nl/ph/2011-1103-200520/UUin... |
| Persistent Identifier | URN:NBN:NL:UI:10-1874-213378 |
| Metadata | XML |
| Repository | Universiteit Utrecht |
Omhoog
Ga terug naar de inhoud
Ga terug naar de site navigatie