Movatterモバイル変換

1. The word “continuous” derives from the Latincontinēre meaning “to hang together” or “to cohere”; this same root gives us the nouns “continent”—an expanse of land unbroken by sea—and “continence”—self-restraint in the sense of “holding oneself together”. Synonyms for “continuous” include: connected, entire, unbroken, uninterrupted.

2. The word “discrete” derives from a Latindiscernere meaning “to separate”. This same root yields the verb “discern”—to recognize as distinct or separate—and the cognate “discreet”—to show discernment, hence “well-behaved”. It is a curious fact that, while “continuity” and “discreteness” are antonyms, “continence” and “discreetness” are synonyms. Synonyms for “discrete” include separate, distinct, detached, disjunct.

3. Of course, this presupposes that there are no “gaps” between the elements or points, which is implicit in the assumption that the points have been obtained by complete division of a continuum.

4. It should also be mentioned that the German philosopher Johann Friedrich Herbart (1776–1841) introduced the termsynechology for the part of his philosophical system concerned with the continuity of the real.

5. According to theOxford English Dictionary the terminfinitesimal was originally

an ordinal, viz. the “infinitieth” in order… but, like other ordinals, also used to name fractions, thus infinitesimal part or infinitesimal came to mean unity divided by infinity \((1/\infty)\), and thus an infinitely small part or quantity.

6. For the doctrines of the presocratic philosophers see Kirk, Raven, & Schofield 1983 and Barnes 1982.

7. That this was the Eleatic position may be inferred from Plato’sParmenides.

8. For the history of the doctrine of atomism see especially Pyle 1997.

