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