7 дек 1903 г. - Bertrand Russell-Russell's paradox
Описание:
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.Добавлено на ленту времени:
Дата:
7 дек 1903 г.
Сейчас
~ 120 г назад
