[dullcrisp]

Oh dear.

[l33t7332273]

Excuse me?

[dullcrisp]

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]

I’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.