15 lugl 1901 anni - Bertrand Russell and formal logics
Descrizione:
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
Aggiunto al nastro di tempo:
Leo Lao's Computer Science History Timeline
Data:
