Hi,
I am not sure if this post should be in "Artificial Intelligence" or mathematics.
I suppose it should be in both.
I am interested in reading about the latest development in building mathematical proofs, exploring mathematics and discovering new mathematical concepts/models by using computer programs.
I have read about the work of Herbert Simon and Alen Newell.
For example:
The general problem solver
Or the Logic Theorist
But, I do not seem able to find any source code or any implementation using IPL or LISP or any programming language.
Also, I am wondering if anybody during the last 50 years wrote something similar to discover mathematical concepts using frames or anything.
Thanks in advance for any replies
- c0d3dm1nd
PS: I added links to the general problem solver and the logic theorist (mostly articles on various sites like wikipedia) but because of my post count, I can't submit them. So, just google them
I am not sure if this post should be in "Artificial Intelligence" or mathematics.
I suppose it should be in both.
I am interested in reading about the latest development in building mathematical proofs, exploring mathematics and discovering new mathematical concepts/models by using computer programs.
I have read about the work of Herbert Simon and Alen Newell.
For example:
The general problem solver
Or the Logic Theorist
But, I do not seem able to find any source code or any implementation using IPL or LISP or any programming language.
Also, I am wondering if anybody during the last 50 years wrote something similar to discover mathematical concepts using frames or anything.
Thanks in advance for any replies
- c0d3dm1nd
PS: I added links to the general problem solver and the logic theorist (mostly articles on various sites like wikipedia) but because of my post count, I can't submit them. So, just google them