BURALI FORTI, Cesare
Evandro Agazzi
Nacque ad Arezzo il 13 ag. 1861 da Cosimo e da Isoletta Guiducci. Dopo aver compiuto gli studi medi nel collegio militare di Firenze, s'iscrisse nel dicembre 1879 [...] pregio ed un suo limite) allo studio dei fondamenti logici di due discipline matematiche basilari: l'aritmetica e la biunivoca con una sua parte propria), la cui equivalenza risulterà dimostrabile solo ricorrendo all'"assioma della scelta". ...
Leggi Tutto
CONFORTO, Fabio
Francesco Saverio Rossi
Nato a Trieste nel 1909 da Ruggero e Irene Vascotto, quando la città era ancora parte integrante dell'Impero austro-ungarico, visse gli anni dell'infanzia, a [...] valore testi scolastici, enciclopedie, opere di logica matematica e di logica della scienza. Altri scritti di carattere storico di vista dell'isomorfismo ma anche sotto l'aspetto dell'equivalenza. Egli stabilisce così l'esistenza di un solo tipo di ...
Leggi Tutto
DE FILIPPIS, Vincenzo
Ugo Baldini
Nacque a Tiriolo (Catanzaro) il 4 apr. 1749 da Vito e Laura Micciulli.
La famiglia si collocava probabilmente nel "ceto civile" degli uffici e delle professioni: ciò, [...] il principio dei lavori virtuali da quello dell'equivalenza delle forze, al contrario dell'uso già invalso pochi principi "metafisici", privilegiando criteri di generalità e derivabilità logica. In tal senso parve al Marcolongo che i tre libri ...
Leggi Tutto
POMPILJ, Giuseppe
Enrico Rogora
POMPILJ, Giuseppe. – Nacque a Roma il 17 luglio 1913.
Nel 1918 perse il padre, morto in guerra. Si laureò con lode in matematica nel 1935 con una tesi di geometria algebrica [...] varietà abeliane da un punto di vista algebrico, di equivalenza funzionale, di superfici il cui sistema canonico è degenere è falso, in quanto non coincide con la realtà» (G. Pompilj, Logica della conformità, in Archimede, IV (1952), p. 27). Le sue ...
Leggi Tutto
OR
‹òo›, all’ital. ‹òr› cong., ingl. – Voce corrispondente alla cong. disgiuntiva ital. o, talora usata, con valore di sost. e in funzione appositiva, in logica matematica per indicare l’operazione di disgiunzione o somma logica di due o più...
valore
valóre s. m. [dal lat. tardo (in glosse) valor -oris, der. di valere: v. valere]. – 1. Riferito a persona indica: a. Possesso di alte doti intellettuali e morali, o alto grado di capacità professionale: un uomo, una donna di v., di...