= 27d567bc2d48d9f40e9ccc20ea370b15)
gwern comments on Against Utilitarianism: Sobel's attack on judging lives' goodness - 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 (16)
I examine 2 Turing machines, one of which reads 'halt' and the other reads 'for all integers, check whether Goldbach's conjecture holds and halt when it doesn't'. If Omega asks me which one halts, I will choose the first one. It seems to me that I did just solve the Halting theorem, so Turing can't have proven it. If I can't solve the Halting problem, what does it mean I should tell Omega? That #2 halts? Am I being unfairly simplistic here? I don't see how.
If it's claimed that "you can't judge lives", it doesn't seem like the most natural reading is "there exists at least one theoretically possible comparison of lives that you can't judge, though you can judge some such comparisons and you may be able to judge all comparisons that actually turn up".
I think I object to your comment for more reasons than that but would need to think about how exactly to phrase them.
I am merely repeating what I pointed out in my essay.
I feel like you're reading my comments uncharitably, and would like to bow out of the discussion.