Project

Analyse van de sterkte van de stelling van Hindman in alternatieve formuleringen.

Code
01D28620
Looptijd
01-01-2021 → 31-12-2024
Financiering
Gewestelijke en gemeenschapsmiddelen: Bijzonder Onderzoeksfonds
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.