Research Explorer

Project

De complexiteit van wiskundige problemen
Code
3PL02612
Duration
01 October 2012 → 30 June 2020
Funding
Fonds voor Wetenschappelijk Onderzoek - Vlaanderen (FWO), Gewestelijke en gemeenschapsmiddelen: Bijzonder Onderzoeksfonds
Mandaathouder
Research disciplines
  • Natural sciences
    • History and foundations
Keywords
computability theory Medvedev degrees Muchnik degrees mass problems effectively closed sets Reverse Mathematics
 
Project description
 

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.