|
|
|
|
|
|
by ByersReason
1536 days ago
|
|
|
well at first blush, looks like he re-invented graph rewriting. https://en.wikipedia.org/wiki/Graph_rewriting - on cursory examination, he did not seem to mention that what he was doing with term rewriting was in any way equivalent to this very well known material at all. Maybe I missed this .. also, it is known that you can define some turning equivalence properties to such graph representations, for example : https://arxiv.org/abs/1703.09406 - so therefore you could also assume that this model can compute any computable function. And so, hence, it would seem valid to assume that a physics model can run on such a substrate. |
|
|