User:Carl Hewitt: Difference between revisions

From Citizendium
Jump to navigation Jump to search
imported>Carl Hewitt
(→‎Seminars: History of Logic Programming)
No edit summary
 
(28 intermediate revisions by 2 users not shown)
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.
{{AccountNotLive}}
 
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==
*[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.]
*[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 in Cordura Hall, Room 100]
 
==Reports==
*[http://orgs_paraconsistency_and_model_checking.carlhewitt.info/ ORGs (Organizations of Restricted Generality): Strong Paraconsistency and Participatory Behavioral Model Checking]
*[http://logicprogramminghistory.wikicensored.info/ History of Logic Programming]
*[http://logicalnecissityofinconsistency.wikicensored.info/ Logical Necessity of Inconsistency]]
 
==Blog==
*[http://hewitt-seminars.blogspot.com/ Carl Hewitt on Blogger]
 
==External Links==
*[http://hewitt.wikicensored.info Carl Hewitt's experience at Wikipedia]


[[Category:CZ Authors|Hewitt, Carl]]
[[Category:CZ Authors|Hewitt, Carl]]
[[Category:Mathematics Authors|Hewitt, Carl]]
[[Category:Mathematics Authors|Hewitt, Carl]]
[[Category:Computers Authors|Hewitt, Carl]]
[[Category:Computers Authors|Hewitt, Carl]]
[[Category:CZ Editors|Hewitt, Carl]]
[[Category:Inactive CZ Editors|Hewitt, Carl]]
[[Category: Mathematics Editors|Hewitt, Carl]]
[[Category:Inactive Mathematics Editors|Hewitt, Carl]]
[[Category: Computers Editors|Hewitt, Carl]]
[[Category:Inactive Computers Editors|Hewitt, Carl]]

Latest revision as of 02:30, 22 November 2023


The account of this former contributor was not re-activated after the server upgrade of March 2022.


Please see the following Knol: [1]