|
Saccheri
Giovanni Girolamo Saccheri (; 5 September 1667 – 25 October 1733) was an Italian Jesuit priest, scholastic philosopher, and mathematician. Saccheri was born in Sanremo. He entered the Jesuit order in 1685 and was ordained as a priest in 1694. He taught philosophy at the University of Turin from 1694 to 1697 and philosophy, theology and mathematics at the University of Pavia from 1697 until his death. He was a protégé of the mathematician Tommaso Ceva and published several works including ''Quaesita geometrica'' (1693), ''Logica demonstrativa'' (1697), and ''Neo-statica'' (1708). Geometrical work He is primarily known today for his last publication, in 1733 shortly before his death. Now considered an early exploration of non-Euclidean geometry, ''Euclides ab omni naevo vindicatus'' (''Euclid Freed of Every Flaw'') languished in obscurity until it was rediscovered by Eugenio Beltrami, in the mid-19th century. The intent of Saccheri's work was ostensibly to establish the val ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Non-Euclidean Geometry
In mathematics, non-Euclidean geometry consists of two geometries based on axioms closely related to those that specify Euclidean geometry. As Euclidean geometry lies at the intersection of metric geometry and affine geometry, non-Euclidean geometry arises by either replacing the parallel postulate with an alternative, or relaxing the metric requirement. In the former case, one obtains hyperbolic geometry and elliptic geometry, the traditional non-Euclidean geometries. When the metric requirement is relaxed, then there are affine planes associated with the planar algebras, which give rise to kinematic geometries that have also been called non-Euclidean geometry. The essential difference between the metric geometries is the nature of parallel lines. Euclid's fifth postulate, the parallel postulate, is equivalent to Playfair's postulate, which states that, within a two-dimensional plane, for any given line and a point ''A'', which is not on , there is exactly one line throu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Saccheri - Logica Demonstrativa, 1701 - 1374661
Giovanni Girolamo Saccheri (; 5 September 1667 – 25 October 1733) was an Italian Jesuit priest, scholastic philosopher, and mathematician. Saccheri was born in Sanremo. He entered the Jesuit order in 1685 and was ordained as a priest in 1694. He taught philosophy at the University of Turin from 1694 to 1697 and philosophy, theology and mathematics at the University of Pavia from 1697 until his death. He was a protégé of the mathematician Tommaso Ceva and published several works including ''Quaesita geometrica'' (1693), ''Logica demonstrativa'' (1697), and ''Neo-statica'' (1708). Geometrical work He is primarily known today for his last publication, in 1733 shortly before his death. Now considered an early exploration of non-Euclidean geometry, ''Euclides ab omni naevo vindicatus'' (''Euclid Freed of Every Flaw'') languished in obscurity until it was rediscovered by Eugenio Beltrami, in the mid-19th century. The intent of Saccheri's work was ostensibly to establish the va ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Saccheri 1733 - Euclide Ab Omni Naevo Vindicatus
Giovanni Girolamo Saccheri (; 5 September 1667 – 25 October 1733) was an Italian Jesuit priest, scholastic philosopher, and mathematician. Saccheri was born in Sanremo. He entered the Jesuit order in 1685 and was ordained as a priest in 1694. He taught philosophy at the University of Turin from 1694 to 1697 and philosophy, theology and mathematics at the University of Pavia from 1697 until his death. He was a protégé of the mathematician Tommaso Ceva and published several works including ''Quaesita geometrica'' (1693), ''Logica demonstrativa'' (1697), and ''Neo-statica'' (1708). Geometrical work He is primarily known today for his last publication, in 1733 shortly before his death. Now considered an early exploration of non-Euclidean geometry, ''Euclides ab omni naevo vindicatus'' (''Euclid Freed of Every Flaw'') languished in obscurity until it was rediscovered by Eugenio Beltrami, in the mid-19th century. The intent of Saccheri's work was ostensibly to establish the va ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Parallel Postulate
In geometry, the parallel postulate, also called Euclid's fifth postulate because it is the fifth postulate in Euclid's ''Elements'', is a distinctive axiom in Euclidean geometry. It states that, in two-dimensional geometry: ''If a line segment intersects two straight lines forming two interior angles on the same side that are less than two right angles, then the two lines, if extended indefinitely, meet on that side on which the angles sum to less than two right angles.'' This postulate does not specifically talk about parallel lines; it is only a postulate related to parallelism. Euclid gave the definition of parallel lines in Book I, Definition 23 just before the five postulates. ''Euclidean geometry'' is the study of geometry that satisfies all of Euclid's axioms, ''including'' the parallel postulate. The postulate was long considered to be obvious or inevitable, but proofs were elusive. Eventually, it was discovered that inverting the postulate gave valid, albeit diffe ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Parallel Postulate
In geometry, the parallel postulate, also called Euclid's fifth postulate because it is the fifth postulate in Euclid's ''Elements'', is a distinctive axiom in Euclidean geometry. It states that, in two-dimensional geometry: ''If a line segment intersects two straight lines forming two interior angles on the same side that are less than two right angles, then the two lines, if extended indefinitely, meet on that side on which the angles sum to less than two right angles.'' This postulate does not specifically talk about parallel lines; it is only a postulate related to parallelism. Euclid gave the definition of parallel lines in Book I, Definition 23 just before the five postulates. ''Euclidean geometry'' is the study of geometry that satisfies all of Euclid's axioms, ''including'' the parallel postulate. The postulate was long considered to be obvious or inevitable, but proofs were elusive. Eventually, it was discovered that inverting the postulate gave valid, albeit diffe ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Omar Khayyám
Ghiyāth al-Dīn Abū al-Fatḥ ʿUmar ibn Ibrāhīm Nīsābūrī (18 May 1048 – 4 December 1131), commonly known as Omar Khayyam ( fa, عمر خیّام), was a polymath, known for his contributions to mathematics, astronomy, philosophy, and Persian poetry. He was born in Nishapur, the initial capital of the Seljuk Empire. As a scholar, he was contemporary with the rule of the Seljuk dynasty around the time of the First Crusade. As a mathematician, he is most notable for his work on the classification and solution of cubic equations, where he provided geometric solutions by the intersection of conics. Khayyam also contributed to the understanding of the parallel axiom.Struik, D. (1958). "Omar Khayyam, mathematician". ''The Mathematics Teacher'', 51(4), 280–285. As an astronomer, he calculated the duration of the solar year with remarkable precision and accuracy, and designed the Jalali calendar, a solar calendar with a very precise 33-year intercalation cycle''The Camb ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hyperbolic Geometry
In mathematics, hyperbolic geometry (also called Lobachevskian geometry or Bolyai–Lobachevskian geometry) is a non-Euclidean geometry. The parallel postulate of Euclidean geometry is replaced with: :For any given line ''R'' and point ''P'' not on ''R'', in the plane containing both line ''R'' and point ''P'' there are at least two distinct lines through ''P'' that do not intersect ''R''. (Compare the above with Playfair's axiom, the modern version of Euclid's parallel postulate.) Hyperbolic plane geometry is also the geometry of pseudospherical surfaces, surfaces with a constant negative Gaussian curvature. Saddle surfaces have negative Gaussian curvature in at least some regions, where they locally resemble the hyperbolic plane. A modern use of hyperbolic geometry is in the theory of special relativity, particularly the Minkowski model. When geometers first realised they were working with something other than the standard Euclidean geometry, they described their ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hyperbolic Geometry
In mathematics, hyperbolic geometry (also called Lobachevskian geometry or Bolyai–Lobachevskian geometry) is a non-Euclidean geometry. The parallel postulate of Euclidean geometry is replaced with: :For any given line ''R'' and point ''P'' not on ''R'', in the plane containing both line ''R'' and point ''P'' there are at least two distinct lines through ''P'' that do not intersect ''R''. (Compare the above with Playfair's axiom, the modern version of Euclid's parallel postulate.) Hyperbolic plane geometry is also the geometry of pseudospherical surfaces, surfaces with a constant negative Gaussian curvature. Saddle surfaces have negative Gaussian curvature in at least some regions, where they locally resemble the hyperbolic plane. A modern use of hyperbolic geometry is in the theory of special relativity, particularly the Minkowski model. When geometers first realised they were working with something other than the standard Euclidean geometry, they described their ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Saccheri–Legendre Theorem
In absolute geometry, the Saccheri–Legendre theorem states that the sum of the angles in a triangle is at most 180°. Absolute geometry is the geometry obtained from assuming all the axioms that lead to Euclidean geometry with the exception of the axiom that is equivalent to the parallel postulate of Euclid.There are many axiom systems that yield Euclidean geometry and they all contain an axiom that is logically equivalent to Euclid's parallel postulate. The theorem is named after Giovanni Girolamo Saccheri and Adrien-Marie Legendre. The existence of at least one triangle with angle sum of 180 degrees in absolute geometry implies Euclid's parallel postulate. Similarly, the existence of at least one triangle with angle sum of less than 180 degrees implies the characteristic postulate of hyperbolic geometry. Max Dehn gave an example of a non-Legendrian geometry In geometry, Max Dehn introduced two examples of planes, a semi-Euclidean geometry and a non-Legendrian geometry, that ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Tommaso Ceva
Tommaso Ceva (December 20, 1648 – February 3, 1737) was an Italian Jesuit mathematician from Milan. He was the brother of Giovanni Ceva. Biography From a wealthy Milanese family, Ceva entered the Society of Jesus in 1663. He taught mathematics and rhetoric at the Jesuit College of Brera in Milan for thirty-eight years. His most famous student was Giovanni Girolamo Saccheri. He was one the main representatives of Celia Grillo Borromeo's Academia Vigilantium. Joseph I named Ceva Caesarian Theologian early in the 18th century. His first scientific work, ''De natura gravium'' (1669), dealt with physical subjects - such as gravity and free fall - in a philosophical way. His only mathematical work, published in 1699 was the ''Opuscula Mathematica'' which dealt with geometry, gravity and arithmetic. Ceva designed an instrument to divide a right angle into a specified number of equal parts. He was also a noted poet and dedicated a significant amount of his time to this task. H ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
University Of Pavia
The University of Pavia ( it, Università degli Studi di Pavia, UNIPV or ''Università di Pavia''; la, Alma Ticinensis Universitas) is a university located in Pavia, Lombardy, Italy. There was evidence of teaching as early as 1361, making it one of the oldest universities in the world. It was the sole university in Milan and the greater Lombardy region until the end of the 19th century. In 2022 the University was recognized by the Times Higher Education among the top 10 in Italy and among the 300 best in the world. Currently, it has 18 departments and 9 faculties. It does not have a main campus; its buildings and facilities are scattered around the city, which is in turn called "a city campus." The university caters to more than 20,000 students who come from Italy and all over the world. The university offers more than 80 undergraduate programs; over 40 master programs, and roughly 20 doctoral programs (including 8 in English). About 1,500 students who enter the university every ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
John Corcoran (logician)
John Corcoran ( ; 20 March 1937 - 8 January 2021) was an American logician, philosopher, mathematician, and historian of logic. He is best known for his philosophical work on concepts such as the nature of inference, relations between conditions, argument-deduction-proof distinctions, the relationship between logic and epistemology, and the place of proof theory and model theory in logic. Nine of Corcoran's papers have been translated into Spanish, Portuguese, Persian, and Arabic; his 1989 "signature" essay was translated into three languages. Fourteen of his papers have been reprinted; one was reprinted twice. His work on Aristotle's logic of the ''Prior Analytics'' is regarded as being highly faithful both to the Greek text and to the historical context. It is the basis for many subsequent investigations. His mathematical results on definitional equivalence of formal character-string theories, sciences of strings of characters over finite alphabets, are foundational for ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
