8 ms·

I don't understand your reasoning. Because, you could also "formulate" CH in the "language" of Turing machines. But that is clearly disanalogous to what the art

by calf 8y ago

I don't understand your reasoning. Because, you could also "formulate" CH in the "language" of Turing machines. But that is clearly disanalogous to what the article is saying.

deleted 8y ago
[deleted]