Перейти к навигации Перейти к поиску
 | Эта статья требует дополнительных ссылок для проверки . ( июль 2008 г. ) ( Узнайте, как и когда удалить этот шаблон сообщения ) |
| Ричард Статман | |
|---|---|
| Родившийся | 6 сентября 1946 г. (возраст 74) |
| Альма-матер | Стэндфордский Университет |
| Научная карьера | |
| Поля | Информатика |
| Учреждения | Университет Карнеги-Меллона |
| Докторант | Георг Крайзель |
Ричард Статман (родился 6 сентября 1946 г.) - американский ученый-компьютерщик , основной исследовательский интерес которого - теория вычислений , особенно символьных вычислений. Его исследования включают лямбда-исчисление , теорию типов и комбинаторную алгебру .
Карьера [ править ]
В 1974 году Статман получил докторскую степень. из Стэнфордского университета за его докторскую диссертацию под руководством Георга Крайзеля под названием « Структурная сложность доказательств» . Его достижения включают доказательство того, что проблема размещения типов в простом типизированном лямбда-исчислении является PSPACE-полной .
Внешние ссылки [ править ]