3 ms·
The whole point of provability is that it is purely syntactic process that could be verified in finite time. Ideally it would be the same as truth, but there ar
by zajio1am 2y ago
The whole point of provability is that it is purely syntactic process that could be verified in finite time. Ideally it would be the same as truth, but there are some caveats.