Paradoxo de Burali-Forti

Origem: Wikipédia, a enciclopédia livre.
Ir para: navegação, pesquisa

O paradoxo de Burali-Forti, proposto em 1897 pelo matemático italiano Cesare Burali-Forti, diz que não existe um número ordinal maior que todos outros números ordinais.

Em linhas gerais, ele é análogo ao paradoxo de Cantor, que diz que não existe um número cardinal maior do que todos outros.

Uma apresentação simplificada do paradoxo é: dado qualquer número ordinal, existe um outro número ordinal maior que ele. Em outras palavras, não existe o "conjunto de todos números ordinais" (porque este conjunto seria um número ordinal).

Referências[editar | editar código-fonte]

Introdução à Lógica Para a Ciência da Computação - Jair Minoro Abe, Alexandre Scalzitti e João Inácio da Silva Filho.