Bertrand Russell (may 18, 1872 – feb 2, 1970)
Description:
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.
Added to timeline:
Computer Programming 11 1st Assignment
Date:
