| ▲ | guerrilla 2 days ago | ||||||||||||||||
I understand where you're coming from but it's a bad analogy. Formal proofs are extremely difficult but possible. Immortality is impossible. | |||||||||||||||||
| ▲ | hexaga 2 days ago | parent [-] | ||||||||||||||||
I don't think it matters, to be quite honest. Absolute tractability isn't relevant to what the analogy illustrates (that reality doesn't bend to whims). Consider: - Locating water doesn't become more tractable because you are thirsty. - Popping a balloon doesn't become more tractable because you like the sound. - Readjusting my seat height doesn't become more tractable because it's uncomfortable. The specific example I chose was for the purpose of being evocative, but is still precisely correct in providing an example of: presenting a wish for X as evidence of tractability of X is silly. I object to any argument of the form: "Oh, but this wish is a medium wish and you're talking about a large wish. Totally different." I hold that my position holds in the presence of small, medium, _or_ large wishes. For any kind of wish you'd like! | |||||||||||||||||
| |||||||||||||||||