2
Quale paradigma di dimostrazione del teorema automatizzato è appropriato per la formalizzazione in stile Principia Mathematica?
Sono in possesso di un libro che, ispirato al Principia Mathematica (PM) di Russell e al positivismo logico, tenta di formalizzare un dominio specifico determinando gli assiomi e deducendone i teoremi. In breve, tenta di fare per il suo dominio ciò che PM ha tentato di fare per la matematica. …