210 likes | 347 Views
Arithmetic , Geometry , Algebra and Analysis as historiographical categories for early modern mathematics. Henk Bos (Aarhus, Utrecht) Luminy, 17/04/07. Historiographical Categories. Why? Redefining Geometrical Exactness 1590 – 1650: “Merging of geometry and algebra”
E N D
Arithmetic, Geometry, Algebraand Analysisas historiographical categoriesfor early modern mathematics Henk Bos (Aarhus, Utrecht) Luminy, 17/04/07
Historiographical Categories Why? • Redefining Geometrical Exactness • 1590 – 1650: “Merging of geometry and algebra” • Why did it take so long? • To understand the obstacles against the merging • A methodological exercise
Terminology Objects • Number(s)Rational! • Geometrical Magnitude(s)Line segments, not numbers! (no unit) • Abstract Magnitude(s)Algebra Speciosa (Viète, van Roomen) • Ratio(s)Not fractions!
Terminology Operations • Arithmetical operations (on numbers) • Algebraic operations (on objects for which they are explicitly defined) • Geometrical constructions (on geometrical magnitudes) • Symbolic operations (on abstract magnitudes) • Ratio operations (on ratios)
Terminology Modes of objects within arguments: • Given: supposed to be available in such a way that operations and comparisons can be performed on them;The modern term would be indeterminate. • Unknown: required to be determined by construction or (numerical or algebraic) computation.
Category: Arithmetic The mathematical theory and practices that deal with numbers.
Category: Geometry The mathematical theory and practices that deal with geometrical magnitudes.
Category: Algebra Mathematical theories and practices that • Deal either with numbers or with (geometrical or abstract) magnitudes • Involve unknowns and/or indeterminates • Employ the algebraic operations • Involve equations
Category: Analysis Mathematical methods • For finding the solutions (in geometry: the constructions) of problems • Or (but rarely) for finding proofs of theorems • Doing so by introducing unknowns. • In geometry:- If algebra is used: “Analysis nova”- If not: “Analysis veterum”, based on Euclid’s Data
Categorization Comments • Result: Understanding the obstacles against merging algebra and geometry • The case of Analysis • Mathematics as activity
Merging algebra and geometry Obstacles: • Irrational numbers • Multiplication, dimension and the unit • Numerical and geometrical exactness • Numerical and geometrical indeterminates (new!)
Merging algebra and geometry Obstacles: • Irrational numbersAbout objects • Multiplication, dimension and the unitAbout operations • Numerical and geometrical exactnessAbout operations • Numerical and geometrical indeterminates About modes
Merging algebra and geometry Merging objects: • Numbers are not Magnitudes Merging Operations: • No merging, Algebraic operations took over and wiped out the geometrical ones • Algebraic exactness difficult to define Dealing with Modes • Problematic in numerical algebra but natural in geometry
Merging algebra and geometry Obstacle 3: Numerical and geometrical exactness • Arithmetical operations: exact • Algebraic operations:- In Arithmetic: not exact (approximations)- In Geometry: Quadratic operations exact, others may be • Geometrical operations: Exact if acceptable • Symbolic operations: Exactness undefined • Ratio operations: PM
Merging algebra and geometry Obstacle 4: Numerical and geometrical unknowns and indeterminates The case of Analysis
Mathematics as activity Modes: unknowns, indeterminates • They refer to the activity of the mathematician, not to the mathematical object • Inconsistent with a naïve Platonic view of mathematics • Yet essential for Algebra and Analysis • I.e. for a major part of mathematics
Speculation 18th – 20th centuries: • The concept of “given” has lost its function“Unknowns” have become rootsEquations have become objectsProblems have become theorems • Analysis has been reduced to Platonic object status • The activity is no longer reflected inm the concepts
The case of Analysis • The classical geometrical analysis argument Given Required (unknown) • Suppose it done (counterfactual!) • Mark the givens and the unknowns esp. the required unknowns • Argue – with Euclid’s Data: • “If Objects A, B, C are given than Objects P, Q, R are given too • Argue such that modes of unknowns change to given Until the modes of the required unknowns have changed to given
The case of Analysis • they are strange • these modes change during the argument • Example: the classical analysis argument • Given • Required (unknown) • Suppose it done (counterfactual!) • Mark the givens and the unknowns esp. the required unknowns • Argue – with Euclid’s Data: • “If Objects A, B, C are given than Objects P, Q, R are given too • Argue such that modes of unknowns change to given Until the modes of the required unknowns have changed to given