← Inquiries

2026-05-12

math-ch03-indian-arabic-synthesis

Interrogates: mathematics · ch03

Council: 12 agents

Verifier: pending

Inquiry — What is a mathematical result, when most of it is approximate? (Math Ch.3)

Inquiry session against the draft Atlas entry math/ch03-indian-arabic-synthesis.md (D-M3-DRAFT). Strategy generated by Orchestrator-as-Opus; Council dispatched by Orchestrator-as-Sonnet. The chapter is held back from publication until this artefact ships and a revision pass closes the spec §0 forcing function. Council instantiation continues the D-M1/M2 pattern: the four expansion agents are Mathematician, Anthropologist, Pragmatist, Aesthete pending the orchestrator-charter amendment flagged in earlier inquiries.

§1 — Question

If two long-running mathematical traditions — Sanskrit gaṇita and Arabic jabr — knowingly accept the approximate result, the operational algorithm, and the constructed object as full mathematical results, on equal footing with the exact Greek geometric demonstration, what does this tell the Mission-42 inquiry about what a mathematical “result” is, what kind of certainty mathematics produces, and which institutional settings the discipline’s load-bearing knowledge has been produced inside?

Scope. The Indian-Arabic period as the chapter delimits it (c. 499 CE — c. 1500 CE), with the four named sub-periods of §4 (Sanskrit classical, Islamicate transmission and extension, Maraghah school, Kerala school) plus the Mediterranean transmission vector. The Council is asked to stress-test, not assume, the chapter’s framing that the operational, the approximate, and the constructed are stable epistemic objects rather than under-developed precursors of later exact mathematics. Out of scope: the seventeenth-century European calculus century (chapter 4) except where the Kerala transmission hypothesis demands it; the foundations crisis (chapter 7); the question of whether mathematics is discovered or constructed in general (chapter 9, but the Council may treat the Indian-Arabic case as a precise instance of it).

§2 — Disciplinary contributions

§2.1 — Analyst

The Analyst takes the chapter’s central distinction at math/ch03 §5 — commentarial demonstration and algorithmic-tabular demonstration as evidentiary modes parallel to but not identical with Greek deductive geometry — and presses on what a result consists of in each mode. In the Sanskrit bhāṣya form, a result is a stated sūtra plus the commentary that demonstrates the procedure and works examples; the demonstrative load is split between verse and prose, and the justification of a result lives in the commentary not the verse . In the Arabic jabr form, a result is an algorithm for solving an equation in one of the six normal forms, plus a Euclidean geometric proof that the algorithm is correct . Both are recognisable proofs by D-M2-INQUIRY’s analytic test: each exhibits a chain of dependence between the result and the principles it rests on, and each makes the chain inspectable to a competent reader. The Analyst’s load-bearing point is that demonstrability is a property of how claims are held, established in D-M2-INQUIRY §3, and the Sanskrit and Arabic traditions hold their claims in chain-of-dependence form by means that are not the Greek lettered diagram. Demonstrability is form-portable: it does not require the Euclidean genre, only that a public chain from principles to result be exhibited in some form the tradition accepts. The chapter at §5 implicitly grants this; the inquiry can defend it explicitly and extend D-M2’s finding.

§2.2 — Naturalist

The Naturalist reads the chapter’s §5 methodological claim — that approximation is treated as a result, not a stopping-short — through the same selection-pressure lens applied in D-M1 and D-M2. The Sanskrit jyotiṣa and Arabic zīj traditions exist to produce astronomical predictions accurate to the precision the observation programme can check . A π to four decimal places is not a partial result en route to an exact π; it is the result the practice needs, and the work the Kerala school does on accelerating corrections to the slow-convergence Mādhava–Gregory–Leibniz series is precisely the work of getting more digits when the observational programme demands them . The fitness reading: the approximate result delivered to stated precision is the form mathematics takes when its host discipline is calendrical-astronomical computation with sustained observational discipline. The Greek tradition’s commitment to exact relations between geometric magnitudes is itself a fitness adaptation — to the discipline of geometric demonstration where exactness is constitutive of the object — and not the universal standard the European calculus century would eventually treat it as. The Naturalist’s load-bearing point: when the chapter at §5 writes that approximation is “supplemented (not replaced)” by the new traditions, the Mission-42 reading is that approximation and exactness are both fitness-bearing strategies, each adapted to the work its host institution funds.

§2.3 — Theologian

The Theologian addresses the chapter’s §6 edge with the same caution applied in earlier inquiries: name the institutional fact, decline to overrun the Theology / religious studies article when it ships. The substantive contribution concerns the institutional setting the chapter flags at §5 ¶ 3. The Abbasid Bayt al-Ḥikma, the Seljuq vizieral courts, the Ilkhan and Timurid observatories, and the Sanskrit paramparā lineages each sit inside religious-philosophical curricula whose theology held a positive view of secular learning — the Islamic doctrine that the natural world is a signs (āyāt) of created order whose lawful structure is worth investigating, the Sanskrit doctrine that jyotiṣa is one of the six Vedāṅgas (Veda-limbs) on which ritual computation depends . This is a different theological-mathematical relationship than the Greek geometric tradition’s relationship to its own philosophical setting. The Theologian’s load-bearing point: the chapter’s §5 ¶ 3 institutional reading should be carried into §8 with the recognition that whose mathematics has been done is partly determined by which theological culture assigned positive value to its production, and that the late-modern European-mathematical canon’s selection of which traditions to treat as central reflects post-Reformation, post-Enlightenment European positioning more than a discipline-internal judgement. The chapter’s §8 paragraph 4 frames this correctly; the inquiry can defend it explicitly and route the deeper theological reading to the discipline when it ships.

§2.4 — Phenomenologist

The Phenomenologist asks what working through a Sanskrit kuṭṭaka algorithm or an Arabic al-jabr completion-of-the-square procedure is like, and notes the experience is different from working through a Euclidean proof in a specific and analysable way. The Euclidean proof is read ; the practitioner traces a chain of inferences on a lettered figure and is convinced when the chain closes. The Indian bhāṣya commentary, by contrast, is executed: the practitioner runs the procedure on a worked example supplied by the ācārya, watches the partial answer evolve through the steps, and is convinced when the procedure yields the answer the sūtra asserts . The Arabic jabr tradition combines both: the algorithm is executed on a particular problem, and a separate geometric demonstration is read to confirm the algorithm is correct in general . The Phenomenologist’s load-bearing point: D-M2-INQUIRY §2.4 named a third mode of conviction — having traced its conditions — distinct from intuition and empirical confirmation. The Indian-Arabic period adds a fourth: having run its procedure. The phenomenology of mathematical conviction is richer than the Greek proof-tradition alone discloses; it includes the conviction-by-execution that algorithmic mathematics produces. The mode is transmissible by working examples in a way that does not require the lettered-diagram genre.

§2.5 — Historian

The Historian takes the chapter’s §4 lineage as well-grounded and presses on three editorial-versus-organic questions the chapter flags. First, the Sulbasūtra dating range (800–500 BCE) is loose enough that the substrate’s relation to the Greek tradition’s near-contemporary geometric beginnings is historiographically open . Second, the Kerala transmission hypothesis — whether Mādhava’s series reached early modern Europe through Jesuit channels in Kochi — is the chapter’s principal contested topic and the historiographical record is genuinely divided: Bressoud and Plofker treat the absence of documentary evidence as load-bearing, Almeida and Joseph treat it as a survivable absence given the mathematical proximity of the results . Third, the Sharaf al-Dīn al-Ṭūsī derivative interpretation rests on Rashed’s 1986 critical edition; Hogendijk’s 1989 response and Berggren’s 2016 textbook treatment are cautious about the generality of Sharaf al-Dīn’s procedure even where they grant the specific procedure’s structural similarity to a derivative . For Mission-42 the implication is that the chapter is honestly transmitting an active historiographical debate, and the Council’s §4 should treat each contested attribution as a precise instance of the more general question of how a tradition’s results are read backward from later mathematical categories. The chapter does this competently in §7. The Historian’s load-bearing point: contested attribution is not a defect of the chapter’s evidence but a feature of the history of mathematics as historiography, and the meaning of a result is partly the meaning later readers give it through the categories they bring.

§2.6 — Mathematician

