3 ms·
You can go the other way, what's the simplest yet unprovable axiom set relevant for the turing machine? You can try encoding this one.
by thriftwy 5y ago
You can go the other way, what's the simplest yet unprovable axiom set relevant for the turing machine? You can try encoding this one.