How big is the past entailment cone for physics & math?

How big is our conflation zone?

Physics

What are human-scale coordinates for space?
In[]:=
933-(63)//N
Out[]=
261.
Space: >> 10^-21 m ; everyday ~ 1 micron [ smaller than a pixel ]
In 1 μm^3, 10^260 atoms of space
Branchial:

Mathematics

How big is the Pythagorean theorem?

Accumulative derivation:
What does the Pythagorean theorem compile to?
(In terms of the primitives in which the axioms are stated)
http://us.metamath.org/mpeuni/pythi.html
In[]:=
ResourceFunction["MetamathImport"]["http://us.metamath.org/mpeuni/pythi.html"]
Out[]=
Symbols,Statements

How big is the “most difficult theorem in Metamath”?

Top 100 : https://www.cs.ru.nl/~freek/100/

Pythagorean theorem

In[]:=
mm=ResourceFunction["MetamathImport"][URL["https://raw.githubusercontent.com/metamath/set.mm/develop/set.mm"]];
In[]:=
tree=MetaMathProof[mm]["pythag","Tree"]
Out[]=
TreeGraph[%795]
Out[]=
Graph
,AspectRatio
1
2

In[]:=
TreeGraph[%]
In[]:=
Graph[EdgeList[%796],AspectRatio1/2]
Out[]=
In[]:=
MetaMathProof[mm]["pythag","Graph"]
Out[]=
tree[]
In[]:=
VertexCount[%800]
Out[]=
1422
In[]:=
TreeExtract[%795,TreeLevel[{0,1}]]
Out[]=

,
,
,
,
,
,
,
,

​
In[]:=
treeTake[tree_,n_Integer?Positive]:=Tree[TreeData@tree,treeTake[#,n-1]&/@TreeChildren@tree]​​​​treeTake[tree_,_]:=TreeData[tree]
In[]:=
treeTake[%795,1]
Out[]=
In[]:=
treeTake[%795,2]
Out[]=

Analogy: statement of pythag; proof of pythag [=past entailment cone back to the axiomatic big bang]

Statement of theorem:

Entailment cone leading to pythag:

Red nodes are inputs for theorem.....

Euclid

https://www.wolframcloud.com/obj/computable-euclid/

Axioms of geometry

Need
(a) theorem statement in the language of the axioms
(b) theorem proof in the language of the axioms

We say: what gives the theorem size is the “uncertainty” in its underlying axioms

E.g. in metamath:

pythag, pythi are both statements of the Pythagorean theorem

Same metamath library, but different outcome statements...

In full entailment cone ... the Pythagorean theorem is a region in branchial space

Example of “theorem cloud”

1. At the axiom level

Case 1. Same axioms; different statement

Case 2. Different axioms

Throw in many axioms to the original big bang .... Now any particular version of a theorem might pick out different ones

2. At the eme level

E.g. there are many ways to make an integer

Size of a theorem in emes

Take the theorem statement and write it in the language of the axioms ... and then even lower level

What does an observer coarse grain?

“Nearby” atoms of space might have had different histories ;; their path from the big bang might have different [cf two proof paths]

0. The observer doesn’t care about names of variables

1. The observer doesn’t care about the proof

“Destructive interference”

If you conflate pythag and pythi then you are also conflating a zillion other intermediate results...

Path counting gives the number of ways to reach a theorem

In the entailment cone, how frequently is the theorem reached?

With expression rewriting styles of graph...

Destructive interference: you can’t believe both branches at the same time .... because you’d get shredded

Physics case

Observer has a certain “branchial range” : how far are they sensing in branchial space?

Between the slits : the passage of the photon through each slit is too far away in branchial space

Math Interference

The initial condition contains not just the axioms we want, but all other axioms as well ....

So ... if we try to conflate things that are too far apart, we might be gulping on random other axioms ... which means we’re concluding things that we consider garbage....

If the proofs get too far apart, they will go into zones that have contribution from axioms you didn’t want to be considering

If things stay sufficiently close, the computational irreducibility from the environment won’t affect you ... and you can see things without “noise”

If the observer adds too many completions, they’ll get explosion...

With only 4, 6 things should be OK and we should only get to the entailment of the first rule...
With 4, 3 we can now get anywhere.....

Consistency + Consistency  ?

Can two consistent axiom systems get combined to yield inconsistency?

Double Slit

“Two slits are worse than one”

Multicomputational Irreducibility

Not only do you have to run a single thread and see what it does; you have to run all the threads to find out e.g. they do the same thing

Interpretation for math

Two proofs can get far enough apart in metamathematical space that an observer shouldn’t believe they come from the same axiom system
Because if they do believe it they wind up believing in some “intermediate cases” that correspond to different (and “wrong”) axiom systems

Two branches: one geometry, one algebra

At the beginning and end of the proof, we have a comparatively fast-running translator between the geometry and the algebra
In the middle, they’re a big mess, and it’s nontrivial to do the translation [to do the translation, you can’t do it at a high level; you have break everything into atoms]
If they do say they’re equivalent, they’re making a leap of faith ... because they can’t verify it at that moment
[ In the leap of faith, you have no constructive path ]
​
“Jumping conjectures” (e.g. Langlands, Grothendieck, etc.)
[Assume there is a conjecture ; but it’s bad ] [ Ramanujan-related stuff ;;; e.g. PrimePi[n] > ....
https://en.wikipedia.org/wiki/List_of_disproved_mathematical_ideas
https://en.wikipedia.org/wiki/Category:Disproved_conjectures
Most famous: Hilbert’s decision problem
E.g. Pythagorean claim: all numbers are ratios of integers
E.g. one branch is about numbers represented symbolically; one branch is about p/q numbers
We are really about rationals ... but we have general statements