PIRSA:18070051

Towards synthetic Euclidean quantum field theory

Fritz, T. (2018). Towards synthetic Euclidean quantum field theory. Perimeter Institute. https://pirsa.org/18070051

Fritz, Tobias. Towards synthetic Euclidean quantum field theory. Perimeter Institute, Jul. 30, 2018, https://pirsa.org/18070051 

          @misc{ pirsa_PIRSA:18070051,
            doi = {10.48660/18070051},
            url = {https://pirsa.org/18070051},
            author = {Fritz, Tobias},
            keywords = {Quantum Foundations},
            language = {en},
            title = {Towards synthetic Euclidean quantum field theory},
            publisher = {Perimeter Institute},
            year = {2018},
            month = {jul},
            note = {PIRSA:18070051 see, \url{https://pirsa.org}}
          }

Tobias Fritz

Universität Innsbruck

Talk number
PIRSA:18070051
Collection
Talk Type
Subject
Abstract
In this status report on current work in progress, I will sketch a generalization of the temporal type theory introduced by Schultz and Spivak to a logic of space and spacetime. If one writes down a definition of probability space within this logic, one conjecturally obtains a notion whose semantics is precisely that of a Euclidean quantum field. I will sketch how to use the logic to reason about probabilities of events involving fields, sketch the relation to AQFT, and attempt to formulate the DLR equations within the logic. Joint work with David Spivak