PIRSA:18070051

Towards synthetic Euclidean quantum field theory

APA

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

MLA

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

BibTex

          @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

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