Curt Jaimungal Interviewing Renato Renner
I've only listened to the first 33 minutes and 32 seconds of this but I'm impressed. See his paper written with Daniela. Frauchiger: Quantum theory cannot consistently describe the use of itself . There is an associated software model available from https://github.com/jangnur/Quanundrum . See also Thought experiments in a quantum computer by Nuriya Nurgalieva, Simon Mathis, Lídia del Rio and Renato Renner. As regards the recursion, I wonder whether impredicative types would make a difference? See the talk by Simon Peyton Jones on impredicativity in System-F and Hindley-Milner type inference in this post of mine . See also Jenann Ismael's A Participatory Universe in the Realist Mode (2024) and Robert J. Aumann's very short 1976 paper Agreeing to Disagree . See also my post Jenann Ismael - Laplace meets Godel: How Self reference Foils Prediction . See also Gabriele Carcassi - A Simple Explanation of Quantum Mech...