7 dic 1903 año - Bertrand Russell-Russell's paradox
Descripción:
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.
Añadido al timeline:
fecha:
7 dic 1903 año
Ahora mismo
~ 120 years ago
Fotos: