6 ms·
You haven't proven that it can't be proven that 2 + 2 = 5. All you have proven is that if 2 + 2 = 5, then mathematics are inconsistent. Which they could be; you
by sklipo 14y ago
You haven't proven that it can't be proven that 2 + 2 = 5. All you have proven is that if 2 + 2 = 5, then mathematics are inconsistent. Which they could be; you can't just assume math and logic are consistent.
- debacle 14y ago> you can't just assume math and logic are consistent. What a bunch of bollocks.
- javert 14y agoPrecisely my point. Wow, that guy really stepped in it. Claiming that logic isn't valid is worse than a logical contradiction, because if logic isn't valid, you can't claim anything.
- chris_wot 14y agoNobody ever said logic isn't valid. We're talking about consistency.
- javert 14y agoIf logic isn't consistent, then logic isn't valid. I'm not assuming specialized definitions of "consistency" and "validity" here, just your normal everyday layman's usage.
- chris_wot 14y agoWell, you were responding to someone who was using the correct formal terms. You, after all, don't dispute the second theorem - but given it uses the term "consistent" you can hardly complain when someone makes their argument using the same terminology as the theorem you agree with! Interested in what you define "consistent" and "valid" as in laymans terms though.
- deleted 14y ago[deleted]
- javert 14y agoI'd rather continue the other thread of discussion we have going, than this one. Anyway, you can look up "consistent" and "valid" in any dictionary to find out what I mean.