Doing and Showing

Details Doing and Showing Doing and Showing

2011-08-31

arxiv.org/abs/1109.4298v1

Mathematics

History and Overview

54 pages, 2 figures

Scientific paper

The persisting gap between the formal and the informal mathematics is due to an inadequate notion of mathematical theory behind the current formalization techniques. I mean the (informal) notion of axiomatic theory according to which a mathematical theory consists of a set of axioms and further theorems deduced from these axioms according to certain rules of logical inference. Thus the usual notion of axiomatic method is inadequate and needs a replacement.

Affiliated with

Also associated with

No associations

Rating

Doing and Showing does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Doing and Showing, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Doing and Showing will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-626638