= 27d567bc2d48d9f40e9ccc20ea370b15)
Vladimir_Nesov comments on Ben Goertzel on Charity - Less Wrong Discussion
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 (74)
You appealed to inadequacy of "today's software tools and methodologies". Now you make a different argument. I didn't say it's probable that solution will be found (given the various difficulties), I said that you can't be sure that it's Neolithic tools in particular that are inadequate.
It's hard to find a perfect analogy here, but both analogies I mentioned lend support to my original claim in a similar way.
It may be that with the present state of math, one could cite a few established results and use them to construct a simple proof of P != NP, only nobody's figured it out yet. Analogously, it may be that there is a feasible way to take present-day software tools and use them to implement a working AGI. In both cases, we lack the understanding that would be necessary either to achieve the goal or to prove it impossible. However, what insight and practical experience we have strongly suggests that neither thing is doable, leading to conclusion that the present-day software tools likely are inadequate.
In addition to this argument, we can also observe that even if such a solution exists, finding it would be a task of enormous difficulty, possibly beyond anyone's practical abilities.
This reasoning doesn't lead to the same certainty that we have in problems involving well-understood physics, such as building airplanes, but I do think it's sufficient (when spelled out in full detail) to establish a very high level of certainty nevertheless.