[obm-l] O PARADOXO DE RUSSEL!

[jorgeluis@xxxxxxxxxxxxx]

Turma! Conjuntos podem ter conjuntos como elementos. Seja B o conjunto definido
por B = {S/S é um conjunto e S não pertence a S}. Argumento que tanto B
pertence a B quanto B não pertence  a B são verdadeiras. Essa contradição é
conhecida como o paradoxo de Russel, em homenagem ao famoso filósofo e
matemático Bertrand Russel, que a enunciou em 1901. (Uma construção axiomática
cuidadosa da teoria dos conjuntos coloca algumas restrições sobre o que pode
ser chamado de conjunto. Todos os conjuntos usuais continuam sendo conjuntos,
mas conjuntos esquisitos que podem nos dar problemas, como B neste exemplo,
parecem ser evitados.)

A propósito, quantas operações binárias diferentes podem ser definidas em um
conjunto com n elementos?

Abraços!



______________________________________________
WebMail UNIFOR - http://www.unifor.br.
=========================================================================
Instruções para entrar na lista, sair da lista e usar a lista em
http://www.mat.puc-rio.br/~nicolau/olimp/obm-l.html
=========================================================================