jul 15, 1901 - Bertrand Russell and formal logics
Description:
He invented type theory to avoid paradoxes in a variety of formal logics. I include him because he solved an important problem in Computer Science
Added to timeline:
Leo Lao's Computer Science History Timeline
Date: