a.a. 2009-2010
a.a. 2008-2009
a.a. 2007-2008
a.a. 2005-2006
a.a. 2004-2005
Calendario degli incontri
24 settembre 2010
Peter Schuster
(Univ. of Leeds)
Induction in algebra: first steps
8 ottobre 2010
Gerhard Jaeger
(IAM, Univ. of Bern)
Operational set theory: progress and problems
26 novembre 2010
D. Fazio, T. Franchini, L. Rossi
Dalla QT alle Logiche Quantistiche:
una parabola astrattiva
14 gennaio 2011
Martina Orlandi
Il teletrasporto: dal qubit alle porte logiche
(
slides - .pdf)
21 gennaio 2011
Klaus Colanero
Correzione quantistica nell'informazione quantistica
28 gennaio 2011
Stefano Bonzio, Paolo Galeazzi
Dalla crittografia classica alla crittografia quantistica
(
slides - .pdf)
4 marzo 2011
Marisa Dalla Chiara
Logiche quantistiche computazionali e logiche epistemiche
11 marzo 2011
Giacomo Sillari
(Scuola Normale Superiore, Pisa)
Wittgenstein e la teoria dei giochi
18 marzo 2011
Mariano Giaquinta
(Scuola Normale Superiore, Pisa)
Matematica, storia della matematica e filosofia:
alcune considerazioni ingenue
25 marzo 2011
Steven French(Univ. of Leeds)
Doing Away with Dispositions:
Towards a Law-Based View of Modality
(
slides)
5 aprile 2011
Beatrice Donati
Dimostrazioni, algoritmi e probabilità:
analisi concettuale del teorema PCP
19 aprile 2011
Per Martin-Löf
(Stockholm University)
Logic: epistemological or ontological
Abstract:
The question to be discussed is exactly where the dividing line between the epistemological part and the ontological part of logic is to be drawn, as well as what is the order of conceptual priority between those two parts.
5 maggio 2011
Ioannis Votsis
(Univ. di Duesseldorf)
Runaway models
13 maggio 2011
Ettore Casari
Goedel