Re: Automatic Theorem Prover

Thanks to everyone for their help!

It looks like I need to look up the terms, "theory" and "model."

Chris

Kees wrote:
> > So why is there no computer program to solve all of
> > our problems for
> > us?
>
> Because nobody wrote such a program. At the current level of AI such a problem is well beyond our reach.
>
> >
> > I cannot imagine that the human mind has any more
> > "problem solving
> > power" than a computer.
>
> Why not? If you compare the problems that computers solve well and those humans solve well you will see that the intersection is almost empty. For example calculating the product of two 100 digits numbers is a very easy problem for a computer but a very difficult one for a human being. On the other hand solving a problem in Euclidean geometry is rather easy to a well trained geometer, while even the best geomtery solving programs will find it very tough. Moreover there are a lot of problems that humans are excellent at but there is not even a clue how to write even a very inefficient computer program to do the same job. For instance understanding language, translating between languages, doing art, invernting new things.
>
> Based on this comparison I think there is no reason the expect that the human brain works even remotly like a computer.
>
> > Further, it seems that any statement which is true
> > could be shown true
> > in a finite number of steps -- thus, the solution
> > could be found using
> > a search.
>
> In theory you are right, but in pracitce we can sit and wait for the solution for ages...
>
> Moreover, what if the problem doesn't have a counter example nor a proof? (like the continuum hypothesis in ZFC?)
>
> >
> > What does everyone think?
> >

.

Relevant Pages

  • Re: A modern view of the halting problem
    ... I am simply suggesting that the human mind is not bound by Church's ... That's why, for example, designing an *interactive* disassembler is ... automatically disassemble any computer program, but thus far, human ...
    (alt.lang.asm)
  • Re: Automatic Theorem Prover
    ... Because nobody wrote such a program. ... > I cannot imagine that the human mind has any more ... Based on this comparison I think there is no reason the expect that the human brain works even remotly like a computer. ...
    (sci.math)
  • Automatic Theorem Prover
    ... So why is there no computer program to solve all of our problems for ... I cannot imagine that the human mind has any more "problem solving ...
    (sci.math)