User:Carl Hewitt: Difference between revisions

From Citizendium
Jump to navigation Jump to search
imported>Carl Hewitt
imported>Carl Hewitt
(moved to Knol)
Line 1: Line 1:
Carl Hewitt is Emeritus in the Electrical Engineering and Computer Science department at the Massachusetts Institute of Technology (MIT). He obtained his PhD in mathematics at MIT in 1971, under the supervision of Seymour Papert (adviser), Marvin Minsky, and Mike Paterson. From September 1989 to August 1990, Hewitt was the IBM Chair Visiting Professor in the Department of Computer Science at Keio University in Japan. He is known for his design of Planner (a pioneering Artificial Intelligence programming language), his work on concurrency (the Actor model), the Scientific Community Metaphor with Bill Kornfeld, and, most recently, on strongly paraconsistent logic (Direct Logic).  Hewitt's Erdős number is 3 (by two different co-authors).
Please see the following Knol:  [http://knol.google.com/k/carl-hewitt/-/pcxtp4rx7g1t/4#view]
 
==Academic Biography==
*[http://biography.carlhewitt.info Carl Hewitt's academic biography]
 
==Publications==
*[http://publications.carlhewitt.info Carl Hewitt's publications]
 
==Seminars and Panels==
*[http://www.whatwentwrongandwhy.org/WWWWW_Schedule.htm Development of Logic Programming: What went wrong, What was done about it, and What it might mean for the future] What Went Wrong and Why Workshop. AAAI'08. July 13, 2008.
*Audio recording of presentations at  [https://deimos.apple.com/WebObjects/Core.woa/BrowsePrivately/scu.edu.1166739554.01509103457.1543621377?i=1248846732 The World that Wikipedia Made: The Ethics and Values of Public Knowledge] Thursday 15 May 2008 at de Saisset Museum, Santa Clara University
*[http://history_of_logic_programming_seminar.carlhewitt.info/ "History of Logic Programming: What went wrong, What was done about it, and What it might mean for the future"] Stanford CSLI CogLunch. 12 noon-1:30 PM on Thur. 8 May 2008.
*[http://logicalnecessityedinburgh.carlhewitt.info/ "The Logical Necessity of Inconsistency"] Edinburgh LFCS. 11th September 2007
*[http://logicalnecessitystanford.carlhewitt.info/ "The Logical Necessity of Inconsistency"] Stanford Logic Group Meeting. 26 September 2007.
 
==Reports==
*[http://knol.google.com/k/carl-hewitt/corruption-of-wikipedia/pcxtp4rx7g1t/5#view Corruption of Wikipedia]
*[http://carlhewitt.blogspot.com/2008/08/development-of-logic-programming-what.html Development of Logic Programming: What went wrong, What was done about it, and What it might mean for the future]
*[http://carlhewitt.blogspot.com/2008/08/common-sense-for-concurrency-and-strong.html  Common sense for concurrency and strong paraconsistency using unstratified inference and reflection]
*[http://normsandcommitmentfororgs.carlhewitt.info/ Norms and Commitments for ORGs (Organizations of Restricted Generality): Strong Paraconsistency and Participatory Behavioral Model Checking]
*[http://knol.google.com/k/carl-hewitt/history-of-development-of-logic/pcxtp4rx7g1t/3# Middle History of Logic Programming]
 
==Blog==
*[http://carlhewitt.blogspot.com/ Carl Hewitt on Blogger]




Revision as of 11:11, 30 August 2008

Please see the following Knol: [1]

Retrieved from "https://citizendium.org/wiki/index.php?title=User:Carl_Hewitt&oldid=351080"