Project

Reverse Mathematics en nietstandaard analyse: het actuele oneindige in de grondslagen van de wiskunde

Looptijd
01-10-2010 → 31-01-2017
Financiering
Fonds voor Wetenschappelijk Onderzoek - Vlaanderen (FWO), Gewestelijke en gemeenschapsmiddelen: Bijzonder Onderzoeksfonds
Mandaathouder
Onderzoeksdisciplines
  • Natural sciences
    • Analysis
    • History and foundations
Trefwoorden
Reverse Mathematics grondslagen van de wiskunde nietstandaard analyse het oneindige
 
Projectomschrijving

Reverse Mathematics (RM) toont het opmerkelijke fenomeen dat stellingen uit de gewone/alledaagse wiskunde in maar vijf klassen vallen, terwijl er oneindige veel verschillende klassen zijn in de logica. Mijn project analyseert RM waar gelijkheid = is vervangen door $\approx$, gelijkheid op infinitesimalen uit de nietstandaard analyse. Er zijn toepassingen in de fysica en wetenschapsfilosofie.