Is a proof that cannot be fully checked by a human be a real proof??? e.g. The Four Colour Theorem
alpha | (62.119.58.64) | Friday, 24 May 2002 9:30:01 AM
Well. Computers are buildt and programed by humans, it does nothing that it isnt computed for. They dont drift away in own thoughts and make there own way, (well if someone wants to discuss that question, if AI exists, then I would love to do that in another discussion group.). But as we know, computers do exactly the things we do, but faster, so computer proof is just as equal as if you took pen and pencil and made it yourself.