Repository URL:
http://philsci-archive.pitt.edu/id/eprint/8797
Author(s):
Andrei RODIN
preprint description
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.

This preprint has 0 Wikipedia mention.