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
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.