We point out that some questions in quantum field theory are undecidable in a precise mathematical sense. More concretely, it will be demonstrated that there is no algorithm answering whether a given 2d supersymmetric Lagrangian theory breaks supersymmetry or not. It will also be shown that there is a specific 2d supersymmetric Lagrangian theory which breaks supersymmetry if and only if the standard Zermelo-Fraenkel set theory with the axiom of choice is consistent, which can never be proved or disproved as the consequence of Gödel's second incompleteness theorem. The article includes a brief and informal introduction to the phenomenon of undecidability and its previous appearances in theoretical physics. This talk is based on 2203.16689.
Please register at docs.google.com/forms/d/e/1FAIpQLSf0jLgoqiOgDnxbEBGiuIWiOmh9WX8caH-pr13qDBZOO91lmg/viewform (Links to join the seminars will be sent to your registered email address).
Recordings of past talks can be found here: www.youtube.com/channel/UCw9LdPQ5t7Q7muD0qzn70TA