Naoaki Tsuda

Incomplete thermal flows and thermal-clock existence: On equations (17)–(18) of Forget time

This record contains questions on the thermal-time construction in Carlo Rovelli’s Forget time (2011, DOI: 10.1007/s10701-011-9561-4), the detailed mathematical analysis supporting those questions, and Isabelle proof assets. The questions and detailed analysis are provided in Eng...