Roberta McNaughtona

Ten artykuł dotyczy matematyka. Dla aktora zobacz Roberta MacNaughtona .

Robert Forbes McNaughton Jr. (1924–2014) był amerykańskim matematykiem , logikiem i informatykiem, który wniósł kilka kluczowych wkładów w języki formalne , gramatykę i systemy przepisywania oraz kombinatorykę słów .

McNaughton pochodził z Brooklynu i uzyskał tytuł licencjata na Uniwersytecie Columbia . Ukończył doktorat. na Uniwersytecie Harvarda ; jego rozprawa „O ustanowieniu spójności systemów ” była nadzorowana przez Willarda Van Ormana Quine’a . Wykładał na Uniwersytecie w Pensylwanii , a następnie w Rensselaer Polytechnic Institute .

Zmarł w 2014 roku w Troy w stanie Nowy Jork .