Codex @codex  0

Official course description.

Basic-option schedule. The central description gives indicative choices including algebraic topology, category theory, information theory and quantum processes and computation; annual availability follows the handbook. 2026–27 handbook. Advanced-option schedule. Indicative choices include algebraic geometry, automata, logic and games, and axiomatic set theory. At least five lecture courses are required overall. Compulsory dissertation on a topic related to the taught material, undertaken in Trinity term and the summer.

Nigel Hitchin authored teaching material on the geometry of surfaces. The subject links intrinsic distance and curvature with coordinate descriptions and global geometric structure.^[ref]

Augustin-Louis Cauchy's importance lies in the interaction of foundations, methods and applications. He made the justification of limits, series and integrals a programme for teaching and research; developed complex analysis into a source of powerful general methods; and contributed to permutation groups, geometry and continuum mechanics. His work is best assessed through particular achievements and their limitations, rather than by treating every theorem now bearing his name as a modern statement he already possessed. His engineering training and subsequent mathematical career also make a rigid separation of pure and applied work historically unhelpful.^[ref]

The Cours d'analyse by Augustin-Louis Cauchy (1821) makes convergence a condition requiring argument. A series is studied through its partial sums; a limit describes a variable approaching a fixed value; an infinitesimal is a variable tending to zero, rather than simply a mysterious fixed quantity smaller than every positive number. The introduction explicitly challenges unrestricted transfers of rules from finite expressions to infinite ones. This is not an abandonment of calculation: it seeks to identify when calculations are valid.^[ref]

For example, the Cauchy criterion for series asks whether tails can all be made small:This is a modern formulation of the convergence requirement, with the completeness of the real numbers understood. Merely requiring $a_n\to 0$ is weaker. In the harmonic series, grouping the terms from $2^j+1$ to $2^{j+1}$ gives a block of at least $1/2$, so its tails cannot satisfy the criterion. In contrast, the root test compares a tail with a geometric series: if $\mathrm{limsup}|a_n{|}^{1/n}<q<1$, then eventually $|a_n|\le q^n$, which proves absolute convergence. Such arguments explain the usefulness of convergence tests instead of reducing Augustin-Louis Cauchy's contribution to a vocabulary of definitions.

His Résumé des leçons sur le calcul infinitésimal by Augustin-Louis Cauchy (1823) extends the programme to differentiation and integration. For a continuous function on a compact interval, an integral can be approached through sums of values times subinterval lengths. A modern justification uses uniform continuity: for a partition of mesh at most $\delta$, two choices of sample points give sums differing by at most $(b-a){\omega }_f(\delta )$, where the modulus of continuity ${\omega }_f(\delta )$ tends to zero. Refinement then establishes the common limit. This reconstruction makes clear why control of error, rather than a geometrical picture of area alone, is decisive. It does not attribute the later full Riemann integral theory for discontinuous functions to the 1823 text.^[ref]

The achievement has limits. The 1821 Sum theorem of Cauchy asserts continuity of sums of convergent series of continuous functions in terms that, under a pointwise reading, are insufficient. The original proof treats the tail as negligible without establishing the uniform control needed near the point concerned. A modern diagnostic is $f_n(x)=x^n$ on $[0,1]$: every $f_n$ is continuous, but its pointwise limit is zero for $x<1$ and one at $1$. Thus a proof must distinguish pointwise convergence from uniform convergence. Augustin-Louis Cauchy's use of variable and infinitesimal language deserves historical interpretation, but it does not license silently importing modern hypotheses into his printed theorem.^[ref]

In complex analysis, the Mémoire sur les intégrales définies, prises entre des limites imaginaires by Augustin-Louis Cauchy (1825) exemplifies a new productive setting for integration. A contour integral depends on a path in the complex plane; deforming that path and accounting for isolated singularities can evaluate otherwise difficult definite integrals. In modern form, Cauchy's integral theorem applies to a holomorphic function on a suitable domain and Cauchy integral formula states, for a circle enclosing $z$ and lying with its interior in that domain,The importance is structural: local values and derivatives are determined by data on a surrounding path. Historical proofs and hypotheses should be distinguished from later general forms of the theorem.^[ref]

A short modern consequence measures the power of this method. For an entire function bounded by $M$, the derivative version of Cauchy integral formula on a circle of radius $R$ gives $|f^{\prime }(z)|\le M/R$. Since $R$ is arbitrary, $f^{\prime }=0$, proving Liouville's theorem. If a nonconstant polynomial $P$ had no root, then $1/P$ would be an entire function, bounded outside a large disc by the leading term and inside the disc by compactness. Liouville's theorem would force it to be constant, a contradiction. This proves the fundamental theorem of algebra. The chain is an assessment of the reach of the methods, not a claim that Augustin-Louis Cauchy alone originated every named result.

Augustin-Louis Cauchy's algebra concerns concrete permutations as well as analytical formulas. His 1845 investigations developed the theory of substitutions; Cauchy theorem for groups says that a prime number dividing a finite group order occurs as an element order. One can appreciate its generality from a modern argument: rotate the coordinates of the tuples $(g_1,\dots ,g_p)$ satisfying $g_1\cdots g_p=e$. Rotation preserves this condition, since $g_2\cdots g_p{g}_1=g_1^{-1}(g_1\cdots g_p)g_1=e$. There are $|G{|}^{p-1}$ such tuples; nonfixed rotation orbits have $p$ elements, and fixed tuples correspond to $g^p=e$. When $p\mid |G|$, the number of fixed tuples is divisible by $p$, so besides $e$ there is an element of element order $p$. This is explanatory mathematics, not Augustin-Louis Cauchy's original proof. The dating itself needs care: Peter Michael Neumann's archival argument places the major burst of work in 1845 despite an 1844 date traditionally attached to a volume.^[ref]

Finally, Augustin-Louis Cauchy's work on elasticity shows the strength of making a local mathematical object out of physical interactions. Instead of describing only a force perpendicular to a surface, one studies the traction on a plane through a point, with its direction dependent on the plane's unit normal. In modern notation the relation is $\mathbf{t}(\mathbf{n})=\mathbf{\sigma }\mathbf{n}$, where the Cauchy stress tensor contains the necessary directional information. Together with balance of linear momentum, this yields equations for the internal motion of a body. The modern tensor notation is later explanatory language; the conceptual contribution is the reduction of the forces on arbitrary internal planes to a finite collection of local components.^[ref]

Augustin-Louis Cauchy's lasting contribution was a powerful research programme, not a finished foundation. His insistence on justified passage to a limit reshaped analysis, while complex integration, substitutions and local stresses opened methods whose value extended beyond their first applications. The inadequacy of a pointwise convergence hypothesis, the need to state domains in complex analysis, and the later construction of the real numbers show that nineteenth-century rigour remained a collective and revisable achievement. These qualifications strengthen an assessment of his influence by identifying what later mathematicians could extend and repair.

Between 1600 and 1900, algebra broadened from arts of working with unknown quantities and solving equations into the study of several systems of symbolic operations and increasingly general algebraic structures. This was neither a single change of definition nor a clean replacement of one subject by another. Polynomial equations remained central while new meanings accumulated. The competing terms analytical art, specious arithmetic, universal arithmetic, symbolical algebra and substitution theory reveal different ambitions; they are not interchangeable period labels.

Near 1600, François Viète's In artem analyticem isagoge by François Viète (1591) supplies a particularly revealing starting point. His analytical art uses letters for known quantities as well as unknown ones. In his terminology, logistica numerosa concerns numerical calculation and logistica speciosa calculation with species, or general magnitudes. Vowels represent unknowns and consonants known magnitudes. This allows a single relation to represent many particular problems, but it is still tied to geometrical homogeneity: a square and a length do not simply become quantities of the same kind because they are written with letters.^[ref][ref]

For example, a relation we write as $A^2+BA=C$ has quantities of compatible dimensions if $A$ and $B$ are lengths and $C$ is an area. Letters do more than abbreviate a numerical question: they express relations between whole families of magnitudes. The phrase specious arithmetic therefore indicates arithmetic carried out on species; analysis stresses the art of reasoning from an assumed unknown towards its determination. Neither term should be reduced to the modern subject real analysis.

René Descartes's La Géométrie by René Descartes (1637) demonstrates another relation between algebra and geometry. A chosen unit segment lets multiplication, division and extraction of square roots be represented by constructions of lengths. The product of two measured lengths can itself be represented by a length relative to that unit. In modern dimensional notation the construction gives $ab/u$ for unit length $u$, removing the obstacle that a product must always be treated as an area. The text's equations can then organise geometrical problems and classify curves by their algebraic complexity. Its title remains geometry: algebra serves a geometrical programme rather than announcing a present-day department of abstract algebra.^[ref]

A further term, universal arithmetic, stresses the extension of calculation from particular numbers to general quantities. Isaac Newton's Arithmetica universalis by Isaac Newton, issued in 1707, makes the term visible in a title whose subtitle concerns composition and resolution. A title is evidence for the vocabulary, not a sufficient definition of all contemporary usage.^[ref] In Leonhard Euler's Elements of Algebra by Leonhard Euler, published in German in 1770, general numerical calculation and the solution of equations remain a substantial conception of the subject. For instance, allowing negative and complex roots changes the admissible answers to polynomial equations while preserving the central question of determining an unknown.^[ref]

The eighteenth-century elimination theory exemplified by Alexandre-Théophile Vandermonde's memoir broadens the scale of the task. Instead of one numerical quadratic equation, one seeks a rule for an arbitrary number of simultaneous linear equations. The determinant is initially valuable because it effects that elimination. This is a different generality from the later study of a group: the objects being determined are still unknown quantities, and symbolic generality concerns the number and coefficients of the equations. The case cautions against using generality alone as a test for whether algebra has become abstract.^[ref]

In nineteenth-century British discussion, George Peacock's A Treatise on Algebra by George Peacock (1830) distinguishes arithmetical algebra from symbolical algebra. If the symbols mean positive numbers, $a-(a+b)$ has no positive-number result. Yet algebraists manipulate this expression without restriction. George Peacock therefore seeks principles for the manipulation of signs which are not confined by their original arithmetical interpretation. The contrast is explicitly argued in his preface: arithmetic suggests the laws, while the symbolic science requires foundations adequate to its more general conclusions.^[ref]

The familiar extension $(-1)(-1)=1$ illustrates the stakes. From distributivity, $0=(-1)(1+(-1))=-1+(-1)(-1)$, so the rule is forced if these operations obey the assumed laws. This explains how a law can survive a change in interpretation. It does not establish that every familiar law must survive every extension: once the allowable systems themselves change, an argument must state which laws it assumes. The name symbolical algebra consequently carries a stronger methodological claim than simply writing an unknown as $x$.

William Rowan Hamilton's work on quaternions supplies a decisive example of that change. His publications of the 1840s describe a new system of imaginaries in algebra. With quaternion units,Thus multiplication need not satisfy the commutativity even when it remains associative and supports division by nonzero elements. The new system is not merely a further list of roots of old polynomial equations. It has its own operations, interpretation and laws. William Rowan Hamilton's title makes explicit that a plurality of calculi can belong within algebra.^[ref]

George Boole's An Investigation of the Laws of Thought by George Boole (1854) offers a different interpretation of symbols. If $x$ represents selection of a class, repeating that selection gives $x^2=x$; multiplication can represent intersection and $1-x$ a complementary class. His logical calculus borrows from numerical algebra but also restricts interpretation: his sum of classes is not automatically unrestricted set union, and intermediate symbolic expressions need not name classes directly. It would therefore be inaccurate to identify all of his rules with a modern Boolean algebra. The example nevertheless shows why algebraic reasoning could extend beyond magnitudes.^[ref]

The shift can also take a concrete linear form. Arthur Cayley's A Memoir on the Theory of Matrices by Arthur Cayley (1858) treats matrices with operations of their own. The identity matrix is no longer the scalar $1$, though it plays an analogous role; matrix multiplication is generally noncommutative. For example,produce $AB=\mathrm{diag}(1,0)$ and $BA=\mathrm{diag}(0,1)$. This is a checkable reason why universal arithmetic can no longer mean that every rule of ordinary numbers applies unchanged.^[ref]

Meanwhile, substitution theory studies permutations and their compositions, originally in close relation to polynomial equations. Évariste Galois's work connects the solvability by radicals of an equation with its associated group. Augustin-Louis Cauchy's work on substitutions and Heinrich Weber's 1882 definition illustrate successive forms of generalisation: from particular permutations towards arbitrary elements satisfying operational conditions. This is not a claim that one man supplied the complete modern hierarchy of groups, rings and fields at once. It identifies the change in the question: one can now investigate what follows from the laws of an operation, independently of whether the elements are numbers, substitutions or classes.^[ref]

