WikiDer > Роберт Макнотон

Robert McNaughton

Роберт Форбс Макнотон-младший. (1924–2014) был американцем математик, логик, и специалист в области информатики с несколькими ключевыми вкладами в формальные языки, грамматики и системы перезаписи, и комбинаторика слов.[1]

Макнотон был родом из Бруклин, и получил степень бакалавра Колумбийский университет.[1]Он защитил докторскую диссертацию. в Гарвардский университет; его диссертация, Об установлении непротиворечивости систем, находился под наблюдением Уиллард Ван Орман Куайн.[2]Он преподавал в Пенсильванский университет а затем на Политехнический институт Ренсселера.[1]

Он умер в 2014 году в Трой, Нью-Йорк.[1]

Рекомендации

  1. ^ а б c d Коркоран, Джон; Нарендран, Палиат; Томас, Вольфганг (октябрь 2014 г.), «Некролог Роберт Макнотон 1924-2014», Бюллетень Европейской ассоциации теоретической информатики, 114
  2. ^ Роберт Макнотон на Проект "Математическая генеалогия"