13.07.2015 Views

Mancosu - Philosophy of Mathematical Practice (Oxford, 2008).pdf

Mancosu - Philosophy of Mathematical Practice (Oxford, 2008).pdf

Mancosu - Philosophy of Mathematical Practice (Oxford, 2008).pdf

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

mathematical concepts: fruitfulness and naturalness 293applications in physical science and common-sense reasoning about the physicalworld. (Of course, in some cases there will be close connections, but this isn’tnecessary to the point.)¹² Whether or not the conjectures in question haveany obvious connection to any direct applications makes no difference to ourassessment <strong>of</strong> the patterns <strong>of</strong> reasoning informing the making and supporting<strong>of</strong> conjectures. It may well be that in an ideal epistemology, the status <strong>of</strong>mathematics as knowledge must ultimately appeal to physical applications, or itmay not; we can be neutral on that point here.10.4 Fruitfulness, conjecture, and RiemannianmathematicsThe Riemann–Dedekind methodology mentioned in the introduction incorporatesexactly the connection between identification <strong>of</strong> core propertiesand mathematical fecundity discussed in the previous section. In this section I’llsay a bit more about the Riemann–Dedekind approach. First consider theseRiemannian remarks. They seem innocuous and even dull, but understood incontext they are the first shot in a revolution.Previous methods <strong>of</strong> treating [complex] functions always based the definition <strong>of</strong>the function on an expression that yields its value for each value <strong>of</strong> the argument.Our study shows that, because <strong>of</strong> the general nature <strong>of</strong> a function <strong>of</strong> a complexvariable, a part <strong>of</strong> the determination through a definition <strong>of</strong> this kind yields therest ... This essentially simplifies the discussion ...A theory <strong>of</strong> these functions on the basis provided here would determine thepresentation <strong>of</strong> a function (i.e. its value for every argument) independently <strong>of</strong> itsmode <strong>of</strong> determination by operations on magnitudes, because one would add tothe general concept <strong>of</strong> a function <strong>of</strong> a variable complex quantity just the attributesnecessary for the determination <strong>of</strong> the function, and only then would one goover to the different expressions the function is fit for. The common character<strong>of</strong> a class <strong>of</strong> functions formed in a similar way by operations on quantities, isthen represented in the form <strong>of</strong> boundary conditions and discontinuity conditionsimposed on them. (Riemann, 1851, p.38)Riemann’s point is simple. We are wondering how to characterize a wellbehavedcomplex function or a class <strong>of</strong> them. How should we proceed? One¹² Though I’m not exploring the point here, a closeness to physical applications was in fact recognizedas a feature <strong>of</strong> Riemann’s mathematics. ( This is touched on in the opening quotation from Stahl.)For example, Helmholtz found Riemann’s complex analysis congenial, presumably in part becauseRiemann’s classification <strong>of</strong> functions by their singularities fit smoothly with Helmholtz’s approach topotential flow (cf. Darrigol, 2005, p.164).

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!