PIRSA:18070051

Video URL

https://pirsa.org/18070051

Towards synthetic Euclidean quantum field theory

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

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

          @misc{ scivideos_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 for Theoretical Physics},
            year = {2018},
            month = {jul},
            note = {PIRSA:18070051 see, \url{https://scivideos.org/index.php/pirsa/18070051}}
          }

Tobias Fritz Universität Innsbruck

Talk numberPIRSA:18070051
DOI10.48660/18070051
Source RepositoryPIRSA
Collection
Talk Type Conference
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