Comment: Well, as I see it, that's the

(See in situ)

Cyril's picture

Well, as I see it, that's the

Well, as I see it, that's the very most humbling thing for hard sciences and what's usually regarded as the purest of all, namely maths:

even if one would bother (or, in some sense, dare) to explicitly model time itself as an orthogonal dimension of a logical framework to gauge about their statements' truth, would it have any invalidating impact on Godel's findings?

The quite amazing thing to me is that does seem unlikely, since even Cantor's orders of infinity haven't proven to be tough enough to resist Godel's theorems; which don't even need to rely upon anything stronger than the simplest infinity (of the natural numbers).

"Cyril" pronounced "see real". I code stuff.


"To study and not think is a waste. To think and not study is dangerous." -- Confucius