An observer-consistency framework for physics with 639 Lean-checked results g github.com 1 berndtzl 3 months ago 0 comments
The post is a lot less formal than are mu papers. The technical paper stack and learning notes are linked from the article. I am especially interested in objections from QFT, GR, algebraic QM, and information theory.