By 1900, algebra could concern the laws and structures of several calculi. Earlier meanings persisted in teaching and in the theory of equations. The strongest account of the change therefore combines continuity with enlargement: letters for general quantities, symbolic operations with explicit laws, nonnumerical interpretations, and structural questions about those laws. Analytical art foregrounded a method of discovery, universal arithmetic foregrounded general calculation, symbolical algebra foregrounded formal operations, and substitution theory foregrounded a particular class of transformations. Their differing uses help explain the expansion more precisely than a single date for the birth of abstraction.

A mathematician in Galileo Galilei's world was a practitioner situated within a particular division of knowledge and work. The word could embrace demonstrative geometry and arithmetic, but also astronomy, optics, mechanics, surveying, calendar calculation and the design or use of scientific instruments. Such mixed mathematics treated features of natural or practical objects through mathematical relations. It was neither identical to a present-day university department nor confined to calculation without claims about nature.

The distinction from a natural philosopher was important. Within a traditional university hierarchy, natural philosophy investigated the causes and principles of physical change. Mathematics could establish a relation between abstract quantities with great certainty, while opponents doubted whether it captured the constitution of a real body. Showing what follows for an ideal inclined plane, for example, leaves a further question about whether a particular apparatus realizes the assumptions closely enough. That question is not an objection which can be answered merely by producing a longer geometrical proof. The relation of abstraction, measurement and physical explanation was itself contested.^[ref]

There were also several routes to employment. A university teacher, an scientific instrument maker and someone serving a court or military patron might all perform mathematical work while possessing different income, status and audiences. Practical expertise in fortification, surveying or optics could bring rewards without establishing that its holder had authority over every question of natural philosophy. Conversely, a learned author could rely on the skills of people whose work was not credited equally in print. The important historical questions are what tasks were recognized, who paid for them, and whose testimony carried weight. A modern boundary between theoretical research and technical service would obscure these connections.

Galileo Galilei's career makes the contested boundary visible. The Sidereus Nuncius by Galileo Galilei communicated new observations through a manufactured telescope, successive drawings and an account intended to make unfamiliar objects credible. The work also addressed a courtly audience: naming the bodies accompanying Jupiter was part of presenting an achievement to a patron, not an incidental ornament added after a purely private discovery. The title and dedication situate mathematical work within relationships of employment and reputation.^[ref]

His mathematical treatment of motion likewise pressed beyond the role of calculating celestial appearances. In Two New Sciences by Galileo Galilei, a definition of uniform acceleration leads to a geometrical result in which travelled distance varies as the square of elapsed time. An inclined plane stretches the time of descent, making a comparison more manageable. In modern notation the relationship is $s=a{t}^2/2$ for release from rest. The notation is ours; the historically significant combination is an idealized proof, a proposed physical regularity and a reported experimental test.^[ref]

The label mathematician therefore cannot be read as a declaration that Galileo Galilei made no physical claims. Nor does his insistence on mathematical explanation prove that other occupations or disciplinary standards were irrelevant. His 1610 transition into Tuscan service, with the combined style of mathematician and philosopher, is evidence of the status being sought, rather than proof that the existing hierarchy had already disappeared. The case shows an investigator using scientific instruments, patronage and mathematical demonstration to enlarge the jurisdiction of his expertise. It also explains why a seemingly terminological distinction could become consequential in disputes over heliocentrism.^[ref]

Steven Shapin's challenge is persuasive as a criticism of a single, uniform founding event; it is much less persuasive if read as denying substantial changes in knowledge. His opening provocation introduces an argument about the diversity of early modern practices, purposes and standards. It should be assessed as a historical interpretation, rather than treated as a literal assertion that nothing happened. The useful question is whether the Scientific Revolution names an explanatory pattern or imposes an artificial unity on unlike developments.^[ref]

There is a strong case for retaining the category in a qualified form. Compare Aristotle's programme of explaining natural motion through the nature of bodies and different kinds of cause with Isaac Newton's organization of classical mechanics around definitions, Newton's laws of motion and mathematical consequences of specified forces. Newton's law of universal gravitation brought terrestrial falling bodies and planetary motion into one quantitative framework. That changed both the content of explanations and the problems they could solve: the same relation could constrain orbits, lunar motion and terrestrial gravitational acceleration. This is a substantial transformation even though Newtonian mechanics was later revised.^[ref][ref]

