CEVA, Giovanni
Ugo Baldini
Nacque a Milano, da Carlo Francesco e da Paola de' Colombi, molto probabilmente nel dicembre del 1647. Come il fratello Tommaso, compì i primi studi nel locale collegio gesuitico, [...] gli interpreti se il De re numaria sia da considerarsi uno dei primi tentativi di economia matematica o se la impostazione deduttiva e l'adozione d'un simbolismo per le nozioni economiche non siano che il rivestimento, o la sintesi stenografica, di ...
Leggi Tutto
PADOA, Alessandro
Clara Silvia Roero
PADOA, Alessandro. – Nacque a Venezia il 14 ottobre 1868 da Pellegrino, commerciante, e da Pasqua Levi.
Dopo aver compiuto gli studi superiori nella sezione fisico-matematica [...] Rodolfo Bettazzi, e partecipò al Formulariomatematico (1897-1906). È noto per aver codificato la struttura formale delle teorie assiomatico-deduttive e aver ideato un metodo (che oggi porta il suo nome: Beth, 1953; Tarski - Givant, 1978, p. 200) per ...
Leggi Tutto
deduttivo
agg. [dal lat. tardo deductivus, der. di deducĕre «dedurre»]. – Che riguarda la deduzione (come procedimento logico): metodo d., quello che procede per deduzione, usando cioè soltanto il ragionamento senza far ricorso all’esperienza...
progressus in infinitum
locuz. lat. (propr. «il procedere all’infinito»), usata in ital. come s. m. – Espressione con cui, nella filosofia scolastica, è designato un modo di procedere logico che, per spiegare qualcosa, ricorre a un termine,...