Nicholas Gonzalez87 said:Gödel's work absolutely floored me. I honestly thought I was diving into the most rock-solid, foolproof discipline out there, and then... boom. There's one silver lining, though, at least for my own peace of mind: math can't just be derived from pure logic—even if Amanda Jackson5 would argue otherwise. To me, that actually solidifies math as its own independent field with its own set of axioms and methods.
I’m still stuck wondering if mathematical facts and objects exist in some separate realm outside our minds, or if they're just constructs we've agreed upon. If aliens showed up tomorrow, would they use the same math we do, or something totally different? 😁
Mathematical objects themselves are pretty indifferent when it comes to truth or falsehood; it's only the actual statements within mathematical logic that carry those labels of true or false.
You aren't alone there; Gödel basically turned the mathematical world upside down.
I think I wrapped my head around Gödel's incompleteness theorems thanks to a simpler argument about a supposedly autonomous truth-telling machine.
Either way, I'd say math isn't quite as reductionist as it seems at first glance.
As for your question, I'll just quote Hardy, who apparently once told Bertrand Russell: "If I could prove by logic that you were going to die in five minutes, I would be sorry you were dying, but my grief would be greatly mitigated by the pleasure of the proof."
What can you say? Mathematicians, I guess. 🤣
Anyway, the debates just keep going. Speaking of which, have you ever heard of Srinivasa Ramanujan? His story really struck a chord with me. They say that without any formal mathematical training, he arrived at incredibly profound results through what seemed to be pure intuition—almost like it was direct.