41
/
AIzaSyB4mHJ5NPEv-XzF7P6NDYXjlkCWaeKw5bc
May 31, 2026
3309273
294232
2
Public Timelines
FAQ

dec 28, 1900 - Bertrand Russell invented type theory to avoid paradoxes

Description:

In the early 1900s, Bertrand Russell invented type theory to avoid paradoxes in a variety of formal logics.

Added to timeline:

9 Sep 2019
0
1
4084

Date:

dec 28, 1900
Now
~ 125 years ago