Una storia da seguire con facilità
Un sistema logico si dice completo quando tutte le formule vere possono essere derivate dagli assiomi del sistema. K. Gödel ha dimostrato la completezza del calcolo dei predicati, ma già Aristotele aveva intuito che anche la sua sillogistica fosse, in un certo senso, completa. Per lo Stagirita, infatti, la sillogistica era in grado di rendere conto di tutte le inferenze valide utili in ambito scientifico. Questo volume raccoglie e commenta i passi aristotelici relativi alla nozione di completezza logica, offrendo un testo critico e una nuova traduzione. Prefazione di Giulio A. Lucchetta.
Un sistema logico si dice completo quando tutte le formule vere possono essere derivate dagli assiomi del sistema. K. Gödel ha dimostrato la completezza del calcolo dei predicati, ma già Aristotele aveva intuito che anche la sua sillogistica fosse, in un certo senso, completa. Per lo Stagirita, infatti, la sillogistica era in grado di rendere conto di tutte le inferenze valide utili in ambito scientifico. Questo volume raccoglie e commenta i passi aristotelici relativi alla nozione di completezza logica, offrendo un testo critico e una nuova traduzione. Prefazione di Giulio A. Lucchetta.
, con un tono facile e tecnico e un approccio facile.
È un titolo adatto a chi cerca soprattutto il piacere del racconto e vuole restare dentro una storia costruita con continuità.