Sciweavers

SYNTHESE
2008
71views more  SYNTHESE 2008»
13 years 4 months ago
Categories for the working mathematician: making the impossible possible
This paper discusses the notion of necessity in the light of results from contemporary mathematical practice. Two descriptions of necessity are considered. According to the first, ...
Jessica Carter
MKM
2009
Springer
13 years 9 months ago
Spreadsheet Interaction with Frames: Exploring a Mathematical Practice
Since Mathematics really is about what mathematicians do, in this paper, we will look at the mathematical practice of framing, in which an object of interest is viewed in terms of ...
Andrea Kohlhase, Michael Kohlhase