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.

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