This makes me think of a quote from one of Dijkstra's lectures: "In the long run I expect computing science to transcend its parent disciplines, mathematics an

This makes me think of a quote from one of Dijkstra's lectures: "In the long run I expect computing science to transcend its parent disciplines, mathematics and logic, by effectively realizing a significant part of Leibniz's Dream of providing symbolic calculation as an alternative to human reasoning. (Please note the difference between "mimicking" and "providing an alternative to": alternatives are allowed to be better.)" When talking about a tool thats supposedly greater than humans, why should the shortcomings of humans be relevant? The tools we create to surpass our own capabilities should be greater than our own capabilities, not stunted by the same issues.