Automatic Theorem Prover

So why is there no computer program to solve all of our problems for
us?

I cannot imagine that the human mind has any more "problem solving
power" than 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.

What does everyone think?

.

Relevant Pages

  • Re: 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 ... are those of the Statistics Department or of Purdue University. ... Herman Rubin, Department of Statistics, Purdue University ...
    (sci.math)
  • Re: this is the time to pray
    ... Imagine I create an artificial ... A computer program is a dead thing. ... Randall said "Imagine I create an ... being alive is also not possible, since, taking God out of the equasion, ...
    (alt.lang.asm)
  • 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: What about a new DB without SQL?
    ... You are positively clueless about database and data models. ... You imagine yourself a high priest of All Knowledge. ... Canadian Mind Products, Roedy Green. ... Coaching, problem solving, economical contract programming. ...
    (comp.lang.java.databases)
  • 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)