The Mathematician contributes from within the discipline and pushes back on a flattening reading of the approximate-as-result framing. Approximation in a context where the exact value provably exists (Āryabhaṭa’s π, Bhāskara II’s chakravāla finding integer solutions to x² − Ny² = 1) is mathematically distinct from approximation in a context where the exact value is itself a derived theoretical object (the Kerala school’s series representation of π/4 as the limit of Σ (−1)ⁿ / (2n+1)) . In the first case the practitioner knows an exact value exists and is producing a rational truncation. In the second case the practitioner is constructing the exact value through the convergent process and judging it convergent by intra-mathematical criteria — what Cauchy will later formalise as the convergence of partial sums . The Mathematician’s load-bearing point: the Kerala school’s work is not an under-developed precursor to the European calculus; it is a mature treatment of infinite-series approximation conducted in a different conceptual frame, in which convergence to arbitrary precision is the result and closed-form expression is not the only acceptable form a result can take. This is a substantive extension of the inventory of what counts as a mathematical object beyond the Greek geometric canon, and the chapter at §8 paragraph 2 grasps the point correctly. The mathematician declines to predict whether Brahmagupta’s mistaken division-by-zero rule should be read as an attempt to extend the field of operations or a limit-finding exercise that anticipates later definitional refinement; the historical record is too thin for the discipline to settle it.

§2.7 — Anthropologist

The Anthropologist foregrounds the institutional settings the chapter touches at §5 ¶ 3 and §8 ¶ 4. The Sanskrit tradition’s transmission through family-based pedagogical paramparā in the Sanskrit-using regions of the subcontinent; the Islamicate tradition’s transmission through state-funded observatories under Abbasid, Seljuq, Mongol, and Timurid patronage; the Kerala school’s transmission through a regional namputiri Brahmin community in the Nila river valley — these are not the same kind of institution and not the same kind of social arrangement . D-M1 documented the scribal-anonymous Mesopotamian form; D-M2 documented the philosopher-named Greek form. The Indian-Arabic period adds three further variants: (a) the ācārya-with-named-commentary-lineage form of Sanskrit mathematics, in which the original verse is attributed but the proof apparatus accumulates across generations of named commentators; (b) the court-patronage / observatory form of Islamicate mathematics, in which work is funded by state institutions and attributed to a named author embedded in a juridical-administrative establishment; (c) the regional sectarian form of the Kerala school, in which a localised intellectual community sustains a sophisticated mathematical practice without the state-funding or pan-tradition centrality that the Sanskrit jyotiṣa mainstream or the Islamicate observatories enjoyed. The Anthropologist’s load-bearing point: D-M2-INQUIRY §8.3 forward-questioned whether a third stable variant of propositional knowledge-form existed between scribal-anonymous and philosopher-named; the Indian-Arabic period supplies three further variants, and the proper conclusion is that mathematical authorship has not converged on a small number of stable institutional forms but has continuously been adapted to local conditions. Whose mathematics counts is therefore partly a question of which institutional configurations the discipline’s history records, and the post-Enlightenment European-mathematical canon’s selection is a specific historical choice, not a discipline-internal necessity.

§2.8 — Pragmatist

The Pragmatist reads the chapter’s §6 commercial-edge — the Indian numerals reach Latin Christendom through both the Toledo translation movement and the Mediterranean trading network, with Fibonacci writing his Liber Abaci after apprenticing at a North African customs-house — as evidence that the operational meaning of a mathematical result is what the chapter’s §8 ¶ 1 says it is. A merchant adopts the Hindu-Arabic numerals because they make commercial arithmetic faster and less error-prone; a qāḍī uses al-Khwārizmī’s jabr for inheritance problems because the algorithm produces the legally-required division of an estate; an astronomer uses the zīj tables because they predict planetary positions . Used to compute the answer the host institution needs is the definition of an operational result, and the Indian-Arabic tradition is the historical instance most clearly demonstrating that operational and demonstrably-grounded are not opposed categories: an Arabic mathematician proves al-Khwārizmī’s quadratic algorithm by Euclidean completion-of-the-square and uses it on an inheritance problem. The Pragmatist’s load-bearing point: D-M2-INQUIRY §3 found the demonstrative form’s fitness was non-uniform across uses (high for long-horizon, lower for local-computational); the Indian-Arabic period extends the finding by showing that the same mathematical content can carry both demonstrative form (the geometric proof) and operational form (the executable algorithm) — they are not competing but co-resident, and the chapter at §8 paragraph 1 should defend this co-residence as the period’s principal Mission-42 contribution.

§2.9 — Aesthete

