Video
https://www.youtube.com/watch?v=yXvrmCEqJjI&list=PLoROMvodv4rMWw6rRoeSpkiseTHzWj6vu&index=2
Universal Intelligent Systems by 2030
Carl
Hewitt with John Perry
https://professorhewitt.blogspot.com/
https://historicalsociety.stanford.edu/publications/perry-john-r
Apple, Facebook, and Microsoft project that by 2030, electronic glasses will have replaced smartphones. Electronic glasses will robustly integrate information under contention in real-time using abstract reasoning about information from sensors in the glasses, from the Internet, and from the systems own internal storage. Intelligent Systems using electronic glasses will advance current smartphone systems as follows:
· Educable in incorporating and using additional abstractions and principles, although by 2030 not yet be great at formulating genuinely new abstractions.
· Self-informative in understanding their own capabilities and limitations.
· Discourse with humans.
An Apollo-scale project will be required to implement and deploy Universal Intelligent Systems by 2030, which will be even more transformative than the smartphones revolution:
· Globally (military, economic, technological)
· Domestically (administration, health, education, commerce, communities, and surveillance)
All aspects of society could become completely dependent on Intelligent Systems, making orders of magnitude greater resilience against cyberattack absolutely necessary. Cyberesilience requires inherently secure abstractions (beyond the inherently insecure von Neumann architecture) that can be used to prove technical specifications.
Carl Hewitt is an MIT emeritus professor. Together with his colleagues and students, he is known for the Actors Abstraction, which is more general than the Church/Turing theory of computation. Unlike the von Neumann architecture, the Actors Abstraction is inherently secure. ActorsTheory (that characterizes the Actor Abstraction up to a unique isomorphism) provides foundations for proving technical specifications of practical computer systems. Practical frameworks for Actors have been developed by Apple, Erlang Solutions, Lightbend, Microsoft, and others. Very large systems have been deployed. The Actors Abstraction is foundational for Formalized Discourse, which is a crucial technology for Universal Intelligent Systems.
Hewitt is also known for ActorsTheory providing greater resilience against cyberattacks on foundations:
· The very existence of the [Gödel 1931] paradoxical proposition I’mUnprovable could be a potential source of cyberattacks in foundational theories. ActorsTheory prevents construction of the proposition using restrictions on orders of propositions.
· ActorsTheory resolves the [Church 1934] paradoxical proposition MyTheoremsAreEnumerable that Church stated meant the end of mathematical logic. The proposition is axiomatic in the foundations of mathematics beginning with Euclid. Using a diagonal argument, [Church 1934] showed that including the proposition in a foundational theory leads to contradiction. The solution to the paradox is to change the definition of a theorem to be a proposition whose proof can be algorithmically checked to be correct. Proof checking is algorithmically decidable although theorems are not algorithmically enumerable.
In this way, MyStringTheoremsOfAnOrderAreEnumerable can be proved to be a logically undecidable proposition in ActorsTheory:
o The proposition cannot be proved in ActorsTheory because of the diagonal argument in [Church 1934].
o It cannot be disproved in ActorsTheory because it is provably true in the mathematical model of ActorsTheory using the metatheory of ActorsTheory.
John Perry
John Richard Perry is Henry Waldgrave Stuart Professor of Philosophy Emeritus at Stanford University and Distinguished Professor of Philosophy Emeritus at the University of California, Riverside. He has made significant contributions to philosophy in the fields of philosophy of language, metaphysics, and philosophy of mind. He is known primarily for his work on situation semantics (together with Jon Barwise), reflexivity, indexicality, personal identity, and self-knowledge.
Perry is a founder of the Center for the Study of Language and Information (CSLI), an independent research center at Stanford University with philosophers, computer scientists, linguists, and psychologists from Stanford, SRI International, and Xerox PARC. It strives to study all forms of information and improve how humans and computers acquire and process it.