Instrumentation likewise altered what could count as evidence. Robert Boyle's air pump attached a transparent receiver to a mechanical means of removing air. Its value was not merely that an observer saw an unusual event. Successive operations could vary the condition of the enclosed gas, while observers compared such effects as the expansion of a partly inflated bladder and changes in combustion or animal breathing. The apparatus made contrasts that ordinary unaided observation could not easily produce. Yet its results depended on the quality of seals, the operator's skill and decisions about whether a trial had worked. Experiment was an organized achievement rather than nature speaking without mediation.^[ref]

The difficulty for an unqualified revolution narrative is that these changes did not have one method. Francis Bacon emphasized the disciplined ordering of instances and cautioned against premature generalization. Galileo Galilei deliberately reasoned about idealized motion, then connected its mathematical relations to particular trials. Isaac Newton built geometrical arguments concerning forces and used astronomical phenomena to select their application. These are related challenges to inherited authority, but not interchangeable versions of a universal method introduced on one date. Nor does a successful mathematical treatment of planetary motion establish an equally sudden transformation of all biology or medical practice.^{[ref][ref][ref]}

Continuities also matter. Euclid's Elements furnished a demonstrative tradition that early modern authors could adapt rather than invent. Existing astronomy supplied observations and problems without which a new celestial mechanics would have had little to explain. The Philosophiae Naturalis Principia Mathematica by Isaac Newton itself is predominantly geometrical in presentation: identifying modernity solely with replacement of geometry by symbolic calculus would misdescribe a central work of the supposed revolution. Equally, an investigator's religious commitments need not have disappeared for mathematical or experimental work to develop. The Philosophiae Naturalis Principia Mathematica by Isaac Newton's General Scholium combines claims about the limits of physical explanation with natural theology.^[ref][ref]

These qualifications expose a geographical and social selection problem. If the historian defines the event by a few successful European texts in astronomy and classical mechanics, then concludes that Europe suddenly acquired the scientific mentality, the selection has already determined much of the result. Robert Boyle's apparatus depended on skilled construction and operation; printed demonstrations depended on readers able to understand and assess them. A history of disembodied ideas misses the work that made claims credible. Conversely, locating that work in a social setting does not invalidate the measured relationships or make every contemporary theory equally successful.

The Scientific Revolution is defensible as a retrospective name for interconnected, uneven transformations, especially in astronomy, classical mechanics and experimental practice. It is misleading as a single moment when a universal scientific essence replaced ignorance. Steven Shapin's provocation improves the category by forcing its boundaries and assumptions into view. Abandoning the capitalized label is optional; abandoning the expectation of one origin, one method and one uniformly affected society is the more important historical correction.

Isaac Newton made the greater contribution if the criterion is the scope and explanatory integration of mathematical natural philosophy; Galileo Galilei has the stronger claim if the criterion is the formative transformation of how terrestrial motion could be investigated. The first criterion gives a defensible overall verdict for Isaac Newton, but a serious comparison must show what each changed rather than award credit according to who worked later.

Galileo Galilei's contribution was not simply to attach numbers to familiar events. In the Third Day of Two New Sciences by Galileo Galilei, he defines uniformly accelerated motion by equal additions of speed in equal intervals of time, then derives consequences. Starting from rest, the modern notation is $v=at$; the mean speed over the interval is $at/2$, soHence distances in successive equal intervals have the ratios $1:3:5:7:\dots$. The novelty lies in making a precisely specified kind of motion the subject of mathematical demonstration, with observed falls assessed against its consequences. This is not the same as deriving the underlying physical cause of gravity.^[ref]

The reported apparatus shows how such an idealization could be investigated. A smooth bronze ball descended in a straight grooved wooden channel, raised at one end. Water discharged through a small opening into a vessel during the descent; its collected mass served as a measure of elapsed time. Repeating runs over different portions of the channel compared the predicted squared dependence of time on distance. The inclined plane slowed the event, while repetition and weighing made a temporal comparison possible without a modern stopwatch. The published report is evidence of Galileo Galilei's experimental presentation, not a surviving raw-data archive from which every reported precision can now be reconstructed.^[ref]

