WOLFRAM NOTEBOOK

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

Entailment fabric

Flat reference frame

[“polymath”] Every theorem is advanced by an entailment cone at once

Wolfram Cloud

You are using a browser not supported by the Wolfram Cloud

Supported browsers include recent versions of Chrome, Edge, Firefox and Safari.


I understand and wish to continue anyway »

You are using a browser not supported by the Wolfram Cloud. Supported browsers include recent versions of Chrome, Edge, Firefox and Safari.