Code
3PL02612
Looptijd
01-10-2012 → 30-06-2020
Financiering
Fonds voor Wetenschappelijk Onderzoek - Vlaanderen (FWO), Gewestelijke en gemeenschapsmiddelen: Bijzonder Onderzoeksfonds
Promotor
Mandaathouder
Onderzoeksdisciplines
-
Natural sciences
- History and foundations
Trefwoorden
omgekeerde wiskunde
massa problemen
Medvedev graden
berekenbaarheid theorie
feitelijk gesloten sets
Muchnik graden
Projectomschrijving
Wiskundige logica laat wiskundigen herformuleren filosofische vragen zo nauwkeurig wiskundige vragen. Dit project is het thema voor gereedschap uit de wiskundige logica, in het bijzonder gereedschap van berekenbaarheid theorie te gebruiken om de vraag te bestuderen "Hoe ingewikkeld is het universum van wiskundige problemen?" We analyseren de complexiteit van het universum van problemen als geheel en de complexiteit van verschillende bekende concrete problemen.