Carl Hewitt
1 SlideShare 2 Abonné
Personal Information
Entreprise/Lieu de travail
San Francisco Bay Area United States
Profession
Boad Chair of iRobust and Standard IoT
Secteur d’activité
Technology / Software / Internet
À propos
Carl Hewitt is Board Chair of the International Society for Inconsistency Robustness. He has been a Visiting Professor at Stanford University and the University of Keio. In 2000, he became emeritus in the EECS department at MIT. Hewitt is known for his design of Planner. This was the first programming language based on procedural plans invoked using pattern-directed invocation from assertions and goals. Planner was influential in the development of both logic programming and object-oriented programming. He is also known for his work on the Actor model of concurrent computation, which influenced the development of the Scheme programming language and the π calculus, and served as an inspi..
Coordonnées
Mots-clés
carl hewitt direct logic many cores actorscripttm inconsistency robustness incompleteness theorems goedel wittgenstein
Tout plus

Présentations

(1)

Incompleteness Theorems: Logical Necessity of Inconsistency

il y a 13 ans • 2066 Vues
Personal Information
Entreprise/Lieu de travail
San Francisco Bay Area United States
Profession
Boad Chair of iRobust and Standard IoT
Secteur d’activité
Technology / Software / Internet
À propos
Carl Hewitt is Board Chair of the International Society for Inconsistency Robustness. He has been a Visiting Professor at Stanford University and the University of Keio. In 2000, he became emeritus in the EECS department at MIT. Hewitt is known for his design of Planner. This was the first programming language based on procedural plans invoked using pattern-directed invocation from assertions and goals. Planner was influential in the development of both logic programming and object-oriented programming. He is also known for his work on the Actor model of concurrent computation, which influenced the development of the Scheme programming language and the π calculus, and served as an inspi..
Mots-clés
carl hewitt direct logic many cores actorscripttm inconsistency robustness incompleteness theorems goedel wittgenstein
Tout plus