Non DubitoA Mind in Many Languages
Search搜索搜尋
EN

A HUMAN HISTORY OF MATHEMATICS凿构周期律 · 数学鑿構週期律 · 數學 · 09 / 25

Infinitesimals and the Demand for Rigor

无穷小与不严格

無窮小與不嚴格

Berkeley challenged a vanishing increment. The calculus had to explain a success that kept growing.

一位主教追问消逝的增量,一套改变物理学的工具开始重写自己的理由。

一位主教追問消逝的增量,一套改變物理學的工具開始重寫自己的理由。

Han Qin · Independent English edition秦汉 · 简繁中文与独立英文版秦漢 · 簡繁中文與獨立英文版

In this essay篇内目录篇內目錄
  1. 1. A bishop asks for an explanation
  2. 2. Quantities that flow, quantities that differ
  3. 3. Why the Principia speaks geometry
  4. 4. A discovery becomes a dispute
  5. 5. The increment that disappears
  6. 6. What Berkeley wanted
  7. 7. Another tradition, another measure
  8. 8. Did rigor change its meaning?
  1. 一 一个主教
  2. 二 生成与差分
  3. 三 为什么《原理》用几何
  4. 四 优先权
  5. 五 增量
  6. 六 贝克莱要做的事
  7. 七 另一处
  8. 八 严格换了意思吗
  1. 一 一個主教
  2. 二 生成與差分
  3. 三 為什麼《原理》用幾何
  4. 四 優先權
  5. 五 增量
  6. 六 貝克萊要做的事
  7. 七 另一處
  8. 八 嚴格換了意思嗎

1. A bishop asks for an explanation

In 1734 George Berkeley published a short book attacking the most successful new instrument in mathematics. That same year he became Bishop of Cloyne in the Church of Ireland. Philosophers remember him for his account of perception and material existence; a Californian city would later take his name. Here, however, his subject was neither the furniture of the world nor the government of a diocese. It was the authority of an argument written on a mathematician's page.

The book was The Analyst. Its long subtitle asked whether the objects and inferences of modern analysis were really clearer than religious mysteries and articles of faith. It addressed an unnamed unbelieving mathematician, commonly identified as Edmond Halley. That identification remains an inference, not a name printed on the dedication. Newton, who had died in 1727, is a poor candidate. Berkeley himself distinguished the religious commitments of the great mathematical author from the irreligion of people who admired his mathematics.

A bishop attacking calculus may sound like the opening of a familiar play in which religion tries to stop science. This is a different play. Berkeley did not demand that calculations cease. He did not deny their extraordinary success. He asked why people who insisted on clear concepts and demonstrative reasoning when judging other people's beliefs were prepared to accept obscurities in their own.

The accusation deserves to be taken seriously. Some widely taught explanations did make a questionable move: an increment had to be nonzero for an operation to be legitimate, then seemed to be treated as zero when the desired answer was extracted. Berkeley had identified a real problem in the explanation. That is considerably less than proving that calculus was contradictory, but considerably more than expressing a cleric's dislike of mathematics.

It is also important not to make his opponents helpless by definition. They had answers, and some of those answers distinguished mature Newtonian arguments from careless presentations of them. Their disagreement concerned what the methods required and what counted as an adequate justification. Berkeley was not a mathematical innocent stumbling upon a mistake that every expert had missed. He was an informed philosophical critic reading mathematical reasoning without the confidence that successful daily use could give its practitioners.

By then the new analysis had been at work for roughly half a century. It had transformed questions about trajectories, planetary motion, pendulums, and the motion of fluids. Its applications had moved far beyond the few examples with which its inventors first introduced it. An objection to one apparently small transition in a derivation therefore put pressure on an enormous and productive practice.

Over the following decades the replies came from British mathematicians, from a French encyclopedist, and from a professor who wrote more than seven hundred pages on fluxions. Their proposals did not all mean the same thing. Some defended geometrical limits, some clarified the rules governing infinitesimals, and some tried to replace the troublesome objects with algebra. Nineteenth-century accounts of limits, continuity, and convergence would reorganize the problem again.

Calling the nineteenth century the final answer would be too neat. Later mathematics also found rigorous ways to work with infinitesimals. But the standard limit-based reconstruction made a decisive change: it no longer needed an increment to survive and disappear in the same sense. It specified a relation among finite quantities and made the relevant approximation precise.

The episode is not simply about a defective tool awaiting repair. It concerns the interval between reliable practice and an explanation of why that practice is reliable. That interval can be intellectually uncomfortable without making every calculation performed within it invalid. Berkeley's challenge made the discomfort unusually difficult to ignore.

2. Quantities that flow, quantities that differ

Average speed presents no obvious mystery. Divide the distance traveled during a minute by the duration of that minute. Instantaneous speed is harder. If one tries to repeat exactly the same operation over an interval of no duration, both the elapsed time and the distance traveled are zero. The quotient 0/0 supplies no answer. This does not prove that instantaneous speed is impossible; it shows that the ordinary average-speed recipe cannot simply be evaluated at a zero interval.

Newton approached the difficulty through quantities generated by motion. A moving point produces a line, a moving line an area, and other continuous processes produce other magnitudes. The generated quantity is a fluent; its rate of generation is a fluxion. The rate need not be an indivisible piece of matter or a smallest possible stretch of time. Newton repeatedly emphasized finite rates and continuous generation, not a world assembled from tiny, ultimate fragments.

Leibniz developed a different organizing language. Two variables are related; a change in one corresponds to a change in the other. Their differentials make those relations available for symbolic calculation. The question is not only how quickly a quantity grows, but how its change is linked to another change and how a general notation can carry that link from problem to problem.

What, then, is an infinitesimal difference? Leibniz's writings do not yield a single uncontested philosophical formula. Sometimes the quantities can be understood as useful ideal entities or fictions whose consequences admit a formulation in terms of ordinary assignable quantities. Historians disagree about how literally to read particular statements and how the different interpretations fit together. We should not settle that dispute merely by translating every differential into the derivative of a modern textbook.

The word “fiction” recalls the previous essay's imaginary quantities. In both settings it can designate a permission to calculate, not an order to expel the offending object. Yet the comparison is interpretive: it does not establish that complex quantities and infinitesimals had the same logical status, or that every practitioner gave the same justification for either.

Modern analysis allows us to translate much of Newton's and Leibniz's mathematics into a common framework. Historical translation is not historical identity. Their starting questions, favored representations, and means of teaching differed. Newton's early work connected quadrature, infinite series, rates of change, and the inverse recovery of changing quantities. Leibniz's first printed presentation, in 1684, offered a compact algorithm for tangents and maxima and minima, with a notation intended to travel across complicated expressions.

The notation has its own chronology. Leibniz's private papers place the emergence of the elongated summation sign, the ancestor of ∫, in October 1675; his differential notation took shape in the work of that period, including November. Publication came later. The differential method appeared in 1684, whereas the integral sign entered his published work in 1686. A dated notebook and a public article answer different historical questions.

The celebrated 1684 paper occupied only about seven journal pages, conventionally cited as pages 467–473. It was not a comprehensive foundational treatise. It introduced rules, demonstrated uses, and let readers see how a new kind of calculation might be carried out. Its compression was part of both its power and its difficulty. What circulated was an operative language before there was a universally accepted account of every object appearing in it.

There is nothing automatic about the relation between these two forms of success. A notation can be learned, taught, extended, and applied by people who disagree about its interpretation. Conversely, a cautious account of its foundations may persuade readers while being awkward for routine calculation. The people who make an algorithm productive need not be the same people who explain its legitimacy.

The previous essay followed unfamiliar objects entering mathematics because rules for using them proved fruitful. Here the scale changes. An entire family of methods acquired authority through what it could do, while its practitioners continued to debate what its central operations meant. The difference between Newton and Leibniz matters precisely because the later common language can so easily hide that unfinished work.

3. Why the Principia speaks geometry

Open the Principia of 1687 and you do not encounter a modern introduction to differential equations. You encounter geometrical quantities, ratios, similar figures, conic sections, and constructions. Near the beginning, Newton develops arguments involving first and ultimate ratios. Quantities can diminish while their ratios approach a determinate value. The point is not to preserve a final nonzero infinitesimal triangle after every finite triangle has disappeared.

A familiar story explains the book's shape by saying that Newton first solved everything using calculus and then translated the solutions into classical geometry so that his readers could understand them. There is something behind that story, but it cannot serve as a description of the entire book's composition.

Newton later presented analysis as a means of discovery and synthesis as a means of establishing the results securely, in the manner he attributed to the ancients. But those retrospective claims were made in the atmosphere of the priority controversy. They are evidence of his methodological self-presentation, not a proposition-by-proposition diary of what he had done in the 1680s. Drafts and related papers reveal several kinds of work: series, quadrature, fluxional techniques, and genuinely geometrical reasoning.

At least four considerations help explain his published choices.

First, proof had a hierarchy. A method that enabled one to find a result was not necessarily the method in which one ought to demonstrate it publicly. In the classical tradition as Newton reconstructed it, analysis could belong to the workshop and synthesis to the finished exposition. This was not simply a concession to slow readers. It expressed a view of what completed mathematical knowledge should look like.

The third essay asked what could count as a principle. Here the question is one level further along: what could count as the publicly acceptable demonstration of a proposition? A calculation might be indispensable in discovering a relation and still not supply the form of proof its discoverer regarded as authoritative.

Second, the physical meaning of the quantities mattered. Newton resisted making natural philosophy depend on indivisibles to which he could assign no satisfactory geometrical or natural existence. Continuous generation offered another account. A fluxion was a finite rate, and finite lines could represent the ratios required by the argument. His repeated explanations show that this was a live issue for him, not a difficulty invented by later historians.

Third, geometry belonged to the research problem itself. Newton wanted to expose relations between forces, orbits, areas, and motions. In central-force problems, a construction can reveal an invariant or a proportional structure directly. It need not be a clumsy disguise for an equation that would obviously have been better. Later analysts would place greater weight on general equations and uniform computational procedures, but those priorities should not be silently imposed on every choice made in 1687.

Fourth, publication did not contain the whole mathematical practice. Manuscripts, correspondence, and exchanges with disciples preserved techniques that were not displayed in the same way in the finished book. The boundary between private calculation and public demonstration affected what readers could learn and reproduce. It also affects historians: a printed theorem and a working sheet must be compared rather than assumed to tell identical stories.

The productive question is therefore not whether Newton secretly used calculus. It is what he regarded as sufficient to complete an argument in natural philosophy. Once that question is asked, the Principia ceases to look like an encrypted modern textbook. Its form becomes an intellectual choice, made within a particular understanding of evidence.

The comparison with Archimedes in the fourth essay is illuminating but limited. Archimedes distinguished a heuristic method from demonstrations that met another standard. Newton likewise distinguished discovery and justification in some of his accounts. Yet we should not imagine that every geometrical proposition in the Principia had a matching analytical proof sitting intact in a drawer. The surviving workshop is mixed. Its very mixture is part of the history.

4. A discovery becomes a dispute

The public war was not there from the beginning. Through Henry Oldenburg, Newton and Leibniz exchanged information in the 1670s. Newton described results concerning series and concealed parts of his methods in anagrams. Meanwhile, Leibniz's Paris papers show his own developing differential practice. His 1684 publication and Newton's relatively friendly acknowledgment in the first edition of the Principia do not read like the opening declarations of an inevitable feud.

Suspicions hardened later. Nicolas Fatio de Duillier entertained doubts in the early 1690s and published an insinuation in 1699 that Leibniz owed the method to Newton. A further escalation followed the appearance of Newton's De quadratura curvarum as an appendix to the Opticks in 1704. An anonymous review in the Acta Eruditorum, generally attributed to Leibniz, used wording that Newton's supporters took to imply borrowing in the opposite direction. The attribution should not erase the fact that the review appeared anonymously.

John Keill then made the accusation more explicit: Newton had invented the fluxional arithmetic first, and Leibniz had published it under another name and notation. Priority was no longer merely a question about the dates of particular results. It had become an allegation about honesty. Honor can be shared, but these participants increasingly treated concession as personal injury.

Their institutional positions were also unlike. Newton moved from Cambridge into the Mint and became president of the Royal Society. Leibniz worked as a court counselor, librarian, and historian of a dynasty, with obligations that competed with his mathematical ambitions. Describing the dispute as a quarrel between two university professors erases much of the social setting.

