Human-level theorem:
Human-level theorem:
decomposes into XXXX raw axioms <exponential factor>
to combinators: XXXX [large factor]
to combinators: XXXX [large factor]
Mathematician might be aware of thousands of theorems [and know many others exist]
Mathematician might be aware of thousands of theorems [and know many others exist]
In physics, we are aware of a certain region of space (+ branchial space)
In physics, we are aware of a certain region of space (+ branchial space)
In math we have a coarse-graining / abstraction of lots of emes; similarly physics
Entailment cone
Entailment cone
Mathematicians pick out particular theorems [ which they coarse grain removing ornamentation ]
Physical observers coarse grain quantum states + spacetime positions
Physical observers coarse grain quantum states + spacetime positions
“This theorem” : really a cloud
“This electron” : how many distinct states?