Drexel dragonThe Math ForumDonate to the Math Forum

The Math Forum Internet Mathematics Library

Math by Proof: What is it, and why should we?

_____________________________________
Library Home || Full Table of Contents || Suggest a Link || Library Help
_____________________________________

Visit this site: http://www.rbjones.com/rbjpub/cs/ai010.htm

Author:Roger Jones
Description: Formalised mathematics is distinguished from informal mathematics by three features: machine processable languages with precisely defined semantics in which mathematical propositions are expressed; machine checkable reliable criteria for demonstrating the truth of mathematical propositions; machine checkable criteria permitting the introduction of new meaningful formal vocabulary without compromising the consistency of the logical system. These methods are potentially applicable not just in those areas of mathematics where discovering and proving new mathematical results is the central purpose, but in all aspects of mathematics whether or not they are normally associated with proof.

Levels: High School (9-12), College
Languages: English
Math Topics: Logic/Foundations, Philosophy

[Privacy Policy] [Terms of Use]

_____________________________________
Home || The Math Library || Quick Reference || Search || Help
_____________________________________

© 1994-2014 Drexel University. All rights reserved.
http://mathforum.org/
The Math Forum is a research and educational enterprise of the Goodwin College of Professional Studies.The Math Forum is a research and educational enterprise of the Drexel University School of Education.