Code
3E019408
Looptijd
01-10-2008 → 30-09-2014
Financiering
Fonds voor Wetenschappelijk Onderzoek - Vlaanderen (FWO), Gewestelijke en gemeenschapsmiddelen: Bijzonder Onderzoeksfonds
Promotor
Mandaathouder
Onderzoeksdisciplines
-
Natural sciences
- History and foundations
-
Humanities and the arts
- Theory and methodology of philosophy
- Philosophy
-
Social sciences
- General pedagogical and educational sciences
- Communication sciences
Trefwoorden
wiskundige probleemoplossing
adaptieve logica
filosofie van de wiskunde
Projectomschrijving
Dit project betreft het onderzoek naar de relatie tussen wiskunde en adaptieve logica's (AL's) op drie verschillende vlakken: er wordt onderzocht hoe (a) AL's kunnen gebruikt worden voor de formele modellering van de praktijk van de wiskunde, (b) AL's problemen van de grondslagen van de wiskunde kunnen oplossen en © wiskundige technieken kunnen gebruikt worden voor de abstracte studie van AL's.