Ричард Статман - Википедия - Richard Statman

Эта статья нужны дополнительные цитаты для проверка. Пожалуйста помоги улучшить эту статью к добавление цитат в надежные источники. Материал, не полученный от источника, может быть оспорен и удален. Найдите источники: «Ричард Статман»  – Новости  · газеты  · книги  · ученый  · JSTOR (Июль 2008 г.) (Узнайте, как и когда удалить этот шаблон сообщения)

Ричард Статман (родился 6 сентября 1946 г.) Американец специалист в области информатики чей основной исследовательский интерес теория вычислений, особенно символьное вычисление. Его исследования включают лямбда-исчисление, теория типов, и комбинаторная алгебра.

Карьера

В 1974 году Статман получил Кандидат наук. из Стэндфордский Университет для его докторской диссертации под руководством Георг Крайзель, озаглавленный Структурная сложность доказательств. Его достижения включают доказательство того, что тип обитания проблема в просто типизированное лямбда-исчисление является PSPACE-полный.

внешняя ссылка

• Профиль Карнеги-Меллона