| Тьюринг Алан Матисон математик, логик, криптограф, оказавший существенное влияние на развитие информатики и теории ... |
14-02-2011 |  |
| Тарский Альфред математик и логик, работы которого оказали большое влияние на становление и развитие ... |
28-02-2011 | |
| Чёрч (Черч) Алонзо математик и логик, внесший значительный вклад в основы информатики, разработал лямбда-исчисление и ... |
28-02-2011 | |
| Марков Андрей Андреевич математик |
28-02-2011 | |
| Кантор Георг математик, создатель теории множеств, разработал арифметику кардинальных чисел (мощностей множеств) ... |
18-02-2011 | |
| Гёдель (Гедель) Курт Фридрих логик, математик и философ математики, наиболее известный сформулированной и доказанной им теоремой ... |
28-02-2011 | |
| Буль Джордж математик и логик, в его честь названо понятие ''булева алгебра'' |
28-02-2011 | |
| Лейбниц Готфрид Вильгельм философ и математик |
25-02-2011 | |
| Рассел Бертран философ, математик и прозаик |
28-02-2011 | |
| Мальцев Анатолий Иванович учёный, основоположник Сибирской школы ''Алгебры и Логики'', академик АН СССР |
28-02-2011 | |
| Успенский Владимир Андреевич математик, лингвист и публицист, доктор физико-математических наук, профессор |
28-02-2011 | |
| Фреге Готтлоб математик, логик и философ, основатель современной логической семантики |
28-02-2011 | |
| Пеано Джузеппе математик, автор аксиоматизации арифметики |
18-02-2011 | |