ExaIntelligence – Coming Up Soon.

At Advanced Scientific Computing Advisory Committee (ASCAC) meeting, in Arlington, Va., not too long ago:  DOE announced “Aurora” supercomputer is on track to be the United States’ first exascale system. It will be built by Intel and Cray for Argonne National Laboratory,   delivery date has shifted from 2018 to 2021 and target capability has been expanded from 180 petaflops to 1,000 petaflops (1 exaflop).

Wow! One can only speculate about what this means for Artificial and Advanced Intelligence (AI/AI) and the progression to the Singularity.  ExaIntelligence Arriving.

Reality into Realities: Objective, Subjective and Intersubjective​.

To get Artificial and Advanced Intelligences AI/AI into more serious realms, one needs to consider the foundational Reality as composed of Triple Realities: Objective, Subjective, and Intersubjective.

Foor the time being …  a good place to start is here :

Subjective, Intersubjective, Objective  - The Philosophical Essays of Donald Davidson


Voevodsky and Computer verification of mathematical reasoning


Vladimir Alexandrovich Voevodsky Winner of the 2002 Fields Medal passed away earlier this year. Way too early.   Explore his UNIVALENT FOUNDATIONS (2014), where he stated:

I   think it was at this moment that I largely stopped doing what is called “curiosity-driven research” and started to think seriously about the future.  … It soon became clear that the only real long-term solution to the problems that I encountered is to start using computers in the verification of mathematical reasoning.