Histoire des mathématiques › Discipline

technique mathématique en théorie de la démonstration qui associe de grands ordinaux dénombrables aux théories mathématiques comme mesure de leurs forces théoriques

Traduit de l’anglais automatiquement — non relu. « mathematical technique in proof theory that associates large countable ordinals to mathematical theories as a measure of their proof-theoretic strengths »

domaine

théorie de la démonstration

Pour comprendre

rédaction

L'analyse ordinale est une technique de la théorie de la démonstration qui associe à des théories mathématiques de grands ordinaux dénombrables, utilisés comme mesure de leur force théorique.

Ce qu'elle étudie

Elle cherche à comparer la puissance des théories mathématiques entre elles, en leur associant un ordinal, une façon d'ordonner et de mesurer des quantités qui dépassent les nombres entiers usuels, d'autant plus grand que la théorie permet de démontrer davantage de résultats.

Où elle se place

Cette discipline appartient à la théorie de la démonstration.

Sources

• Wikidata CC0-1.0

• wikidata Q7100782