05.01.2013 Views

RePoSS #11: The Mathematics of Niels Henrik Abel: Continuation ...

RePoSS #11: The Mathematics of Niels Henrik Abel: Continuation ...

RePoSS #11: The Mathematics of Niels Henrik Abel: Continuation ...

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

398 Chapter 21. ABEL’s mathematics and the rise <strong>of</strong> concepts<br />

<strong>The</strong> number <strong>of</strong> exceptions. As indicated, in the formula based paradigm, results<br />

which suffered a few exceptions could still be very useful and the existence <strong>of</strong> ex-<br />

ceptions did not immediately lead to the overthrow <strong>of</strong> theorems. This suggests an<br />

interesting way <strong>of</strong> interpreting the last part <strong>of</strong> ABEL’S famous footnote: Besides in-<br />

troducing his exception, ABEL also claimed that many similar functions existed. This<br />

indicates that the number <strong>of</strong> exceptions played a role. A similar remark can also be<br />

found in connection with CAUCHY’S example <strong>of</strong> a non-zero function whose Maclaurin<br />

series is the zero-function, 22<br />

1 −<br />

f (x) = e x2 .<br />

This function represented an exception to the general belief in the expansion in power<br />

series which laid at the heart <strong>of</strong> the Lagrangian approach to analysis. 23 In 1822 and<br />

1829, 24 CAUCHY presented this example and observed how to construct other func-<br />

tions with the same property <strong>of</strong> not being represented by their Maclaurin series except<br />

at a single point.<br />

Both these examples suggest that if theorems in the formula based paradigm con-<br />

tained a quantification as “for all . . . ”, it might be necessary to introduce a statistical<br />

interpretation <strong>of</strong> the for-all quantification as K. VOLKERT has suggested. 25 Exceptions<br />

and their numbers were noticed but no clear distinction between refuted (false) the-<br />

orems and theorems with exceptions can be drawn. <strong>The</strong>orems could be valid even if<br />

they suffered exceptions as long as the known exceptions were not too many or too<br />

important.<br />

Exceptions and the formula based paradigm. Thus, the argument is that exceptions<br />

did have a place in mathematics <strong>of</strong> the formula based paradigm. <strong>The</strong> highly compu-<br />

tational deductions based on long sequences <strong>of</strong> manipulations with finite and infinite<br />

representations occasionally led to results which were (only) true “in general”. In-<br />

stead <strong>of</strong> discarding such results, they were accepted with the knowledge or intuition<br />

that they should not be uncritically applied. However, as this intuition and general un-<br />

derstanding <strong>of</strong> mathematics shifted towards the concept based paradigm, exceptions<br />

became oddities — and counter examples became very powerful tools <strong>of</strong> argument in<br />

this new paradigm.<br />

21.3.2 Counter examples and concepts<br />

In the concept based paradigm, counter examples acquired a position much closer to<br />

their modern usage. As noted, counter examples are very instrumental in pointing<br />

out the differences between concepts and thereby helping to determine the extension<br />

22 Strictly speaking, the function should also be defined at the origin, f (0) = 0. For a good discussion<br />

on this issue, see (Bottazzini, 1990, lxix).<br />

23 See section 10.2.<br />

24 (A.-L. Cauchy, 1822, 277) and (A.-L. Cauchy, 1829, 394–395).<br />

25 (K. T. Volkert, 1986, 144–145).

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

Saved successfully!

Ooh no, something went wrong!