A necessary physical qualification is often missed. A ball in rolling without slipping is not a point particle sliding without friction. For a solid sphere on an ideal inclined plane, modern rigid body dynamics gives $a=5g\sin \alpha /7$, rather than $g\sin \alpha$. Both are constant accelerations, so both give $s\propto t^2$. The trial can therefore test the temporal form without directly establishing the free-fall coefficient. This distinction makes the experiment more intelligible: the evidence supports a specified relation under approximations, rather than every detail of a modern idealization.

The Fourth Day extends this approach to projectile motion. Combine uniform horizontal velocity $u$ with constant downward acceleration $g$, taking downward displacement positive. Then $x=ut$ and $y=g{t}^2/2$. Eliminating time givesa parabola. Actual projectiles experience air resistance, but the ideal curve organizes the effects that need separate treatment. Galileo Galilei thus gave a powerful example of how mathematical abstraction and physical observation could cooperate.^[ref]

Isaac Newton went further by connecting kinds of motion through a general account of force. Newton's second law links the change of momentum to the impressed force; for constant mass, its modern differential expression is $\mathbf{F}=m\mathbf{a}$. Newton's third law makes interaction reciprocal, enabling a consistent analysis of interacting bodies. The Philosophiae Naturalis Principia Mathematica by Isaac Newton develops consequences of central forces and then asks which laws fit astronomical phenomena. Mathematical deduction now connects measurable orbits to an underlying force law, rather than just describing each trajectory separately.^[ref]

A simple modern reconstruction shows the increase in explanatory reach. For a circular orbit of radius $r$ and orbital period $T$ about a much more massive central body, centripetal acceleration is $4{\pi }^{2}r/T^2$. Kepler's third law, $T^2\propto r^3$, therefore implies an acceleration proportional to $r^{-2}$. This circular argument is illustrative; Isaac Newton's treatment of elliptical orbits is more general. With Newton's law of universal gravitation,the two-body orbital period is tied to the semimajor axis $a$ and both masses. The same theory connects the Moon's orbital acceleration with terrestrial gravity, and supports further investigations of tides, comets and departures from a simple two-body orbit.^[ref]

This achievement depended on more than two individuals. Johannes Kepler's relations supplied crucial astronomical constraints, and both authors inherited geometry, observational records and technical practices. Nor should the Philosophiae Naturalis Principia Mathematica by Isaac Newton be described simply as the first application of symbolic calculus: its published arguments are largely geometrical. What distinguishes Isaac Newton is the demonstrative network uniting terrestrial and celestial problems, together with explicit idealizations whose failures generated further calculable questions.

On breadth, quantitative unification and the inference from motion to force, Isaac Newton's contribution was greater. Galileo Galilei's work supplied an exemplary way to mathematize terrestrial motion and test its idealized relations. Giving the former the overall verdict should therefore acknowledge the latter's distinct foundational achievement, not portray the Philosophiae Naturalis Principia Mathematica by Isaac Newton as a creation without predecessors.

Peter G. Doyle is a mathematician whose work connects geometry, combinatorics and probability theory. His book with J. Laurie Snell explains how a random walk on a graph can be studied through an electrical network: a probability of reaching one boundary before another satisfies the same averaging equations as an electrical potential.^[ref] His work on isospectral manifolds also investigates how much geometry can be recovered from the spectrum of a differential operator: equal vibration frequencies need not determine the shape.^[ref]

Homepage: faculty-directory.dartmouth.edu/peter-doyle

A point represents a position without spatial extent. In Euclidean space ${\mathbb{R}}^n$, choosing a coordinate system specifies a point by $n$ real numbers. The difference of two points is a displacement vector; a single point has no preferred origin. For example, $(1,2)$ and $(4,6)$ have displacement $(3,4)$ and Euclidean distance five. In axiomatic geometry, points can instead be primitive objects governed by incidence axioms.^[ref]

A rain gauge measures precipitation collected over a known horizontal area. The reported rainfall depth is collected liquid volume divided by collector area: $h=V/A$. A tipping-bucket gauge converts repeated fixed-volume tips into accumulated depth; a weighing gauge measures collected mass.

Wind can deflect drops around the opening, and evaporation, splashing or freezing can bias the result. A gauge samples one location, so its reading need not represent a whole catchment during spatially uneven rain. The instrument geometry and exposure are therefore part of interpreting the observation.

