AG Mathematische Physik, Yoh Tanimoto (Rom): Lattice construction of QFT and formal mathematics
May
23
23-05-2024 4:15 PM Uhr bis 6:00 PM 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.