7 Dez 1903 Jahr - Bertrand Russell-Russell's paradox
Beschreibung:
He invented type theory to avoid paradoxes in a variety of formal logics.After Ruseel came the Alonzo church and introduced Lambda calculus to the world. Lambda calculus is important because its introduced a new way of viewing problems in Mathematics.
Zugefügt zum Band der Zeit:
History of Computer Science
Datum:
Abbildungen: