4 ms·
I’m saying that all you’ve proven is that if you know a priori whether ZFC is consistent, you can construct a Turing machine that returns this value. If you con
by dullcrisp 3y ago
I’m saying that all you’ve proven is that if you know a priori whether ZFC is consistent, you can construct a Turing machine that returns this value. If you consider that to be window dressing I don’t know what else I can tell you.
- l33t7332273 3y agoI’m saying that it doesn’t matter if you know if ZFC is consistent; I have proven there exists a TM that halts iff it is.