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
DOI 10.48660/18070051
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