The Aesthete reads the Āryabhaṭīya’s verse-stated mathematics, the al-Kitāb al-Jabr’s prose-with-geometric-figure form, the Kerala Gaṇita-Yukti-Bhāṣā’s prose-Malayalam yukti — and notes each is a distinct mathematical genre with a distinct relationship to its medium of inscription . The Sanskrit verse genre uses metrical compression to make the sūtra memorisable across the paramparā; the bhāṣya prose commentary supplies the worked execution the verse compresses out. The Arabic prose-with-figure genre treats the geometric demonstration and the algorithmic statement as parallel media: the diagram shows the squareness of the completion, the prose articulates the algorithm. The Kerala Malayalam prose yukti uses ordinary discursive language to walk through the reasoned argument in a way the verse-and-commentary form does not. The Aesthete’s load-bearing point: D-M2-INQUIRY §3 found Greek lettered-diagram practice was genre-and-method together; the Indian-Arabic period generalises this — mathematical traditions stabilise on characteristic inscriptional genres that fit their institutional setting (verse for paramparā transmission; prose-with-figure for the Islamicate translation and teaching apparatus; prose-vernacular for the Kerala regional community), and the form of inscription is itself part of what makes the mathematics transmissible. The chapter at §5 reads the form-and-medium pairing correctly without quite generalising; the inquiry can defend the generalisation as a Mission-42 finding about the discipline’s institutional ecology.

§3 — Convergences

The Synthesist identifies five non-trivial convergences across §2 contributions.

§4 — Genuine contradictions

The Synthesist, following Cartographer charter §3 falsification discipline, identifies two genuine contradictions across §2.

§4.1 — Was the Kerala school’s infinite-series work transmitted to early modern Europe?

The Historian (§2.5) treats the question as genuinely open in the historiographical record: Bressoud and Plofker hold that the absence of documentary evidence is load-bearing and the parallel-development reading should be preferred; Almeida and Joseph hold that the mathematical proximity of the Kerala series and the seventeenth-century European calculus, combined with the documented Jesuit presence at Kochi in the late sixteenth century, makes the transmission hypothesis historically pressing even without surviving documents . The Mathematician (§2.6) holds that the Kerala results and the seventeenth-century European calculus are mathematically close but conceptually distinct: the Kerala school’s series are derived for specific functions in a specific astronomical context, while the seventeenth-century calculus organises differentiation and integration as general procedures applicable to arbitrary functions . The Anthropologist (§2.7) holds that the question of whose mathematics counts is partly determined by which institutional configurations the discipline’s history records, and that the Bressoud-vs-Almeida-Joseph debate is itself an instance of that selection question rather than an internal-disciplinary matter that can be settled by examining the manuscripts alone.

Underlying epistemic difference. The disciplines apply three different tests: the Historian’s documentary test (does evidence of transmission survive?), the Mathematician’s conceptual-equivalence test (are the Kerala and European procedures the same kind of mathematical object?), the Anthropologist’s framing test (is the question of transmission settable independently of the historiography’s selection criteria for what counts as connection?). The three do not converge on a single answer because they are asking different questions under the same surface label.

Sources. and for the conservative historiographical reading; and for the transmission-hypothesis reading; for the primary-source documentation of the Kerala results.

Falsification condition. Resolves in the Historian’s documentary direction if a surviving Jesuit-period letter, manuscript translation, or other documentary trace from the Kochi mission ties the Kerala series to a known European recipient before 1670. Resolves in the Mathematician’s conceptual direction if a close textual comparison shows the Kerala results were derived from and reasoned about with sufficiently different mathematical-conceptual apparatus that the transmission hypothesis would not produce the actual seventeenth-century European calculus even if the documents had reached Europe. Resolves in the Anthropologist’s framing direction if a study of nineteenth- and twentieth-century historiographical decisions about what counts as a transmission shows the question to be partly definitional. The three resolutions are not mutually exclusive in principle (the documentary and conceptual tests could both come back negative), but they are mutually independent. Genuine.

§4.2 — Is mathematical certainty achieved-by-procedure-stabilisation or grounded-in-an-independent-mathematical-reality?

The Mathematician (§2.6) reads 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 Naturalist (§2.2) reads the same work as having been tested by world-cooperation: 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. The Phenomenologist (§2.4) reads the practitioner’s conviction in these results as a fourth mode — having run its procedure — distinct from intuition, empirical confirmation, and chain-of-dependence demonstration, and not by itself certifying that the procedure tracks anything mind-independent.

Underlying epistemic difference. The Mathematician applies a within-discipline procedural standard (does the procedure stabilise to a definite answer under intra-mathematical criteria?). The Naturalist applies a world-cooperation standard (does the procedure’s output match what arbitrary external testing produces?). The Phenomenologist applies an experiential-access standard (what does the practitioner come to know in running the procedure?). The three 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 — and this is the same form of contradiction documented in D-M2-INQUIRY §4.2, recurring with the operational frame substituted for the demonstrative frame.