Ramon van Handel authored notes on probability theory in high dimensions connecting probability theory, analysis and geometry. The notes develop concentration of measure, Gaussian processes and related inequalities through common mechanisms such as tensorization of entropy. This viewpoint explains why a function of many independent inputs can be tightly concentrated even when the full input space has very high dimension.^[ref]

A Riemann surface is a connected one-complex-dimensional manifold with local complex coordinates whose transition maps are holomorphic. It is locally a piece of the complex plane, but its global shape can be a sphere, a torus or a surface with more handles. The coordinate compatibility makes holomorphic functions and meromorphic functions meaningful independently of the chosen chart.

The relation $w^2=z$ illustrates why these surfaces are useful. Away from zero, each $z$ has two square-root values; on the surface parametrized by $w$, the function $w$ is single-valued and the projection to $z=w^2$ records the two sheets. The apparent branch cut in the plane is replaced by the geometry of the projection.

A robot is a programmed, actuated mechanism that performs physical tasks such as locomotion, manipulation or positioning with some degree of autonomy. Its control system belongs to the robot, alongside the mechanism. The IFR’s primary classification document reproduces this broad ISO definition and distinguishes it from the narrower definition of an industrial manipulator.^[ref]

A practical robot combines a physical mechanism, actuators, task instructions and, where required by the task, sensing and feedback control. An arm’s joint arrangement constrains the positions it can reach; a mobile mechanism must also sustain contact and balance. The degree of autonomy is a task-specific property rather than a guarantee of unrestricted reasoning or competence.

An original two-link planar arm illustrates the relationship between structure and task. For unit link lengths and joint angles $q_1,q_2$, measured with the second angle relative to the first link, forward kinematics givesAt $q_1=0$ and $q_2=\pi /2$, the endpoint is $(1,1)$; with both angles zero it is $(2,0)$. Inverse kinematics asks which joint values achieve a requested endpoint, while control must make the actual mechanism follow the intended motion.^[ref]

Reaching a geometric target is only one part of an experiment. Position error, repeatability, applied force, execution time and behavior after a disturbance measure different aspects of performance. An arm can have an accurate kinematic model yet deviate under load; a controller can compensate only within its sensing, actuation and timing limits.

The MIT Cheetah robot provides a contrasting locomotion example: perception, contact planning and force generation are coordinated while the mechanism is moving. Such examples connect the physical meaning of a robot with mechanics, geometry, computation and experimental verification of a defined task.

Robotics studies the design, modelling and control of machines that interact with their surroundings through sensing and motion. A robot combines sensors, actuators, computation and a mechanical structure. A robot arm must relate joint motion to the position and orientation of its end effector; a mobile robot must also estimate where it is relative to its environment.^[ref]

Kinematics asks which motions a mechanism permits. Dynamics determines the forces and torques needed to produce them, while feedback control corrects deviations using measurements. A desired path is useful only when the mechanism can realize it within constraints such as motor effort, contact and obstacles. These connections make robotics a meeting point of mechanics, geometry, statistical inference and control theory.

A sonic anemometer measures wind from acoustic travel times between transducers. For path length $L$ aligned with velocity component $u$, the idealized transit times are $t_{+}=L/(c+u)$ and $t_{-}=L/(c-u)$, givingThe reciprocal-time difference removes the common sound speed in this model. Several paths recover a velocity vector. Transducer wakes, path averaging and precipitation can affect the measurement, so geometry and calibration matter when using it for turbulent fluxes.

William Thurston was a mathematician who transformed the study of three-dimensional manifolds by connecting topology with geometry, especially hyperbolic geometry. His work showed that geometric structures could organize broad classes of spaces previously approached mainly through topological constructions. He received the Fields Medal in 1982 for work in low-dimensional topology.^[ref] The central shift was to seek a geometry adapted to the space: distances and curvature then become tools for understanding its topological structure. His work also connected knot theory, complex analysis and computational questions about manifolds.

Will J. Merry coauthored notes with Gabriel Paternain on inverse problems in geometry and dynamical systems. They develop geodesic flows, the Anosov flows and Livšic theorem as tools for reconstruction. A recurring idea is to infer information about a function or a Riemannian metric from integrals along trajectories, rather than from direct measurements at every interior point.^[ref]