| authors | Iemhoff, R. |
| source | Logic Group Preprint Series, Volume: 291 (2011), pp. 1-8 |
| full text | [Full text]
|
| document type | Research paper |
| version | Publisher version |
| disciplines | Wijsbegeerte |
| abstract | 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. |
| keywords | logica, wiskunde, Bewijstheorie, Constructivisme |
| ISSN | 0929-0710 |