Sources. on the procedural-construction reading; on the world-cooperation reading via astronomical tabulation; on the Kerala practitioners’ own framing of the convergent procedure as a yukti (reasoned argument).

Falsification condition. Resolves in the Mathematician’s direction if the discipline’s later development shows the algorithmic objects (limits, complete sequences, algebraic closures) are well-defined intra-mathematically without external grounding — the nineteenth-century rigorisation programme partly achieves this. Resolves in the Naturalist’s direction if a procedurally-stable mathematical result is shown to fail under arbitrary external testing in a way pointing to the procedure rather than its application. Resolves in the Phenomenologist’s direction if practitioners report that running-the-procedure conviction is in fact reducible to one of the other modes. The contradiction is the same one D-M2-INQUIRY surfaced; the Indian-Arabic period extends the case to include the operational and the approximate alongside the demonstrative. Genuine, and likely to remain genuine until chapter 7 (foundations crisis) at the earliest.

§5 — Apparent contradictions resolved

Two apparent contradictions surface and resolve under definitional alignment.

The first is the surface conflict between the Naturalist (§2.2) reading the approximate-as-result as fitness-bearing under selection pressure from astronomical practice, and the Mathematician (§2.6) distinguishing approximation-to-a-known-exact-value from approximation-as-the-construction-of-a-limit-object. On a surface reading these are opposed: is approximation a pragmatic accommodation (Naturalist) or a mathematical construction (Mathematician)? Definitional / scope difference. The Naturalist’s claim is about why traditions accept approximate results — institutional fitness. The Mathematician’s claim is about what kinds of approximation are conceptually distinct — within-tradition typology. These are claims at different levels of analysis. Resolved position. The Indian-Arabic traditions accept approximation as a fitness-bearing strategy under their host institutions’ computational demands (Naturalist); within that acceptance, they distinguish (and the Kerala school explicitly develops) the conceptually-richer mode of approximation-as-limit-construction (Mathematician). The institutional and conceptual readings are compatible and partly mutually reinforcing. Sources supporting resolution. on the Kerala explicit-precision arguments; on the zīj tradition’s precision discipline. Apparent, not genuine.

The second is the surface conflict between the Theologian (§2.3) reading the Islamicate institutional setting as producing a positive theology of secular learning that enabled the mathematics, and the Anthropologist (§2.7) reading the same setting as one of several stable institutional configurations with no single privileged form. On a surface reading these compete for explanatory priority: was Islamicate mathematics enabled by Islamic theology (Theologian) or by one institutional configuration among many (Anthropologist)? Definitional / scope difference. The Theologian’s claim is about the enabling condition — what made the Islamicate mathematical programme possible in its specific historical setting. The Anthropologist’s claim is about the typology — the Islamicate form is one of several variants the discipline has stabilised. These are claims about different aspects of the same institutional fact. Resolved position. Islamicate mathematics was enabled in part by the positive theological evaluation of secular learning in its specific Islamic intellectual culture (Theologian’s enabling-condition claim), and the resulting institutional form is one of several stable variants the discipline has produced across cultures (Anthropologist’s typological claim). The two readings are compatible. Sources supporting resolution. ; . Apparent, not genuine.

§6 — Integrated answer

The integrated position, in plain language: The Indian-Arabic synthesis demonstrates that a mathematical “result” is not a single thing. It can be an exact geometric theorem, an algorithm executed to stated precision, an algebraic procedure with a geometric correctness proof, or the construction of an object as the limit of a convergent procedure — and each of these is a full mathematical result on the period’s own terms. The certainty produced by such mathematics is real but it comes in modes: chain-of-dependence demonstrability (form-portable beyond the Euclidean genre), procedure-stabilisation, world-cooperation, and the practitioner’s mode of having run the procedure. Approximation-to-stated-precision is a mature epistemic mode, not under-developed exactness. The institutional settings that produced this period’s mathematics — Sanskrit ācārya-paramparā, Islamicate court-and-observatory, Kerala regional-sectarian — are three further stable variants of mathematical authorship beyond the scribal-anonymous and philosopher-named forms documented in earlier chapters, and the question of whose mathematics counts as the discipline’s history is partly a question of which institutional configurations the discipline’s later historiography selected as central.

Structured breakdown.

What is being claimed. (a) Demonstrability is form-portable: chain-of-dependence holds in the Sanskrit bhāṣya and Arabic jabr genres just as it holds in the Euclidean lettered-diagram genre, and the form-portability is itself a substantive extension of D-M2-INQUIRY’s analytic finding; independent §3 convergence (Analyst, Phenomenologist, Aesthete). (b) Approximation-to-stated-precision is a mature epistemic mode, not partial exactness; the practitioner’s understanding that π is computed to four digits (Āryabhaṭa) or to arbitrary precision by convergent series (Kerala school) is constitutive of the result, not a defect of it; independent §3 convergence (Naturalist, Mathematician, Pragmatist). (c) The inventory of mathematical objects expanded substantively during the period — zero, negatives, irrationals, indeterminate unknowns, infinite-series limits — and this expansion is additive to the Greek geometric canon rather than a refinement of it; independent §3 convergence (Analyst, Mathematician). (d) Three further institutional forms of mathematical authorship are added to the discipline’s typology: Sanskrit ācārya-paramparā, Islamicate court-and-observatory, Kerala regional-sectarian; independent §3 convergence (Anthropologist, Theologian, Historian). (e) The same mathematical content can be held in both demonstrative and operational form simultaneously; the chapter’s §8 ¶ 1 framing of operational and demonstrative as co-resident is the period’s principal Mission-42 contribution; independent §3 convergence (Pragmatist, Analyst, Mathematician).

What is being declined. (a) Any claim about whether the Kerala school transmitted to early modern Europe — §4.1 is genuine and the three resolutions are mutually independent. (b) Any claim about whether the certainty produced by the period’s algorithmic mathematics is grounded in a mind-independent mathematical reality or constructed by procedure-stabilisation — §4.2 is genuine and forwards to chapter 7 and beyond. (c) Any claim that the post-Enlightenment European-mathematical canon’s selection of which traditions to treat as central is internal to the discipline; it is, on the Anthropologist’s reading and the Theologian’s, a specific historical choice.

Which contradictions constrain the answer. §4.1 constrains the transmission claim: the answer can say the Kerala school produced mathematical content mature enough to make the transmission question historically pressing without saying transmission did or did not occur. §4.2 constrains the metaphysical reading: the answer can say the period’s mathematics produces real, transmissible, multi-mode certainty, without saying whether procedural certainty is grounded in or constructed by the procedures that exhibit it.

What this contributes to Mission-42. The chapter forces the inquiry to take seriously the question its §8 ¶ 1 raises: whether the Greek demonstrative ideal that D-M2 surfaced as Mission-42’s most plausible candidate for what credible knowledge looks like is in fact one mode of credibility alongside three others — approximation-to-stated-precision, algorithmic procedure-stabilisation, and operational result. The Indian-Arabic period demonstrates that demonstrability and operationality are not opposed, and that the inquiry’s working definition of credible knowledge should accommodate at least these four modes. D-M2-INQUIRY established that the demonstrative form has both real virtues and real limits and that its exportability to non-mathematical disciplines is open; D-M3-INQUIRY extends the finding by demonstrating that the discipline of mathematics itself has not been uniformly demonstrative — it has been multi-modal across its history — and that the post-Enlightenment selection of demonstrability as the discipline’s central virtue is partly a historiographical decision rather than a discovery about what mathematics is. The Mission-42 inquiry should take this multi-modality seriously when assessing what kinds of credibility are available to inquiries whose objects are not the objects of geometry.

§7 — Calibrated uncertainty

Claim from §6CalibrationReason
Demonstrability is form-portable beyond the Euclidean genre.Firm.Independent §3 convergence across three disciplines; corroborated by and on independent textual evidence from Sanskrit and Arabic traditions.
Approximation-to-stated-precision is a mature epistemic mode.Firm.Independent §3 convergence across three disciplines; corroborated by primary-source evidence ({loc=“Gaṇita verse 10”}, ) of practitioners explicitly framing their results as approximations to stated precision.
The inventory of mathematical objects expanded substantively during the period.Firm.Independent §3 convergence; corroborated by primary-source evidence across multiple traditions (, , ).
Three further institutional forms of mathematical authorship are added to the typology.Provisional.§3 convergence across three disciplines is strong, but the typological claim is cumulative on D-M1 and D-M2 and would benefit from at least one further chapter’s institutional data (Indian-Arabic chapter 4 forward, or a non-Math discipline’s institutional pattern) before being firm.
The same mathematical content can be held in both demonstrative and operational form simultaneously.Firm.Independent §3 convergence; corroborated by al-Khwārizmī’s Kitāb al-Jabr itself, in which the algorithm and geometric proof co-occur (, ).
The Kerala school transmitted (or did not transmit) to early modern Europe.Provisional / refuses to settle.§4.1 is a genuine contradiction; the honest abstention is the answer. The Historian-Mathematician-Anthropologist disagreement is on three independent axes and would require a documentary, a conceptual, and a historiographical resolution.
Mathematical certainty is achieved-by-procedure or grounded-in-an-independent-reality.Provisional / refuses to settle.§4.2 is a genuine contradiction; same as D-M2-INQUIRY §4.2, recurring with the operational frame. Forwarded to chapter 7.
The post-Enlightenment canon’s selection of demonstrability as the discipline’s central virtue is a historiographical decision.Provisional.The Anthropologist (§2.7) and Theologian (§2.3) make the case from cultural-institutional evidence; the claim about which decisions the European-mathematical historiography made would benefit from explicit historiographical work (chapter 6 / historiography Tier B discipline) before being firm.

§8 — Open questions for next inquiry

  1. Does a documentary survey of the Jesuit Kochi mission and its archival traces, 1580–1670, support, refute, or remain neutral on the Kerala-to-Europe transmission hypothesis? — Discipline: history of mathematics + historiography (Tier B). Likely answered partially when chapter 4 ships and Historiography Tier B discipline is drafted.
  2. Does the seventeenth-century European calculus, when chapter 4 ships, exhibit conceptual continuity with the Kerala school’s series methods sufficient to make the transmission question more or less pressing than D-M3-INQUIRY can determine? — Discipline: history of mathematics + philosophy of mathematics. Resolved by chapter 4.
  3. Is the Sharaf al-Dīn al-Ṭūsī derivative interpretation (Rashed 1986) supported by close reading of the al-Muʿādalāt against the post-1989 textual scholarship, and what does the answer imply about reading-backward methodology in the history of mathematics? — Discipline: history of mathematics + philosophy of mathematics + historiography. Resolved by close textual work, possibly in the chapter 6 (19th-century rigorisation) inquiry where the concept of the derivative is in scope.
  4. Does Brahmagupta’s mistaken division-by-zero rule (a/0 = a/0 itself, khachheda) belong to the expansion of the inventory of mathematical objects convergence (§3 bullet 3), or is it a separate phenomenon — an attempted extension that failed whose status as a result is contested? — Discipline: history of mathematics + philosophy of mathematics. Likely answered when chapter 7 (foundations crisis) ships with its treatment of limit and undefined-value rigorisation.
  5. Do the three new institutional forms documented in §3 bullet 4 — ācārya-paramparā, court-and-observatory, regional-sectarian — combine with the two from D-M1/M2 (scribal-anonymous, philosopher-named) to constitute the discipline’s complete institutional typology, or are further variants expected when the remaining chapters and Tier B disciplines ship? — Discipline: anthropology + historiography. Likely refined slowly across multiple chapter cycles.
  6. Is the procedural-construction reading of the Kerala school’s infinite-series work (Mathematician, §2.6) the right framing for the more general question of whether mathematical certainty is achieved or discovered, or does the period support a different framing that chapter 7 should adopt? — Discipline: philosophy of mathematics. Resolved partially by chapter 7.
  7. Does the institutional-fitness reading (Naturalist §2.2; Pragmatist §2.8) explain why the demonstrative form became the post-Enlightenment European-mathematical canon’s central virtue, or does the explanation require political-cultural factors the present inquiry has not touched? — Discipline: history of mathematics + historiography + political theory (Tier B/C). Likely answered partially when chapter 6 ships.

§9 — Adversary’s strongest objection

§9.1 — The objection (precisely stated)

The integrated answer at §6 and the chapter at §8 treat the operational, the approximate, and the constructed as full mathematical results “on the period’s own terms,” and use this framing to argue that demonstrability is one mode of credibility among at least four. The period’s own terms are reconstructed predominantly from the same six tier-2 historians (Plofker, Berggren, Joseph, Rashed, Katz, Boyer-Merzbach) who themselves articulated this framing against the post-Enlightenment European-mathematical canon’s selection of demonstrability as the discipline’s central virtue . The objection: the chapter’s framing and the inquiry’s integrated answer are jointly downstream of a single late-twentieth-century historiographical movement — the recovery of non-European mathematical traditions and the relativisation of Greek-Euclidean demonstrability — and the cross-cultural evidence the §3 convergences claim has not been independently constituted, it has been constituted by an interlocking set of tier-2 historians citing each other’s work. The Indian-Arabic traditions did treat operational, approximate, and constructed results as full results; what is doubtful is whether the framing in which this fact undermines the chapter at §8’s reading of demonstrability is a discovery about the discipline or a redescription internal to a particular historiographical school.

