AG Mathematische Physik, Yoh Tanimoto (Rom): Lattice construction of QFT and formal mathematics
Mai
23
23.05.2024 16:15 Uhr bis 18:00 Uhr
Übung 1 / 01.250-128, Erlangen
Yoh Tanimoto (Rom)
Lattice construction of QFT and formal mathematics
Abstract:
I give an overview of the strategy of Balaban-Dimock and our recent
attempts of constructing Euclidean field theory. In relation with it, I
talk about my recent experience with proof assistant.