Project

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

Looptijd
01-12-2020 → Lopend
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.