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