MIZAR is a formal language that enables proof-checking. The most important applications of MIZAR today are playing the role of a proof assistant to support creating rigorous mathematics, in mathematics education, and in software and hardware verification.
So how much mathematics can you teach a computer?
Showing posts with label Artificial Intelligence. Show all posts
Showing posts with label Artificial Intelligence. Show all posts
Thursday, February 18, 2010
Thursday, February 26, 2009
Day 2
Picture added.
There have been several popularized mathematics books lately. Some are fairly rigorous, but often they are more about history and biography than mathematics. I've made an effort to really understand The Equation That Couldn't Be Solved. It is difficult to locate earlier referenced works in English. This is a place that calls out for links, both to journals and other books and to other places in the same book. Proofs could link to other theorems and to definitions. Couldn't we have a Wikipedia of Mathematics? [If we already do I would like to know about it.]
In addition, what proofs could be followed or discovered using Artificial Intelligence?
There have been several popularized mathematics books lately. Some are fairly rigorous, but often they are more about history and biography than mathematics. I've made an effort to really understand The Equation That Couldn't Be Solved. It is difficult to locate earlier referenced works in English. This is a place that calls out for links, both to journals and other books and to other places in the same book. Proofs could link to other theorems and to definitions. Couldn't we have a Wikipedia of Mathematics? [If we already do I would like to know about it.]
In addition, what proofs could be followed or discovered using Artificial Intelligence?
Subscribe to:
Posts (Atom)