9. In Book VI oftheCategories, Quantity (ποσόν is introduced by Aristotle as the category associated withhow much. In addition to exhibiting continuity and discreteness, quantities are, according to Aristotle, distinguished by the feature of beingequal orunequal.

10. Here it must be noted that for Aristotle, as for ancient Greek thinkers generally, the term “number”—arithmos—means just “plurality”.

11. Aristotle points out that (spoken) words are analyzable into syllables or phonemes, linguistic “atoms” themselves irreducible to simpler linguistic elements.

12. For an account of Epicurus’s doctrines, see Furley 1967.

13. He seems to have refrained, however, from subjecting the continuum to his celebrated “razor”.

14. See, e.g., the papers of Murdoch and Stump in Kretzmann 1982.

15. Hermann Weyl makes a similar suggestion in connection with Galileo’s “bending” procedure:

If a curve consists of infinitely many straight “line elements”, then a tangent can simply be conceived as indicating the direction of the individual line segment; it joins two “consecutive ” points on the curve. (Weyl 1926 [1949: 44])

16. This conception was to prove fruitful in the later development of the calculus and to achieve fully rigorous formulation in the smooth infinitesimal analysis of the later twentieth century. SeeSection 8.

17. On Barrow, see Child 1916 and Boyer 1939 [1959].

18. On Newton’s contributions to the calculus see Baron 1969 [1987] and Boyer 1939 [1959].

19. On Leibniz see especially Russell 1900 [1937].

20. On Nieuwentijdt and other critics of Leibniz see Mancosu 1996.

21. But the other properties have resurfaced in the theories of infinitesimals which have emerged over the past several decades. Appropriately defined, the relation \(\approx\), property 1 holds of the differentials innonstandard analysis, while properties 1, 2 and 3 hold of the differentials insmooth infinitesimal analysis. Seesection 6 andsection 8.

22. On Euler, see especially Truesdell 1972 [1984].

23. Or, to put it another way, (real) numbers are just the ratios of infinitesimals: this is a reigning principle of smooth infinitesimal analysis, seeSection 8 below.

24. Likely the astronomer Edmund Halley (1656–1742).

25. Kant would probably maintain the truth of the Thesis in that event.

26. This had been previously given by Bolzano.

27. Fisher argues that here and there in his work Cauchy did “argue directly with infinitely small quantities treated as actual infinitesimals” (1978:315)

28. According to Hobson,

the term “arithmetization” is used to denote the movement which has resulted in placing analysis on a basis free from the idea of measurable quantity, the fractional, negative, and irrational numbers being so defined that they depend ultimately upon the conception of integral number. (1907: 21)

29. The concept of function had by this time been greatly broadened: in 1837 Dirichlet suggested that a variabley should be regarded as a function of the independent vatiablex if a rule exists according to which, whenever a numerical value ofx is given, a unique value ofy is determined. (This idea was later to evolve into the set-theoretic definition of function as a set of ordered pairs.) Dirichlet’s definition of function as a correspondence from which all traces of continuity had been purged, made necessary Weirstrass’s independent definition of continuous function.

30. The notion ofuniform continuity for functions was later introduced (in 1870) by Heine: a real valued function \(f\) is uniformly continuous if for any \(\varepsilon \gt 0\) there is \(\delta \gt 0\) such that \(|f(x) - f(y)| \lt \varepsilon\) for all \(x\) and \(y\) in the domain of \(f\) such that \(|x - y| \lt \delta\). In 1872 Heine proved the important theorem that any continuous real-valued function defined on a closed bounded interval of real numbers is uniformly continuous.

31. On Cantor, see Dauben 1979 and Hallett 1984.

32. This,Cantor’s continuum hypothesis, is actually stated in terms of the transfinite ordinal numbers introduced in previous sections of theGrundlagen.

33. In the terminology of general topology, a set is perfect if it is closed and has no isolated points.

34. This set later became known as theCantor ternary set or theCantor discontinuum.

35. Cantor later turned to the problem of characterizing the linear continuum as an ordered set. His solution was published in 1895 in theMathematische Annalen (Dauben 1979: Chapter 8.) For a modern presentation, see §3 of Ch. 6 of Kuratowski-Mostowski (1968).

36. For du Bois-Reymond’s theory of infinitesimals see Fisher 1981; for Veronese’s, see Fisher 1994. The introduction to Ehrlich 1994a provides an overview of these “non-Cantorian” theories of infinitesimals and the continuum.

37. In a letter to Husserl drafted in 1905, Brentano asserts that “I regard it as absurd to interpret a continuum as a set of points”. (Brentano 1905 [1966: 95])

38. For an account of Peirce’s view of the continuum, see Ketner and Putnam 1992.

39. For Poincare’s philosophy of mathematics see Folina 1992.

40. The failure of these important results of classical analysis caused most mathematicians of the day to shun intuitionistic, and even constructive mathematics. It was not until the 1960s that adequate constructive versions were worked out. SeeSection 7.

41. So-called, Robinson says, because his theory

involves and was, in part, inspired by the so-called Non-standard models of Arithmetic whose existence was first pointed out by T. Skolem. (1966: vii [1996: xiii])

42. It follows that \(\hat{\Re}\) is a nonarchimedean ordered field. One might question whether this is compatible with the facts that \(\hat{\Re}\) and \(\Re\) share the same first-order properties, but the latter is archimedean. These data are consistent because the archimedean property is not first-order. However, while \(\hat{\Re}\) is nonarchimedean, it is *-archimedean in the sense that, for any \(a \in \hat{\Re}\) there is \(n \in \hat{\bbN}\) for which \(a \lt n\).

43. Robinson (1966 [1996: Ch. 3]). A number of “nonstandard” proofs of classical theorems may also be found there.

44. Here “nonempty” has the stronger constructive meaning that an element of the set in question can be constructed.

45. This may be seen to be plausible if one considers that the according to Brouwer the construction of a choice sequence is incompletable; at any given moment we can know nothing about it outside the identities of a finite number of its entries. Brouwer’s principle amounts to the assertion that every function from \(\bbN^{\bbN}\) to \(\bbN\) is continuous.

46. For an explicit statement of the principle of Bar Induction, see Ch. 3 of Dummett (1977), or Ch. 5 of Bridges and Richman (1987).

47. See Kock (1981), Lavendhomme (1996), Lawvere (1980, 1998 [Other Internet Resources]), McLarty (1992), Moerdijk and Reyes (1991). For an elementary account of smooth infinitesimal analysis see Bell (1998).

48. For any \(f \in(\Delta^{\Delta})_0\), the microaffineness axiom ensures that there is a unique \(b \in \bR\) for which \(f(\varepsilon) = b\varepsilon\) for all \(\varepsilon\), and conversely each \(b \in \bR\) yields the map \(\varepsilon \mapsto b\varepsilon\) in \((\Delta^{\Delta})_0\).

49. Amonoid is a multiplicative system (not necessarily commutative) with an identity element.

50. The domain of \(f\) is in fact \((\bR - \{0\}) \cup \{0\}\), which, because of the failure of the law of excluded middle in SIA, is provably unequal to \(\bR\).