> Given that human beings do mathematics just fine, I think there might be some way to deal with this.
I'm confused by this response.
Certainly I am not claiming that no mathematics can be done, but equally certainly there is a lot of math that seems, at least "at our present level of (mental) technology", to be out of human reach. Since it is (I think) precisely this sort of math in which Wolfram is most interested, it seems odd to point out the math that humans can do as a counterexample.
(I am further confused because it seems to me that the sets of tasks that humans can perform easily and that computers can perform easily are, if not disjoint, at least of very small overlap, so that it might not be unreasonable to take the presence of a task in one set as reason to question its membership in the other.)
I'm confused by this response.
Certainly I am not claiming that no mathematics can be done, but equally certainly there is a lot of math that seems, at least "at our present level of (mental) technology", to be out of human reach. Since it is (I think) precisely this sort of math in which Wolfram is most interested, it seems odd to point out the math that humans can do as a counterexample.
(I am further confused because it seems to me that the sets of tasks that humans can perform easily and that computers can perform easily are, if not disjoint, at least of very small overlap, so that it might not be unreasonable to take the presence of a task in one set as reason to question its membership in the other.)