17 фев 1902 г. - Betrand Russell invents type theory.
Описание:
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.
Добавлено на ленту времени:
frankyi_computersciencehistorytimeline
Block 4
Дата: