Today at 16:30 PDT, Harold http://www.ai.sri.com/seminars/detail.php?id=495 From: [email protected] [mailto:[email protected]] On Behalf Of Rodrigo de Salvo Braz Sent: Tuesday, August 02, 2016 12:34 PM To: [email protected] Subject: [aic-seminars] WebEx ADDED: Carl Hewitt on the Mathematical Foundations of the Internet of Things: August 2, today Tuesday, EK255, 4:30pm WebEx available for this talk: https://sri-meetings.webex.com/sri-meetings/j.php?MTID=m85085b3dfd4dcfcb25d303b425c7ef9e <https://sri-meetings.webex.com/sri-meetings/j.php?MTID=m85085b3dfd4dcfcb25d303b425c7ef9e> or go to www.webex.com, click on "Join" and enter meeting number 627 865 237. Audio should work through WebEx. If not, try 1-888-355-1249, passcode 749045
Please note the unusual weekday and time: Tuesday, 4:30 pm. Coffee & cookies served at Richard Waldinger's office (EK292) at 4 pm. Note for visitors to SRI: Please arrive at least 10 minutes early as you will need to sign in by following instructions by the lobby phone at Building E. SRI is located at 333 Ravenswood Avenue in Menlo Park. Visitors may park in the parking lots off Fourth Street. Detailed directions to SRI, as well as maps, are available from the <http://www.ai.sri.com/visiting> Visiting AIC web page. There are two entrances to SRI International located on Ravenswood Ave. <https://www.google.com/maps/@37.4562433,-122.1784962,3a,75y,89.83t/data=%213m4%211e1%213m2%211sREKhIDbL5iAMXlSOQlDDeQ%212e0> Please check the Builing E entrance signage. SRI AIC Seminar 4:30PM Tuesday August 2, 2016 EK255 (SRI E building) (Directions <http://www.ai.sri.com/visiting> ) Mathematical Foundations of IoT: Wittgenstein versus Gödel Carl Hewitt <https://plus.google.com/+CarlHewitt-StandardIoT> https://plus.google.com/+CarlHewitt-StandardIoT Foundations should be of interest to software and security engineers as a basis for the following: • rigorous, shared understanding between humans and their information systems • programming languages and models of computation adequate for IoT • reasoning about inconsistent information in IoT including their security properties Any inconsistencies in the mathematical foundations of IoT will be exploited to create security violations. Unfortunately, software and security for IoT is developing into an even larger disaster for computer engineering than the one that we already have on our hands. According to John von Neumann, Kurt Gödel was “the greatest logician since Aristotle.” Although still strongly supported by many contemporary theoreticians, his conceptions of computation and logical foundations have been made obsolete by developments in computer science. For example, Gödel declared that it is “absolutely impossible that anybody who understands the question [What is computation?] and knows Turing’s definition should decide for a different concept.” However, the Turing Machine model of computation left out a crucial aspect of computation, namely, communication among computers. In the Internet of Things one computer is no computer. This talk presents a very simple effective concurrent computation that cannot be performed using a (nondeterministic) Turing Machine, which illustrates how nondeterministic branching in state machines (such as Turing Machines) is not a good model for message reception in IoT. Gödel claimed that the Turing Machine model was supported when it was shown to have equivalent computational power in computing mathematical functions. However, the parallel lambda calculus can be exponentially slower than computations making use of communication that is not restricted to being strictly hierarchical. Gödel claimed that “I'm unprovable.” is necessarily a proposition of Principia Mathematica, which was claimed at the time to be a foundation for all Mathematics. However, using an argument explained in this talk, Wittgenstein showed that Gödel's proposition leads to inconsistency in mathematics. In response, Gödel retreated to first-order logic in defense of his proposition. However in computer science, there are no known practical uses for Gödel's proposition. Worse yet, allowing Gödel's proposition has the false consequence that mathematics cannot not prove its own consistency. In fact, this talk shows that Mathematics proves its formal consistency using a very short formal proof. Mathematics retains its consistency because strongly typed logic shows that Gödel's proposition is not a valid proposition of mathematics. Wittgenstein wrote “I predict a time when there will be mathematical investigations of calculi containing contradictions, and people will actually be proud of having emancipated themselves from consistency.” Gödel responded as follows: “He [Wittgenstein] has to take a position when he has no business to do so. For example, ‛you can't derive everything from a contradiction.’ He should try to develop a system of logic in what that is true.” However, information in IoT has pervasive inconsistencies because of intermittent connectivity among devices and multitudinous sources of information. Consequently, First-Order Logic (advocated by Gödel) cannot safely be used to reason about information in IoT. This talk will describe how a mathematical logic has been developed for validly processing inconsistent information in IoT. Bio for Carl Hewitt Carl Hewitt is an emeritus professor of computer science (MIT) who is best known for his work on the Actor model of computation, which is in widespread use in eBay, Microsoft, Twitter, etc. For the last decade, his work has been in the field of Inconsistency Robustness, which aims to provide practical rigorous foundations for systems dealing with pervasively inconsistent information. He is co-editor with John Woods assisted by Jane Spurr of the monograph “Inconsistency Robustness” (Vol. 52 of Studies in Logic). Hewitt is currently Board Chair of the International Society for Inconsistency Robustness (iRobust™) and also Board Chair of Standard IoT™, an international standards organization for the Internet of Things, which is using the Actor Model to unify and generalize emerging standards for IoT. Also, he has been a Visiting Professor at Keio University and Stanford. _______________________________________________ RuleML-all mailing list [email protected] http://ruleml.org/mailman/listinfo/ruleml-all_ruleml.org