Leibniz complained formally to the Royal Society in 1711. A committee was appointed in March 1712. Its members were not simply a uniform collection of Newton's private dependents; several had genuine mathematical competence, and the membership was enlarged, eventually including a Prussian diplomat. Nevertheless, the Society's president was himself the central interested party.

The investigation concentrated on letters and papers, especially those associated with John Collins. Newton supplied and arranged substantial material. Leibniz had no equivalent role in editing the dossier and no comparable opportunity to explain each point before the committee. The resulting collection, the Commercium Epistolicum, appeared under the Society's authority. Its conclusions defended Newton's priority and rejected the injury alleged in Keill's statement.

Newton's involvement is not inferred solely from his presidency. Surviving drafts in his hand establish his work on the controversy and on an account of the collection published anonymously. The Newton Project's manuscript catalogue identifies him as author and locates the relevant papers in Cambridge. President, litigant, supplier of evidence, and drafter of a public interpretation were overlapping roles. This procedure did not provide the independence that we would now demand.

That does not establish that the age possessed no concept of impartial judgment. It establishes a failure of separation in this particular case. Nor did one sensational discovery suddenly reveal everything. De Morgan argued in 1852 for Newton's authorship of the anonymous account using textual and bibliographical evidence. The transfer of scientific papers to Cambridge in 1872, followed by systematic cataloguing and the 1888 catalogue, made manuscript evidence more accessible.

The conclusion of independent development is not an equitable compromise invented to calm two nations. Newton's papers document work in the 1660s. Leibniz's papers around 1675 document a distinct sequence of experiments, revisions, and changes in notation. Independent development rests on comparing those sequences, not on allocating half the honor to each man.

It would be equally inaccurate to claim that Leibniz never saw Newtonian material. His copies show that he did. The crucial question is what he saw, when he saw it, and whether it supplied the method whose emergence can be traced in his own notes. Contact is established; possession of a complete Newtonian calculus before his own development is not. The surviving evidence does not substantiate the plagiarism charge.

The equally familiar verdict that the quarrel put British mathematics to sleep for a century also requires restraint. The dispute helped nationalize differences of method and notation, and aggravated separation from Continental developments. But British work on series, differences, fluxions, and analysis continued. Newton's dot notation was not itself a prohibition on calculation. Institutional and linguistic isolation is a more plausible contributing explanation than a century-long intellectual coma.

Finally, this history depends on paper. Newton's enormous surviving archive was dispersed and reorganized over generations. Leibniz's papers comprise tens of thousands of items; his correspondence alone includes roughly fifteen thousand letters with around eleven hundred correspondents, as the German UNESCO Commission records. What survived, when it was catalogued, and which sheets an editor could consult changed the history that could be written. The judgment of priority was not merely argued again. Its evidential basis became larger.

5. The increment that disappears

Return now to Berkeley and to the small increment. To determine a rate at an instant, an exposition begins with a short but nonzero interval. The changing variable receives an increment. A corresponding difference is formed, and that difference is divided by the increment. So far, the assumption that the increment is nonzero is essential.

After simplification, some terms still contain it. The calculation then announces that the increment has vanished, discards those terms, and retains the desired result. Berkeley's question is precise: what licenses the change? If the increment was zero from the beginning, the division was illegitimate. If it was not zero, why can the surviving terms simply be treated as nothing?

A modern elementary example makes the issue visible without pretending to reproduce every detail of an eighteenth-century text. For the function x², the difference quotient is

((x + h)² − x²)/h = 2x + h, provided h ≠ 0.

The condition belongs to the equality. Setting h equal to zero in the original quotient is not allowed. The derivative is nevertheless 2x, because the values 2x + h approach 2x as the nonzero increment approaches zero. Taking that limit is a different operation from pretending that division by zero has become permissible. The modern explanation distinguishes the two operations explicitly.

Berkeley objected to presentations in which the needed distinction was missing or obscure. His attack was not merely a metaphysical question about whether very small objects existed. It was an objection to the apparent substitution of one premise for another inside a derivation. The argument required the increment to be something and subsequently appeared to require it to be nothing.

His famous phrase, “ghosts of departed quantities,” condensed the objection into an image. The quantities had performed indispensable work, then departed, leaving their effects behind. The joke had a theological edge. A critic of religious mysteries who accepted invisible and inadequately explained entities in calculation could hardly dismiss another discipline merely for containing difficult objects.

The original Analyst makes that comparative purpose plain. But a successful phrase should not be allowed to enlarge the scope of the demonstration. Berkeley had not shown that every formulation of calculus required an increment simultaneously to equal and not equal zero. Nor had he abolished the difference between an ultimate ratio and the ratio of two ultimate, vanished quantities.

Newton's defenders could point to precisely that difference. A ratio can tend to a finite value while both the numerator and denominator diminish. The claim concerns the limiting relation, not a final pair of nonzero fragments lurking at the end of an infinite process. Whether Newton's formulations met every later requirement is a separate question from whether they committed the crude contradiction Berkeley described.

The most vulnerable target was therefore a familiar pedagogical performance: carry out the algebra, dispose of the inconvenient terms, and offer the success of the answer as reassurance. Familiarity makes such a transition easy to overlook. A skilled practitioner can supply qualifications that a printed explanation omits; a beginner cannot be assumed to possess them.

This suggests a broader lesson, but it is a lesson rather than a universal historical law. A discipline may expose its weakest explanations in introductory teaching, where difficult qualifications have been removed to make a procedure usable. Its strongest practitioners might know why a shortcut works while the shortcut travels without that knowledge. An external critic can then discover a genuine gap without having refuted the most careful version of the theory.

The ghost is not the derivative. It is the missing account of the passage from one kind of statement to another. Once that distinction is held steady, Berkeley's criticism can be respected without converting a dispute over justification into the claim that a century of mathematics consisted of meaningless arithmetic.

6. What Berkeley wanted

The subtitle was not ornamental. Berkeley had long opposed freethinkers who contrasted the certainty of mathematics and natural philosophy with the supposed obscurity of Christian doctrine. His strategy was to turn their criterion back upon them. If clarity and stepwise demonstration were the entrance requirements for rational belief, the mathematicians should explain fluxions, vanishing increments, and infinitesimals by the same standard.

His proposed symmetry did not prove Christianity true. Unexplained success in mathematics cannot establish a theological proposition. The narrower point was that conceptual difficulty, by itself, could not be invoked consistently as a sufficient reason to reject religion while comparable difficulty was tolerated in an admired science.

This explains his persistent use of the vocabulary of faith and mystery. He placed the analyst's obscure objects beside the religious concepts the analyst's allies mocked. To turn Berkeley into a nineteenth-century analyst born early would lose this motive. To turn him into an anti-scientific cleric with no mathematical point would lose the objection that made the polemic worth answering.

The mathematical criticism and the religious purpose are not rival accounts of the book. Both can be true. A purpose we do not share cannot invalidate a well-aimed objection; a well-aimed objection cannot validate every purpose for which its author uses it. Intellectual history becomes flatter when either half is removed.

His position outside the community of routine calculation may have helped him notice what successful practice encouraged others to pass over. That is a plausible interpretation of the episode, not evidence that outsiders are generally clearer thinkers. He read the inferential transitions as transitions requiring justification, rather than trusting them because the technique had repeatedly produced the right result.

How far was he right? Older histories often treated his criticism with considerable respect, especially where an increment was first used as a divisor and then discarded without explanation. That assessment remains important. But it is not a license to identify every Leibnizian infinitesimal with an ordinary nonzero real quantity and then convict the system of violating that identification.

Leibniz had principles concerning continuity and the treatment of higher-order terms. His transcendental law of homogeneity governed the comparison of terms of the relevant order. Whether those principles supplied a complete foundation, and how they should be interpreted, remain questions for scholarship. They at least show that dropping terms was not necessarily intended as an arbitrary declaration that a quantity had become exactly zero.

Berkeley also offered his own explanation of the correct answers in terms of compensating errors. Those arguments are not uniformly satisfactory. A critic can detect an inadequate proof without correctly explaining why the result survives. The fact that his diagnosis had force does not make every part of his alternative account sound.

The most defensible conclusion is therefore bounded. He exposed genuine foundational questions and inadequate contemporary presentations. He did not prove an unavoidable contradiction in calculus, did not establish that Newton's and Leibniz's methods shared every defect, and did not provide the later theory of limits.

His intervention did stimulate substantial and immediate replies. It would overstate the case to say that he alone made foundational work unavoidable forever after: the concern predated him, and the development of analysis had many causes. Yet the pamphlet gave a public and memorable form to a demand that successful calculation could not by itself satisfy.

Over the next century, mathematicians pursued several different answers. The variety matters. Their disagreement was not simply about finding a better word for one tiny quantity. It concerned whether the subject should rest on motion, geometry, algebraic expansion, limits, or a disciplined calculus of ideal entities. Before returning to those answers, another mathematical tradition makes the question of what counts as calculus less easy to take for granted.

7. Another tradition, another measure

Move back some three centuries from Berkeley and turn toward southern India. The network now called the Kerala school connected teachers, families, commentators, and shared astronomical problems. “School” is a historian's convenient label, not evidence of a modern academy with a building and a membership list. Madhava, usually dated approximately to the late fourteenth and early fifteenth centuries, stands near the beginning of a tradition that continued through several generations.

Among its achievements were infinite series recognizable in modern notation as expansions for sine, cosine, and arctangent. A special value of the arctangent yields the alternating series for π/4: 1 − 1/3 + 1/5 − 1/7 + …. The slow convergence of such a series is not a minor practical inconvenience. These mathematicians also developed correction terms to improve what a finite calculation could deliver.

The dates require care. Later texts attribute central results to Madhava; that is documentary evidence for an attribution. It is not the same thing as possessing his autograph manuscript or a dated record of the moment each formula was discovered. The origin of a result, the composition of a surviving text, and the age of a particular manuscript copy may be different dates.

Nor do the texts merely announce remarkable numerical coincidences. Their purposes include astronomical computation, trigonometric tables, and accurate values related to the circle. The Yuktibhasa, composed in Malayalam by Jyeshthadeva in the first half of the sixteenth century, is particularly important because it supplies rationales. Its title itself emphasizes explanation.

The arguments use the geometry of arcs, division into many small parts, comparisons among those parts, and relations involving sums of powers. By refining the divisions, the writer arrives at expressions that a modern reader can recast as series. There are real chains of reasoning here. One cannot dismiss them as fortunate guesses merely because they do not appear in the form of a later European textbook.

Equally, a rationale of that kind is not already a nineteenth-century theory of real-number completeness, limits, and convergence. Some justifications of correction terms require qualifications when examined by modern standards. The same care must be applied symmetrically: seventeenth- and eighteenth-century European analysis did not begin with those later foundations either.

Does this work count as calculus? An affirmative answer can emphasize infinite processes, local change, summation, area reasoning, and the control of finite approximations. A more restrictive answer reserves “a calculus” for a general system of differentiation and integration, their systematic relationship, and algorithms applicable across wide classes of problems. A third response questions the framing: why judge Kerala astronomy principally by how near it came to a later European arrangement of subjects?

The question is not settled simply by pointing again to the series, whose existence is not the main disagreement. The classification depends substantially on the criterion, although gaps and uncertainties in the surviving record still matter. The issue resembles earlier questions in this series: whether the Elements inaugurates “axiomatization,” and whether particular Chinese arguments qualify as “proof.” Labels and analysis of the materials do different jobs.

Possible transmission to Europe is another question and requires another kind of evidence. Portuguese maritime networks, missionary activity, and practical demand for calendars and astronomical information created opportunities for contact in the sixteenth and seventeenth centuries. Opportunity, motive, and chronological possibility are relevant. They are not a documented chain of transmission for a specific series.

The evidence presently cited does not establish a continuous route from a particular Kerala text through a translation, letter, notebook, or identifiable European reader to the European discoveries. That does not prove such transmission impossible. It means that a possible route should not be narrated as a demonstrated event. A categorical claim that nobody outside Kerala knew anything of the results would go further than this evidential conclusion warrants.

A secure later point of contact is Charles Matthew Whish. His paper was read on 15 December 1832 and published in 1834 in the Transactions of the Royal Asiatic Society. The original paper identifies the texts he used and the date of presentation. An East India Company official, he recognized an extensive mathematical achievement and described it through the European language of fluxions.

His intervention did not immediately transform standard histories. Sustained publication, translation, and reassessment developed much later, especially from the mid-twentieth century. But “ignored” does not automatically mean deliberately suppressed. Linguistic access, difficult manuscripts, the lack of critical editions, disciplinary networks, and established narratives are all relevant considerations; their relative weight cannot be reduced to one undocumented motive.

The physical record matters too. Palm-leaf manuscripts survive through care and repeated copying, particularly in climates where insects, moisture, and wear threaten them. A text composed centuries earlier may be known through much later witnesses. Survival is an activity, not simply an object's ability to remain untouched.

The point of this detour is not to nominate a replacement winner in an invention contest. It is to keep mathematical achievement, documentary evidence, and later classification distinct. The Kerala materials contain substantial reasoning. Understanding that reasoning on its own terms is more demanding, and more illuminating, than awarding or withholding one retrospective name.

8. Did rigor change its meaning?

Mathematicians did not answer Berkeley with a century of silence. In 1734 James Jurin, writing as Philalethes Cantabrigiensis, published Geometry No Friend to Infidelity. The pamphlet exchanges continued. Benjamin Robins's more mathematical response in 1735 emphasized that mature Newtonian methods should be understood through first and ultimate ratios, not through mysterious actual infinitesimals. Defending Newton did not require accepting the version of his method that Berkeley attacked.

Colin Maclaurin's two-volume Treatise of Fluxions appeared in 1742. Its main text ran to more than seven hundred pages. Geometry, exhaustion, proportion, and arguments about limiting relations served a comprehensive treatment of analysis, not merely a point-by-point reply to a pamphlet. Maclaurin sought a defensible account based on finite magnitudes and controlled relations. His own introduction places the preservation of demonstrative certainty alongside the expanding usefulness of mathematics.

To defend an algorithm developed roughly seven decades earlier, he returned extensively to a geometrical language with ancient credentials. The contrast is striking, but it must not become the claim that calculus was already two centuries old in 1742. Its novelty and the antiquity of its preferred justificatory resources belonged to the same intellectual moment.

By the middle of the eighteenth century, d'Alembert was explicitly advocating limits as the foundation of differential calculation. The relevant object was the value approached by the ratio of finite differences, not an unexplained little entity. His program anticipated an important direction of nineteenth-century analysis, though it did not yet contain all the later precision of that subject.

Lagrange tried another route. His Théorie des fonctions analytiques of 1797 proposed to ground differential calculus in algebraic expansions. Expand a function after an increment has been introduced; take the coefficient of the first power of that increment as the derived function; continue with the higher coefficients. In the announced program, infinitesimals, vanishing quantities, limits, and fluxions could all be dispensed with.

The difficulty had moved rather than disappeared. Not every differentiable function, or even every infinitely differentiable function, is represented near a point by its Taylor series. Where a series is available, convergence and the behavior of remainders still require justification. Formal algebra alone cannot guarantee the analytical properties the program needs. Its foundational ambition failed in that generality, although its mathematical contributions were substantial.

Did “rigor” therefore change its meaning, allowing later generations to condemn earlier work by newly invented standards? Partly. Newton valued classical synthetic demonstration. Leibniz emphasized general rules for symbolic operations. Many eighteenth-century analysts placed considerable weight on formal generality and the fertility of calculation. Later analysis increasingly required explicit hypotheses concerning functions, limits, continuity, and convergence.

But the qualification is essential. The foundational worries were not manufactured retrospectively in the nineteenth century. Seventeenth-century critics had raised objections; Berkeley sharpened some of them; Jurin and Robins thought replies necessary; Maclaurin constructed a substantial defense; d'Alembert and Lagrange proposed different foundations. Their own disagreements are evidence that there was something to explain.

Two statements must be retained together. Later technical standards cannot be treated as a timeless court before which every earlier proof fails. Earlier mathematicians nevertheless recognized gaps and difficulties by the standards and questions available to them. Neither the story of universally confused ancestors nor the story of purely anachronistic accusations fits the record.

Meanwhile, analysis changed physics. Euler's Mechanica of 1736 organized the motion of particles analytically. Lagrange's Mécanique analytique of 1788 brought constraints, virtual displacements, differential equations, and variational methods into a powerful general framework. Mechanics increasingly proceeded through reusable analytical procedures instead of requiring a new geometrical construction for each problem.

Celestial mechanics made the change particularly consequential. The ideal two-body problem is not the full solar system. Higher-order treatment of lunar apsidal motion in the eighteenth century became important to evaluating gravitational theory. Laplace's five-volume Mécanique céleste, published from the late eighteenth century into the nineteenth, organized planetary and lunar perturbations, tides, the Earth's figure, and questions of long-term stability on a vast scale. This was not a complete proof of every stability claim. It was a new analytical undertaking, not Newton rewritten with different symbols.

Fluids, elasticity, and vibration generated further problems. Fourier's Théorie analytique de la chaleur appeared in 1822, drawing on work developed during his years as prefect of Isère. An earlier memoir had been submitted in 1807; his work received the Academy's prize in 1812, accompanied by reservations about generality and rigor. The use of trigonometric series to represent temperature distributions made questions about functions, convergence, termwise operations, and integration unavoidable in new forms.

Applications did not merely wait for foundations. They changed what foundations had to accomplish. The assertion that an “unrigorous calculus” supported two centuries of physics is too blunt. A family of methods, with disputed foundations and changing local standards of proof, developed faster than a unified account of its legitimacy.

Berkeley asked why the mathematician claimed greater clarity than the theologian. The subsequent century did not answer solely by philosophical argument. It multiplied the phenomena that analysis could explain and the difficult mathematical operations those explanations required. A moon's changing orbit, a vibrating string, a bending beam, and heat spreading through metal made the demand for justification both more urgent and more specific.

One way to interpret this history is that foundations are rebuilt not only when someone points to a crack, but when the structures resting on them become heavier. That is the essay's interpretive image, not a single-cause law of intellectual progress. The calculations continued. What exactly entitled them to count as knowledge remained a question under construction.

一 一个主教

1734年,一位主教出版了一本小书,攻击当时最成功的数学工具。

他叫乔治·贝克莱,爱尔兰人,就在同一年被任命为克洛因主教。哲学史上他另有名声,主张所谓的物离开被感知就无从谈起。一百多年后北美有一座城以他命名。

而这本小书是写给数学家看的。

书名叫《分析学家》。副标题很长,大意是:要检查现代分析的对象,原则和推论,是否真的比宗教的奥秘和信仰命题更清楚,更明白地推导出来。书是写给一位不信教的数学家的。

这个副标题几乎已经把全书的方向写在了封面上。它不是一本讲数学的书,是一本讲数学凭什么可靠的书,而且作者关心这件事的原因不在数学里面。一位主教出面攻击数学,听起来像一出教会与科学的老戏。这一出不是。

至少不是那一出的常见演法。他不是说数学错了,也不是说数学不该做。他说的是:你们这一行里有一个地方讲不清楚,而你们平时拿讲得清楚这条标准来要求别人。

那位不信教的数学家是谁,最常被认作哈雷。但这属于身份推定,不是署名的事实。牛顿是一个很差的候选人:他1727年已经去世。更重要的是他在书里还问过,为什么有人一边赞美那位伟大作者的数学,一边嘲笑他的宗教。那句话里的伟大作者显然是在把虔诚的牛顿和那位不信教者区别开来。至于他为什么要写这本书,后面第六节再说。

他后来因为这本书挨了不少反击,而反击的人多半绕开了那个最要紧的地方。

现在先说一件更要紧的事。他说的是对的。

不是全对,也不是他证明了微积分自相矛盾。但他指出的那个逻辑动作确实存在,确实在当时的教科书和演示里被反复使用,而且当时不同数学家对它的解释并不一致。

要看清这件事有多奇怪,得先知道他攻击的那套东西当时处在什么位置。

它诞生才半个世纪,已经把天上的行星,地上的抛物线,摆的周期和水的流动算了个遍。它是那个时代最灵的工具,灵到大部分人根本不想问它为什么灵。

而一位熟悉相关论证、却不以数学研究为本业的哲学家站出来说:你们中间那一步,讲不通。接下来的一个世纪里,至少有五拨人试图回答它。而且回答它的人里,有当时英国最好的数学家,有法国百科全书的主编,还有一位为此写了七百多页书的教授。

更值得注意的是,提出这个问题的人并不以数学研究为本业。他是一位哲学家,一位主教,而他攻击数学的理由,是想为宗教辩护。没有一个人的回答,在今天看来是最终的。

后来成为标准教科书基础的一类回答要等到十九世纪逐渐成熟,而且换掉的不只是一个论证,是整套关于什么叫极限,什么叫连续,什么叫收敛的语言。也就是说,回答他的办法不是找到那个消逝的量究竟是什么,是重新规定这些词的意思,让那个问题不必被问。

二 生成与差分

先看他攻击的东西是什么。一个人走了一段路。问他这一分钟走得多快,没有麻烦:拿这一分钟走的距离,除以一分钟。

可是问他在某一个瞬间走得多快呢。

瞬间没有长度。那一瞬里他走过的距离是零,用掉的时间也是零。

零除以零。

这就是十七世纪那两个人各自要对付的东西。而他们对付的办法不一样。

牛顿从运动入手。在他那里,一条线,一块面积,一个体积,都是被某种连续的运动画出来的。它在某一刻长得多快,就是他要的那个量。他给这个量取的名字,直译过来是流出来的那个数。意思是量在流,而这个数记录它流得多急。

这个说法背后站着一个图景:世界在动,量在长。图景可以出错,但它是一个图景,有东西可以指。而且他后来反复强调,自己要的是一个有限的速度,不是说世界由一堆小到不能再小的碎片拼起来。

莱布尼茨从差额入手。两个互相牵连的量,一个变一点,另一个跟着变一点,他关心的是这两点变化之间的比。至于那一点小到什么程度,他不打算说死,只说它是一个小到无法指定的差。

这种小差到底存不存在,他并不总给同一种回答。有一种说法是把它当作一个有用的理想量,或者说一种虚构:要紧的是按正确的法则去算,而算出来的结果可以重新翻译成普通有限量之间的关系。上一篇里那个词又出现了。虚构不是把东西赶出去,是给它安排一个可以留下来的身份。两篇之间隔着一百年,对象换了,这个安排没换。

两套办法最终可以互相翻译,但这不意味着它们在十七世纪是同一个概念体系。

问题意识也不同。牛顿早年的核心之一是曲线求积,无穷级数,以及由方程求运动率再由运动率反求量。他的自然哲学又让流数和运动紧紧连在一起。莱布尼茨1684年的公开入口则是切线,极值,和一种不受根式与分式阻碍的普遍算法。当时的人感受到的差别,后来有人用一句话概括:这两套东西在实践中并不等价。

后人容易把这两套东西看成同一件事的两种写法,因为今天的教科书确实可以在两种记法之间自由换算。但换算得通,和当时的人认为它们是同一个东西,是两件事。记法这一层还有自己的时间表。

莱布尼茨的私人笔记可以把记法的形成追到1675年。那年十月他开始使用后来发展成积分号的那个拉长的字母,来自拉丁文的和。十一月间形成了用微小差分表示变量变化的写法。但公开的日期更重要: 1684年公开的是微分算法,积分记号要到1686年才正式进入他的公开论文。1684年十月那篇著名的文章,原刊页码大约从四百六十七页到四百七十三页。七页左右。

它不是一部基础论著,更像一份高度压缩的新算法公告。说明微分规则,把它用在切线和极大极小值上,再通过例子告诉读者这是一种可以操作的计算种类。它几乎没有后来教科书意义上的概念奠基。这一点反而非常有历史意义。传播出去的首先是一套能算的语言。一套能算的语言可以在几年之内传遍欧洲,而一套讲得清楚的解释要再等一百多年。

而且传播的速度和讲清楚的速度,不由同一群人决定。这一篇后面所有的事情,都发生在这两者之间的那段距离里。

上一篇的结尾说过,数学会先造出一些算得通而讲不清的东西,然后再回头把定义改宽,让它们进来。那一篇说的是一类对象。这一篇说的是一整套方法。

三 为什么《原理》用几何

1687年的《原理》里,开头并没有一套流数方程。

牛顿建立的是最初比与最终比式的几何极限论证:让几何量在连续运动中趋近,让某些比率在量消失之前趋于一个最终的比。关键不是假设最后存在一个非零的无穷小三角形,而是讨论它们的比所趋向的极限。全书的主体语言是线段,面积,比,相似形,圆锥曲线和几何构造。流行的说法是:他其实全部用微积分算好了,然后为了让读者看懂,故意翻译成古典几何。

这个说法只对了一部分。

他晚年确实说过,新的分析帮他找到了《原理》的大部分命题,而为了像古人那样使事情确定,他又把它们综合地证明出来。但这段自述产生于和莱布尼茨争论的年代,带着方法论上的自我塑造,不能当成逐条命题的创作日记。

对相关草稿的研究表明:某些命题背后确实使用了级数,求积甚至流数的技巧,但全书不能整体还原成一份被加密成几何的现代微积分教材。选择几何至少有四层理由。

第一是证明的等级。他越来越把新办法理解成发现的路径,而把古典几何看成完成证明的形式。他心目中重构的古代传统是:分析可以留在工作室里,公开的文本给出综合的证明。

第三篇处理过一个相关的问题:那时候的争论是什么配当原则。这里的问题换了一层,是什么配当公开的证明。

第二是物理意义。他不愿让自然哲学的基本量建立在他认为没有几何或者自然存在的不可分量之上。他在一部专论里强调数学量可以由连续运动生成,并说自己要的那个量是有限的,真实的。

第三是《原理》自己的研究对象。他想研究力,轨道,面积速度和天体运动之间的结构关系,而不是先建立一般的微分方程理论。在某些中心力的问题上,几何构造不是笨拙的翻译,是直接暴露轨道结构和比例关系的办法。

后来那一代人会把普遍算法,一般方程和可重复计算提到更高的位置。但那是下一代逐渐形成的标准,不应该直接拿来衡量1687年的选择。

第四是公开方法与私下方法的区别。牛顿圈子的手稿显示,他们能给某些结论配上一套可以算的办法。而他把这些技巧留在手稿,通信和弟子圈里。

所以问题不该只问他有没有偷偷用微积分。应该问的是:在他的证明文化里,什么才算完成一个自然哲学命题。

这个问题问出来之后,那本书的形状就变了。它不是一本被翻译过的微积分教材,它是一个人按自己相信的证明标准,把一套发现重新做了一遍。发现和证明分开,第四篇里有人写过同样的话,隔了一千九百年。差别在于,那一位把两种办法都写了出来,而且明说前一种不算证明。这一位把发现的那一半留在了工作室里。

四 优先权

1676年以前,不存在公开的战争。

两人通过一位中介通信。牛顿在信里谈到级数等成果,也用字谜式的排列隐藏过部分方法。而莱布尼茨已经在自己的巴黎笔记里发展差分算法。到1684年莱布尼茨公开微分法, 1687年的《原理》里牛顿甚至以相当友好的语气提到了他的方法。

九十年代早期,有一个人私下开始怀疑。1699年他第一次公开暗示莱布尼茨是从牛顿那里得到方法的。这通常可以视为公开争端的起点。

第二次升级在1704年到1705年之间。《光学》附录公布了《曲线求积论》之后,一份学术期刊上出现匿名评论,把牛顿的流数和莱布尼茨的微分并置。牛顿阵营把其中的措辞理解成倒过来暗示牛顿借鉴了莱布尼茨。这篇评论通常归于莱布尼茨,但在逐字归责的时候仍应说明它是匿名发表的。

随后基尔在皇家学会的论文里明确写道,牛顿是流数算术的第一发明者,而莱布尼茨后来以另一个名称,另一套记号发表。含蓄的暗战由此变成直接的剽窃指控。从这里开始,争的已经不是谁先算出来了什么。争的是一个人的名誉。而名誉这件事没有办法各自保留一半。发现可以两个人各自做出来,但当事人越来越不愿把荣誉理解为可以共享。这是这场争端真正不能调解的地方。

而且这两个人的处境完全不同,所争的东西对各自的分量也不一样。一个人是剑桥的教授,后来又进了国家的造币机构,手上同时握着大学,学会和一个实权职位。另一个人是宫廷的顾问,图书馆员和王朝史项目的负责人,长期领着薪俸,同时被一项几乎做不完的家族史拖着。把他们都写成两个大学数学教授在争发明权,会误读整个社会背景。

1711年莱布尼茨向皇家学会正式投诉。学会1712年三月成立委员会。这个委员会的成分很要紧。

现有的记录列出的首批成员包括几位数学上有能力的人,随后又加入了若干人,其中还有一位普鲁士使节。成员并非全是牛顿的私人亲信。但有一件事压过了所有细节:牛顿此时是皇家学会的主席。

调查的程序也远不是今天意义上的双方举证,回避利益冲突和独立同行审查。委员会主要核对学会以及那位数学中介留下的旧信件和副本,而牛顿亲自供应和编排了大量材料。莱布尼茨没有被邀请到委员会面前逐项解释,也没有得到与牛顿对等的文件编辑权。委员会最终认为牛顿的方法在先,并认为那条优先权断言没有伤害莱布尼茨。

材料随后以学会的名义出版。

牛顿参与撰写这件事,不是后人仅凭他是主席推出来的。剑桥保存的争论手稿里有他的自笔草稿,编排材料和为那部文集所作的文本。相关的档案说明还明确指出,这批文件同时证明后来发表在学会刊物上的那篇匿名文章也是他写的。换句话说,主席,当事人,主要材料提供者,文本起草者,这四个角色之间没有现代制度要求的任何隔离。

这一点不必用来给谁定罪。它只说明一件事:这次调查没有建立足够的程序隔离,让主要当事人退出材料编排和结论形成。至于何时被查明,没有一个突然揭密的年份。

上一篇提过的那位德摩根, 1852年已经发表文章,用文本和书目证据论证那篇匿名文章是牛顿所写。1872年牛顿家族把科学论文交给剑桥之后,大量争论草稿进入系统整理, 1888年目录出版,使他的深度介入可以从手稿层面进一步确认。那么独立发展这个结论是怎么来的。不是为了公平一人一半。是由两组独立的档案形成的。

独立发现这四个字听上去像一个外交辞令。它不是。它是两堆纸互相对照之后得出的结论:两套记法,两条时间线,两个人各自留下的日期。

牛顿六十年代的手稿足以证明他的路线在莱布尼茨之前已经展开。莱布尼茨1675年前后的私人笔记又足以展示他的微分记法和算法是在哪些具体问题里逐步出现的。

如果他只是收到牛顿的方法后换了一组符号,预期会看到一种突变式的借用。实际留下的是另一条有大量失败尝试,记号改动和概念重组的工作轨迹。证据的强度可以这样排。

他看过某些牛顿的数学材料,这一条有实据:十九世纪有人在他的档案里发现了他亲手抄录的牛顿材料。所以从未见过任何相关工作这句话无法维持。他知道牛顿手上已经有很强的办法,这一条也站得住。而他在1675年自己动手之前就掌握了牛顿那一整套,没有可靠的直接证据。至于他由这些材料推导出来再冒充成自己的东西,没有任何一份材料支持。

至于那句流传很广的话,说优先权之争让英国数学停了一百年。有事实基础,但通常说得过头。

争端确实使方法上的差异被民族化了:大陆越来越采用一套语言,英国则以流数,最初比与最终比和牛顿的权威为核心,进入大陆文献的速度较慢。

反面的证据同样重要。英国并没有数学停摆,那一代人在级数,差分,流数论和分析上都相当活跃。牛顿的点记号本身也没有阻止计算。

比较合理的判断是:争端加重了两个传统之间的制度和语言隔离,是相对衰退的一个因素。因为选错了符号所以英国数学沉睡一百年,则是后来的戏剧化故事。这里面还有一层物质原因,放在这一篇很合适。

公开的论文只有几页,私人的工作纸却可能有几万页。牛顿死后留下的手稿数量异常庞大,而现代意义上的档案是经过两百年拆分才形成的。莱布尼茨那一边保存下来的文献约五万件,二十万页,通信约一万五千封,通信者约一千一百人。谁的工作纸保存下来,什么时候编目,编辑者看见哪些部分,会直接改变后人写出来的发现史。

优先权之争之所以能在十九,二十世纪被改判,和这件事分不开。

五 增量

现在回到贝克莱。

第二节里那个零除以零的麻烦,当时的教科书是这样绕过去的。

要算某个量在某一刻变得多快,先不取那一瞬,而是取一小段。让自变量增加一点点,这一点点叫作增量。

它必须不是零。因为接下来要拿它去做除数,而零不能做除数。

除完之后,式子里还剩下几项仍然带着这个增量。这时候计算的人说:这个增量已经消逝了。于是把那几项丢掉,答案出来了。

贝克莱说,这等于在同一个论证里偷偷换了一次假设。

需要做除法的时候,它存在。需要得到一个漂亮答案的时候,它又不存在。

如果一开始它就是零,前面那一步除法不合法。如果它不是零,后面凭什么把含着它的项当成零。

这个指控的力量在于它极其具体。它不针对那个小东西究竟是什么这种哲学问题,它针对的是纸面上那几行字:第一行里它必须不是零,第三行里它必须是零,而中间没有任何一句话说明它什么时候变的。

然后是那句最有名的话。

他先追问:所谓那个量究竟是什么。是正在消失的增量的速度吗。那么这些增量本身既不是普通的有限量,又不能简单说成零。

然后他抛出一句:可不可以把它们叫作已逝量的鬼魂。

这不是一句孤立的机智骂人话。它压缩了整个逻辑攻击:计算曾经依赖这些量完成一个合法的操作,到证明结束的时候它们又被宣布消失,而计算的结果却留下了。

实体已经死去,作用仍然在场。

这个比喻还有一层不常被提到的用意。鬼魂这个词在一位主教笔下不是随便用的。他正在做的事情,是指着一群嘲笑宗教里有看不见的东西的人,说你们自己的计算里就住着一群看不见的东西。把这句话只译成他嘲笑无穷小很荒唐,会损失原文的论证锋芒。不过这一击有它的范围。

这非常准确地击中了朴素无穷小演算的某些教科书式表述,但不等于已经击倒了《原理》里那套最终比的论证。牛顿可以回答:我从来没有说最后剩着一个既非零又等于零的量。我谈的是量趋于消失的时候,比率趋向什么。这正是后面几位为他辩护的路线。

所以这一击打中的不是牛顿最谨慎的那一层,是当时流通最广的那一层。而流通最广的那一层,正是学生们学到的那一层。

一个学科最脆弱的地方,往往不在它最深的那一层,而在它教给初学者的那一层。因为最深的那一层有人守着,而教给初学者的那一层已经被简化过,简化的时候丢掉的正是那些说明为什么可以这样做的句子。

六 贝克莱要做的事

现在可以说他为什么写这本书了。

他长期攻击当时的自由思想者。这些人常常用数学和自然哲学的明晰确定性,去反衬基督教里那些奥秘,恩典和信仰的命题。他的策略不是证明数学没用。是反转他们的认识论武器。

你说只接受清楚可理解,逐步严格推出的东西。很好,那么请把你天天使用的流数,消逝增量和无穷小,按同一个标准说明白。

所以副标题里那个比较绝不是装饰。他真正要制造的是一种对称:如果数学家的实践能够在概念含混的情况下给出可靠的结果,那么存在无法完全概念化的东西这件事本身,就不能自动成为拒绝宗教的充分理由。

他甚至不断用神学式的词汇讽刺分析学,把数学家的信仰,奥秘和不可理解的对象,与他们所攻击的宗教概念并排放着。

所以不能把他写成一位提前发现了后来那套极限语言的十八世纪逻辑学家。他首先是哲学家和主教。数学基础问题在这里被用作一场针对自由思想者的认识论反击。

这个位置反而让他看得比别人清楚。一个在这一行里的人,每天都在用那套算法,而且它每天都给出对的答案。一个从外面来的人,只读纸面上的步骤,没有那份熟悉带来的信任。数学批评是真的,宗教目的也是真的。两者不是竞争的解释。

把他写成一个借数学攻击科学的神棍,或者写成一个碰巧是主教的逻辑学家,都会丢掉这本书为什么会被写出来。

而这就是这一篇里最要紧的一层。一个用数学的漏洞来为神学辩护的人,在数学上是对的。

这句话每一半都要成立才有意思。如果他数学上错了,那只是一次没打中的抱怨。如果他没有神学目的,那只是一次普通的学术批评。两样都在,才有那本书。那么他到底有多对。

传统的数学史对他相当尊重。就他实际针对的那些写法而言,他的批评基本命中,而且在当时的语境里相当有力。这个评价特别适用于先按非零量去除,后又当成零丢弃,以及使用高阶无穷小却没有解释它们逻辑地位的那些写法。但近几十年有重要的修正。

研究莱布尼茨的历史学家指出,他往往把无穷小等同于一种普通实数式的小量,再要求它同时满足互相冲突的性质。而莱布尼茨自己有连续性法则和一套关于高阶项的规则,用来说明为什么只保留同一主导阶的项。反过来,也有研究指出,他自己用两个错误互相补偿来解释为什么结果仍然正确的那些论证,同样不完善。

所以最稳妥的结论是:他发现了真正的基础问题,也发现了大量不充分的当代表述。他没有证明微积分本身必然矛盾,更没有提供现代的极限理论。把他写成完全错误或者完全胜利,都不符合现代的研究。不过可以确认的是,他的书促成了即时而持续的答辩,使为什么这样算是对的这个问题获得了更集中的公开讨论。不能把此后一切基础研究都归为这本书的结果。

接下来的一百年里,至少有四种互不相同的回答被认真提出来过。

七 另一处

在写这一段之前,时间要往回走三百年,地方要换到印度南端。

那里有一条传统,现代史家称之为喀拉拉学派。这个名字是为了描述一条有师徒,家族,评论传统和共同天文学问题意识的网络,不要把它想成有校舍和会员制的学院。

这条线放在这一篇里,不是为了比谁先。是因为它提出了同一个判据问题,而且提得比欧洲那一边更早,也更难回答。更难回答的原因在于:那边的文本给了理由,而理由的形态和欧洲那一套不一样。给了理由,所以不能说他们只是猜公式。理由的形态不一样,所以也不能说他们已经有了后来那一套。最早的核心人物通常约生于1340年前后,卒于1420年代。后续还有好几代人。

这条传统出现了今天可以辨认为正弦,余弦和反正切的无穷幂级数,并由反正切的特殊取值得到圆周率的一个交错级数。还出现了用来提高圆周率计算效率的修正项。用现代符号写出来,与后来欧洲数学中相应的级数相同或者等价。

年代上最稳妥的表述不是给每条公式标一个虚假的发现日。后来的文本明确把若干核心结果归于那位最早的人物,所以可以把起源放在十四世纪末到十五世纪初。但最早现存的完整文字证据往往晚一两代。

这里必须分清一件事。后世文本明确说此法来自某人,这有文本为证。今天存有他本人十四世纪的手稿,这不是事实。

这些结果也不是纯粹地发现一个漂亮级数。它们服务于三角表,圆周率和天文数值计算。更要紧的是,他们研究怎样截断一个收敛很慢的交错级数并加入校正,使有限的计算得到更高的精度。那么这些文本只有公式,还是有为什么。有为什么。而且这正是二十世纪重新评价这条传统的重要原因。

十六世纪前半叶那部最重要的理由文本,名字本身就强调理由。它不是简单列出公式,而会通过圆弧几何,把图形分成许多细小的部分,比较这些部分,使用幂和求和的规则,再把分割不断细化,来说明为什么会得到相关的展开。但有推理链和已经有现代的收敛证明,必须分开。

那些论证会使用小弧越来越接近某种简单量,分割足够细以后误差可以忽略这类几何与数值的直觉,并借助有限幂和求和的近似关系。它没有十九世纪的实数完备性,统一的极限定义或者一般的级数收敛理论。

这句话对同一时期的欧洲也成立。第五节里贝克莱攻击的,正是同一种缺口。对某些修正项,现代的细读甚至明确认为传统的理由不足以令人按现代标准信服。

第五篇处理过同一种形状的争论。那里问的是一位注者的论证算不算证明。这里问的是这套东西算不算微积分。而且答案同样取决于判据。

第五篇那一篇的结论是:术语决定你把不把他放进证明这个盒子,材料分析决定盒子里究竟装了什么。这里可以照抄。

一侧认为应该算:如果判据是以无穷过程处理三角函数,利用局部变化,求和和面积式的推理推出无穷级数,并讨论有限截断,那么这条传统拥有足够多的核心结构。

另一侧更保守,会用微积分的思想而不是一套微积分。他们的判据更系统:一个成熟的微积分不只需要若干函数的幂级数,还需要一般的微分概念,一般的积分概念,二者的系统联系,以及能把大量新问题统一成算法的框架。还有第三种意见,在史学上尤其值得重视:这个问题本身可能太欧洲化了。

把每一段当地数学都问成它离后来那套东西还差什么,很容易把它自己的天文目的,论证方式,三角计算传统和语言结构,变成一张通往别处的进度表。

所以这里不适合给真正的发明者排序。归属的差异主要来自分类标准的差异,不是因为哪一方不知道那些级数存在。两边的学者都知道那些级数在那里。他们分歧的是,拥有这些级数的一套东西该叫什么。

而这个该叫什么的问题,这个系列已经碰到第三次了。第三篇问的是那本书算不算公理化方法的诞生,第五篇问的是那些注算不算证明,这一篇问的是这些级数算不算微积分。三次的分歧都不只是材料够不够,还在于使用了不同的尺子。而那把尺子,一直握在后来的人手里。这一点在这个系列里已经反复出现,而且往后还会更重。至于传播。

有人提出过一条假说:十六,十七世纪葡萄牙人在印度洋建立了海上网络,传教士在那一带活动,他们对历法,天文和航海数据有实际需求,因此存在接触当地天文计算者及其文本的机会和动机。支持的论据主要有三类:路线存在,需求存在,时间上可能。问题是,从有船,有传教士,有类似的数学,到这条公式被传过去,中间缺的正是历史学最需要的那一环。

目前没有发现一份十六或者十七世纪的欧洲译本,来信,抄本,学习笔记,藏书目录记录,或者欧洲数学家的明确引用,能够把某一条级数从具体的印度文本连续追到欧洲。因此,现有材料尚不能确立这些具体级数在十六、十七世纪传到欧洲并影响相关发现的连续证据链。

这个结论并不证明传播绝对不可能。历史上没有保存下来的传播当然可能发生。它说明的是:截至现有的证据,它不能从可能性升级为发生过的事实。

欧洲学界重新注意到这些材料,是1832年十二月的一次宣读,论文1834年收入一份东方学的学会会刊。作者是东印度公司的一位官员。他的判断相当大胆,认为这些文本已经奠定了一套完整的流数体系的基础。这个十九世纪的称法本身,就是后来那场它到底算不算微积分的争论的先声。

不过他的论文没有立刻改写欧洲数学史。它长期很少被主流著作吸收,要到二十世纪四十年代末以后才有人重新发表,翻译和分析。

所以他首次告诉西方,随后遭到故意压制,也太戏剧化。更准确的是:他非常早地识别了材料的重要性,但文章所在的学科网络边缘,原始文本难读,缺少批校本,加上十九世纪的数学史已经有了自己的叙事框架,使这条线长期没有形成持续的研究传统。对为什么被忽略,每一种单一的心理解释都没有材料撑着。一条线索被忽略了一百年,通常不需要有人压制它。

这和前面几篇遇到的保存问题是同一种机制。棕榈叶写本需要周期性地重抄和保养,在湿热,虫害和磨损的环境里格外脆弱。一部文本能延续几个世纪,往往意味着它被不断重抄,而不是一张十四世纪的叶片原封不动活到今天。

所以现存十六世纪的抄本和文本创作于十四世纪,不是同一个年代证据。只要它发表的地方不对,语言不通,原文难读,而当时的学科已经有了自己讲故事的办法,就够了。

八 严格换了意思吗

回到贝克莱之后的一百年。他之后不是数学家继续若无其事地算了一百年。

有人当年就反击。1734年便有人以几何不是不信教的朋友为题替牛顿和英国数学家辩护,此后双方互发文本。这场小册子战争最后累计的篇幅相当可观,却更多是辩论性的澄清,不是一次彻底的基础重建。

第二年另一个人的路线更数学化。他的关键策略是承认:如果把牛顿的方法建立在神秘的实际无穷小上,那些问题确实严重。但牛顿最成熟的方法根本不必这样读,应该按变量的最初,最终比率或者极限过程来理解。也就是说,他把为无穷小辩护,改成了牛顿真正的方法不是被攻击的那一种。

1742年的那部书是规模最大,技术最严肃的英国回答。两卷,主文超过七百页。作者大量采用古典几何,穷竭思想,比例和极限式的论证,希望说明流数可以建立在有限量的变化与可控制的极限过程上,而不依赖一个既存在又不存在的无穷小。它不只是在答贝克莱,它试图给整个分析建立一个可以公开防守的基础。

七百页,大量古典几何。为了守住一套约七十年前发展起来的算法,他回头去用两千年前的语言。

第三篇讲过那套语言为什么被当成可靠证明的形式。到这里,它被当成最后的防线。

十八世纪中叶,达朗贝尔明确把极限推到了基础的位置。他反对把无穷小当成神秘的实体,主张微分计算真正关心的是有限差分之比在增量趋于零时所趋向的值。他有一句常被引用的判断:极限理论才是微分计算真正的形而上学。这句话的意思是:别再问那个小东西是什么了,问它趋向哪里。这已经非常接近十九世纪的取向,却还缺后来那套精细的语言。

拉格朗日觉得连趋向都太几何,太形而上。

1797年他试图把微积分完全变成有限量的代数。做法是把一个函数在变量改变之后展开成幂级数,把一次项的系数定义为第一导函数,如此继续。这样表面上既不需要流数,也不需要无穷小,甚至不需要极限。他那本书的副标题就宣称要把微分原理从无穷小,消逝量,极限或者流数中解放出来。

失败之处后来很清楚:并非所有可微,甚至无限次可微的函数都能由自己的级数在邻域里表示。即使某个幂级数形式存在,也必须证明收敛和截断之后剩下那一部分的行为,而这些恰恰不能只靠形式代数保证。

他实际上把函数具有所需的展开当成了基础前提,于是把原来的极限难题换成了一个同样需要分析理论来证明的级数难题。

这是一次很干净的失败,值得记住。他没有算错,也没有偷懒。他把一个难题挪到了另一个地方,而那个地方同样难。第七篇里出现过同一种动作:把麻烦推给语义,就不必回答那个更难的问题。这一次推的是形式,结果推不动。

现在可以问那个问题了。严格这个词是不是在十九世纪换了意思,所以后人才追溯地说前人不严格。

第三篇处理过一次这个形状。那一次的结论是:不是古人看错了地方,是严格这个词换了意思,而这个换法把问题从明说的挪到了没明说的。这一次的答案要复杂一点,因为两句话同时成立。

支持这个类比的材料很强。牛顿认为古典综合几何代表可靠的证明。莱布尼茨重视符号演算的一般规则。欧拉一代越来越把形式的一般性和计算的生产力视为数学证据的一部分。十九世纪那一路则越来越要求把极限,连续,收敛,函数逐一用明确的条件表述。不同年代评价一个证明缺了什么,标准确实不同。但这个类比不能走太远。

因为问题并不是十九世纪的人凭空发明出一套要求之后,才回过头去挑祖先的毛病。

十七世纪末已经有人攻击新分析。贝克莱1734年指出增量论证的不一致。随后两位立即觉得有必要回应。达朗贝尔明确去寻找真正的基础。拉格朗日1797年还要彻底摆脱无穷小,极限和流数。十八世纪的参与者自己就知道基础问题存在。而且他们各给了不同的答案,这一点就是证据。如果大家都觉得没问题,没有人会去写七百页。

牛顿本人就是一例。他在成熟的著作里强调流数是有限的,真实的,并坚持最好用眼睛可见的有限线段来表示,而不是无限小的对象。这种反复的自我澄清本身就说明,他知道无穷小的对象地位是一个需要回答的问题。

所以两句话必须同时写下来。后世确实改变了严格的技术标准,不能把十九世纪后半叶的要求当成永恒的法庭。同时,十七,十八世纪的数学家自己已经发现某些推理需要解释,所以不严格也不是后人完全虚构的罪名。这两句话之间,是这一篇真正的内容。

不是古人糊涂,也不是后人苛刻。是一套工具跑在了它自己的解释前面,而跑在前面的那段距离,当时的人和后来的人都看见了,只是看见的方式不同。

而在这段时间里,那套基础不断摇动的工具做成了什么。

牛顿的力学被重写成了可以系统计算的分析力学。1736年有人用分析方法组织质点运动,后来又有人把约束系统,虚位移,微分方程和变分方法变成通用工具。1788年的一部书达到一个象征性的终点:经典力学越来越可以从一般方程出发计算,而不必为每个问题重新发明《原理》式的几何构造。

天体力学尤其能体现分量。《原理》解决了两体理想模型的核心结构,而真实的太阳系是多体扰动问题。十八世纪中叶对月球近地点进动的高阶近似,一度成为检验引力律的关键。到十八世纪末开始出版的那部五卷本,行星扰动,月球,潮汐,地球形状和长期稳定性已经被放进一个大规模的分析体系。

所以到这里,已经不是把牛顿翻译成新记号,是造出了他1687年根本没有的东西。

流体,弹性,振动各有各的进展。1822年,傅里叶出版了一部关于热的书,把热流写成偏微分方程,并用三角级数表示极广泛的温度分布。书里的主要工作,是他在伊泽尔省当省长的那些年里做的, 1807年底就交给了科学院。1812年这项工作得了科学院的奖,评语却说,他得到这些方程的办法并非没有困难,求解的分析在一般性上,甚至在严格性上,都还有欠缺。而这部书不但重塑了物理,还反过来逼迫十九世纪的数学家重新思考函数,级数收敛,逐项运算和积分的定义。基础问题从这里不再是哲学家的外部挑衅。它成了物理成功本身逼出来的数学问题。

所以那句话的实情不是一个不严格的工具支撑了两百年的物理学。是:一套基础尚未统一,局部证明标准不断变化的分析工具,比它自身的基础理论成熟得快得多。贝克莱在1734年问的是,你们凭什么说自己比我清楚。一百年后回答他的,不是哲学。是那些用他所攻击的工具算出来的,而且算对了的东西,多到没有人能不去解释它们。

月球的进动,行星的扰动,流体的运动,梁的弯曲,一根弦振动时的形状,一块金属里热的传播。这些东西一件一件堆起来,到某个时候,讲不清楚为什么它对,已经不再是一个可以推给下一代的问题。因为下一代要用它算更多的东西。而算得越多,越经不起有人在旁边问一句:你凭什么。

最后逼出答案的不是那一句问话。是那一句问话被问过之后,还有一百年的东西被算了出来。一个学科最后修好自己的地基,通常不是因为有人指出它塌了,是因为上面盖的东西太重了。

数还在往下算,而什么算数学,还没有算清楚过。

一 一個主教

1734年,一位主教出版了一本小書,攻擊當時最成功的數學工具。

他叫喬治·貝克萊,愛爾蘭人,就在同一年被任命為克洛因主教。哲學史上他另有名聲,主張所謂的物離開被感知就無從談起。一百多年後北美有一座城以他命名。

而這本小書是寫給數學家看的。

書名叫《分析學家》。副標題很長,大意是:要檢查現代分析的對象,原則和推論,是否真的比宗教的奧秘和信仰命題更清楚,更明白地推導出來。書是寫給一位不信教的數學家的。

這個副標題幾乎已經把全書的方向寫在了封面上。它不是一本講數學的書,是一本講數學憑什麼可靠的書,而且作者關心這件事的原因不在數學裡面。一位主教出面攻擊數學,聽起來像一出教會與科學的老戲。這一出不是。

至少不是那一出的常見演法。他不是說數學錯了,也不是說數學不該做。他說的是:你們這一行裡有一個地方講不清楚,而你們平時拿講得清楚這條標準來要求別人。

那位不信教的數學家是誰,最常被認作哈雷。但這屬於身份推定,不是署名的事實。牛頓是一個很差的候選人:他1727年已經去世。更重要的是他在書裡還問過,為什麼有人一邊贊美那位偉大作者的數學,一邊嘲笑他的宗教。那句話裡的偉大作者顯然是在把虔誠的牛頓和那位不信教者區別開來。至於他為什麼要寫這本書,後面第六節再說。

他後來因為這本書挨了不少反擊,而反擊的人多半繞開了那個最要緊的地方。

現在先說一件更要緊的事。他說的是對的。

不是全對,也不是他證明了微積分自相矛盾。但他指出的那個邏輯動作確實存在,確實在當時的教科書和演示里被反復使用,而且當時不同數學家對它的解釋並不一致。

要看清這件事有多奇怪,得先知道他攻擊的那套東西當時處在什麼位置。

它誕生才半個世紀,已經把天上的行星,地上的拋物線,擺的週期和水的流動算了個遍。它是那個時代最靈的工具,靈到大部分人根本不想問它為什麼靈。

而一位熟悉相關論證、卻不以數學研究為本業的哲學家站出來說:你們中間那一步,講不通。接下來的一個世紀裡,至少有五撥人試圖回答它。而且回答它的人里,有當時英國最好的數學家,有法國百科全書的主編,還有一位為此寫了七百多頁書的教授。

更值得注意的是,提出這個問題的人並不以數學研究為本業。他是一位哲學家,一位主教,而他攻擊數學的理由,是想為宗教辯護。沒有一個人的回答,在今天看來是最終的。

後來成為標準教科書基礎的一類回答要等到十九世紀逐漸成熟,而且換掉的不只是一個論證,是整套關於什麼叫極限,什麼叫連續,什麼叫收斂的語言。也就是說,回答他的辦法不是找到那個消逝的量究竟是什麼,是重新規定這些詞的意思,讓那個問題不必被問。

二 生成與差分

先看他攻擊的東西是什麼。一個人走了一段路。問他這一分鐘走得多快,沒有麻煩:拿這一分鐘走的距離,除以一分鐘。

可是問他在某一個瞬間走得多快呢。

瞬間沒有長度。那一瞬里他走過的距離是零,用掉的時間也是零。

零除以零。

這就是十七世紀那兩個人各自要對付的東西。而他們對付的辦法不一樣。

牛頓從運動入手。在他那裡,一條線,一塊面積,一個體積,都是被某種連續的運動畫出來的。它在某一刻長得多快,就是他要的那個量。他給這個量取的名字,直譯過來是流出來的那個數。意思是量在流,而這個數記錄它流得多急。

這個說法背後站著一個圖景:世界在動,量在長。圖景可以出錯,但它是一個圖景,有東西可以指。而且他後來反復強調,自己要的是一個有限的速度,不是說世界由一堆小到不能再小的碎片拼起來。

萊布尼茨從差額入手。兩個互相牽連的量,一個變一點,另一個跟著變一點,他關心的是這兩點變化之間的比。至於那一點小到什麼程度,他不打算說死,只說它是一個小到無法指定的差。

這種小差到底存不存在,他並不總給同一種回答。有一種說法是把它當作一個有用的理想量,或者說一種虛構:要緊的是按正確的法則去算,而算出來的結果可以重新翻譯成普通有限量之間的關係。上一篇裡那個詞又出現了。虛構不是把東西趕出去,是給它安排一個可以留下來的身份。兩篇之間隔著一百年,對象換了,這個安排沒換。

兩套辦法最終可以互相翻譯,但這不意味著它們在十七世紀是同一個概念體系。

問題意識也不同。牛頓早年的核心之一是曲線求積,無窮級數,以及由方程求運動率再由運動率反求量。他的自然哲學又讓流數和運動緊緊連在一起。萊布尼茨1684年的公開入口則是切線,極值,和一種不受根式與分式阻礙的普遍算法。當時的人感受到的差別,後來有人用一句話概括:這兩套東西在實踐中並不等價。

後人容易把這兩套東西看成同一件事的兩種寫法,因為今天的教科書確實可以在兩種記法之間自由換算。但換算得通,和當時的人認為它們是同一個東西,是兩件事。記法這一層還有自己的時間表。

萊布尼茨的私人筆記可以把記法的形成追到1675年。那年十月他開始使用後來發展成積分號的那個拉長的字母,來自拉丁文的和。十一月間形成了用微小差分表示變量變化的寫法。但公開的日期更重要: 1684年公開的是微分算法,積分記號要到1686年才正式進入他的公開論文。1684年十月那篇著名的文章,原刊頁碼大約從四百六十七頁到四百七十三頁。七頁左右。

它不是一部基礎論著,更像一份高度壓縮的新算法公告。說明微分規則,把它用在切線和極大極小值上,再通過例子告訴讀者這是一種可以操作的計算種類。它幾乎沒有後來教科書意義上的概念奠基。這一點反而非常有歷史意義。傳播出去的首先是一套能算的語言。一套能算的語言可以在幾年之內傳遍歐洲,而一套講得清楚的解釋要再等一百多年。

而且傳播的速度和講清楚的速度,不由同一群人決定。這一篇後面所有的事情,都發生在這兩者之間的那段距離里。

上一篇的結尾說過,數學會先造出一些算得通而講不清的東西,然後再回頭把定義改寬,讓它們進來。那一篇說的是一類對象。這一篇說的是一整套方法。

三 為什麼《原理》用幾何

1687年的《原理》里,開頭並沒有一套流數方程。

牛頓建立的是最初比與最終比式的幾何極限論證:讓幾何量在連續運動中趨近,讓某些比率在量消失之前趨於一個最終的比。關鍵不是假設最後存在一個非零的無窮小三角形,而是討論它們的比所趨向的極限。全書的主體語言是線段,面積,比,相似形,圓錐曲線和幾何構造。流行的說法是:他其實全部用微積分算好了,然後為了讓讀者看懂,故意翻譯成古典幾何。

這個說法只對了一部分。

他晚年確實說過,新的分析幫他找到了《原理》的大部分命題,而為了像古人那樣使事情確定,他又把它們綜合地證明出來。但這段自述產生於和萊布尼茨爭論的年代,帶著方法論上的自我塑造,不能當成逐條命題的創作日記。

對相關草稿的研究表明:某些命題背後確實使用了級數,求積甚至流數的技巧,但全書不能整體還原成一份被加密成幾何的現代微積分教材。選擇幾何至少有四層理由。

第一是證明的等級。他越來越把新辦法理解成發現的路徑,而把古典幾何看成完成證明的形式。他心目中重構的古代傳統是:分析可以留在工作室裡,公開的文本給出綜合的證明。

第三篇處理過一個相關的問題:那時候的爭論是什麼配當原則。這裡的問題換了一層,是什麼配當公開的證明。

第二是物理意義。他不願讓自然哲學的基本量建立在他認為沒有幾何或者自然存在的不可分量之上。他在一部專論里強調數學量可以由連續運動生成,並說自己要的那個量是有限的,真實的。

第三是《原理》自己的研究對象。他想研究力,軌道,面積速度和天體運動之間的結構關係,而不是先建立一般的微分方程理論。在某些中心力的問題上,幾何構造不是笨拙的翻譯,是直接暴露軌道結構和比例關係的辦法。

後來那一代人會把普遍算法,一般方程和可重復計算提到更高的位置。但那是下一代逐漸形成的標準,不應該直接拿來衡量1687年的選擇。

第四是公開方法與私下方法的區別。牛頓圈子的手稿顯示,他們能給某些結論配上一套可以算的辦法。而他把這些技巧留在手稿,通信和弟子圈里。

所以問題不該只問他有沒有偷偷用微積分。應該問的是:在他的證明文化裡,什麼才算完成一個自然哲學命題。

這個問題問出來之後,那本書的形狀就變了。它不是一本被翻譯過的微積分教材,它是一個人按自己相信的證明標準,把一套發現重新做了一遍。發現和證明分開,第四篇裡有人寫過同樣的話,隔了一千九百年。差別在於,那一位把兩種辦法都寫了出來,而且明說前一種不算證明。這一位把發現的那一半留在了工作室裡。

四 優先權

1676年以前,不存在公開的戰爭。

兩人通過一位中介通信。牛頓在信裡談到級數等成果,也用字謎式的排列隱藏過部分方法。而萊布尼茨已經在自己的巴黎筆記裡發展差分算法。到1684年萊布尼茨公開微分法, 1687年的《原理》里牛頓甚至以相當友好的語氣提到了他的方法。

九十年代早期,有一個人私下開始懷疑。1699年他第一次公開暗示萊布尼茨是從牛頓那裡得到方法的。這通常可以視為公開爭端的起點。

第二次升級在1704年到1705年之間。《光學》附錄公佈了《曲線求積論》之後,一份學術期刊上出現匿名評論,把牛頓的流數和萊布尼茨的微分並置。牛頓陣營把其中的措辭理解成倒過來暗示牛頓借鑒了萊布尼茨。這篇評論通常歸於萊布尼茨,但在逐字歸責的時候仍應說明它是匿名發表的。

隨後基爾在皇家學會的論文裡明確寫道,牛頓是流數算術的第一髮明者,而萊布尼茨後來以另一個名稱,另一套記號發表。含蓄的暗戰由此變成直接的剽竊指控。從這裡開始,爭的已經不是誰先算出來了什麼。爭的是一個人的名譽。而名譽這件事沒有辦法各自保留一半。發現可以兩個人各自做出來,但當事人越來越不願把榮譽理解為可以共享。這是這場爭端真正不能調解的地方。

而且這兩個人的處境完全不同,所爭的東西對各自的分量也不一樣。一個人是劍橋的教授,後來又進了國家的造幣機構,手上同時握著大學,學會和一個實權職位。另一個人是宮廷的顧問,圖書館員和王朝史項目的負責人,長期領著薪俸,同時被一項幾乎做不完的家族史拖著。把他們都寫成兩個大學數學教授在爭發明權,會誤讀整個社會背景。

1711年萊布尼茨向皇家學會正式投訴。學會1712年三月成立委員會。這個委員會的成分很要緊。

現有的記錄列出的首批成員包括幾位數學上有能力的人,隨後又加入了若干人,其中還有一位普魯士使節。成員並非全是牛頓的私人親信。但有一件事壓過了所有細節:牛頓此時是皇家學會的主席。

調查的程序也遠不是今天意義上的雙方舉證,回避利益衝突和獨立同行審查。委員會主要核對學會以及那位數學中介留下的舊信件和副本,而牛頓親自供應和編排了大量材料。萊布尼茨沒有被邀請到委員會面前逐項解釋,也沒有得到與牛頓對等的文件編輯權。委員會最終認為牛頓的方法在先,並認為那條優先權斷言沒有傷害萊布尼茨。

材料隨後以學會的名義出版。

牛頓參與撰寫這件事,不是後人僅憑他是主席推出來的。劍橋保存的爭論手稿里有他的自筆草稿,編排材料和為那部文集所作的文本。相關的檔案說明還明確指出,這批文件同時證明後來發表在學會刊物上的那篇匿名文章也是他寫的。換句話說,主席,當事人,主要材料提供者,文本起草者,這四個角色之間沒有現代制度要求的任何隔離。

這一點不必用來給誰定罪。它只說明一件事:這次調查沒有建立足夠的程序隔離,讓主要當事人退出材料編排和結論形成。至於何時被查明,沒有一個突然揭密的年份。

上一篇提過的那位德摩根, 1852年已經發表文章,用文本和書目證據論證那篇匿名文章是牛頓所寫。1872年牛頓家族把科學論文交給劍橋之後,大量爭論草稿進入系統整理, 1888年目錄出版,使他的深度介入可以從手稿層面進一步確認。那麼獨立發展這個結論是怎麼來的。不是為了公平一人一半。是由兩組獨立的檔案形成的。

獨立發現這四個字聽上去像一個外交辭令。它不是。它是兩堆紙互相對照之後得出的結論:兩套記法,兩條時間線,兩個人各自留下的日期。

牛頓六十年代的手稿足以證明他的路線在萊布尼茨之前已經展開。萊布尼茨1675年前後的私人筆記又足以展示他的微分記法和算法是在哪些具體問題裡逐步出現的。

如果他只是收到牛頓的方法後換了一組符號,預期會看到一種突變式的借用。實際留下的是另一條有大量失敗嘗試,記號改動和概念重組的工作軌跡。證據的強度可以這樣排。

他看過某些牛頓的數學材料,這一條有實據:十九世紀有人在他的檔案裡發現了他親手抄錄的牛頓材料。所以從未見過任何相關工作這句話無法維持。他知道牛頓手上已經有很強的辦法,這一條也站得住。而他在1675年自己動手之前就掌握了牛頓那一整套,沒有可靠的直接證據。至於他由這些材料推導出來再冒充成自己的東西,沒有任何一份材料支持。

至於那句流傳很廣的話,說優先權之爭讓英國數學停了一百年。有事實基礎,但通常說得過頭。

爭端確實使方法上的差異被民族化了:大陸越來越採用一套語言,英國則以流數,最初比與最終比和牛頓的權威為核心,進入大陸文獻的速度較慢。

反面的證據同樣重要。英國並沒有數學停擺,那一代人在級數,差分,流數論和分析上都相當活躍。牛頓的點記號本身也沒有阻止計算。

比較合理的判斷是:爭端加重了兩個傳統之間的制度和語言隔離,是相對衰退的一個因素。因為選錯了符號所以英國數學沈睡一百年,則是後來的戲劇化故事。這裡面還有一層物質原因,放在這一篇很合適。

公開的論文只有幾頁,私人的工作紙卻可能有幾萬頁。牛頓死後留下的手稿數量異常龐大,而現代意義上的檔案是經過兩百年拆分才形成的。萊布尼茨那一邊保存下來的文獻約五萬件,二十萬頁,通信約一萬五千封,通信者約一千一百人。誰的工作紙保存下來,什麼時候編目,編輯者看見哪些部分,會直接改變後人寫出來的發現史。

優先權之爭之所以能在十九,二十世紀被改判,和這件事分不開。

五 增量

現在回到貝克萊。

第二節裡那個零除以零的麻煩,當時的教科書是這樣繞過去的。

要算某個量在某一刻變得多快,先不取那一瞬,而是取一小段。讓自變量增加一點點,這一點點叫作增量。

它必須不是零。因為接下來要拿它去做除數,而零不能做除數。

除完之後,式子里還剩下幾項仍然帶著這個增量。這時候計算的人說:這個增量已經消逝了。於是把那幾項丟掉,答案出來了。

貝克萊說,這等於在同一個論證里偷偷換了一次假設。

需要做除法的時候,它存在。需要得到一個漂亮答案的時候,它又不存在。

如果一開始它就是零,前面那一步除法不合法。如果它不是零,後面憑什麼把含著它的項當成零。

這個指控的力量在於它極其具體。它不針對那個小東西究竟是什麼這種哲學問題,它針對的是紙面上那幾行字:第一行裡它必須不是零,第三行裡它必須是零,而中間沒有任何一句話說明它什麼時候變的。

然後是那句最有名的話。

他先追問:所謂那個量究竟是什麼。是正在消失的增量的速度嗎。那麼這些增量本身既不是普通的有限量,又不能簡單說成零。

然後他拋出一句:可不可以把它們叫作已逝量的鬼魂。

這不是一句孤立的機智罵人話。它壓縮了整個邏輯攻擊:計算曾經依賴這些量完成一個合法的操作,到證明結束的時候它們又被宣佈消失,而計算的結果卻留下了。

實體已經死去,作用仍然在場。

這個比喻還有一層不常被提到的用意。鬼魂這個詞在一位主教筆下不是隨便用的。他正在做的事情,是指著一群嘲笑宗教里有看不見的東西的人,說你們自己的計算里就住著一群看不見的東西。把這句話只譯成他嘲笑無窮小很荒唐,會損失原文的論證鋒芒。不過這一擊有它的範圍。

這非常準確地擊中了樸素無窮小演算的某些教科書式表述,但不等於已經擊倒了《原理》里那套最終比的論證。牛頓可以回答:我從來沒有說最後剩著一個既非零又等於零的量。我談的是量趨於消失的時候,比率趨向什麼。這正是後面幾位為他辯護的路線。

所以這一擊打中的不是牛頓最謹慎的那一層,是當時流通最廣的那一層。而流通最廣的那一層,正是學生們學到的那一層。

一個學科最脆弱的地方,往往不在它最深的那一層,而在它教給初學者的那一層。因為最深的那一層有人守著,而教給初學者的那一層已經被簡化過,簡化的時候丟掉的正是那些說明為什麼可以這樣做的句子。

六 貝克萊要做的事

現在可以說他為什麼寫這本書了。

他長期攻擊當時的自由思想者。這些人常常用數學和自然哲學的明晰確定性,去反襯基督教里那些奧秘,恩典和信仰的命題。他的策略不是證明數學沒用。是反轉他們的認識論武器。

你說只接受清楚可理解,逐步嚴格推出的東西。很好,那麼請把你天天使用的流數,消逝增量和無窮小,按同一個標準說明白。

所以副標題裡那個比較絕不是裝飾。他真正要製造的是一種對稱:如果數學家的實踐能夠在概念含混的情況下給出可靠的結果,那麼存在無法完全概念化的東西這件事本身,就不能自動成為拒絕宗教的充分理由。

他甚至不斷用神學式的詞彙諷刺分析學,把數學家的信仰,奧秘和不可理解的對象,與他們所攻擊的宗教概念並排放著。

所以不能把他寫成一位提前發現了後來那套極限語言的十八世紀邏輯學家。他首先是哲學家和主教。數學基礎問題在這裡被用作一場針對自由思想者的認識論反擊。

這個位置反而讓他看得比別人清楚。一個在這一行裡的人,每天都在用那套算法,而且它每天都給出對的答案。一個從外面來的人,只讀紙面上的步驟,沒有那份熟悉帶來的信任。數學批評是真的,宗教目的也是真的。兩者不是競爭的解釋。

把他寫成一個借數學攻擊科學的神棍,或者寫成一個碰巧是主教的邏輯學家,都會丟掉這本書為什麼會被寫出來。

而這就是這一篇裡最要緊的一層。一個用數學的漏洞來為神學辯護的人,在數學上是對的。

這句話每一半都要成立才有意思。如果他數學上錯了,那只是一次沒打中的抱怨。如果他沒有神學目的,那只是一次普通的學術批評。兩樣都在,才有那本書。那麼他到底有多對。

傳統的數學史對他相當尊重。就他實際針對的那些寫法而言,他的批評基本命中,而且在當時的語境里相當有力。這個評價特別適用於先按非零量去除,後又當成零丟棄,以及使用高階無窮小卻沒有解釋它們邏輯地位的那些寫法。但近幾十年有重要的修正。

研究萊布尼茨的歷史學家指出,他往往把無窮小等同於一種普通實數式的小量,再要求它同時滿足互相衝突的性質。而萊布尼茨自己有連續性法則和一套關於高階項的規則,用來說明為什麼只保留同一主導階的項。反過來,也有研究指出,他自己用兩個錯誤互相補償來解釋為什麼結果仍然正確的那些論證,同樣不完善。

所以最穩妥的結論是:他發現了真正的基礎問題,也發現了大量不充分的當代表述。他沒有證明微積分本身必然矛盾,更沒有提供現代的極限理論。把他寫成完全錯誤或者完全勝利,都不符合現代的研究。不過可以確認的是,他的書促成了即時而持續的答辯,使為什麼這樣算是對的這個問題獲得了更集中的公開討論。不能把此後一切基礎研究都歸為這本書的結果。

接下來的一百年裡,至少有四種互不相同的回答被認真提出來過。

七 另一處

在寫這一段之前,時間要往回走三百年,地方要換到印度南端。

那裡有一條傳統,現代史家稱之為喀拉拉學派。這個名字是為了描述一條有師徒,家族,評論傳統和共同天文學問題意識的網絡,不要把它想成有校舍和會員制的學院。

這條線放在這一篇裡,不是為了比誰先。是因為它提出了同一個判據問題,而且提得比歐洲那一邊更早,也更難回答。更難回答的原因在於:那邊的文本給了理由,而理由的形態和歐洲那一套不一樣。給了理由,所以不能說他們只是猜公式。理由的形態不一樣,所以也不能說他們已經有了後來那一套。最早的核心人物通常約生於1340年前後,卒於1420年代。後續還有好幾代人。

這條傳統出現了今天可以辨認為正弦,余弦和反正切的無窮冪級數,並由反正切的特殊取值得到圓周率的一個交錯級數。還出現了用來提高圓周率計算效率的修正項。用現代符號寫出來,與後來歐洲數學中相應的級數相同或者等價。

年代上最穩妥的表述不是給每條公式標一個虛假的發現日。後來的文本明確把若干核心結果歸於那位最早的人物,所以可以把起源放在十四世紀末到十五世紀初。但最早現存的完整文字證據往往晚一兩代。

這裡必須分清一件事。後世文本明確說此法來自某人,這有文本為證。今天存有他本人十四世紀的手稿,這不是事實。

這些結果也不是純粹地發現一個漂亮級數。它們服務於三角表,圓周率和天文數值計算。更要緊的是,他們研究怎樣截斷一個收斂很慢的交錯級數並加入校正,使有限的計算得到更高的精度。那麼這些文本只有公式,還是有為什麼。有為什麼。而且這正是二十世紀重新評價這條傳統的重要原因。

十六世紀前半葉那部最重要的理由文本,名字本身就強調理由。它不是簡單列出公式,而會通過圓弧幾何,把圖形分成許多細小的部分,比較這些部分,使用冪和求和的規則,再把分割不斷細化,來說明為什麼會得到相關的展開。但有推理鏈和已經有現代的收斂證明,必須分開。

那些論證會使用小弧越來越接近某種簡單量,分割足夠細以後誤差可以忽略這類幾何與數值的直覺,並借助有限冪和求和的近似關係。它沒有十九世紀的實數完備性,統一的極限定義或者一般的級數收斂理論。

這句話對同一時期的歐洲也成立。第五節裡貝克萊攻擊的,正是同一種缺口。對某些修正項,現代的細讀甚至明確認為傳統的理由不足以令人按現代標準信服。

第五篇處理過同一種形狀的爭論。那裡問的是一位注者的論證算不算證明。這裡問的是這套東西算不算微積分。而且答案同樣取決於判據。

第五篇那一篇的結論是:術語決定你把不把他放進證明這個盒子,材料分析決定盒子裡究竟裝了什麼。這裡可以照抄。

一側認為應該算:如果判據是以無窮過程處理三角函數,利用局部變化,求和和面積式的推理推出無窮級數,並討論有限截斷,那麼這條傳統擁有足夠多的核心結構。

另一側更保守,會用微積分的思想而不是一套微積分。他們的判據更系統:一個成熟的微積分不只需要若干函數的冪級數,還需要一般的微分概念,一般的積分概念,二者的系統聯繫,以及能把大量新問題統一成算法的框架。還有第三種意見,在史學上尤其值得重視:這個問題本身可能太歐洲化了。

把每一段當地數學都問成它離後來那套東西還差什麼,很容易把它自己的天文目的,論證方式,三角計算傳統和語言結構,變成一張通往別處的進度表。

所以這裡不適合給真正的發明者排序。歸屬的差異主要來自分類標準的差異,不是因為哪一方不知道那些級數存在。兩邊的學者都知道那些級數在那裡。他們分歧的是,擁有這些級數的一套東西該叫什麼。

而這個該叫什麼的問題,這個系列已經碰到第三次了。第三篇問的是那本書算不算公理化方法的誕生,第五篇問的是那些注算不算證明,這一篇問的是這些級數算不算微積分。三次的分歧都不只是材料夠不夠,還在於使用了不同的尺子。而那把尺子,一直握在後來的人手裡。這一點在這個系列裡已經反復出現,而且往後還會更重。至於傳播。

有人提出過一條假說:十六,十七世紀葡萄牙人在印度洋建立了海上網絡,傳教士在那一帶活動,他們對曆法,天文和航海數據有實際需求,因此存在接觸當地天文計算者及其文本的機會和動機。支持的論據主要有三類:路線存在,需求存在,時間上可能。問題是,從有船,有傳教士,有類似的數學,到這條公式被傳過去,中間缺的正是歷史學最需要的那一環。

目前沒有發現一份十六或者十七世紀的歐洲譯本,來信,抄本,學習筆記,藏書目錄記錄,或者歐洲數學家的明確引用,能夠把某一條級數從具體的印度文本連續追到歐洲。因此,現有材料尚不能確立這些具體級數在十六、十七世紀傳到歐洲並影響相關發現的連續證據鏈。

這個結論並不證明傳播絕對不可能。歷史上沒有保存下來的傳播當然可能發生。它說明的是:截至現有的證據,它不能從可能性升級為發生過的事實。

歐洲學界重新注意到這些材料,是1832年十二月的一次宣讀,論文1834年收入一份東方學的學會會刊。作者是東印度公司的一位官員。他的判斷相當大膽,認為這些文本已經奠定了一套完整的流數體系的基礎。這個十九世紀的稱法本身,就是後來那場它到底算不算微積分的爭論的先聲。

不過他的論文沒有立刻改寫歐洲數學史。它長期很少被主流著作吸收,要到二十世紀四十年代末以後才有人重新發表,翻譯和分析。

所以他首次告訴西方,隨後遭到故意壓制,也太戲劇化。更準確的是:他非常早地識別了材料的重要性,但文章所在的學科網絡邊緣,原始文本難讀,缺少批校本,加上十九世紀的數學史已經有了自己的敘事框架,使這條線長期沒有形成持續的研究傳統。對為什麼被忽略,每一種單一的心理解釋都沒有材料撐著。一條線索被忽略了一百年,通常不需要有人壓制它。

這和前面幾篇遇到的保存問題是同一種機制。棕櫚葉寫本需要週期性地重抄和保養,在濕熱,蟲害和磨損的環境里格外脆弱。一部文本能延續幾個世紀,往往意味著它被不斷重抄,而不是一張十四世紀的葉片原封不動活到今天。

所以現存十六世紀的抄本和文本創作於十四世紀,不是同一個年代證據。只要它發表的地方不對,語言不通,原文難讀,而當時的學科已經有了自己講故事的辦法,就夠了。

八 嚴格換了意思嗎

回到貝克萊之後的一百年。他之後不是數學家繼續若無其事地算了一百年。

有人當年就反擊。1734年便有人以幾何不是不信教的朋友為題替牛頓和英國數學家辯護,此後雙方互發文本。這場小冊子戰爭最後累計的篇幅相當可觀,卻更多是辯論性的澄清,不是一次徹底的基礎重建。

第二年另一個人的路線更數學化。他的關鍵策略是承認:如果把牛頓的方法建立在神秘的實際無窮小上,那些問題確實嚴重。但牛頓最成熟的方法根本不必這樣讀,應該按變量的最初,最終比率或者極限過程來理解。也就是說,他把為無窮小辯護,改成了牛頓真正的方法不是被攻擊的那一種。

1742年的那部書是規模最大,技術最嚴肅的英國回答。兩卷,主文超過七百頁。作者大量採用古典幾何,窮竭思想,比例和極限式的論證,希望說明流數可以建立在有限量的變化與可控制的極限過程上,而不依賴一個既存在又不存在的無窮小。它不只是在答貝克萊,它試圖給整個分析建立一個可以公開防守的基礎。

七百頁,大量古典幾何。為了守住一套約七十年前發展起來的算法,他回頭去用兩千年前的語言。

第三篇講過那套語言為什麼被當成可靠證明的形式。到這裡,它被當成最後的防線。

十八世紀中葉,達朗貝爾明確把極限推到了基礎的位置。他反對把無窮小當成神秘的實體,主張微分計算真正關心的是有限差分之比在增量趨於零時所趨向的值。他有一句常被引用的判斷:極限理論才是微分計算真正的形而上學。這句話的意思是:別再問那個小東西是什麼了,問它趨向哪裡。這已經非常接近十九世紀的取向,卻還缺後來那套精細的語言。

拉格朗日覺得連趨向都太幾何,太形而上。

1797年他試圖把微積分完全變成有限量的代數。做法是把一個函數在變量改變之後展開成冪級數,把一次項的系數定義為第一導函數,如此繼續。這樣表面上既不需要流數,也不需要無窮小,甚至不需要極限。他那本書的副標題就宣稱要把微分原理從無窮小,消逝量,極限或者流數中解放出來。

失敗之處後來很清楚:並非所有可微,甚至無限次可微的函數都能由自己的級數在鄰域里表示。即使某個冪級數形式存在,也必須證明收斂和截斷之後剩下那一部分的行為,而這些恰恰不能只靠形式代數保證。

他實際上把函數具有所需的展開當成了基礎前提,於是把原來的極限難題換成了一個同樣需要分析理論來證明的級數難題。

這是一次很乾淨的失敗,值得記住。他沒有算錯,也沒有偷懶。他把一個難題挪到了另一個地方,而那個地方同樣難。第七篇裡出現過同一種動作:把麻煩推給語義,就不必回答那個更難的問題。這一次推的是形式,結果推不動。

現在可以問那個問題了。嚴格這個詞是不是在十九世紀換了意思,所以後人才追溯地說前人不嚴格。

第三篇處理過一次這個形狀。那一次的結論是:不是古人看錯了地方,是嚴格這個詞換了意思,而這個換法把問題從明說的挪到了沒明說的。這一次的答案要複雜一點,因為兩句話同時成立。

支持這個類比的材料很強。牛頓認為古典綜合幾何代表可靠的證明。萊布尼茨重視符號演算的一般規則。歐拉一代越來越把形式的一般性和計算的生產力視為數學證據的一部分。十九世紀那一路則越來越要求把極限,連續,收斂,函數逐一用明確的條件表述。不同年代評價一個證明缺了什麼,標準確實不同。但這個類比不能走太遠。

因為問題並不是十九世紀的人憑空發明出一套要求之後,才回過頭去挑祖先的毛病。

十七世紀末已經有人攻擊新分析。貝克萊1734年指出增量論證的不一致。隨後兩位立即覺得有必要回應。達朗貝爾明確去尋找真正的基礎。拉格朗日1797年還要徹底擺脫無窮小,極限和流數。十八世紀的參與者自己就知道基礎問題存在。而且他們各給了不同的答案,這一點就是證據。如果大家都覺得沒問題,沒有人會去寫七百頁。

牛頓本人就是一例。他在成熟的著作里強調流數是有限的,真實的,並堅持最好用眼睛可見的有限線段來表示,而不是無限小的對象。這種反復的自我澄清本身就說明,他知道無窮小的對象地位是一個需要回答的問題。

所以兩句話必須同時寫下來。後世確實改變了嚴格的技術標準,不能把十九世紀後半葉的要求當成永恆的法庭。同時,十七,十八世紀的數學家自己已經發現某些推理需要解釋,所以不嚴格也不是後人完全虛構的罪名。這兩句話之間,是這一篇真正的內容。

不是古人糊塗,也不是後人苛刻。是一套工具跑在了它自己的解釋前面,而跑在前面的那段距離,當時的人和後來的人都看見了,只是看見的方式不同。

而在這段時間裡,那套基礎不斷搖動的工具做成了什麼。

牛頓的力學被重寫成了可以系統計算的分析力學。1736年有人用分析方法組織質點運動,後來又有人把約束系統,虛位移,微分方程和變分方法變成通用工具。1788年的一部書達到一個象徵性的終點:經典力學越來越可以從一般方程出發計算,而不必為每個問題重新發明《原理》式的幾何構造。

天體力學尤其能體現分量。《原理》解決了兩體理想模型的核心結構,而真實的太陽系是多體擾動問題。十八世紀中葉對月球近地點進動的高階近似,一度成為檢驗引力律的關鍵。到十八世紀末開始出版的那部五卷本,行星擾動,月球,潮汐,地球形狀和長期穩定性已經被放進一個大規模的分析體系。

所以到這裡,已經不是把牛頓翻譯成新記號,是造出了他1687年根本沒有的東西。

流體,彈性,振動各有各的進展。1822年,傅里葉出版了一部關於熱的書,把熱流寫成偏微分方程,並用三角級數表示極廣泛的溫度分布。書裡的主要工作,是他在伊澤爾省當省長的那些年裡做的, 1807年底就交給了科學院。1812年這項工作得了科學院的獎,評語卻說,他得到這些方程的辦法並非沒有困難,求解的分析在一般性上,甚至在嚴格性上,都還有欠缺。而這部書不但重塑了物理,還反過來逼迫十九世紀的數學家重新思考函數,級數收斂,逐項運算和積分的定義。基礎問題從這裡不再是哲學家的外部挑釁。它成了物理成功本身逼出來的數學問題。

所以那句話的實情不是一個不嚴格的工具支撐了兩百年的物理學。是:一套基礎尚未統一,局部證明標準不斷變化的分析工具,比它自身的基礎理論成熟得快得多。貝克萊在1734年問的是,你們憑什麼說自己比我清楚。一百年後回答他的,不是哲學。是那些用他所攻擊的工具算出來的,而且算對了的東西,多到沒有人能不去解釋它們。

月球的進動,行星的擾動,流體的運動,梁的彎曲,一根弦振動時的形狀,一塊金屬里熱的傳播。這些東西一件一件堆起來,到某個時候,講不清楚為什麼它對,已經不再是一個可以推給下一代的問題。因為下一代要用它算更多的東西。而算得越多,越經不起有人在旁邊問一句:你憑什麼。

最後逼出答案的不是那一句問話。是那一句問話被問過之後,還有一百年的東西被算了出來。一個學科最後修好自己的地基,通常不是因為有人指出它塌了,是因為上面蓋的東西太重了。

數還在往下算,而什麼算數學,還沒有算清楚過。

Sources and further reading史料与延伸阅读史料與延伸閱讀

Selected references for historical details and interpretive disputes. Museum records, ancient literary accounts and modern reconstructions do not carry the same kind of evidence.

以下资料对应文中的历史细节与解释分歧。馆藏记录、古代文学与现代重建,不是同一种证据。

以下資料對應文中的歷史細節與解釋分歧。館藏記錄、古代文學與現代重建,不是同一種證據。