Se penche sur les aspects philosophiques de la physique quantique, explorant la non-localité, les problèmes de mesure et l'effondrement de la fonction d'onde.
Explore les systèmes de raisonnement automatisés pratiques comme TPTP, TSTP et CASC, en soulignant l'importance de la cohérence et des développements futurs.
