Carl Hewitt
1 SlideShare 2 Seguidores
Personal Information
Organización/Lugar de trabajo
San Francisco Bay Area United States
Ocupación
Boad Chair of iRobust and Standard IoT
Sector
Technology / Software / Internet
Acerca de
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..
Datos de contacto
Etiquetas
carl hewitt direct logic many cores actorscripttm inconsistency robustness incompleteness theorems goedel wittgenstein
Ver más

Presentaciones

(1)

Incompleteness Theorems: Logical Necessity of Inconsistency

Hace 13 años • 2066 Visualizaciones
Personal Information
Organización/Lugar de trabajo
San Francisco Bay Area United States
Ocupación
Boad Chair of iRobust and Standard IoT
Sector
Technology / Software / Internet
Acerca de
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..
Etiquetas
carl hewitt direct logic many cores actorscripttm inconsistency robustness incompleteness theorems goedel wittgenstein
Ver más