A differential extension of Descartes' foundational approach: A new balance between symbolic and analog computation

@article{Milici2020ADE,
  title={A differential extension of Descartes' foundational approach: A new balance between symbolic and analog computation},
  author={Pietro Milici},
  journal={Comput.},
  year={2020},
  volume={9},
  pages={51-83}
}
  • Pietro Milici
  • Published 4 April 2019
  • Computer Science, Mathematics
  • Comput.
In La G\'eom\'etrie, Descartes proposed a balance between geometric constructions and symbolic manipulation with the introduction of suitable ideal machines. In modern terms, that is a balance between analog and symbolic computation. Descartes' geometric foundational approach (analysis without infinitary objects and synthesis with diagrammatic constructions) has been extended beyond the limits of algebraic polynomials in two different periods: by late 17th century tractional motion and by early… 
4 Citations
Touching the transcendentals: tractional motion from the bir th of calculus to future perspectives
When the rigorous foundation of calculus was developed, it marked an epochal change in the approach of mathematicians to geometry. Tools from geometry had been one of the foundations of mathematics
Gardener’s Hyperbolas and the Dragged-Point Principle
Abstract We propose a new simple construction of hyperbolas, via a string passing through the foci, that shares properties of the classic “gardener’s ellipse” construction and Perrault’s construction
A Complete Bibliography of Computability
above [CDHTM20]. admissible [Joh20]. affine [BA15]. Algebraic [DHS13]. algebras [AZ19]. algorithm [CD18, CD20]. Algorithmic [FrKHNS14, STZDG13, Muc16]. algorithmically [HTKT19]. Analog [PZ18, Mil20].
A 3D-printable machine for conics and oblique trajectories

References

SHOWING 1-10 OF 68 REFERENCES
Transcendental Curves in the Leibnizian Calculus
In the late 17th century, mathematics was at the brink of an identity crisis. For millennia, mathematical meaning and ontology had been anchored in geometrical constructions, as epitomised by
A Geometrical Constructive Approach to Infinitesimal Analysis: Epistemological Potential and Boundaries of Tractional Motion
Recent foundational approaches to Infinitesimal Analysis are essentially algebraic or computational, whereas the first approaches to such problems were geometrical. From this perspective, we may
Differential Equations from the Algebraic Standpoint
THIS book gives a connected account of the author's researches on the algebraic side of the theory of differential equations and forms a welcome addition to the literature of the subject, for this
Symbolic Analysis for Boundary Problems: From Rewriting to Parametrized Gröbner Bases
TLDR
The canonical simplifier for integro-differential polynomials is used for generating an automated proof establishing a canonical simplifiers for integrospecific operators in the Theorema system.
Transforming problems from analysis to algebra: A case study in linear boundary problems
TLDR
This paper summarizes recent work on establishing an algorithm for the symbolic solution of linear boundary problems in the frame of Wen-Tsun Wu's approach to algorithmic problem solving in analysis, geometry, and logic by mapping the significant aspects of the underlying domains into algebra.
Euclidian Geometry in Terms of Automata Theory
  • U. Huckenbeck
  • Computer Science, Mathematics
    Theor. Comput. Sci.
  • 1989
TLDR
This work introduces the A -GCM 0, a machine whose primitives are the basic euclidian operations with compass and ruler, and gives a generalclass of oracle sets A which yield a real extension of the class of constructible functions, and considers another large class of oracles which do not.
The development of fractional calculus 1695–1900
Abstract This paper describes an example of mathematical growth from scholarly curiousity to application. The contributions of Liouville, Riemann, and Laurent to the field of fractional operators are
On initial value problems for ordinary differential-algebraic equations
TLDR
Systems of ordinary differential equations which are polynomial in the unknown functions and their derivatives are considered, for which an existence and uniqueness theorem is proved, which identifies the algebraic constraints on initial conditions.
A BRIEF HISTORY AND EXPOSITION OF THE FUNDAMENTAL THEORY OF FRACTIONAL CALCULUS
This opening lecture is intended to serve as a propaedeutic for the papers to be presented at this conference whose nonhomogeneous audience includes scientists, mathematicians, engineers and
Groebner Bases and Differential Algebra
TLDR
The notion of A-Gr6bner basis arises in natural way but unfortunately there are finitely A-generated ~-ideels that have no such a basis, so this approach cannot be used to solve the membership problem.
...
1
2
3
4
5
...