Роберт Макнотон - Robert McNaughton
Роберт Форбс Макнотон-младший. (1924–2014) был американцем математик, логик, и специалист в области информатики с несколькими ключевыми вкладами в формальные языки, грамматики и системы перезаписи, и комбинаторика слов.[1]
Макнотон был родом из Бруклин, и получил степень бакалавра Колумбийский университет.[1]Он защитил докторскую диссертацию. в Гарвардский университет; его диссертация, Об установлении непротиворечивости систем, находился под наблюдением Уиллард Ван Орман Куайн.[2]Он преподавал в Пенсильванский университет а затем на Политехнический институт Ренсселера.[1]
Он умер в 2014 году в Трой, Нью-Йорк.[1]
Рекомендации
- ^ а б c d Коркоран, Джон; Нарендран, Палиат; Томас, Вольфганг (октябрь 2014 г.), «Некролог Роберт Макнотон 1924-2014», Бюллетень Европейской ассоциации теоретической информатики, 114
- ^ Роберт Макнотон на Проект "Математическая генеалогия"
Авторитетный контроль  |
|---|
 | Эта статья о математике заглушка. Вы можете помочь Википедии расширяя это. |