Franco Montagna
Franco Mountain ( Broni , 27 septembrie 1948 - Siena , 18 februarie 2015 ) a fost un matematician și logician italian . El s-a ocupat în principal de logica probabilității și mai târziu de logica cu mai multe valori , în special în legătură cu probabilitatea . „Premiul Franco Montagna” a fost numit după el în comun de Uniunea Matematică Italiană și Asociația Italiană de Logică și Aplicațiile sale [1] .
Biografie
Elev al lui Roberto Magari , s-a mutat la Siena pentru a colabora cu el. La Universitatea din Siena a început o carieră universitară, devenind profesor titular în 1987. A condus Școala de Specializare în Logică Matematică și a fost de două ori coordonator al doctoratului.
El s-a ocupat mai întâi de aspectele algebrice ale teoriei probabilității, studiind algebrele diagonalizabile (cunoscute acum sub numele de algebre Magari ), demonstrând indecidibilitatea teoriei relative de prim ordin .
Începând cu anii 90, Franco Montagna a început să se intereseze de problema incertitudinii din punct de vedere logic și algebric. În special, folosind o metodă care va fi numită „metoda Jenei-Mountain”, el demonstrează o teoremă de completitudine pentru logica multivaloră MTL. Montagna se ocupă și de problema fundamentării teoriei subiective a probabilității, pe urmele lui Bruno de Finetti .
Montagna a adus, de asemenea, contribuții semnificative la teoria recursivității , teoria dovezilor și „Teoria învățării”. [2]
Mulțumiri
În decembrie 2016, conferința „Coerență și adevăr” a avut loc la Siena în memoria lui Franco Montagna. [3]
Revista „Soft Computing” și-a dedicat un volum memoriei sale. [4]
Asociația italiană de logică și aplicațiile sale, împreună cu Uniunea matematică italiană, i-au conferit titlul de „Premiul Franco Montagna” pentru tezele de doctorat referitoare la logica matematică.
Notă
- ^ Premiul Franco Montagna, pe site-ul UMI [1]
- ^ Fabio Bellissima, Andrea Sorbi, Aldo Ursini, Memoria lui Franco Montagna, în Matematică, Cultură și Societate. Jurnalul Uniunii Matematice Italiene, Seria 1, Vol. 1 (2016), n.2, p. 173-180. [2]
- ^ Conferință COERENȚĂ ȘI ADEVĂRAT - In memoriam Franco Montagna [3]
- ^ Soft Computing, ediție specială In memoriam Franco Montagna, volumul 21, numărul 1, ianuarie 2017 [4] (acces la articole cu plată).
Bibliografie
Lev Beklemishev și Tommaso Flaminio, Opera lui Franco Montagna despre logica disponibilității și logica valoroasă, Studia Logica volumul 104,1-46 (2016)
Controlul autorității | VIAF (EN) 154 030 291 · SBN IT \ ICCU \ CFIV \ 031699 |
---|