Bertrand Russell (18 maio 1872 ano – 2 fev 1970 ano)

Descrição:

He invented type theory to avoid paradoxes in a variety of formal logics.

Russell's paradox demonstrated a fundamental limitation of such a system.

It means that some collections cannot be sets, which in the universe of set theory means these collections are not elements of the universe.

Adicionado na linha do tempo:

Data: