[tinco]

Not to give any credence to Wolfram's theories, I'm wholly unqualified, but why not? Mathematics extends all the way into algorithms and complexity. We have already established that for example machine learning could lead to new mathematical discoveries, and machine learning is easily described by math.

Of course whether such a space is in any way practically computable or of a scale that could even reasonably comprehendable to a human being or even to some machine is an unanswered question.

[t_mann]

Sure, in principle it's interesting, and I can fathom that statements like these could in principle be provable. This 'graphical' perspective could lead to interesting insights eg in proof theory (I actually wouldn't be surprised if things like that had already been done).

My point was rather: making any statement in modern mathematics is hard. I was wondering how serious he is about formally establishing any insights about his ideas, eg a connection between proof spaces and Einstein's equations (presumably general relativity).