Thursday, January 27, 2022

Current Articles and Videos (frequently updated at link provided for each article and Video)

 

    • Universal Intelligent Systems by 2030


      Video
       https://youtu.be/yXvrmCEqJjI

    • Linux 60th Anniversary Keynote

      Video https://t.co/IRe3vpMlWn

    • Project Liftoff: Universal Intelligent Systems (UIS) by 2030
               https://papers.ssrn.com/abstract=3428114
           
           Video

    • Technology for Project Liftoff
               https://papers.ssrn.com/abstract=3581859

      • Resilience Against Cyberattacks using Strongly-typed Actors

                    https://papers.ssrn.com/abstract=3603021

    video: “Preventing Successful Cyberattacks Using Strongly-typed Actors” 

                 https://www.youtube.com/watch?v=AJP1VL7shiI

    • Robust Inference for Universal Intelligent Systems

    • Secure (Against Direct Cyberattacks) Backdoors for Universal Intelligent Systems  
               https://papers.ssrn.com/abstract=3425957
    • Citadels: faster response time and better information integration than remote datacenters 
           https://papers.ssrn.com/abstract=2836282
    • Information Security Requires Strongly-Typed Actors and Theories

           https://papers.ssrn.com/abstract=3418003
    • Physical Indeterminacy in Digital Computation
            https://papers.ssrn.com/abstract=3459566 

    • Theory Ordinals can Replace ZFC in Computer Science

    • Academic Biography of Professor Carl Hewitt  
         https://drive.google.com/file/d/0B9n_TmQDctJlUVdSRFRLeF90Y00/view
     
     

    Wednesday, January 26, 2022

    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.