The History of Differential Equations, 1670–1950
Why this work is in the frame
A frame that forgets how it found something cannot be audited. These are the routes that admitted this work.
Bibliographic record
Abstract
Differential equations have been a major branch of pure and applied mathematics since their inauguration in the mid 17th century. While their history has been well studied, it remains a vital field of on-going investigation, with the emergence of new connections with other parts of mathematics, fertile interplay with applied subjects, interesting reformulation of basic problems and theory in various periods, new vistas in the 20th century, and so on. In this meeting we considered some of the principal parts of this story, from the launch with Newton and Leibniz up to around 1950. ‘Differential equations’ began with Leibniz, the Bernoulli brothers and others from the 1680s, not long after Newton's ‘fluxional equations’ in the 1670s. Applications were made largely to geometry and mechanics; isoperimetrical problems were exercises in optimisation. Most 18th-century developments consolidated the Leibnizian tradition, extending its multi-variate form, thus leading to partial differential equations. Generalisation of isoperimetrical problems led to the calculus of variations. New figures appeared, especially Euler, Daniel Bernoulli, Lagrange and Laplace. Development of the general theory of solutions included singular ones, functional solutions and those by infinite series. Many applications were made to mechanics, especially to astronomy and continuous media. In the 19th century: general theory was enriched by development of the understanding of general and particular solutions, and of existence theorems. More types of equation and their solutions appeared; for example, Fourier analysis and special functions. Among new figures, Cauchy stands out. Applications were now made not only to classical mechanics but also to heat theory, optics, electricity and magnetism, especially with the impact of Maxwell. Later Poincaré introduced recurrence theorems, initially in connection with the three-body problem. In the 20th century: general theory was influenced by the arrival of set theory in mathematical analysis; with consequences for theorisation, including further topological aspects. New applications were made to quantum mathematics, dynamical systems and relativity theory.
Fetched live from OpenAlex and de-inverted. Abstracts are not stored in this database: the inverted indexes are 8.6 GB of the frame’s 9.3 GB of text, and the host has 13 GB free.
Full frame distilled prediction
Teacher imitationNot calibrated prevalence, not ground truth. Human validation pending. Learned from the 10,348 direct Codex labels and 10,348 direct Gemma labels. Candidate is the union of thresholded teacher heads; consensus is their intersection. These outputs are machine_predicted_unvalidated and are not human labels or direct frontier model labels.
Codex and Gemma teacher scores by category
| Category | Codex | Gemma |
|---|---|---|
| Metaresearch | 0.001 | 0.001 |
| Meta-epidemiology (narrow) | 0.000 | 0.000 |
| Meta-epidemiology (broad) | 0.000 | 0.000 |
| Bibliometrics | 0.000 | 0.000 |
| Science and technology studies | 0.000 | 0.000 |
| Scholarly communication | 0.000 | 0.000 |
| Open science | 0.000 | 0.000 |
| Research integrity | 0.000 | 0.000 |
| Insufficient payload (model declined to judge) | 0.001 | 0.000 |
Machine scores (provisional)
The two teacher heads of the student model, read on this work. A score orders the frame for review; it never asserts a category, and the validation status ships verbatim with every row.
Baseline scores from an immature model (maturity gate not passed, 7 training rounds). Scores rank; they never assert a category.
score_only:v0-immature-baseline · verbatim from the scoring run: score_only means the number may rank works, and no category label ships from it