scientific article
From MaRDI portal
Publication:3234138
zbMath0071.24203MaRDI QIDQ3234138
Publication date: 1956
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Collected or selected works; reprintings or translations of classics (01A75) History of Greek and Roman mathematics (01A20)
Related Items
The Jesuits and the method of indivisibles ⋮ J. Zaragosa's centrum minimum, an early version of barycentric geometry ⋮ Book review of: A. Papadoupoulos and G. Théret, La théorie des lignes paralléles de Johann Heinrich Lambert; G. Saccheri, Euclid vindicated from every blemish. Edited by V. de Risi ⋮ Metamathematical investigations on the theory of grossone ⋮ Origins of the analysis of the Euclidean algorithm ⋮ From informal to formal proofs in Euclidean geometry ⋮ Implementing Euclid's straightedge and compass constructions in type theory ⋮ Proof-checking Euclid ⋮ Book review of: R. Hart, Imagined civilizations. China, the West, and their first encounter ⋮ ``Complex numbers and the problem of multiplication between quantities ⋮ False position in Leonardo of Pisa's \textit{Liber abbaci} ⋮ Doubling the cube: A new interpretation of its significance for early Greek geometry ⋮ Euclidean geometry in the mathematical tradition of Islamic India ⋮ Cognitive unity of Thales' mathematics ⋮ Why Proof? A Historian’s Perspective ⋮ Edition of the Istikmāl d'al-Mu'taman (XIth century) by Ibn Sartāq, a mathematician of the XIIIth-XIVth centuries ⋮ H.S.M. Coxeter's theory of accessibility: from Mario Pieri to Marvin Greenberg ⋮ Some comments on six inequalities associated with the inefficiency of ordinary least squares with one regressor ⋮ On the circumcentered-reflection method for the convex feasibility problem ⋮ Mathematical diagrams from manuscript to print: examples from the Arabic Euclidean transmission ⋮ The forgotten individual: diagrammatic reasoning in mathematics ⋮ The mathematical form of measurement and the argument for Proposition I in Newton's \textit{Principia} ⋮ Bias-independent constructions from biased bisection and adjacency judgements ⋮ Orthocentric simplices as the true generalizations of triangles ⋮ Lack of relative monotonicity among various measures of trihedral angles ⋮ The ritual origin of geometry ⋮ On the relationship between geometric objects and figures in Euclidean geometry ⋮ The open mouth theorem, or the scissors lemma, for orthocentric tetrahedra ⋮ Revisiting al-Samaw'al's table of binomial coefficients: Greek inspiration, diagrammatic reasoning and mathematical induction ⋮ Marriages of incommensurables: \(\phi\)-related ratios joined with 2 and 3 ⋮ Leonardo's Vitruvian man drawing: a new interpretation looking at Leonardo's geometric constructions ⋮ Further adventures of the Rome 1594 Arabic redaction of Euclid's \textit{Elements} ⋮ Social processes and proofs of theorems and programs ⋮ On the inconsistency of Mumma's Eu ⋮ Extended mathematical cognition: external representations with non-derived content ⋮ The open mouth theorem in higher dimensions ⋮ The origin of dimensional analysis ⋮ Irrationality of the square root of 2: the early Pythagorean proof, Theodorus's and Theaetetus's generalizations ⋮ Quadrivium: the structure of mathematics as described in Isidore of Seville's \textit{Etymologies} ⋮ The area method. A recapitulation ⋮ Methods and traditions of Babylonian mathematics. Plimpton 322, Pythagorean triples, and the Babylonian triangle parameter equations ⋮ Infinitesimals and infinites in the history of mathematics: a brief survey ⋮ How trisections of the angle were transmitted from Greek to Islamic geometry ⋮ The debate between Peletier and Clavius on superposition ⋮ Optimal control solutions to the maximum volume isoperimetric pillars problem ⋮ What did Gauss read in the appendix? ⋮ Concurrency of the altitudes of a triangle ⋮ Unnamed Item ⋮ Quasi-selective ultrafilters and asymptotic numerosities ⋮ Reducing radicals in the spirit of Euclid ⋮ A reconstruction of the Frenicle-Fermat correspondence ⋮ Geometric Metrics for Topological Representations ⋮ A constructive version of Tarski's geometry ⋮ Open texture and mathematics ⋮ Visualizations in mathematics ⋮ Bridging the gap between analytic and synthetic geometry: Hilbert's axiomatic approach ⋮ Symbolic language in early modern mathematics: The algebra of Pierre Hérigone (1580-1643) ⋮ Completion, reduction and analysis: three proof-theoretic processes in aristotle’sprior analytics ⋮ Was Euclid an unnecessarily sophisticated psychologist? ⋮ The pons asinorum and related theorems for tetrahedra ⋮ Computational complexity of diagram satisfaction in Euclidean geometry ⋮ Euclid and the fundamental theorem of arithmetic ⋮ Renaissance notions of number and magnitude ⋮ Diagrams in the Arabic Euclidean tradition: a preliminary assessment ⋮ The role of diagrams in mathematical arguments ⋮ The first Chinese translation of the last nine books of Euclid's \textit{Elements} and its source ⋮ Numerosities of point sets over the real line ⋮ A new look at Galileo's search for mathematical proofs ⋮ Did Euclid's elements, Book I, develop geometry axiomatically? ⋮ Prelude to dimension theory: The geometrical investigations of Bernard Bolzano ⋮ Matrix representation of the shifting operation and numerical properties of the ERES method for computing the greatest common divisor of sets of many polynomials ⋮ Infinitude of primes: Euclid's proof using angles between lattice vectors ⋮ Euclidean geometry and physical space ⋮ The ubiquitous axiom ⋮ Methodological Practice and Complementary Concepts of Logical Consequence: Tarski's Model-Theoretic Consequence and Corcoran's Information-Theoretic Consequence ⋮ Logical form, mathematical practice, and Frege's \textit{Begriffsschrift} ⋮ Zloković's understandings of reciprocal concatenation ⋮ Two efficient algorithms for the computation of ideal sums in quadratic orders ⋮ David Hilbert and the foundations of the theory of plane area ⋮ Exploring the fruitfulness of diagrams in mathematics ⋮ Equivalence: an attempt at a history of the idea ⋮ Notes on Thābit ibn Qurra and his rule for amicable numbers ⋮ CHARACTERIZING DIGITAL STRAIGHTNESS AND DIGITAL CONVEXITY BY MEANS OF DIFFERENCE OPERATORS ⋮ Beiträge zur axiomatischen Inhaltstheorie ⋮ Building Mathematics-Based Software Systems to Advance Science and Create Knowledge ⋮ Intuitionism: an inspiration? ⋮ Conservation principles and action schemes in the synthesis of geometric concepts ⋮ A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs ⋮ On the area of a semi-circle ⋮ Mathematics and arts: Connections between theory and practice in the medieval Islamic world ⋮ On the equivalence of Playfair's axiom to the parallel postulate ⋮ Gauss as Scientific Mediator Between Mathematics and Geodesy from the Past to the Present ⋮ The median triangle theorem as an entrance to certain issues in higher-dimensional geometry ⋮ al-Kūhī's revision of Book I of Euclid's \textit{Elements} ⋮ Thābit ibn Qurra and the pair of amicable numbers 17296, 18416 ⋮ Towards formalising Schutz' axioms for Minkowski spacetime in Isabelle/HOL ⋮ A Neolithic oral tradition for the van der Waerden/Seidenberg origin of mathematics ⋮ Computerizing Mathematical Text with MathLang ⋮ How old are the Platonic Solids? ⋮ Theory and method in history of mathematics ⋮ Zero and nothing in medieval Arabic arithmetic ⋮ Variations on a Theorem of Varignon ⋮ Eigencircles and associated surfaces ⋮ Axioms for convexity ⋮ Abstract Generality, Simplicity, Forgetting, and Discovery ⋮ DE ZOLT’S POSTULATE: AN ABSTRACT APPROACH ⋮ Charles Peirce and Bertrand Russell on Euclid ⋮ Russell's Paradox: A Historical Study about the Paradox in Frege's Theories ⋮ From Practical to Pure Geometry and Back ⋮ The Law of Cosines with Differential Calculus and Without ⋮ Using the Intermediate Value Theorem to Circumscribe Hyperbolic Triangles ⋮ Early modern concepts of number and algebra and some connections with those of science ⋮ The main sources for theArte Mayorin sixteenth century Spain ⋮ The Method of Archimedes in the Seventeenth Century ⋮ Anothern-Dimensional Generalization of Pompeiu’s Theorem ⋮ William Neile′s Contribution to Calculus ⋮ A New and Rather Long Proof of the Pythagorean Theorem by Way of a Proposition on Isosceles Triangles ⋮ Euclid after Computer Proof-Checking ⋮ How much can we extend the Assouad embedding theorem? ⋮ Legendre’s Singular Modulus ⋮ Between music and geometry: a proposal for the early intended application of Euclid’s Elements Book X ⋮ Situating the Debate on “Geometrical Algebra” within the Framework of Premodern Algebra ⋮ Why did Euclid not need the Pasch axiom? ⋮ On a Geometry Problem in Plato’s Meno ⋮ Practical reasoning and the witnessably rigorous proof ⋮ Purity and Explanation: Essentially Linked? ⋮ 200 Years of the Czech Textbook of Geometry by Josef Vojtech Sedlacek ⋮ Who proved Pythagoras's theorem? ⋮ Mathematical Rigor and the Origin of the Exhaustion Method ⋮ Otto Neugebauer’s Vision for Rewriting the History of Ancient Mathematics ⋮ La Définition V. 8 desElémentsd'Euclide* ⋮ Properties of the Brahmagupta matrix ⋮ The dawn of non‐Euclidean geometry ⋮ Totally unimodular nets ⋮ \((1+i)\)-ary GCD computation in \(\mathbb Z[i\) as an analogue to the binary GCD algorithm.] ⋮ The fundamental theorem of calculus within a geometric context based on Barrow's work ⋮ Three mathematical papers of Adam Adamandy Kocha\'nski -- annotated English translation ⋮ A Very Early Acquaintance with Apollonius of Perga's Treatise on Conic Sections in the Latin West ⋮ Perfect Numbers A Mathematical Pun? An Analysis of the Last Theorem in the Ninth Book of Euclid's Elements ⋮ Premise Selection in the Naproche System ⋮ Ratio in early Greek mathematics ⋮ Linearity and Reflexivity in the Growth of Mathematical Knowledge ⋮ Probleme der Euklidinterpretation und ihre Bedeutung für die Entwicklung der Mathematik ⋮ Reconfiguring convex polygons ⋮ Unnamed Item ⋮ Instabilidade no tratamento de razões no contexto do desenvolvimento da matemática européia medieval ⋮ DEMOSTRACIONES DEL PONS ASINORUM. APORTES DE LA HISTORIA A LA ENSEÑANZA DE LA MATEMÁTICA ⋮ About the cover: The mathematical conquest of the third dimension ⋮ Diagrams and mathematical reasoning: some points, lines, and figures ⋮ For Some Histories of Greek Mathematics ⋮ Mathematical approaches to defining the semitone in antiquity ⋮ Natural numerosities of sets of tuples ⋮ Elementary methods in the study of the distribution of prime numbers ⋮ A FORMAL SYSTEM FOR EUCLID’SELEMENTS ⋮ Analysis of PSLQ, an integer relation finding algorithm ⋮ Kepler, elliptical orbits, and celestial circularity: A study in the persistence of metaphysical commitment ⋮ Dynamic hyperbolic geometry: building intuition and understanding mediated by a Euclidean model ⋮ Doubling the Cube and Constructability in Higher Dimensions