
Be the first to like this
Slideshare uses cookies to improve functionality and performance, and to provide you with relevant advertising. If you continue browsing the site, you agree to the use of cookies on this website. See our User Agreement and Privacy Policy.
Slideshare uses cookies to improve functionality and performance, and to provide you with relevant advertising. If you continue browsing the site, you agree to the use of cookies on this website. See our Privacy Policy and User Agreement for details.
Published on
Conferences on Intelligent Computer Mathematics 2008, Ph.D. Symposium
Clipping is a handy way to collect and organize the most important slides from a presentation. You can keep your great finds in clipboards organized around topics.
Good thinking.
I do not understand math deeply but I think all proofs are just special expressions which only some minds can execute subjectively. Some people can agree without understanding and some people can disagree without being able to express what is wrong.
I always had a question 'What is the proof that the proof is valid?'
I have a proposal that the proof of an expression is in its EXECUTABILITY on machine which can execute a class of expression in some agreed way.
This may NOT be suitable for executing long complicated proofs but it should work for expressions and a set of validly connected expressions. That's what I consider is the MEANING of an expression.
I invite you to discuss. Please see Pentagon of Meaning and Meaning is Mediated and let me know when we can discuss.
putchavn@yahoo.com
04JUL14