XXIV Incontro di Logica
dal 2 al 4 Febbraio 2011
Museo della Musica
Ingresso libero
-
44.4928668 11.3503173
Una conferenza internazionale sui temi della logica matematica e delle sue applicazioni all'informatica, con una sessione su matematica e musica
Da mercoledì 2 a venerdì 4 febbraio, presso il Museo della Musica (Strada Maggiore, 34), si tiene il ventiquattresimo incontro di Logica, organizzato congiuntamente dai proff. Giovanna Corsi (Dipartimento di Filosofia) e Simone Martini (Dipartimento di Scienze dell'Informazione). Gli incontri vogliono offrire ai ricercatori di matematica, filosofia della scienza ed ICT un'arena per discutere tutti gli aspetti della logica matematica in relazione al loro campo di studi. Tra gli invitati stranieri alcune figure di spicco della teoria degli insiemi (Menachem Magidor, Gerusalemme), della logica modale (Lev Beklemishev, Mosca), della logica nell'informatica (Thierry Coquand, Göteborg). L'accogliente collocazione al Museo della Musica è occasione, mercoledì alle 17,30, per una riflessione sui rapporti tra musica e strutture matematico-formali, con una conferenza a due voci di Fabio Bellissima e Carmine Cella, seguita da un concerto per pianoforte a quattro mani ed elettronica.