PIRSA:18070051 Conference Quantum Foundations

DOI10.48660/18070051

Conference/School: Foundations of Quantum Mechanics

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}}
}

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

Resources

Next talk

Related Talks