Search results
Results from the WOW.Com Content Network
In geometry, there was a clear need for a new set of axioms, which would be complete, and which in no way relied on pictures we draw or on our intuition of space. Such axioms, now known as Hilbert's axioms, were given by David Hilbert in 1894 in his dissertation Grundlagen der Geometrie (Foundations of Geometry).
Girard Desargues (1591–1661) – projective geometry; Desargues' theorem; René Descartes (1596–1650) – invented the methodology of analytic geometry, also called Cartesian geometry after him; Pierre de Fermat (1607–1665) – analytic geometry; Blaise Pascal (1623–1662) – projective geometry; Christiaan Huygens (1629–1695) – evolute
Euclid (/ ˈ j uː k l ɪ d /; Ancient Greek: Εὐκλείδης; fl. 300 BC) was an ancient Greek mathematician active as a geometer and logician. [2] Considered the "father of geometry", [3] he is chiefly known for the Elements treatise, which established the foundations of geometry that largely dominated the field until the early 19th century.
Proof by construction, or proof by example, is the construction of a concrete example with a property to show that something having that property exists. Joseph Liouville , for instance, proved the existence of transcendental numbers by constructing an explicit example .
The Elements (Ancient Greek: Στοιχεῖα Stoikheîa) is a mathematical treatise consisting of 13 books attributed to the ancient Greek mathematician Euclid c. 300 BC. It is a collection of definitions, postulates, propositions (theorems and constructions), and mathematical proofs of the propositions.
Greek mathematics constitutes an important period in the history of mathematics: fundamental in respect of geometry and for the idea of formal proof. [44] Greek mathematicians also contributed to number theory, mathematical astronomy, combinatorics, mathematical physics, and, at times, approached ideas close to the integral calculus. [45] [46]
1870 – Felix Klein constructs an analytic geometry for Lobachevski's geometry thereby establishing its self-consistency and the logical independence of Euclid's fifth postulate, 1873 – Charles Hermite proves that e is transcendental, 1878 – Charles Hermite solves the general quintic equation by means of elliptic and modular functions
The formula is credited to Heron (or Hero) of Alexandria (fl. 60 AD), [4] and a proof can be found in his book Metrica. Mathematical historian Thomas Heath suggested that Archimedes knew the formula over two centuries earlier, [ 5 ] and since Metrica is a collection of the mathematical knowledge available in the ancient world, it is possible ...