Code
01D28620
Looptijd
01-01-2021 → 31-12-2024
Financiering
Gewestelijke en gemeenschapsmiddelen: Bijzonder Onderzoeksfonds
Promotor
Onderzoeksdisciplines
-
Natural sciences
- Combinatorics
- Mathematical logic and foundations
Trefwoorden
Combinatoriek
Bewijstheorie
Berekenbaarheid
Omgekeerde wiskunde
Ramsey theorie
Stelling van Hindman
Projectomschrijving
De stelling van Hindman vormt een mijlpaal voor de combinatoriek en bracht vele open problemen voort in de wiskundige logica. Studie van de stelling van Ramsey en Goodstein-reeksen hangt nauw samen met onderzoek naar de stelling van Hindman en biedt nuttige toepasbare methoden. Het project beaamt de computationele kracht van de stelling van Hindman en alternatieve formuleringen te onderzoeken.