= 27d567bc2d48d9f40e9ccc20ea370b15)
Document comments on Rationality Quotes September 2012 - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
= 783df68a0f980790206b9ea87794c5b6)
Loading…= b715d02e85f7b3b4ae65ca3d3e450868)
Subscribe to RSS Feed
Powered by Reddit
= f037147d6e6c911a85753b9abdedda8d)
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (1088)
Isn't the point of math that all mathematical truths are logically equivalent? (In beore Gödel.)
Depends on the axioms you're using.
Well, there's an informal notion that if two theorems T1 and T2 are both true, yet T1 <=> T2 is much easier to prove than either T1 and T2, then the two are equivalent. (There's also the formal notion that two axioms are equivalent if assuming either one lets you prove the other, but I don't think that's especially relevant here.)
That's not close to being the most confused part of the comment you're replying to.