Quel paradigme de démonstration automatisée de théorèmes convient à la formalisation de style Principia Mathematica?
Je suis en possession d'un livre qui, inspiré des Principia Mathematica (PM) de Russell et du positivisme logique, tente de formaliser un domaine spécifique en déterminant des axiomes et en déduisant des théorèmes. En bref, il tente de faire pour son domaine ce que PM a tenté de faire pour les...