rdfs:comment
| - In the mathematical discipline of set theory, there are many ways of describing specific countable ordinals. The smallest ones can be usefully and non-circularly expressed in terms of their Cantor normal forms. Beyond that, many ordinals of relevance to proof theory still have computable ordinal notations (see ordinal analysis). However, it is not possible to decide effectively whether a given putative ordinal notation is a notation or not (for reasons somewhat analogous to the unsolvability of the halting problem); various more-concrete ways of defining ordinals that definitely have notations are available. (en)
- En mathématiques, et plus particulièrement en théorie des ensembles, il existe de nombreuses méthodes de description des ordinaux dénombrables. Les plus petits (jusqu'à ε0) peuvent être exprimés (de façon utile et non circulaire) à l'aide de leur forme normale de Cantor. Au-delà, on parle de grands ordinaux dénombrables ; de nombreux grands ordinaux (le plus souvent en rapport avec la théorie de la démonstration) possèdent des notations ordinales calculables. Cependant, il n'est pas possible en général de décider si une notation ordinale potentielle en est effectivement une, pour des raisons analogues à celles rendant insoluble le problème de l'arrêt. (fr)
- Na disciplina de teoria dos conjuntos, há muitas maneiras de descrever ordinais específicos eque são contáveis. As menores descrições podem ser claramente e de forma não-redundante expressas em termos de suas formas normais Cantor. Além disso, muitos ordinais relevantes para a teoria da prova ainda tem notações ordinais computáveis. No entanto, não é possível decidir eficazmente se uma determinada notação ordinal é notação ou não (por razões de certa forma análogas, à insolubilidade do problema da parada); existem várias maneiras de saber se uma notação ordinal é definível. (pt)
|