can a computer program solve any given mathematical puzzle if it had information about set of all mathematical theorems available .. ?? any links/pointers for further inputs will be appreciated.
Thanks in advance.
2007-08-18 00:31:21 · 5 answers · asked by Pure_Blue_Poison 2 in Computers & Internet ➔ Programming & Design
a clarification..... what i meant was.... can the computer be made intelligent enough to pick the right theorem to prove a result.....
2007-08-18 01:00:22 · update #1
Yes and no.
No, most computer programs do not have the capacity to "think outside of the box." They will only follow explicit instructions—based upon conditional statements and program flow statements.
On the other hand, if you approach the problem from artificial intelligence (AI) and knowledge-based perspectives then, you can enter the realm of fuzzy logic—whereby the program can form guesstimates as to which [solution] methodologies might be appropriate under a given set of circumstances.
2007-08-18 01:11:38 · answer #1 · answered by Einstein 5 · 0⤊ 0⤋
You can do just about anything with a computer,
yes a computer program can solve mathematical puzzles if it had the right informations, I.E. a calculator. The way you would do this if you could not find the program that will solve your problem is you would have to know how to write your own program. Which takes a long time and cant be explained in a few sentences, but if you know how to write your own code then your computer can read it and give you the answerer's following what you have written.
2007-08-18 00:38:52 · answer #2 · answered by applebeer 5 · 0⤊ 0⤋
Yes this is what the fields of Computational Science is all about. It is concerned with constructing mathematical models and numerical solution techniques and using computers to analyze and solve scientific, social scientific and engineering problems.
In practical use, it is typically the application of computer simulation and other forms of computation to problems in various scientific disciplines.
The key is using Numerical Analysis to find an iterative method rather than a direct method. Iterative methods are more common in Numerical Analysis.
Usually you have to find a solution which uses an iterative approach. Computers make excellent candidates to solve a mathematical problem using an iterative approach
2007-08-18 05:34:30 · answer #3 · answered by Smutty 6 · 0⤊ 0⤋
Well, you could and you couldn't. A computer is a logical machine, the problem is it requires a program written by people to give it the series of logical steps needed to solve a problem. I am not saying it isn't possible to write a program to search for proofs of certain theorms, but in many cases if you could write that program you probably could come up with the proof yourself without needing the program .
2016-05-22 01:39:15 · answer #4 · answered by ? 3 · 0⤊ 0⤋
Yes if you have a mathmatical software installed on your computer.
Don
2007-08-18 00:36:58 · answer #5 · answered by Don M 7 · 0⤊ 0⤋