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

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.