|
|
|
|
|
|
by t_mann
1532 days ago
|
|
|
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). |
|
|