§9.2 — What the integrated answer depends on that this objection threatens

§6’s claims (a), (c), and (e) — that demonstrability is form-portable, that the inventory of mathematical objects expanded substantively, that demonstrative and operational form are co-resident — survive the objection: those claims are about what the primary sources contain, and the primary sources do contain these features regardless of how late-twentieth-century historiography frames them (, , and the other tier-1 sources are sufficient). What is undermined is §6’s claim (d) about institutional-form typology and the interpretive frame that reads the period as undermining the post-Enlightenment selection of demonstrability. The Anthropologist’s (§2.7) and Theologian’s (§2.3) contributions are the cleanest casualties: their reading of whose mathematics counts as partly historiographical-selection-driven is itself an artefact of the same historiographical school whose work is the chapter’s principal tier-2 base. The §3 convergence on this point is weakened by the dependence.

§9.3 — What evidence would resolve the objection

Resolves in §6’s direction: a survey of primary-source evidence from the Indian-Arabic period itself — not from late-twentieth-century historiography — for the proposition that practitioners did take their operational, approximate, and constructed results as full results on epistemic par with what the Greek geometric tradition produced. Some such evidence exists: Bhāskara II’s Līlāvatī and Bījagaṇita prefaces, the Gaṇita-Yukti-Bhāṣā’s explicit yukti (reasoning) framing of its arguments, the Arabic zīj compilers’ explicit precision statements (, {loc=“Bījagaṇita preface”}). A close reading of the primary-source framing, organised independently of the late-twentieth-century historiographical movement, would establish whether the period’s practitioners themselves held the multi-mode framing the chapter attributes to them, or whether the framing is one the recovery historiography retroactively imposed. Resolves in the Adversary’s direction: a survey of nineteenth- and earlier-twentieth-century European-mathematical historiography (Cantor, Smith, Heath) on the same Indian and Arabic materials, showing those earlier readings did not identify the multi-modality claim and instead read the period as preliminary to or absorbed by Greek-and-modern mathematics; if so, the multi-modality framing is in fact a late-twentieth-century interpretive innovation rather than a discovery, and the chapter’s §8 reading should be re-grounded on the narrower and more defensible content claims (a, c, e) without (d) and the broader interpretive frame.

§9.4 — Why this is the strongest available objection

The Adversary considered three alternatives. Alt 1: attack §4.1’s Kerala transmission contradiction as already-flagged-and-honest — weaker, because the chapter does flag it honestly and the contradiction is genuinely cross-disciplinary, not a chapter-level failure. Alt 2: attack the form-portability convergence (§3 bullet 1) as cross-tradition over-claiming — weaker, because the Sanskrit bhāṣya and Arabic jabr primary sources independently exhibit chain-of-dependence demonstrations and the convergence’s evidence is robust to historiographical framing. Alt 3: attack the Brahmagupta division-by-zero rule’s inclusion in the inventory-expansion convergence (§3 bullet 3) — weaker, because §8 question 4 already flags the issue as open. The historiographical-dependence objection attacks the inquiry’s load-bearing interpretive move (from primary-source content to a multi-modality reading of what credibility looks like) — the move that makes §8’s contribution to Mission-42 the surface it claims, rather than a description of one period’s primary-source content. The objection is sharper than the alternatives because it targets the framing, not the data, and the framing is where Mission-42’s claim to integration rather than catalogue lives.

Status. The objection ships published. It is not resolved. The Math Ch.3 revision pass (D-M3-REVISE) should engage it in chapter §7 (open questions) or §8 (Mission-42 implications) — never paper over. A constructive engagement: chapter §8 paragraph 4 should be revised to acknowledge that the multi-modality reading and the whose-mathematics-counts framing both depend on a specific historiographical movement (Plofker, Berggren, Joseph, Rashed) and that the primary-source warrant for the multi-modality framing is what the next inquiry pass and the historiography Tier B discipline should examine. The narrower content claims (form-portability, inventory expansion, demonstrative-operational co-residence) can be retained on tier-1 primary-source grounds; the broader interpretive frame should be marked as resting on a specific historiographical school until independently corroborated.

End of Inquiry Artifact. Verifier two-pass has not yet run; the artefact is provisional pending verification.