Doing and Showing
History and Overview
2011-09-21 v1
Abstract
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.
Cite
@article{arxiv.1109.4298,
title = {Doing and Showing},
author = {Andrei Rodin},
journal= {arXiv preprint arXiv:1109.4298},
year = {2011}
}
Comments
54 pages, 2 figures