15 jul 1901 año - Bertrand Russell and formal logics
Descripción:
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
Añadido al timeline:
Leo Lao's Computer Science History Timeline
fecha:
