< Terug naar vorige pagina

Project

De Ordinaal-analyse van Determinisme-theorie├źn (3E017319)

Ordinale analyse is de tak van bewijstheorie die zich richt op het kwantificeren van de sterkte van een wiskundige theorie of verklaring door er een 'getal' aan toe te kennen. Deze getallen zijn ordinale getallen, natuurlijke uitbreidingen van het telnummer tot het transfiniete.

Datum:1 okt 2019  →  Heden
Trefwoorden:Kripke-Platek-verzamelingenleer, ordinale analyse, determinatie