Un approccio topos-teoretico alla logica quantistica

In the thesis is discussed an approach to quantum logic, advocated especially by von Neumann as the logic underlying the foundations of quantum physics, in the formalism of category theory, in particular in terms of elementary topos, with main reference the papers of Doring and Isham.

Nella tesi si discute di un possibile approccio alla logica quantistica, delineata da von Neumann come la struttura logica sottesa alla fondazione della meccanica quantistica. L’approccio proposto, che ha come riferimento principale gli articoli di Doring e Isham, utilizza il formalismo della teoria delle categorie e dei topoi elementari per riprodurre la struttura di calcolo proposizionale su contesti di misura quantististici.