Franco Montagna
Franco Montagna (Broni, 27 settembre 1948 – Siena, 18 febbraio 2015) è stato un matematico e logico italiano. Si è occupato principalmente di logica della dimostrabilità, e in seguito di logiche a più valori, in particolar modo in collegamento con la probabilità. Gli è stato intitolato il "Premio Franco Montagna" congiuntamente dalla Unione Matematica Italiana e dalla Associazione Italiana di Logica e sue Applicazioni[1].
Biografia
[modifica | modifica wikitesto]Allievo di Roberto Magari, si è trasferito a Siena per collaborare con lui. All'Università di Siena ha intrapreso la carriera universitaria, diventando professore ordinario nel 1987. Ha diretto la Scuola di Specializzazione in Logica Matematica ed è stato per due volte coordinatore di Dottorato.
Si è occupato dapprima degli aspetti algebrici della teoria della dimostrabilità, studiando le algebre diagonalizzabili (oggi note come Algebre di Magari), dimostrando l'indecidibilità della relativa teoria del primo ordine.
A partire dagli anni '90 Franco Montagna inizia ad interessarsi al problema dell'incertezza dal punto di vista logico e algebrico. In particolare, utilizzando un metodo che verrà chiamato "metodo di Jenei-Montagna", dimostra un teorema di completezza per la logica a più valori MTL. Montagna si occupa anche del problema della fondazione della teoria soggettiva della probabilità, sulle orme di Bruno de Finetti.
Montagna ha dato contributi significativi anche alla teoria della ricorsività, alla teoria della dimostrazione e alla "Learning Theory".[2]
Riconoscimenti
[modifica | modifica wikitesto]Nel dicembre 2016 si è tenuto a Siena il convegno "Coherence and truth" in memoria di Franco Montagna.[3]
La rivista "Soft Computing" ha dedicato un volume alla sua memoria.[4]
La Associazione Italiana di Logica e sue Applicazioni, congiuntamente alla Unione Matematica Italiana, gli ha intitolato il "Premio Franco Montagna" per tesi di dottorato inerenti alla logica matematica.
Note
[modifica | modifica wikitesto]- ^ Premio Franco Montagna, sul sito UMI [1]
- ^ Fabio Bellissima, Andrea Sorbi, Aldo Ursini, Ricordo di Franco Montagna, in Matematica, Cultura e Società. Rivista dell’Unione Matematica Italiana, Serie 1, Vol. 1 (2016), n.2, p. 173–180. [2]
- ^ Convegno COHERENCE AND TRUTH - In memoriam Franco Montagna [3]
- ^ Soft Computing, Special Issue In memoriam Franco Montagna, Volume 21, issue 1, January 2017 [4] (accesso agli articoli a pagamento).
Bibliografia
[modifica | modifica wikitesto]Lev Beklemishev e Tommaso Flaminio, Franco Montagna’s Work on Provability Logic and Many-valued Logic, Studia Logica volume 104,1-46 (2016)
| Controllo di autorità | VIAF (EN) 154030291 · ISNI (EN) 0000 0001 0317 3757 · SBN CFIV031699 · LCCN (EN) no2010150126 · GND (DE) 1251220584 · J9U (EN, HE) 987007374382705171 |
|---|
