Relativity in Metamathematics
Relativity in Metamathematics
There are many possible foliations of the entailment graph
Out[]=
In[]:=
Graph[ResourceFunction["MultiwaySystem"][{"A"->"BBB","BB"->"A"},"A",10,"StatesGraph"],AspectRatio->1.5]
Out[]=
In[]:=
ResourceFunction["MultiwaySystem"][{"A"->"BBB","BB"->"A"},"A",10,"BranchialGraph"]
Out[]=
In[]:=
ResourceFunction["MultiwaySystem"][{"A"->"BBB","BB"->"A"},"A",10,"AllStatesBranchialGraph"]
Out[]=
In[]:=
Table[ResourceFunction["MultiwaySystem"][{"A"->"BBB","BB"->"A"},"A",t,"BranchialGraph"],{t,9}]
Out[]=
,
,
,
,
,
,
,
,
In[]:=
branchialGraph[ResourceFunction["MultiwaySystem"][{"A"->"BBB","BB"->"A"},"A",10,"StatesGraph"]]
Out[]=
In this case the states are determined by the position of the second A. How can we characterize the foliation in this case?
A sufficiently thickened branchial graph will be the same if there is confluence
A sufficiently thickened branchial graph will be the same if there is confluence
Entailment fabric
Entailment fabric
Flat reference frame
Flat reference frame
[“polymath”] Every theorem is advanced by an entailment cone at once
[“polymath”] Every theorem is advanced by an entailment cone at once