feb 17, 1902 - Betrand Russell invents type theory.
Description:
Betrand Russel invented type theory in order to avoid paradoxes in formal logics. Type theory was important as it proposed a solution to the infamous Russell’s paradox by first creating a hierarchy of types and then assigning each mathematical entity to a type.
Added to timeline:
frankyi_computersciencehistorytimeline
Block 4
Date:
