The Indian-Arabic Synthesis

History of Mathematics — Chapter 3 — The Indian-Arabic Synthesis

Between the fifth and the fifteenth centuries, two interlocking traditions reshaped the practice of mathematics outside the Mediterranean: the Sanskrit jyotiṣa and gaṇita literature of classical and medieval India, and the Arabic ḥisāb and jabr literature of the Islamicate world. Āryabhaṭa’s Āryabhaṭīya (499 CE) compressed astronomy and arithmetic into 121 verses; Brahmagupta’s Brāhmasphuṭasiddhānta (628 CE) treated zero as a number and gave rules for arithmetic on signed quantities; al-Khwārizmī (c. 825 CE) wrote the first surviving systematic treatise on what he called al-jabr, the algebraic art; Omar Khayyam (c. 1070 CE) gave geometric solutions to all cubic equations by intersecting conics; Sharaf al-Dīn al-Ṭūsī, in the late twelfth century, analysed cubics with reasoning that anticipates the derivative; and the Kerala school of Mādhava, between roughly 1340 and 1425, produced infinite-series expansions for sine, cosine, and the arctangent two and a half centuries before Newton and Leibniz. The chapter’s Mission-42 question: what does the meaning of a mathematical “result” change to, when its centre of gravity moves from Athens and Alexandria to Ujjain, Baghdad, Maragha, and the Nila river valley?

§1 — The question this discipline tries to answer

Mathematics asks what can be known with certainty about number, shape, and pattern, and what such knowledge actually consists of.

§2 — Pre-history

The traditions this chapter follows do not start blank. By the time Āryabhaṭa wrote in late-Gupta India and al-Khwārizmī wrote in early-Abbasid Baghdad, each was working inside an existing mathematical culture that had its own canonical works, its own evidentiary standards, and its own social setting. Calling that culture “pre-history” misrepresents it; what is pre-historical is only the moment before the surviving treatises in their named, attributed form.

The Indian substrate is the Sulbasūtras — manuals of altar geometry attached to the late-Vedic ritual literature, composed by the early Sanskrit śrauta schools at some point between roughly 800 and 500 BCE ^[1]

[2]

Unresolved citation??

Source key joseph-2011 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. The four principal Sulbasūtras — Baudhāyana, Āpastamba, Kātyāyana, Mānava — state procedures for building fire-altars to specified shapes and areas, and in doing so record what later mathematics calls the Pythagorean relation (the diagonal of a rectangle squared equals the sum of the squares on its sides), constructions for squaring the circle and rectifying curved areas, and good rational approximations to √2 [3]

Unresolved citation??

Source key plofker-2009 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

[4]

Unresolved citation??

Source key katz-2009 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. The Sulbasūtras are not works of mathematics in the form Āryabhaṭa would later use; they are ritual manuals whose geometric content is embedded in instructions for ritual practice. What they show is that a mathematically articulate altar geometry was in circulation in the Vedic schools centuries before the classical Sanskrit jyotiṣa (astronomy / mathematics) treatises took shape [5]

Unresolved citation??

Source key plofker-2009 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

[6]

Unresolved citation??

Source key joseph-2011 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

.

A second Indian substrate is the decimal place-value notation for numerals, which appears in inscriptions and astronomical texts of the early-to-middle first millennium CE and is wholly developed by the time of Āryabhaṭa’s verses ^[7]

[8]

Unresolved citation??

Source key boyer-merzbach-2011 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. The history of the notation’s emergence is contested in detail — date and place of the first true decimal zero used as a place-holder are not securely fixed — but the broad picture is clear: by the seventh century CE the system with a zero symbol functioning as place-holder is in use in India and is the form al-Khwārizmī will later transmit to the Islamicate world under the name al-ḥisāb al-hindī (“the Indian calculation”) [9]

Unresolved citation??

Source key plofker-2009 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

[10]

Unresolved citation??

Source key joseph-2011 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

.

The Islamicate substrate is older still in one sense and younger in another. Older, because Arabic mathematics in its formative ninth-century period inherits and translates extensively from Greek geometry (Euclid, Archimedes, Apollonius), from late-Hellenistic arithmetic (Diophantus, Hero), from Sasanian Pahlavi science, and from the Indian tradition simultaneously ^[11]

[12]

Unresolved citation??

Source key rashed-1994 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. Younger, because the form of practice — the jabr and muqābala operations, the elementary classification of equation types, the calculational and tabular astronomy of the zīj literature — does not exist in any of those source traditions in the same form, and is recognisably the contribution of Arabic-language mathematicians of the ninth century and after [13]

Unresolved citation??

Source key rashed-1994 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

[14]

Unresolved citation??

Source key berggren-2016 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

.

Two cautions belong here, as in §2 of every chapter that opens on a non-self-conscious mathematical tradition. First, the practitioners whose work this chapter follows did not understand themselves as the founders of a separate discipline of mathematics; they were, by their own self-descriptions, students of jyotiṣa (the heavenly bodies and the calendrical mathematics that tracks them) or of ḥisāb (calculation) or of jabr (the algebraic art) — sub-disciplines embedded in larger projects, astronomical, computational, juridical, ritual ^[15]

[16]

Unresolved citation??

Source key berggren-2016 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. Second, the chapter resists the temptation to read this substrate as a sequence of “anticipations” of later European mathematics. The Sulbasūtra squaring-the-circle procedure is a Sulbasūtra squaring-the-circle procedure; what relation it bears to Hippocrates or to Lindemann is a question for §6, not §2.

§3 — Founding moments

This chapter has two founding moments, one in each tradition. The first is the appearance, around 499 CE in northern India, of Āryabhaṭa’s Āryabhaṭīya, the earliest surviving named, dated Sanskrit treatise on mathematics and astronomy. The second is the appearance, in or near 825 CE in Baghdad, of al-Khwārizmī’s al-Kitāb al-mukhtaṣar fī ḥisāb al-jabr wa-l-muqābala, the earliest surviving systematic treatise on the algebraic art that the Arabic word jabr names.

Āryabhaṭa of Kusumapura (476 – 550 CE), almost certainly identifiable with modern Pāṭaliputra (Patna) on the Ganges, completed the Āryabhaṭīya in the early sixth century CE ^[17]

[18]

Unresolved citation??

Source key plofker-2009 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. The work is 121 Sanskrit verses, divided into four sections: Gītikā (a brief preface stating the cosmological model), Gaṇita (mathematics), Kālakriyā (the reckoning of time), and Gola (the celestial sphere) [19]

Unresolved citation??

Source key shukla-sarma-1976 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

[20]

Unresolved citation??

Source key plofker-2009 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. The Gaṇita section, thirty-three verses, compresses an extraordinary range of material: an algorithm for square and cube roots in the decimal place-value system, the formulas for the areas and volumes of standard plane and solid figures, sine-difference tables giving twenty-four sine values at intervals of 3¾° across the quadrant (the earliest surviving sine table, in any tradition, with the half-chord convention that the word “sine” itself eventually descends from), a treatment of arithmetic progressions, the kuṭṭaka algorithm for solving linear indeterminate equations in integers, and a value of π given as 62832 / 20000 = 3.1416 with the explicit note that this is āsanna — “approximate” — rather than exact [21]

Unresolved citation??

Source key shukla-sarma-1976 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

{loc=“Gaṇita verses 1–33”} [22]

Unresolved citation??

Source key plofker-2009 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

[23]

Unresolved citation??

Source key joseph-2011 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. The same work asserts that the Earth rotates on its axis and gives an estimate of its circumference; Astronomy ch. 3 carries the discipline-specific commentary on those astronomical claims, and the canonical figure entry for Āryabhaṭa (Math-canonical, see figures/aryabhata.md) carries the biographical core.

What makes the Āryabhaṭīya a founding moment is not that its mathematical results are unprecedented in absolute terms — many of them have antecedents in the Sulbasūtra literature and in the lost astronomical siddhāntas it presupposes — but that it is the first surviving Sanskrit treatise that treats mathematics and mathematical astronomy as a written, attributed, technical literature with internal cross-reference, a named author, and a precise dating (the work itself gives the date of its composition, 3,600 years into the present yuga, which Indian astronomical convention places at 499 CE) ^[24]

{loc=“Kālakriyā verse 10”} [25]

Unresolved citation??

Source key plofker-2009 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. The form the Āryabhaṭīya fixes — terse versified statement of results, with a commentarial tradition supplying derivations and worked examples — is the form that Sanskrit mathematics will use for the next thousand years [26]

Unresolved citation??

Source key plofker-2009 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

[27]

Unresolved citation??

Source key sarma-2008 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

.

Muḥammad ibn Mūsā al-Khwārizmī (c. 780 – c. 850 CE), associated with the Bayt al-Ḥikma (the “House of Wisdom”) of the early Abbasid caliphate in Baghdad under al-Maʾmūn (r. 813–833 CE), completed al-Kitāb al-mukhtaṣar fī ḥisāb al-jabr wa-l-muqābala — “The Compendious Book on Calculation by Completion and Balancing” — in or near 825 CE ^[28]

[29]

Unresolved citation??

Source key berggren-2016 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. The work has three parts. The first systematically classifies the linear and quadratic equations into six normal forms (with all coefficients taken positive: squares equal roots, squares equal numbers, roots equal numbers, and the three trinomial forms squares and roots equal numbers, squares and numbers equal roots, roots and numbers equal squares); for each form it gives an algorithm for finding the positive root, and a geometric proof — by completion of a square — that the algorithm is correct [30]

Unresolved citation??

Source key rashed-2009 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

[31]

Unresolved citation??

Source key rosen-1831 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. The second part applies the methods to problems of mensuration. The third part applies them to inheritance problems under the farāʾiḍ (Islamic inheritance) law, in keeping with the Caliphate’s juridical and administrative needs [32]

Unresolved citation??

Source key rashed-2009 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

[33]

Unresolved citation??

Source key berggren-2016 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

.

What makes al-Khwārizmī’s work a founding moment is not the difficulty of the individual problems — solutions to quadratic problems are attested in Old Babylonian tablets a thousand years earlier (see ch. 1) — but the framing. al-Jabr wa-l-muqābala presents itself as a self-contained art with its own operations, its own normal forms, and its own logical justification, applicable to any problem reducible to those forms. The two operations of the title — al-jabr, “completion” or “restoration”, and al-muqābala, “balancing” — name the moves the algorithm uses to bring an equation into one of the six normal forms ^[34]

[35]

Unresolved citation??

Source key berggren-2016 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

[36]

Unresolved citation??

Source key rashed-1994 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. The word al-jabr itself, transliterated through medieval Latin (algebrae), is the source of the modern English word “algebra”; the name al-Khwārizmī, transliterated through the same channels as Algorismi, is the source of the modern word “algorithm” [37]

Unresolved citation??

Source key berggren-2016 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

[38]

Unresolved citation??

Source key boyer-merzbach-2011 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. The chapter takes both as evidence of the work’s standing.

A separate work of al-Khwārizmī’s, Kitāb al-Ḥisāb al-Hindī (“On Indian Calculation”), introduces the decimal place-value system with the Indian zero symbol into Arabic mathematical practice ^[39]

[40]

Unresolved citation??

Source key berggren-2016 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. The Arabic original is lost; the work survives only in Latin translation as the Dixit Algorismi — “thus said al-Khwārizmī” — the opening words of the Latin twelfth-century version that taught Europe the new arithmetic [41]

Unresolved citation??

Source key allard-1992 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

[42]

Unresolved citation??

Source key berggren-2016 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. The Math-canonical biographical entry for al-Khwārizmī (figures/al-khwarizmi.md) carries the figure’s biography; Astronomy ch. 3 carries the commentary block on his astronomical zīj tables, which used the same Indian decimal calculation as the arithmetic primer did.

§4 — The lineage

The lineage of Indian and Arabic mathematics from the fifth century to the fifteenth runs through four named periods.

The Sanskrit classical tradition, c. 500 – c. 1200 CE

After Āryabhaṭa’s Āryabhaṭīya (499 CE) fixes the form, the Sanskrit tradition develops as a sequence of named authors writing treatises in verse, each with commentaries appended. The work that organises zero as a number and a quantity in its own right is Brahmagupta’s Brāhmasphuṭasiddhānta, completed at Bhillamāla in western India in 628 CE ^[43]

[44]

Unresolved citation??

Source key plofker-2009 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. Chapter 18 of Brahmagupta’s treatise, “Kuṭṭakādhyāya” (“On the pulveriser and other matters”), gives rules for arithmetic on signed quantities — including the rule that the product of two negatives is positive — and gives rules for arithmetic involving zero, treating zero as the additive identity, treating a ± 0 = a without further comment, and offering a (mistaken) rule for division by zero that defines a / 0 as a / 0 itself, the khachheda (literally “with cipher denominator”) [45]

Unresolved citation??

Source key colebrooke-1817 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

[46]

Unresolved citation??

Source key plofker-2009 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

[47]

Unresolved citation??

Source key joseph-2011 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. The same chapter solves the linear indeterminate equation ax + by = c by the kuṭṭaka (“pulveriser”) method that Āryabhaṭa had introduced and that Brahmagupta extends, and gives a method for the second-order indeterminate equation x² – Ny² = 1 — what European number theory of the seventeenth century will name the Pell equation [48]

Unresolved citation??

Source key plofker-2009 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

[49]

Unresolved citation??

Source key katz-2009 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

.

Between Brahmagupta and Bhāskara II the Sanskrit tradition is sustained by a chain of named ācāryas: Bhāskara I (early seventh century CE), whose Mahābhāskarīya and Laghubhāskarīya commentary on the Āryabhaṭīya refines the sine-difference table and gives a rational approximation to the sine function accurate to four decimal places by a procedure equivalent in modern reading to a continued-fraction approximation ^[50]

[51]

Unresolved citation??

Source key katz-2009 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

; Mahāvīra (ninth century CE), whose Gaṇita-sāra-saṅgraha — the first surviving Sanskrit mathematical treatise written independently of an astronomical-treatise context — gives systematic procedures for combinatorial problems including the permutation and combination formulas [52]

Unresolved citation??

Source key plofker-2009 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

[53]

Unresolved citation??

Source key joseph-2011 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

; and Śrīdhara (tenth century CE), whose quadratic-equation procedure, presented by Bhāskara II’s Bījagaṇita as a quoted predecessor result, gives essentially the modern quadratic formula in a verse-stated form [54]

Unresolved citation??

Source key plofker-2009 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

[55]

Unresolved citation??

Source key colebrooke-1817 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

.

The work that consolidates the Sanskrit tradition’s pedagogical canon is Bhāskara II’s Siddhānta-Śiromaṇi (1150 CE), of which the arithmetic and algebra sections — Līlāvatī (named for the author’s daughter, by Bhāskara’s own preface) and Bījagaṇita — circulated independently as textbooks through the early modern period ^[56]

[57]

Unresolved citation??

Source key patwardhan-naimpally-singh-2001 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

[58]

Unresolved citation??

Source key plofker-2009 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. The Līlāvatī organises the arithmetic of the decimal system, fractions, problems on interest, mensuration, and combinatorics, in 277 verses with the author’s own prose commentary explaining each procedure. The Bījagaṇita treats indeterminate analysis and the algebra of negative and irrational quantities, completes the analysis of x² – Ny² = 1 by the chakravāla (“cyclic”) method that Jayadeva had earlier sketched and Bhāskara’s predecessor Bhāskara I had refined, and proves the method always terminates with a solution for any N not a perfect square [59]

Unresolved citation??

Source key plofker-2009 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

[60]

Unresolved citation??

Source key katz-2009 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

[61]

Unresolved citation??

Source key joseph-2011 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. The chakravāla algorithm proceeds by an iterative composition rule, inherited from Brahmagupta’s bhāvanā (composition) lemma, that takes two known solutions and constructs a third — a structural pattern recognisable in modern reading as the multiplicative group law on a Pell-conic — and remained unsurpassed as a solution of the Pell-equation problem until the work of Lagrange in the late eighteenth century [62]

Unresolved citation??

Source key plofker-2009 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

[63]

Unresolved citation??

Source key katz-2009 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. Bhāskara II’s mensuration section also gives the correct formula for the surface area and volume of a sphere, derived by an exhaustion-style argument that decomposes the sphere into thin annuli and reasons about the limit of their summed area [64]

Unresolved citation??

Source key colebrooke-1817 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

{loc=“Līlāvatī §201”} [65]

Unresolved citation??

Source key plofker-2009 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

.

The Islamicate transmission and extension, c. 800 – c. 1200 CE

After al-Khwārizmī’s Kitāb al-Jabr (c. 825 CE) fixes the algebraic form, Arabic mathematics develops in two principal centres. In Baghdad and surrounding Iraq, in the late ninth and tenth centuries, the jabr tradition is extended to higher-degree problems by Thābit ibn Qurra (836 – 901 CE), by the Banū Mūsā brothers (Aḥmad, Muḥammad, al-Ḥasan, fl. ninth c.), and by Abū Kāmil (c. 850 – c. 930 CE), whose Kitāb fī al-Jabr wa-l-Muqābala extends al-Khwārizmī’s classification to a wider class of problems and introduces the systematic use of irrational coefficients in solutions ^[66]

[67]

Unresolved citation??

Source key berggren-2016 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. In Khurāsān and Central Asia, a parallel arithmetic tradition develops in which the Indian decimal-with-zero notation is extended to a complete computational system for fractions; the principal surviving work is al-Uqlīdisī’s Kitāb al-fuṣūl fī al-ḥisāb al-hindī (Damascus, c. 952 CE), which contains the first surviving worked-out decimal-fraction calculations in any tradition [68]

Unresolved citation??

Source key berggren-2016 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

[69]

Unresolved citation??

Source key rashed-1994 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

.

The work that organises this tradition into a recognisably algebraic geometry is Omar Khayyam’s Risāla fī l-barāhīn ʿalā masāʾil al-jabr wa-l-muqābala — “Treatise on the demonstration of problems of algebra and balancing” — composed at Iṣfahān under the patronage of the Seljuq vizier Niẓām al-Mulk, in or near 1070 CE ^[70]

[71]

Unresolved citation??

Source key berggren-2016 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

[72]

Unresolved citation??

Source key kasir-1931 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. Khayyam systematically classifies the cubic equations into fourteen types (taking all coefficients positive in the standard Arabic-mathematical convention) and gives a geometric construction for the positive root of each, by intersecting two conic sections — usually a circle and a parabola, or two parabolas, or a hyperbola and a parabola — chosen so that the intersection point’s coordinates are equivalent to the equation’s root [73]

Unresolved citation??

Source key rashed-vahabzadeh-2000 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

[74]

Unresolved citation??

Source key berggren-2016 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. The constructions are mathematically equivalent to a geometric algebra of degree three, and the conics-as-tools method is the deepest pre-modern intersection of geometric and algebraic technique outside the Greek Archimedean and Apollonian tradition the chapter discussed in §4 of chapter 2 [75]

Unresolved citation??

Source key berggren-2016 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

[76]

Unresolved citation??

Source key rashed-1994 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

.

A generation later, Sharaf al-Dīn al-Ṭūsī, working in Iran in the late twelfth century, takes the cubic-equation analysis a step further ^[77]

[78]

Unresolved citation??

Source key hogendijk-1989 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. Where Khayyam’s procedure asks how to construct the root of a cubic, Sharaf al-Dīn’s procedure asks when a positive root exists, and answers the question by analysing the behaviour of the cubic’s left-hand side as a function of its variable — specifically by computing what Rashed identifies as the modern derivative of the cubic, setting it to zero to find the location of the maximum, and reasoning about whether the maximum value exceeds the constant term on the right [79]

Unresolved citation??

Source key rashed-1986 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

[80]

Unresolved citation??

Source key hogendijk-1989 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

[81]

Unresolved citation??

Source key rashed-1994 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. Rashed’s reconstruction of this procedure, in the 1986 critical edition of the al-Muʿādalāt, is the strongest case in the literature for a mathematician working five hundred years before Newton having something that the secondary literature is willing to call a derivative; the Math-canonical figure entry for al-Ṭūsī (figures/sharaf-al-din-al-tusi.md) flags Rashed 1986 and Hogendijk 1989 as the principal sources for the claim and notes the standing of Rashed’s interpretation in the field.

The Maraghah school and the later Islamicate tradition, c. 1200 – c. 1450 CE

The thirteenth century opens with the founding, in 1259, of the Maraghah observatory in north-western Iran under the patronage of the Mongol ilkhan Hülegü and the direction of Naṣīr al-Dīn al-Ṭūsī (1201 – 1274 CE, distinct from Sharaf al-Dīn) ^[82]

[83]

Unresolved citation??

Source key rashed-1994 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. The Maraghah school’s mathematical contributions are principally to the theoretical astronomy that revises the Ptolemaic Almagest; the discipline-specific commentary is the responsibility of Astronomy ch. 3 (A14). What belongs to the mathematical lineage is the school’s treatment of the foundations of geometry — Naṣīr al-Dīn’s Recension of Euclid and his repeated attempts to derive the parallel postulate from the others, which feed into a long Islamicate tradition of work on the parallel postulate that culminates in the early-modern European non-Euclidean geometric work of Saccheri and Lambert (ch. 6) [84]

Unresolved citation??

Source key berggren-2016 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

[85]

Unresolved citation??

Source key rashed-1994 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. The Maraghah school’s trigonometric work — particularly the lemma later named for ibn al-Shāṭir, in which the rectilinear motion of a point can be constructed as the resultant of two uniform circular motions on a small and a large circle of appropriate radii — is the same mathematical device Copernicus uses three centuries later in De Revolutionibus (1543, Astronomy ch. 4), and the question of whether that use is independent rediscovery or descended (through some manuscript or oral chain not yet identified) from the Maraghah work is the principal open question of the period [86]

Unresolved citation??

Source key berggren-2016 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

[87]

Unresolved citation??

Source key rashed-1994 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

.

The Kerala school, c. 1340 – c. 1500 CE

The southernmost and chronologically latest of the four named periods is the Kerala school, centred on the Nila river valley in southwestern India, opened by Mādhava of Sangamagrāma (c. 1340 – c. 1425 CE), and elaborated through a chain of named successors — Parameśvara, Nīlakaṇṭha, Jyeṣṭhadeva, Śaṅkara Vāriyar — across the fifteenth and sixteenth centuries ^[88]

[89]

Unresolved citation??

Source key plofker-2009 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. The school’s principal mathematical achievement is the derivation of infinite-series expansions for the sine, the cosine, and the arctangent of a real argument — the series later known in Europe as the Taylor expansions of those functions — with explicit proofs by the method of successive approximations to the partial sums [90]

Unresolved citation??

Source key sarma-2008 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

[91]

Unresolved citation??

Source key plofker-2009 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

[92]

Unresolved citation??

Source key joseph-2011 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. The series attributed to Mādhava for the arctangent — what European mathematics calls the Madhava–Gregory–Leibniz series, arctan x = x − x³/3 + x⁵/5 − x⁷/7 + ⋯ — yields, on substitution of x = 1, the series for π/4 whose convergence Mādhava knew to be too slow for practical computation and for which Mādhava and his successors supplied substantial accelerating corrections [93]

Unresolved citation??

Source key sarma-2008 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

[94]

Unresolved citation??

Source key plofker-2009 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

[95]

Unresolved citation??

Source key joseph-2011 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. Mādhava himself appears not to have left any written work that survives; the school’s results are transmitted through later texts, principally the Tantrasaṃgraha of Nīlakaṇṭha (1500 CE) and, most fully, the Gaṇita-Yukti-Bhāṣā of Jyeṣṭhadeva (mid-sixteenth century), the latter unusual in the Sanskrit mathematical tradition for being written in prose rather than verse and in Malayalam rather than Sanskrit, and conducting its proofs as worked yuktis — reasoned arguments — that come closer than any other surviving pre-modern Indian mathematical text to the style of demonstrative exposition the seventeenth-century European calculus would adopt [96]

Unresolved citation??

Source key sarma-2008 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

[97]

Unresolved citation??

Source key plofker-2009 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

.

The historiographical reading of the Kerala series-expansions is the principal contested topic of this period ^[98]

[99]

Unresolved citation??

Source key almeida-joseph-2007 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. The narrower, conservative reading — articulated by David Bressoud and supported by Plofker’s chapter-7 reconstruction — is that the Kerala school’s series are derived for specific mathematical and astronomical purposes (improving sine and cosine tables for siddhāntic computation) and proved by an iterative argument that is not equivalent to the differential and integral calculus that Newton and Leibniz would later organise as a general procedure for tangents, areas, and rates of change [100]

Unresolved citation??

Source key bressoud-2002 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

[101]

Unresolved citation??

Source key plofker-2009 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. The broader, transmission-hypothesis reading — articulated by D. F. Almeida and G. G. Joseph — argues that the Kerala results are mathematically equivalent to enough of the seventeenth-century European calculus that the question of whether they were transmitted (through Jesuit missionaries in Kochi in the late sixteenth century, perhaps) becomes historically pressing, and the absence of direct documentary evidence for such a transmission does not settle the question [102]

Unresolved citation??

Source key almeida-joseph-2007 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

[103]

Unresolved citation??

Source key joseph-2011 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. The chapter follows A9 §3 in stating the canonical claim (Bressoud / Plofker) and the revision (Almeida & Joseph) and citing both. The question itself feeds §7.

The Mediterranean transmission, c. 1100 – c. 1500 CE

The Indian decimal-with-zero numerals, transmitted to the Islamicate world by al-Khwārizmī’s Kitāb al-Ḥisāb al-Hindī (c. 820 CE), reach the Latin Christian Mediterranean through two principal channels in the high middle ages ^[104]

[105]

Unresolved citation??

Source key berggren-2016 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

[106]

Unresolved citation??

Source key joseph-2011 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. The first is the twelfth-century Toledo translation movement, through which the Dixit Algorismi and other Arabic mathematical and astronomical works enter Latin and circulate in the cathedral and university schools of southern France, northern Italy, and (later) England — Adelard of Bath, Robert of Chester, Gerard of Cremona, Hermann of Carinthia are the principal translators [107]

Unresolved citation??

Source key allard-1992 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

[108]

Unresolved citation??

Source key berggren-2016 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. The second is the commercial-administrative network of the Mediterranean trading cities — Pisa, Genoa, Venice, Marseilles, Barcelona — through whose merchants the Hindu-Arabic numerals enter as a tool of commercial reckoning before they are absorbed into the academic curriculum [109]

Unresolved citation??

Source key joseph-2011 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

[110]

Unresolved citation??

Source key plofker-2009 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

.

The principal Latin-Christian work that brings these two streams together for a European audience is Leonardo Pisano’s (Fibonacci’s) Liber Abaci (1202, revised 1228), composed at Pisa after Fibonacci’s apprenticeship at the Almohad customs-house of Bugia (Bejaia, in modern Algeria) ^[111]

[112]

Unresolved citation??

Source key berggren-2016 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

[113]

Unresolved citation??

Source key joseph-2011 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. Fibonacci’s biographical core and the Math-canonical figure entry will be written in chapter 4; chapter 3 introduces him only as the transmission vector through whom al-Khwārizmī’s arithmetic and Abū Kāmil’s algebra cross from the Arabic-speaking Mediterranean into the Latin Christian academic and commercial culture. From Fibonacci onward the Indian decimal numerals are no longer outside the European mathematical canon; the rest of the story belongs to chapter 4.

§5 — Methodology

The traditions this chapter follows know what they know in two recognisably distinct evidentiary modes, neither of which is identical to the deductive-axiomatic mode of Greek geometry that chapter 2 described.

The first is the commentarial demonstration of the Sanskrit tradition. A mathematical result is stated, typically in a terse versified sūtra by an ācārya (master), and is then demonstrated in the prose commentary (bhāṣya) that the master, or a later student in the lineage, supplies alongside the verses ^[114]

[115]

Unresolved citation??

Source key sarma-2008 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. The commentary’s role is to make the result intelligible by stating its derivation, by working examples, and by exhibiting how the algorithm operates step by step on a concrete case; the form of the derivation is rigorous when it needs to be — the chakravāla method’s termination argument in Bhāskara II’s Bījagaṇita and the yukti (reasoning) of the Kerala school’s series expansions in Jyeṣṭhadeva’s Gaṇita-Yukti-Bhāṣā are recognisably proofs — but the standard of presentation is not the Greek deductive treatise’s standard of “every step from the postulates” [116]

Unresolved citation??

Source key plofker-2009 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

[117]

Unresolved citation??

Source key sarma-2008 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. The Sanskrit tradition’s evidentiary standards are real, but they are local to procedures and their justifications rather than global to a system.

The second is the algorithmic and tabular mode of the Islamicate ḥisāb, jabr, and zīj traditions. A mathematical result here counts as known when an algorithm has been stated for producing it from given data, and when the algorithm has been demonstrated by a geometric argument — typically by Euclid-style completion of a square, or by intersection of conics, or by inscribed and circumscribed polygons — that the literature treats as binding ^[118]

[119]

Unresolved citation??

Source key rashed-1994 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. The form of the demonstration is Euclidean — Arabic mathematicians of the ninth century and after all read Euclid in translation and held themselves to the Elements’ standard [120]

Unresolved citation??

Source key berggren-2016 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

— but the object being demonstrated is, more often than in Greek mathematics, an algorithm whose function is to compute a numerical answer to a problem stated in non-mathematical terms (an inheritance partition, an astronomical position, a calendrical reckoning, a trigonometric table-entry). The mathematical work earns its place by being instrumentally useful to the larger juridical, astronomical, or administrative project that funds it.

Both traditions share a methodological feature that distinguishes them sharply from Greek mathematics: a willingness to admit the approximate result as a result. Āryabhaṭa’s π = 62832 / 20000 is explicitly marked āsanna (“approximate”) ^[121]

{loc=“Gaṇita verse 10”}; Brahmagupta’s rules for arithmetic on irrationals proceed by manipulating approximations to definite precision [122]

Unresolved citation??

Source key colebrooke-1817 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

; the Kerala school’s infinite-series expansions are explicitly understood as procedures for improving the approximation to arbitrary precision rather than as expressing a result already known in closed form [123]

Unresolved citation??

Source key sarma-2008 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

[124]

Unresolved citation??

Source key plofker-2009 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. The Islamicate trigonometric and astronomical tables are computed to a stated number of sexagesimal places of precision and are understood by their compilers as approximations valid to that precision [125]

Unresolved citation??

Source key berggren-2016 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. The Greek tradition’s commitment to exact relations between geometric magnitudes is, in the Indian and Arabic traditions, supplemented (not replaced) by a methodologically central treatment of approximation. This methodological feature is one of the things the European calculus century inherits from the Indian-Arabic synthesis through Fibonacci and his successors, and it is the chapter’s principal methodological hand-off to chapter 4.

A third methodological note belongs to the institutional setting. The Sanskrit mathematical tradition is, throughout the period this chapter covers, transmitted through pedagogical lineages (paramparā) of teachers and students, often family-based, and codified in the bhāṣya commentarial form ^[126]

. The Islamicate tradition is institutionally varied: the Abbasid Bayt al-Ḥikma, the Seljuq and later vizieral courts, the Maraghah observatory under Mongol patronage, the Samarqand observatory under Ulugh Beg in the fifteenth century — each provided a different institutional setting in which mathematical work was funded, taught, and recorded [127]

Unresolved citation??

Source key berggren-2016 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

[128]

Unresolved citation??

Source key rashed-1994 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. The chapter notes the institutional fact and routes the theological-political detail to Theology / religious studies (Tier C) when that discipline ships; what belongs to the mathematics is that the work is funded, that the funding has shape, and that the shape sometimes determines what gets written down.

A fourth methodological note follows from the first two and was sharpened by the inquiry pass against this chapter’s draft (inquiries/2026-05-12-math-ch03-indian-arabic-synthesis.md §3, first convergence). Demonstrability — the public exhibition of a chain of dependence between a stated result and the principles it rests on — is form-portable. The Sanskrit bhāṣya commentary and the Arabic jabr completion-of-the-square proof both supply such chains, and both do so in genres other than the Greek lettered-diagram demonstration that chapter 2 treated as the canonical case. Bhāskara II’s termination argument for the chakravāla iteration in the Bījagaṇita, Jyeṣṭhadeva’s prose yukti arguments in the Gaṇita-Yukti-Bhāṣā, and al-Khwārizmī’s geometric proofs in the Kitāb al-Jabr are recognisably proofs by the standard that requires only “a public chain from principles to result exhibited in some form the tradition accepts” ^[129]

[130]

Unresolved citation??

Source key sarma-2008 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

[131]

Unresolved citation??

Source key rashed-2009 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

[132]

Unresolved citation??

Source key berggren-2016 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. The methodological consequence is that the discipline’s evidentiary standards admit at least three demonstrative genres — Greek lettered diagram, Sanskrit verse-and-bhāṣya, Arabic prose-with-figure — each carrying chain-of-dependence demonstrability and each fitted to its own institutional medium of inscription. The standard’s content (publicly inspectable chain from principles to result) is genre-invariant; its form (which inscriptional conventions exhibit the chain) is not. Chapter 2 established demonstrability as a property of how claims are held; chapter 3 establishes that the property is independent of any one inscriptional genre that has exhibited it.

§6 — Cross-discipline edges

Edge → Astronomy: The Sanskrit jyotiṣa and the Islamicate zīj traditions are jointly mathematical and astronomical. Āryabhaṭa’s Āryabhaṭīya (499 CE) is structured as four sections, two of which (Kālakriyā, Gola) are astronomical and one of which (Gaṇita) is mathematical — the four are presented as a single integrated treatise ^[133]

[134]

Unresolved citation??

Source key plofker-2009 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. Al-Khwārizmī’s Zīj al-Sindhind applies the Indian decimal arithmetic of his Kitāb al-Ḥisāb al-Hindī to a zīj (astronomical-table) work whose computational substrate is the system the Kitāb introduces [135]

Unresolved citation??

Source key berggren-2016 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

[136]

Unresolved citation??

Source key rashed-1994 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. The Maraghah school’s mathematical work on trigonometry, conic sections, and the foundations of geometry sits inside a programme of revising the Ptolemaic Almagest; the ibn-al-Shāṭir lemma later used in Copernican astronomy (Astronomy ch. 4) is a Maraghah mathematical device put to astronomical work [137]

Unresolved citation??

Source key berggren-2016 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. The edge is the densest in the Mission-42 system, and Astronomy chapter 3 is the parallel chapter that carries the Astronomy-side discipline-specific commentary.

Edge → Economics (trade, commerce): The Indian decimal numerals reach the Latin Christian Mediterranean through merchant networks at least as early as their reception in the academic and translation literature; Fibonacci’s Liber Abaci (1202), composed after his apprenticeship at the Almohad customs-house of Bugia, is explicitly a commercial-arithmetic textbook before it is an academic treatise, and the abacist schools of fourteenth- and fifteenth-century Italy that train commercial agents in the new arithmetic are commercial pedagogy as much as they are mathematical pedagogy ^[138]

[139]

Unresolved citation??

Source key berggren-2016 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. Pacioli’s Summa (1494, ch. 4) will, in chapter 4, codify the commercial use of the system in the partita doppia (double-entry bookkeeping) form that is the substrate of all subsequent commercial accounting. The edge is the commercial circulation of the Indian-Arabic numerical system, not its mathematical content.

Edge → Theology / religious studies: The institutional setting of Islamicate mathematics is the Abbasid Bayt al-Ḥikma of the late eighth and ninth centuries, the Seljuq vizieral patronage of the eleventh, the Ilkhan and Timurid observatories of the thirteenth, fourteenth, and fifteenth, all of which sit inside Islamic intellectual and patronage networks, are funded by Islamicate states, and are practised by mathematicians most of whom held religious legal or scholarly office in addition to their mathematical work ^[140]

[141]

Unresolved citation??

Source key rashed-1994 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

[142]

Unresolved citation??

Source key al-khalili-2010 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. The institutional fact is in the chapter; the theological detail — what doctrine of nature, of created order, of the legitimacy of secular learning the period’s Islamic theology held — is routed to Theology / religious studies (Tier C). The Sanskrit mathematical tradition is similarly embedded in the religious-philosophical curriculum of the jyotiṣa component of the Vedāṅgas; the same routing applies on the Sanskrit side.

Edge → Philosophy: The Sanskrit commentarial bhāṣya form and the Arabic algebraic jabr form both make their philosophical question explicit in a way the Greek geometric tradition does not. The bhāṣya’s prose explanation of a verse-stated procedure presupposes that mathematical truth is communicable, by chain of reasoning, between teacher and student in a way that the verse alone is not; the jabr’s six normal forms presuppose that the unknown of an equation is a kind of object that can be operated on by completion and balancing ^[143]

[144]

Unresolved citation??

Source key rashed-1994 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. These are philosophical commitments. Philosophy (Tier B) carries the discipline-specific edge when the discipline ships; this chapter notes the commitments and stops there.

§7 — Open questions

Three open or contested questions belong to this chapter’s content.

The first is open in the technical sense: the precise date and place of the first true decimal zero used as a place-holder in any surviving inscription is not securely fixed, and the question of whether the Indian decimal-with-zero notation has a single point of origin or emerges by stages across several regions of the subcontinent is, as Plofker’s chapter 3 puts it, “almost certainly not answerable in the present state of the evidence” ^[145]

[146]

Unresolved citation??

Source key joseph-2011 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. The Bakhshali manuscript, often invoked as the earliest surviving decimal-with-zero document, has been variously dated from the third century CE to the ninth on palaeographic grounds; radiocarbon dating of a Bodleian Library fragment in 2017 returned a date range so wide it cannot settle the question [147]

Unresolved citation??

Source key plofker-2009 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. The question is methodologically interesting because it is a case of an open technical claim that the discipline can articulate clearly but cannot answer with present evidence.

The second is contested in the sense A9 §7 defines: the question of whether the Kerala school’s infinite-series expansions for sine, cosine, and the arctangent were transmitted to early modern Europe through the Jesuit mission at Kochi in the late sixteenth century. The inquiry pass against this draft surfaced this as a genuine three-position contradiction rather than a two-position one (inquiries/2026-05-12-math-ch03-indian-arabic-synthesis.md §4.1). Documentary position (Bressoud 2002; Plofker 2009, ch. 7): treat the Kerala results as a parallel development whose mathematical content is real but whose causal relation to the seventeenth-century European calculus is not established by any surviving Jesuit-period letter, manuscript translation, or other documentary trace tying the Kerala series to a known European recipient before 1670 ^[148]

[149]

Unresolved citation??

Source key plofker-2009 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. Conceptual-equivalence position (Almeida & Joseph 2007; Joseph 2011): the absence of documentary evidence is partial rather than complete, and the mathematical proximity of the Kerala series to the seventeenth-century European calculus makes transmission historically pressing even without surviving documents [150]

Unresolved citation??

Source key almeida-joseph-2007 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

[151]

Unresolved citation??

Source key joseph-2011 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. Framing position (raised by the inquiry’s Anthropologist contribution and routed forward to the historiography Tier B discipline): the question of whose-mathematics-counts-as-having-been-transmitted is itself partly settled by the historiography’s selection criteria for what counts as connection, and the Bressoud / Plofker versus Almeida / Joseph dispute is in part an instance of that selection question rather than an internal-disciplinary matter settable by examining the manuscripts alone. The three resolutions are mutually independent: the documentary and conceptual tests could both come back negative without settling the framing question. Falsification — a surviving Jesuit-period documentary trace would resolve toward the conceptual-equivalence position; a close textual comparison showing the Kerala derivations could not produce the seventeenth-century European calculus even with transmission would resolve toward the documentary position; a study of nineteenth- and twentieth-century historiographical selection criteria would constrain (without by itself settling) the framing position. The chapter records the contradiction in its three-position form and routes the open question forward to §8, to the Inquiry Council, and ultimately to the historiography discipline when it ships.

The fourth is a methodological open question lifted from the inquiry’s §4.2 and stated here as a chapter-level open question because the inquiry surfaced it as genuine across multiple disciplines and likely to remain genuine until at least chapter 7 (foundations crisis). Is mathematical certainty in the period’s algorithmic mode achieved-by-procedure-stabilisation or grounded-in-an-independent-mathematical-reality? The within-discipline reading (Mathematician, in the inquiry §2.6) treats the Kerala series, the chakravāla, and Khayyam’s geometric construction of cubic roots as work that constructs the mathematical object — π as the limit of a specified convergent procedure, the Pell solution as the output of an iterative composition, the root of a cubic as the coordinate of an intersection point — by stabilising the procedure that produces it. The world-cooperation reading treats the same work as having been tested by external coincidence: the zīj tables predicted planetary positions; the chakravāla found integer solutions an arbitrary checker could verify; the trigonometric series produced sine values the astronomical practice could test against observation ^[152]

[153]

Unresolved citation??

Source key berggren-2016 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

[154]

Unresolved citation??

Source key sarma-2008 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. The experiential-access reading treats the practitioner’s conviction in these results as a fourth mode — having run the procedure — distinct from intuition, empirical confirmation, and chain-of-dependence demonstration, and not by itself certifying that the procedure tracks anything mind-independent. The three modes generate different answers about what kind of thing the certainty produced by an algorithmic mathematics is — procedural achievement, discovery about a cooperating world, or transmissible cognitive state. The contradiction recurs the one D-M2-INQUIRY §4.2 surfaced for Greek demonstrative mathematics, with the operational frame substituted for the demonstrative; the chapter records it open and routes its likely resolution to chapter 7’s foundations-crisis treatment of limits, completeness, and definitional rigorisation.

The third is methodologically open: the relation between Sharaf al-Dīn al-Ṭūsī’s twelfth-century cubic-equation analysis and what later mathematics calls the derivative is, on Rashed’s 1986 reading, close enough to count as a derivative in the modern sense; on the more cautious reading articulated by Hogendijk and Berggren, it is a specific procedure for cubic equations whose conceptual generality is not attested in the surviving text ^[155]

[156]

Unresolved citation??

Source key hogendijk-1989 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

[157]

Unresolved citation??

Source key berggren-2016 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. The question is the chapter’s principal methodological open question and feeds the chapter’s hand-off to §8.

§8 — Mission-42 implications

The integration plan for chapter 3 (math/outline.md §“Chapter 3”, and the cross-discipline edges listed in §6 above) frames the Mission-42 question this chapter opens: what does the meaning of a mathematical “result” change to, when its centre of gravity moves from Athens and Alexandria to Ujjain, Baghdad, Maragha, and the Nila river valley? The chapter’s §2–§5 supplies four answers to this question that the Inquiry Council inherits as primary material.

The first answer the chapter hands the Council is that the meaning of a mathematical result is, in the Indian and Arabic traditions, much more clearly operational than the Greek geometric meaning chapter 2 described. A result counts as known when an algorithm has been stated for producing it, demonstrated by a procedure the tradition accepts as binding, and applied to a problem the tradition cares about. Brahmagupta’s rule for the product of signed quantities is known because it produces the answers the jyotiṣa problems demand and because the bhāṣya commentary supplies a procedure for understanding why the rule does what it does. Al-Khwārizmī’s six normal forms are known because the algorithm for each produces a positive root that the geometric completion-of-a-square argument confirms. The Kerala school’s series for π/4 is known because the partial sums converge, in a sense the Gaṇita-Yukti-Bhāṣā makes precise, to a value that improves astronomical calculation. This is a different evidentiary contract from the Greek “every step from the postulates” contract; the Council is asked to consider whether the two are genuinely competing standards, whether they are complementary modes of the same underlying epistemic activity, or whether the difference is methodologically central to the meaning the practitioners themselves assigned their results.

The second answer the chapter hands the Council is that the Indian and Arabic traditions extend the kind of object mathematics studies. Brahmagupta’s treatment of zero as a number that can be added, subtracted, and multiplied; the Bījagaṇita’s comfortable algebra of negative and irrational quantities; al-Khwārizmī’s x (the shay, “thing”) as an unknown that can be operated on by jabr and muqābala; Khayyam’s geometric construction of roots of cubics by intersecting conics — all of these are extensions of the inventory of mathematical objects beyond what the Greek geometric and arithmetical canon had treated. The Council is asked to consider what this extension implies about whether mathematics is discovering objects that exist independently of practitioners or constructing objects that come into existence as the tradition learns to operate on them. The contested status of zero as a number — Brahmagupta’s rule for division by zero, a / 0 = a / 0 itself, is mathematically wrong by later standards but is consequential as a record of a tradition treating zero as an object subject to ordinary arithmetic — is one of the cleanest case-studies the Atlas has of the constructed-vs-discovered question made concrete.

The third answer the chapter hands the Council is methodological. Both the Indian and the Arabic traditions accept the approximate result as a result. The Council is asked to consider what this implies for the certainty the §1 question asks about. If mathematics asks what can be known with certainty about number, shape, and pattern, and if the Sanskrit, Arabic, and Kerala traditions explicitly know that their π, their irrational roots, their sine values, and their series partial sums are known to a stated precision rather than exactly, then the certainty the tradition claims for its results is bounded by the precision its methods produce. The Greek geometric tradition does not, except in exceptional cases like Archimedes’ approximation of π in Measurement of a Circle, admit the approximate result on the same footing as the exact one. The chapter’s §5 reads this as a methodological feature, not a defect; the Council should read it as one of the principal methodological questions the meaning-of-life inquiry inherits — what is mathematical certainty when the bulk of the practice it grounds is, by its own self-understanding, approximate?

The fourth answer the chapter hands the Council is institutional. The Sanskrit tradition is transmitted through pedagogical lineages and family-based teaching, embedded in religious-philosophical curricula. The Islamicate tradition is transmitted through state-funded observatories and translation institutions, embedded in juridical and astronomical practice. The Kerala school is transmitted through a regional pedagogical paramparā whose external connections to the contemporary European mathematical culture are an open question (§7). The Council is asked to consider what it means that the period’s deepest mathematical results — the chakravāla method, the cubic analysis, the trigonometric series, the parallel-postulate work — come from institutional settings the dominant late-modern European-mathematical narrative did not, until recent scholarship, treat as central. The implication for the Mission-42 inquiry is that the meaning of whose mathematics counts as the discipline’s history is itself a question with both descriptive and normative dimensions. The descriptive question is what was done where and when; the normative question is what about the period’s mathematics the meaning-of-life inquiry should treat as load-bearing. Plofker, Berggren, Rashed, and Joseph collectively make a documentary case that the period’s load-bearing mathematical content is genuinely outside the European-Greek lineage in a way the Inquiry Council needs to engage rather than route around.

This fourth answer requires explicit handling of the strongest objection the inquiry pass raised against the chapter (inquiries/2026-05-12-math-ch03-indian-arabic-synthesis.md §9). The Adversary’s objection is that the interpretive frame that reads the period as demonstrating multi-modal credibility — operational, demonstrative, approximate, constructed all on epistemic par with Greek geometric exactness — and that reads the post-Enlightenment European-mathematical canon’s selection of demonstrability as a historiographical decision rather than a discipline-internal discovery, is itself downstream of a single late-twentieth-century recovery historiography (Plofker, Berggren, Joseph, Rashed) whose tier-2 works are this chapter’s principal secondary base. The chapter accepts the objection at the level of frame and narrows accordingly. The content claims survive on tier-1 primary-source grounds independent of how the recovery historiography frames them: Brahmagupta’s Brāhmasphuṭasiddhānta ch. 18 does treat zero as a number and signed quantities arithmetically ^[158]

; al-Khwārizmī’s Kitāb al-Jabr does present an algorithm and its geometric proof together in part I [159]

Unresolved citation??

Source key rashed-2009 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

[160]

Unresolved citation??

Source key rosen-1831 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

; the Kerala Gaṇita-Yukti-Bhāṣā does conduct its arguments as yuktis with explicit precision statements [161]

Unresolved citation??

Source key sarma-2008 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

; Khayyam’s Risāla does construct cubic roots by intersecting conics [162]

Unresolved citation??

Source key rashed-vahabzadeh-2000 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

[163]

Unresolved citation??

Source key kasir-1931 was not found in the discipline's bibliography. The Verifier should reject this chapter on Pass 1.

. These claims do not rest on the recovery historiography’s interpretive frame. The interpretive claim — that the post-Enlightenment selection of demonstrability is a historiographical decision rather than a discipline-internal discovery — does rest on that frame, and the chapter marks it as resting on a specific historiographical school until independently corroborated by primary-source evidence that the period’s practitioners themselves held the multi-modality framing (Bhāskara II’s Līlāvatī and Bījagaṇita prefaces, the Gaṇita-Yukti-Bhāṣā’s explicit yukti framing, the Arabic zīj compilers’ precision statements) and by a parallel survey of nineteenth- and earlier-twentieth-century European-mathematical historiography (Cantor, Smith, Heath) on the same Indian and Arabic materials. The chapter hands the Council the narrower-and-stronger contribution unconditionally and the broader interpretive frame conditionally on that further corroboration.

The chapter therefore hands the Council four questions: about the operational meaning of a result, about the kind of object mathematics studies, about certainty under explicit approximation, and about whose mathematics the discipline’s history is read to include. The first three rest on tier-1 primary-source content and survive the historiographical-dependence objection. The fourth, in its broader interpretive form, rests on the recovery historiography and is held provisionally until corroborated. None of these is a question this chapter answers; each is a question the chapter’s content makes precise enough that the Council can put it to the agents whose disciplines (Philosophy, Theology / religious studies, History as historiography) the question reaches. The Mission-42 contribution, post-inquiry, is therefore the form-portability of demonstrability, the additive expansion of the inventory of mathematical objects, and the co-residence of operational and demonstrative form — each grounded in tier-1 primary sources independent of the recovery historiography — plus a conditional offer about how the discipline’s institutional history should be read, marked as conditional on further corroboration the historiography Tier B discipline will eventually supply.

§9 — Sources cited

This section is generated by the citation resolver (A18 §4) from the markers in §2–§8 above and the discipline bibliography at v2/math/bibliography.yaml (pending migration; see A18 §6). Until the YAML migration lands the section is provisional and the Verifier reads against v2/math/bibliography.md directly. Tier counts: T1 = 9 distinct keys, T2 = 6, T3 = 4, T4 = 1, narrative-only on the T4 entry per A18 §1.5.

Tier 1 — Primary works

• shukla-sarma-1976 — Shukla, K. S., and K. V. Sarma (eds. and trans.). 1976. Āryabhaṭīya of Āryabhaṭa. New Delhi: Indian National Science Academy. Tier 1.
• colebrooke-1817 — Colebrooke, Henry Thomas (trans.). 1817. Algebra, with Arithmetic and Mensuration, from the Sanscrit of Brahmegupta and Bháscara. London: John Murray. Cambridge University Press reprint, ISBN 978-1-108-05575-1. Tier 1.
• patwardhan-naimpally-singh-2001 — Patwardhan, K. S., S. A. Naimpally, and S. L. Singh (trans.). 2001. Līlāvatī of Bhāskarācārya. Delhi: Motilal Banarsidass. ISBN 978-81-208-1777-3 [VERIFY: ISBN]. Tier 1.
• rashed-2009 — Rashed, Roshdi (ed. and trans.). 2009. Al-Khwārizmī: The Beginnings of Algebra. London: Saqi Books. ISBN 978-0-86356-430-7. Tier 1.
• rosen-1831 — Rosen, Frederic (trans.). 1831. The Algebra of Mohammed ben Musa. London: Oriental Translation Fund. Tier 1. (Public-domain edition; cited where Rashed 2009’s apparatus is not the right reference.)
• allard-1992 — Allard, André (ed.). 1992. Muhammad ibn Mūsā al-Khwārizmī: le calcul indien (Algorismus). Paris and Namur: Blanchard / Société des Études Classiques. ISBN 978-2-85367-072-8 [VERIFY: ISBN]. Tier 1.
• kasir-1931 — Kasir, Daoud S. (trans.). 1931. The Algebra of Omar Khayyam. New York: Columbia University Teachers College. Tier 1.
• rashed-vahabzadeh-2000 — Rashed, Roshdi, and Bijan Vahabzadeh (eds. and trans.). 2000. Omar Khayyam, the Mathematician. New York: Bibliotheca Persica. ISBN 978-0-933273-28-0. Tier 1.
• rashed-1986 — Rashed, Roshdi (ed.). 1986. Sharaf al-Dīn al-Ṭūsī: Œuvres mathématiques. Algèbre et géométrie au XIIᵉ siècle, 2 vols. Paris: Les Belles Lettres. ISBN 978-2-251-37305-2 [VERIFY: ISBN]. Tier 1.
• sarma-2008 — Sarma, K. V., K. Ramasubramanian, M. D. Srinivas, and M. S. Sriram (eds. and trans.). 2008. Gaṇita-Yukti-Bhāṣā of Jyeṣṭhadeva, 2 vols. New Delhi / London: Hindustan Book Agency / Springer. ISBN 978-1-84882-072-2. Tier 1.

Tier 2 — Canonical histories

• plofker-2009 — Plofker, Kim. 2009. Mathematics in India. Princeton, NJ: Princeton University Press. ISBN 978-0-691-12067-6. Tier 2.
• berggren-2016 — Berggren, J. Lennart. 2016. Episodes in the Mathematics of Medieval Islam (2nd ed.). New York: Springer. ISBN 978-1-4939-3778-3. Tier 2.
• joseph-2011 — Joseph, George Gheverghese. 2011. The Crest of the Peacock: Non-European Roots of Mathematics (3rd ed.). Princeton, NJ: Princeton University Press. ISBN 978-0-691-13526-7. Tier 2.
• rashed-1994 — Rashed, Roshdi. 1994. The Development of Arabic Mathematics: Between Arithmetic and Algebra. Boston Studies in the Philosophy of Science 156. Dordrecht: Kluwer. ISBN 978-0-7923-2565-9. Tier 2.
• katz-2009 — Katz, Victor J. 2009. A History of Mathematics: An Introduction (3rd ed.). Boston: Addison-Wesley. ISBN 978-0-321-38700-4. Tier 2.
• boyer-merzbach-2011 — Boyer, Carl B., and Uta C. Merzbach. 2011. A History of Mathematics (3rd ed.). Hoboken, NJ: Wiley. ISBN 978-0-470-52548-7. Tier 2.

Tier 3 — Peer-reviewed scholarship

• bressoud-2002 — Bressoud, David. 2002. “Was Calculus Invented in India?”. College Mathematics Journal 33 (1): 2–13. DOI 10.2307/1558972. Tier 3.
• almeida-joseph-2007 — Almeida, D. F., and G. G. Joseph. 2007. “Kerala Mathematics and Its Possible Transmission to Europe”. Philosophy of Mathematics Education Journal 20. Tier 3.
• hogendijk-1989 — Hogendijk, Jan P. 1989. “Sharaf al-Dīn al-Ṭūsī on the Number of Positive Roots of Cubic Equations”. Historia Mathematica 16 (1): 69–85. DOI 10.1016/0315-0860(89)90099-2 [VERIFY: DOI]. Tier 3.

Tier 4 — Narrative reference only, not cited for fact

• al-khalili-2010 — al-Khalili, Jim. 2010. Pathfinders: The Golden Age of Arabic Science. London: Allen Lane / Penguin. ISBN 978-1-846-14161-4 [VERIFY: ISBN]. Tier 4 — narrative reference only, not cited for fact.

---

End of chapter. Status: revised (D-M3-REVISE complete, 2026-05-12). Inquiry pass that motivated the revision: inquiries/2026-05-12-math-ch03-indian-arabic-synthesis.md (D-M3-INQUIRY). Delta log: revisions/math-ch03-r1.md. Next gate: D-M3-PUBLISH (copy to site/pangea-site/src/content/atlas/mathematics/ch03-indian-arabic-synthesis.md, frontmatter translation, phase-d-math-ch03 branch). Open [VERIFY: ...] markers in §9 carried over from math/bibliography.md (Patwardhan-Naimpally-Singh 2001 ISBN, Allard 1992 ISBN, Rashed 1986 ISBN, Hogendijk 1989 DOI, al-Khalili 2010 ISBN); the Verifier’s bibliography-side audit should clear them before this chapter ships at status: published.