Piero Mangani
Piero Mangani ( Lastra a Signa , 7 octombrie 1935 [1] - Florența , 5 aprilie 2013 ) a fost un matematician și logician italian . El a fost implicat în special în teoria modelelor . Este cunoscut pentru un set de axiome care caracterizează algebrele MV [2] [3] [4] .
Biografie
Absolvent sub conducerea lui Guido Zappa , el a făcut mai târziu parte, la propunerea lui Giovanni Sansone , a unui grup de cercetare despre logica matematică regizat de Ludovico Geymonat [5] , împreună cu, printre alții, Roberto Magari și Mario Servi . Lucrările lui Magari și Mangani din această perioadă, fiind scrise în italiană, au primit încet recunoaștere internațională [6] .
Mangani a regizat cursul de vară CIME „Teoria modelelor și aplicațiilor” în 1975, probabil prima conferință internațională dedicată logicii matematice din Italia după moartea lui Giuseppe Peano .
Mangani a predat întotdeauna la Universitatea din Florența , unde a fost profesor de Algebră .
Notă
- ^ foaie informativă , pe archivi.unifi.it . Adus la 6 iulie 2021 .
- ^ Daniele Mundici , The C * -algebras of three-valoare logics, in Logic Colloquium '88, editat de R. Ferro, C. Bonotto, S. Valentini, A. Zanardo, Elsevier 1989 [1]
- ^ Antonio Di Nola și Giacomo Lenzi, Despre conjectura lui Vaught și algebrele MV finit, Mathematical Logic Quarterly, Vol. 58, N. 3, pp. 139–152, 2012. [2]
- ^ Roberto Arpaia, Despre conceptul lui Magari de calcul general: note despre istoria metodologiei Tarski a științelor deductive, Istoria și filosofia logicii Volumul 27, numărul 1, 2006 [3]
- ^ Corrado Mangione , Ludovico Geymonat și renașterea logicii italiene, în Povestiri și protagoniști ai matematicii italiene, Springer-Verlag Italia, 2013, p. 17 [4]
- ^ Roberto Arpaia, op. cit.
Bibliografie
Piero Mangani, Despre anumite algebre legate de logici cu mai multe valori, Buletinul Uniunii Matematice Italiene, Seria 4, Vol. 8 (1973), 68-78.
Piero Mangani (editat de), Teoria modelului și aplicații. Prelegeri de la Școala de vară a Centrului internațional de matematică de vară (CIME), Bressanone (Bolzano), 20-28 iunie 1975, Ed. Cremonese, Roma, 1975; retipărit de Springer, 2011 [5]
| Controlul autorității | VIAF (EN) 242 836 632 · ISNI (EN) 0000 0003 8571 2172 · BNF (FR) cb12348262t (data) · WorldCat Identities (EN) VIAF-242836632 |
|---|
