On the Research and Development of Automated Theorem Proving

On the Research and Development of Automated Theorem Proving

Postby Guest » Sun Aug 04, 2019 1:04 pm

It would be of great assistance to mathematicians to have software programs which help to verify complex theorems and help to prove/disprove important math conjectures...

Reference:

https://en.wikipedia.org/wiki/Automated_theorem_proving
Guest
 

Re: On the Research and Development of Automated Theorem Pro

Postby Guest » Mon Aug 12, 2019 6:41 pm

Guest wrote:It would be of great assistance to mathematicians to have software programs which help to verify complex theorems and help to prove/disprove important math conjectures... and help to advance artificial intelligence. Moreover, advanced artificial intelligence would ideally help to confirm/negate the existing solution of the famous and important David Hilbert's Tenth Problem or ideally help to formulate its solution, affirmatively or negatively. We stress that Hilbert's Tenth Problem is grand in its importance and in its potential implications/applications...

Reference:

https://en.wikipedia.org/wiki/Automated_theorem_proving
o
Guest
 

Re: On the Research and Development of Automated Theorem Pro

Postby Guest » Mon Aug 12, 2019 6:44 pm

Relevant Reference Link:

'David Hilbert's Tenth Problem',

https://en.wikipedia.org/wiki/Hilbert%27s_tenth_problem.
Guest
 



Return to Number Theory



Who is online

Users browsing this forum: No registered users and 1 guest