Project

Het gebruik van adaptieve logica's voor de praktijk en de filosofie van de wiskunde en het gebruik van wiskundige tools voor de abstracte analyse van adaptieve logica's

Looptijd
01-10-2008 → 30-09-2014
Financiering
Fonds voor Wetenschappelijk Onderzoek - Vlaanderen (FWO), Gewestelijke en gemeenschapsmiddelen: Bijzonder Onderzoeksfonds
Promotor
Mandaathouder
Onderzoeksdisciplines
  • Humanities
    • Theory and methodology of philosophy
    • Philosophy
  • Natural sciences
    • History and foundations
  • 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.