Robert McNaughton - Robert McNaughton

Tento článek je o matematikovi. Pro herce viz Robert MacNaughton.

Robert Forbes McNaughton, Jr. (1924–2014) byl Američan matematik, logik, a počítačový vědec s několika klíčovými příspěvky v formální jazyky, gramatiky a přepisovací systémy, a kombinatorika slov.[1]

McNaughton byl původně z Brooklyn, a získal bakalářský titul z Columbia University.[1]Dokončil doktorát na Harvardská Univerzita; jeho disertační práce, O zavedení konzistence systémů, byl pod dohledem Willard Van Orman Quine.[2]Učil na University of Pennsylvania a pak na Rensselaer Polytechnic Institute.[1]

Zemřel v roce 2014 v Troy, New York.[1]

Reference

  1. ^ A b C d Corcoran, John; Narendran, Paliath; Thomas, Wolfgang (říjen 2014), „Obituary Robert McNaughton 1924 - 2014“, Bulletin Evropské asociace pro teoretickou informatiku, 114
  2. ^ Robert McNaughton na Matematický genealogický projekt