Remix.run Logo
vlovich123 3 days ago

I agree. I’m just trying to speak to the “realist” argument that Wilderberg presents claiming that some numbers aren’t real and there’s no point talking about them when they come from very practical mathematics let alone the ones that aren’t. In no way was I trying to claim that some part of maths aren’t real - I was trying to understand the consistency of what to me seems like a confusing argument to make.

kragen 3 days ago | parent [-]

I don't think uncomputable numbers "come from very practical mathematics"! Rather, they come from Gödel, Church, and Turing demolishing Hilbert's program of solving the Entscheidungsproblem once and for all. Possibly, if Hilbert had succeeded, that would have made it "very practical mathematics", or possibly not, but that counterfactual is reasoning from a logical contradiction.

https://plato.stanford.edu/entries/church-turing/decision-pr...