Logic-as-modeling : a new perspective on formalization /
Roy T. Cook · OhioLink ETD Center (Ohio Library and Information Network) · 2000
I propose a novel way of viewing the connection between mathematical discourse and the mathematical logician's formalizations of it.We should abandon the idea that formalizations are accurate descriptions of mathematical activity.Instead, logicians are in the business of supplying models in much the same way that a mathematical physicist formulates models of physical phenomena or the hobbyist constructs models of ships.