29/03/2017 – Walter Carnielli

O Princípio de Ariadne e o Axioma da Escolha

Pretendo discutir alguns aspectos combinatórios sobre problemas infinitários de tipo Ramsey, mas inspirados em propriedades finitas, com a intenção de explicar a relevância de um princípio conjuntista alternativo formulado por W. Carnielli e C. Di Prisco em 1993, o Princípio de Ariadne. Este princípio é um rival do Axioma da Escolha que pode ser consistentemente adicionado aos axiomas usuais da teoria dos conjuntos de ZF sob determinadas condições.

O Jogo de Ariadne é um jogo para duas pessoas entre Teseu e o Minotauro, no qual Ariadne consegue oferecer uma estratégia vencedora. Esta estratégia corresponde precisamente ao Princípio de Ariadne, e explica o Princípio de forma bastante intuitiva e saborosa.

Anúncios