Author: Janosch Zwerensky
Date: 08:22:55 04/21/02
Go up one level in this thread
>The difference between the mathematician and the machine is that the latter is >based on a reproductive approach, while the real mathematician is not limited to >solve differential equations, but can also give creative contribution to the >mathematics discipline with e.g. new complex theorems. So what? A ZFC theorem prover can do the same, in principle (of course, we don't have automated all-purpose theorem provers today which could compete with a trained mathematician --- but this does not show that computers can't be programmed to do the work of a mathematician *in principle*, given enough computing power).
This page took 0.01 seconds to execute
Last modified: Thu, 15 Apr 21 08:11:13 -0700
Current Computer Chess Club Forums at Talkchess. This site by Sean Mintz.