Geometry

Conventional wisdom dictates that proofs of mathematical propositions should be treated as necessary, and sufficient, for entailing `significant' mathematical truths only if the proofs are expressed in a---minimally, deemed consistent---formal mathematical theory in terms of: * Axioms/Axiom schemas * Rules of Deduction * Definitions * Lemmas * Theorems * Corollaries. Whilst Andrew Wiles' proof of Fermat's Last Theorem FLT, which appeals essentially to geometrical properties of real and complex numbers, can be treated as meeting this criteria, it nevertheless leaves two (...) questions unanswered: (i) Why is x^n +y^n = z^n solvable only for n < 3 if x, y, z, n are natural numbers? (ii) What technique might Fermat have used that led him to, even if only briefly, believe he had `a truly marvellous demonstration' of FLT? Prevailing post-Wiles wisdom---leaving (i) essentially unaddressed---dismisses Fermat's claim as a conjecture without a plausible proof of FLT. -/- However, we posit that providing evidence-based answers to both queries is necessary not only for treating FLT as significant, but also for understanding why FLT can be treated as a true arithmetical proposition. We thus argue that proving a theorem formally from explicit, and implicit, premises/axioms using rules of deduction---as currently accepted---is a meaningless game, of little scientific value, in the absence of evidence that has already established---unambiguously---why the premises/axioms and rules of deduction can be treated, and categorically communicated, as pre-formal truths in Marcus Pantsar's sense. Consequently, only evidence-based, pre-formal, truth can entail formal provability; and the formal proof of any significant mathematical theorem cannot entail its pre-formal truth as evidence-based. It can only identify the explicit/implicit premises that have been used to evidence the, already established, pre-formal truth of a mathematical proposition. Hence visualising and understanding the evidence-based, pre-formal, truth of a mathematical proposition is the only raison d'etre for subsequently seeking a formal proof of the proposition within a formal mathematical language (whether first-order or second order set theory, arithmetic, geometry, etc.) By this yardstick Andrew Wiles' proof of FLT fails to meet the required, evidence-based, criteria for entailing a true arithmetical proposition. -/- Moreover, we offer two scenarios as to why/how Fermat could have laconically concluded in his recorded marginal noting that FLT is a true arithmetical proposition---even though he either did not (or could not to his own satisfaction) succeed in cogently evidencing, and recording, why FLT can be treated as an evidence-based, pre-formal, arithmetical truth (presumably without appeal to properties of real and complex numbers). It is primarily such a putative, unrecorded, evidence-based reasoning underlying Fermat's laconic assertion which this investigation seeks to reconstruct; and to justify by appeal to a plausible resolution of some philosophical ambiguities concerning the relation between evidence-based, pre-formal, truth and formal provability. (shrink)

In the article, an argument is given that Euclidean geometry is a priori in the same way that numbers are a priori, the result of modelling, not the world, but our activities in the world.

The definition of a point in geometry is primordial in order to understand the different elements of this branch of mathematics ( line, surface, solids…). This paper aims at shedding fresh light on the concept to demonstrate that it is related to another one named, here, the Primary Geometric Object; both concepts concur to understand the multiplicity of geometries and to provide hints as concerns a new understanding of some concepts in physics such as time, energy, mass….

There are two problems Analytical Geometry with facing anyone who studies this discipline: define the nature of the locus represented by the general equation 2do degree in two or three variables: That curve represents the plane? What surface is in space? These two problems are posed and solved by applying the study of matrices and spectral theory.

There are two problems Analytical Geometry with facing anyone who studies this discipline: define the nature of the locus represented by the general equation 2do degree in two or three variables: That curve represents the plane? What surface is in space? These two problems are posed and solved by applying the study of matrices and spectral theory.

This paper introduces some basic ideas and formalism of physics in non-commutative geometry. My goals are three-fold: first to introduce the basic formal and conceptual ideas of non-commutative geometry, and second to raise and address some philosophical questions about it. Third, more generally to illuminate the point that deriving spacetime from a more fundamental theory requires discovering new modes of `physically salient' derivation.

At its core this book is concerned with logic and computation with respect to the mathematical characterization of sentient biophysical structure and its behavior. -/- Three related theories are presented: The first of these provides an explanation of how sentient individuals come to be in the world. The second describes how these individuals operate. And the third proposes a method for reasoning about the behavior of individuals in groups. -/- These theories are based upon a new explanation of experience in (...) nature, the construction of senses, and motile behavior. This new approach is developed from first principles to enable a rigorous and systematic explanation of the variety of associated intelligent behaviors. -/- Alongside this development is a further account that focuses upon the nature of our work. It discusses the existential aspects of scientific inquiry, its epistemology and logic. It seeks to clarify the nature of the mathematical characterization and computation of natural behaviors, dealing with questions in the foundations of logic. It explores methodological issues related to reduction and the refinement of ideas from intuition to formal logical structure. -/- In support of this inquiry we work toward the development of a calculus for biophysical construction and its dynamics. If successful this mechanics mathematically characterizes sensory and motile behavior. -/- Upon this foundation we propose a model of apprehension and explore how its products are processed by the organism. Finally, we develop a probabilistic theory that enables us to reason about inaccessible factors in group behavior. -/- The mechanics we propose suggests the design and physical realization of a new model of computation; one in which structure and the concurrency of action are a first-order consideration. -/- We identify opportunities for experimental verification of the theory and we suggest a proof of our results in practice by the identification of this mechanism, allowing the construction of machines that experience. (shrink)

We present some aspects of the genesis of a geometric construction, which can be carried out with compass and straightedge, from the original idea to the published version (Fernández González 2016). The Midpoint Path Construction makes it possible to multiply the length of a line segment by a rational number between 0 and 1 by constructing only midpoints and a straight line. In the form of an interview, we explore the context and narrative behind the discovery, with first-hand insights by (...) its author. Finally, we discuss some general aspects of this case study in the context of philosophy of mathematical practice.´´aa. (shrink)

This paper has two specific goals. The first is to demonstrate that the theorem in MetaphysicsΘ 9, 1051a24-27 is not equiva-lent to Euclid’s Proposition 32 of book I (which contradicts some Aristotelian commentators, such as W. D. Ross, J. L. Heiberg, and T. L. Heith). Agreeing with Henry Mendell’s analysis, I ar-gue that the two theorems are not equivalent, but I offer different reasons for such divergence: I propose a pedagogical-philosoph-ical reason for the Aristotelian theorem being shorter than the Euclidean (...) one (and the previous Aristotelian versions). Aristotle wants to emphasize the deductive procedure as a satisfactory method to discover scientific knowledge. The second objective, opposing some consensus about geometrical deductions/theo-rems in Aristotle, is to briefly propose that the theorem, exactly as we found it in Metaphysics and without any emendation to the text (therefore opposing Henry Mendell’s suggested amend-ments), allows the ancient philosopher to demonstrate that universal mathematical knowledge is in potence in geometrical figures. This tentatively proves that Aristotle emphasizes that geometrical deduction is sufficient to actualize mathematical knowledge. (shrink)

A key question of the ‘maverick’ tradition of the philosophy of mathematical practice is addressed, namely what is mathematical progress. The investigation is based on an article by Penelope Maddy devoted to this topic in which she considers only contributions ‘of some mathematical importance’ as progress. With the help of a case study from contemporary mathematics, more precisely from tropical geometry, a few issues with her proposal are identified. Taking these issues into consideration, an alternative account of ‘mathematical importance’, broadly (...) within the framework of progress Maddy offers, is developed with a special focus on mathematicians’ peer-review practice. (shrink)

Why do mathematics often give several proofs of the same theorem? This is the question raised in this article, introducing the notion of an epistemic ideal and discussing two such ideals, the explanatoriness and purity of proof.

The classification of algebraic surfaces by the Italian School of algebraic geometry is universally recognized as a breakthrough in 20th-century mathematics. The methods by which it was achieved do not, however, meet the modern standard of rigor and therefore appear dubious from a contemporary viewpoint. In this article, we offer a glimpse into the mathematical practice of the three leading exponents of the Italian School of algebraic geometry: Castelnuovo, Enriques, and Severi. We then bring into focus their distinctive conception of (...) rigor and intuition. Unlike what is often assumed today, from their perspective, rigor is neither opposed to intuition nor understood as a unitary phenomenon – Enriques distinguishes between small-scale rigor and large-scale rigor and Severi between formal rigor and substantial rigor. Finally, we turn to the notion of mathematical objectivity. We draw from our case study in order to advance a multi-dimensional analysis of objectivity. Specifically, we suggest that various types of rigor may be associated with different conceptions of objectivity: namely, objectivity as faithfulness to facts and objectivity as intersubjectivity. (shrink)

Open Court began publishingThe Monistin 1890 as a journal“devotedto the philosophy of science”that regularly included mathematics. The audiencewas understood to be“cultured people who have not a technical mathematicaltraining”but nevertheless“have a mathematical penchant.”With these constraints,the mathematical content varied from recreations to logical foundations, but every-one had something to say about non-Euclidean geometry, in debates that rangedfrom psychology to semantics. The focus in this essay is on the contested value ofmathematical expertise in legitimating what should be considered as mathematics.While some mathematicians urgedThe (...) Monistto uphold disciplinary standards ofgeometrical reasoning, authors opposed tonon-Euclidean geometry aligned theirreasoning with practical applications, universal know-how, and nonhierarchicaldemocracy. As one contributorinquired,“How isthe professional expert betterfit-ted to see more lucidly in dealing with the elements of geometry than any otherperson of good geometric faculty?”. (shrink)

Hermann Weyl was one of the most important figures involved in the early elaboration of the general theory of relativity and its fundamentally geometrical spacetime picture of the world. Weyl’s development of “pure infinitesimal geometry” out of relativity theory was the basis of his remarkable attempt at unifying gravitation and electromagnetism. Many interpreters have focused primarily on Weyl’s philosophical influences, especially the influence of Husserl’s transcendental phenomenology, as the motivation for these efforts. In this article, I argue both that these (...) efforts are most naturally understood as an outgrowth of the distinctive mathematical-physical tradition in Göttingen and also that phenomenology has little to no constructive role to play in them. (shrink)

In this paper we extend Neutro-Algebra and Anti-Algebra to geometric spaces, founding Neutro/Geometry and AntiGeometry. While Non-Euclidean Geometries resulted from the total negation of a specific axiom (Euclid's Fifth Postulate), AntiGeometry results from the total negation of any axiom or even more axioms of any geometric axiomatic system (Euclidean, Hilbert, etc. ) and of any type of geometry such as Geometry (Euclidean, Projective, Finite, Differential, Algebraic, Complex, Discrete, Computational, Molecular, Convex, etc.), and Neutro-Geometry results from the partial negation of one (...) or more axioms [and without total negation of any axiom] of any geometric axiomatic system and of any type of geometry. Generally, instead of a classical geometric Axiom, one can take any classical geometric Theorem of any axiomatic system and of any type of geometry, and transform it by Neutrosophication or Antisofication into a Neutro-Theorem or Anti-Theorem respectively to construct a Neutro-Geometry or Anti-Geometry. Therefore, Neutro-Geometry and Anti-Geometry are respectively alternatives and generalizations of Non-Euclidean Geometries. In the second part, the evolution from Paradoxism to Neutrosophy, then to NeutroAlgebra and Anti-Algebra, then to Neutro-Geometry and Anti-Geometry, and in general to Neutro-Structure and Anti-Structure that arise naturally in any field of knowledge is recalled. At the end, applications of many Neutro-Structures in our real world are presented. (shrink)

A homeomorphism is built between the separable complex Hilbert space (quantum mechanics) and Minkowski space (special relativity) by meditation of quantum information (i.e. qubit by qubit). That homeomorphism can be interpreted physically as the invariance to a reference frame within a system and its unambiguous counterpart out of the system. The same idea can be applied to Poincaré’s conjecture (proved by G. Perelman) hinting at another way for proving it, more concise and meaningful physically. Furthermore, the conjecture can be generalized (...) and interpreted in relation to the pseudo-Riemannian space of general relativity therefore allowing for both mathematical and philosophical interpretations of the force of gravitation due to the mismatch of choice and ordering and resulting into the “curving of information” (e.g. entanglement). Mathematically, that homeomorphism means the invariance to choice, the axiom of choice, well-ordering, and well-ordering “theorem” (or “principle”) and can be defined generally as “information invariance”. Philosophically, the same homeomorphism implies transcendentalism once the philosophical category of the totality is defined formally. The fundamental concepts of “choice”, “ordering” and “information” unify physics, mathematics, and philosophy and should be related to their shared foundations. (shrink)

In this paper we extend the NeutroAlgebra & AntiAlgebra to the geometric spaces, by founding the NeutroGeometry & AntiGeometry. While the Non-Euclidean Geometries resulted from the total negation of one specific axiom (Euclid’s Fifth Postulate), the AntiGeometry results from the total negation of any axiom or even of more axioms from any geometric axiomatic system (Euclid’s, Hilbert’s, etc.) and from any type of geometry such as (Euclidean, Projective, Finite, Affine, Differential, Algebraic, Complex, Discrete, Computational, Molecular, Convex, etc.) Geometry, and the (...) NeutroGeometry results from the partial negation of one or more axioms [and no total negation of no axiom] from any geometric axiomatic system and from any type of geometry. Generally, instead of a classical geometric Axiom, one may take any classical geometric Theorem from any axiomatic system and from any type of geometry, and transform it by NeutroSophication or AntiSophication into a NeutroTheorem or AntiTheorem respectively in order to construct a NeutroGeometry or AntiGeometry. Therefore, the NeutroGeometry and AntiGeometry are respectively alternatives and generalizations of the Non-Euclidean Geometries. In the second part, we recall the evolution from Paradoxism to Neutrosophy, then to NeutroAlgebra & AntiAlgebra, afterwards to NeutroGeometry & AntiGeometry, and in general to NeutroStructure & AntiStructure that naturally arise in any field of knowledge. At the end, we present applications of many NeutroStructures in our real world. (shrink)

In this paper we extend the NeutroAlgebra & AntiAlgebra to the geometric spaces, by founding the NeutroGeometry & AntiGeometry.

Euclid’s definition of a point as “that which has no part” has been a major source of controversy in relation to the epistemological and ontological presuppositions of classical geometry, from the medieval and modern disputes on indivisibilism to the full development of point-free geometries in the 20th century. Such theories stem from the general idea that all talk of points as putative lower-dimensional entities must and can be recovered in terms of suitable higher-order constructs involving only extended regions (or bodies). (...) Here I focus on what is arguably the first thorough proposal of this sort, Whitehead’s theory of “extensive abstraction”, offering a critical reconstruction of the theory through its successive installments: from the purely mereological version of ‘La théorie relationniste de l’espace’ (1916) to the refined versions presented in An Enquiry Concerning the Principles of Natural Knowledge (1919) and in The Concept of Nature (1920) to the last, mereotopological version of Process and Reality (1929). (shrink)

The purpose of this work is to address the relation existing between ancient Greek practical geometry and ancient Greek pure geometry. In the first part of the work, we will consider practical and pure geometry and how pure geometry can be seen, in some respects, as arising from an idealization of practical geometry. From an analysis of relevant extant texts, we will make explicit the idealizations at play in pure geometry in relation to practical geometry, some of which are basically (...) explicit in definitions, like that of segments in Euclid’s Elements. Then, we will address how in pure geometry we, so to speak, “refer back” to practical geometry. This occurs in two ways. One, in the propositions of pure geometry. The other, when applying pure geometry. In this case, geometrical objects can represent practical figures like, e.g., a practical segment. (shrink)

The subject of my dissertation is the structure of continua and, in particular, of physical space and time. Consider the region of space you occupy: is it composed of indivisible parts? Are the indivisible parts, if any, extended? Are there infinitesimal parts? The standard view that space is composed of unextended points faces both \textit{a priori} and empirical difficulties. In my dissertation, I develop and evaluate several novel approaches to these questions based on metaphysical, mathematical and physical considerations. In particular, (...) I develop and evaluate two infinitesimal theories of space based on Robinson's nonstandard analysis. I argue that \textit{Infinitesimal Gunk}, according to which every region is further divisible and some regions have infinitesimal sizes, has distinct advantages over alternative gunky views. I also advance a new account of distance for atomistic space, \textit{the mixed account}, in response to Weyl's tile argument, which is an influential argument against the view that space is composed of indivisible regions. Having these theories in stock, we make progress in discovering the best theory of continua. (shrink)

This is a critical review of the book Variational Approach to Gravity Field Theories - From Newton to Einstein and Beyond (2017), written by the Italian astrophysicist Alberto Vecchiato. In his work, Vecchiato shows that physics, as we know it, can be built up from simple mathematical models that become more complex step by step by gradually introducing new principles. The reader is invited to follow the steps that lead from classical physics to relativity and to understand how this happens (...) and why. Moreover, while presenting the variational approach to gravity field theories in a clear and elegant manner, Vecchiato shows a constant worry in leading the readers in such a way that they understand the relevance of what the author considers to be the most powerful technique and unifying concept of theoretical physics - and how it works. Each chapter is enriched with exercises, of which a step-by-step solution is offered, so that the reader can gain a real insight into the topic presented and follow the reading as fruitfully as possible. The most innovative aspect of the book, however, is not the rigorousness and the clarity of the treatment of the variational approach, but rather the point of view that Vecchiato keeps and that the reader is led to endorse too: physics is a human enterprise, prone to error and open to improvement, and not a complete and definite system of truths about our world. (shrink)

An isomorphism is built between the separable complex Hilbert space (quantum mechanics) and Minkowski space (special relativity) by meditation of quantum information (i.e. qubit by qubit). That isomorphism can be interpreted physically as the invariance between a reference frame within a system and its unambiguous counterpart out of the system. The same idea can be applied to Poincaré’s conjecture (proved by G. Perelman) hinting another way for proving it, more concise and meaningful physically. Mathematically, the isomorphism means the invariance to (...) choice, the axiom of choice, well-ordering, and well-ordering “theorem” (or “principle”) and can be defined generally as “information invariance”. (shrink)

In Résolution des quatre principaux problèmes d’architecture (1673) then in Cours d’architecture (1683), the architect–mathematician Nicolas-François Blondel addresses one of the most famous architectural problems of all times, that of the reduction in columns (entasis). The interest of the text lies in the variety of subjects that are linked to this issue. (1) The text is a response to the challenge launched by Curabelle in 1664 under the name Étrenne à tous les architectes; (2) Blondel mathematicizes the problem in the (...) “style of the Ancients”; (3) The problem is reformulated and solved through the continuous drawing of the curve; (4) Blondel refutes the uniqueness of the curve by enumerating a variety of solutions (conchoid, spiral, parabola, ellipse, circle, hyperbola). This exuberance responds to an intention that does not coincide with the state of the art of mathematics at the end of the seventeenth century, nor with the taste for geometry of the Ancients, nor with any pedagogical project. This feature is explained by Blondel’s plan to found architecture on scientific bases. The reasons for his failure are analysed. (shrink)

The purpose of this work is to address what notion of geometrical object and geometrical figure we have in different kinds of geometry: practical, pure, and applied. Also, we address the relation between geometrical objects and figures when this is possible, which is the case of pure and applied geometry. In practical geometry it turns out that there is no conception of geometrical object.

El primer objetivo de este artículo es mostrar que explicaciones genuinamente geométricas/matemáticas e intrínsecamente diagramáticas de fenómenos físicos no solo son posibles en la práctica científica, sino que además comportan un potencial epistémico que sus contrapartes simbólico-verbales carecen. Como ejemplo representativo utilizaremos la metodología geométrica de John Wheeler (1963) para calcular cantidades físicas en una reacción nuclear. Como segundo objetivo pretendemos analizar, desde un marco inferencial, la garantía epistémica de este tipo de explicaciones en términos de dependencia sintáctica y semántica (...) del contenido lo inferido en las premisas, lo cual denominaremos criterio de validez inferencial (CVI). (shrink)

in this paper we return to Marshall Clagett’s view about the existence of an ancient Greek geometry of motion. It can be read in two ways. As a basic presentation of ancient Greek geometry of motion, followed by some aspects of its further development in landmark works by Galileo and Newton. Conversely, it can be read as a basic presentation of aspects of Galileo’s and Newton’s mathematics that can be considered as developments of a geometry of motion that was first (...) conceived by ancient Greek mathematicians. (shrink)

This study of the history and contents of a hitherto unedited work on geometry by Vincenzo Viviani seeks to present a picture of the scientific environment in Italy in the second half of the 17th century, with particular emphasis on Tuscany and the impact the condemnation of Galileo had on ongoing scholarship. Information derived from unedited or less well-known material serves to illuminate a range of prominent and marginal figures who adopted different strategies for the dissemination of Galileo’s thought and (...) the application of its principles. A selection of texts, edited here for the first time, is presented in two appendices, while in a third decidedly unusual methods are used to elucidate the mathematical aspects. (shrink)

Many species rely on the three-dimensional surface layout of an environment to find a desired goal following disorientation. They generally do so to the exclusion of other important spatial cues. Two influential frameworks for explaining that phenomenon are provided by geometric-module theories and view-matching theories of reorientation respectively. The former posit a module that operates only on representations of the global geo- metry of three-dimensional surfaces to guide behavior. The latter place snapshots, stored representations of the subject’s two-dimensional retinal stimulation (...) at specific locations, at the heart of their accounts. In this paper, I take a fresh look at the debate between them. I begin by making a case that the empirical evidence we currently have does not clearly favor one framework over the other, and that the debate has reached something of an impasse. Then, I present a new explanatory problem—the representation selection problem—that offers the pro- spect of breaking the impasse by introducing a new type of explanatory consideration that both frameworks must address. The representation selection problem requires explaining how subjects can reliably select the relevant representation with which they initiate the reorientation process. I argue that the view-matching framework does not have the resources to address this problem, while a certain type of theory within the geometric-module framework can provide a natural response to it. In showing this, I develop a new geometric-module theory. (shrink)

The cognitive foundations of geometry have puzzled academics for a long time, and even today are mostly unknown to many scholars, including mathematical cognition researchers. -/- Foundations of Geometric Cognition shows that basic geometric skills are deeply hardwired in the visuospatial cognitive capacities of our brains, namely spatial navigation and object recognition. These capacities, shared with non-human animals and appearing in early stages of the human ontogeny, cannot, however, fully explain a uniquely human form of geometric cognition. In the book, (...) Hohol argues that Euclidean geometry would not be possible without the human capacity to create and use abstract concepts, demonstrating how language and diagrams provide cognitive scaffolding for abstract geometric thinking, within a context of a Euclidean system of thought. -/- Taking an interdisciplinary approach and drawing on research from diverse fields including psychology, cognitive science, and mathematics, this book is a must-read for cognitive psychologists and cognitive scientists of mathematics, alongside anyone interested in mathematical education or the philosophical and historical aspects of geometry. (shrink)

In this paper, I discuss the problem raised by the non-Euclidean geometries for the Kantian claim that the axioms of Euclidean geometry are synthetic a priori, and hence necessarily true. Although the Kantian view of geometry faces a serious challenge from non-Euclidean geometries, there are some aspects of Kant’s view about geometry that can still be plausible. I argue that Euclidean geometry, as a science, cannot be synthetic a priori, but the empirical world can still be necessarily Euclidean.

In this article, we publish the critical edition of Andalò di Negro’s De compositione astrolabii, with English translation and commentary. The mathematician and astronomer Andalò di Negro presumably redacted this treatise on the astrolabe in the 1330s, while residing at the court of King Robert of Naples. The present edition has three purposes: first, to make available a text missing from the previous compilations of works by Andalò di Negro; second, to revise a privately circulated edition of the text; and (...) third, to help disseminating one of the rare Latin texts presenting the principles of the stereographic projection which underlie the construction of the astrolabe. (shrink)

Francesca Biagioli’s Space, Number, and Geometry from Helmholtz to Cassirer is a substantial and pathbreaking contribution to the energetic and growing field of researchers delving into the physics, physiology, psychology, and mathematics of the nineteenth and twentieth centuries. The book provides a bracing and painstakingly researched re-appreciation of the work of Hermann von Helmholtz and Ernst Cassirer, and of their place in the tradition, and is worth study for that alone. The contributions of the book go far beyond that, however. (...) It is a clear, accurate, and deep account of fascinating and philosophically momentous implications of the move to relativity theory. (shrink)

The fine-structure constant, which determines the strength of the electromagnetic interaction, is briefly reviewed beginning with its introduction by Arnold Sommerfeld and also includes the interest of Wolfgang Pauli, Paul Dirac, Richard Feynman and others. Sommerfeld was very much a Pythagorean and sometimes compared to Johannes Kepler. The archetypal Pythagorean triangle has long been known as a hiding place for the golden ratio. More recently, the quartic polynomial has also been found as a hiding place for the golden ratio. The (...) Kepler triangle, with its golden ratio proportions, is also a Pythagorean triangle. Combining classical harmonic proportions derived from Kepler’s triangle with quartic equations determine an approximate value for the fine-structure constant that is the same as that found in our previous work with the golden ratio geometry of the hydrogen atom. These results make further progress toward an understanding of the golden ratio as the basis for the fine-structure constant. (shrink)

A perverted space-time geodesy results from the idea of variable rods and clocks, whose length and rates are taken to be affected by the gravitational field. By contrast, what we might call a concrete geodesy relies on the idea of invariable unit-measuring rods and clocks. Indeed, this is a basic assumption of general relativity. Variable rods and clocks lead to a perverted geodesy, in the sense that a curved space-time may be seen as a result of a departure from the (...) Minkowskian space-time as an effect of the gravitational field on the rate of clocks and the length of rods. In the case of a concrete geodesy, we have a curved space-time “directly”, the curvature of which can be determined using (invariable) unit-measuring rods and clocks. In this paper, we will make the case for the plausibility of the claim that Einstein’s views on geometry in relation to general relativity are permeated by a perverted geodesy. (shrink)

In this article I develop an elementary system of axioms for Euclidean geometry. On one hand, the system is based on the symmetry principles which express our a priori ignorant approach to space: all places are the same to us, all directions are the same to us and all units of length we use to create geometric figures are the same to us. On the other hand, through the process of algebraic simplification, this system of axioms directly provides the Weyl’s (...) system of axioms for Euclidean geometry. The system of axioms, together with its a priori interpretation, offers new views to philosophy and pedagogy of mathematics: it supports the thesis that Euclidean geometry is a priori, it supports the thesis that in modern mathematics the Weyl’s system of axioms is dominant to the Euclid’s system because it reflects the a priori underlying symmetries, it gives a new and promising approach to learn geometry which, through the Weyl’s system of axioms, leads from the essential geometric symmetry principles of the mathematical nature directly to modern mathematics. (shrink)

With the discovery of consistent non-Euclidean geometries, the a priori status of Euclidean proof was radically undermined. In response, philosophers proposed two revisionary interpretations of the practice: some argued that Euclidean proof is a purely formal system of deductive logic; others suggested that Euclidean reasoning is empirical, employing concepts derived from experience. I argue that both interpretations fail to capture the true nature of our geometrical thought. Euclidean proof is not a system of pure logic, but one in which our (...) grasp of the content of geometrical concepts plays a central role; moreover, our grasp of this content is a priori. (shrink)

In Mathematiklehrbüchern und mathematischen Spezialabhandlungen tauchen bis heute immer wieder Themen und Thesen der Schopenhauerschen Elementargeometrie auf. Da Schopenhauers Geometrie bzw. Philosophie der Geometrie in ihrer Figuren- und damit Anschauungsbezogenheit im 19. und frühen 20. Jahrhundert exemplarisch galt, folgt die hier skizzenhaft dargestellte zweihundertjährige Rezeptionsgeschichte auch der von den mathematischen Paradigmen abhängenden Bewertung anschauungsbezogener Geometrien.

A Paper on the Foundations of Projective Geometry - (Read before the Aristotelian Society, Dec. 13, 1897) is an unchanged, high-quality reprint of the original edition of 1898. Hansebooks is editor of the literature on different topic areas such as research and science, travel and expeditions, cooking and nutrition, medicine, and other genres. As a publisher we focus on the preservation of historical literature. Many works of historical writers and scientists are available today as antiques only. Hansebooks newly publishes these (...) books and contributes to the preservation of literature which has become rare and historical knowledge for the future. (shrink)

Part 1 of this article exposed a tension between Poincaré’s views of arithmetic and geometry and argued that it could not be resolved by taking geometry to depend on arithmetic. Part 2 aims to resolve the tension by supposing not merely that intuition’s role is to justify induction on the natural numbers but rather that it also functions to acquaint us with the unity of orders and structures and show practices to fit or harmonize with experience. I argue that in (...) this manner, intuition serves the epistemological function of warranting generalizations and justifying practices. In particular, it justifies the application of group-theoretic notions in geometry but not the use of set-theoretic notions in arithmetic. (shrink)

The paper is an introduction to geometric algebra and geometric calculus for those with a knowledge of undergraduate mathematics. No knowledge of physics is required. The section Further Study lists many papers available on the web.

In this paper I present critical evaluations of Ayer and Putnam's views on the analyticity of geometry. By drawing on the historico-philosophical work of Michael Friedman on the relativized apriori; and Roberto Torretti on the foundations of geometry, I show how we can make sense of the assertion that pure geometry is analytic in Carnap's sense.

From the exponential function of Euler’s equation to the geometry of a fundamental form, a calculation of the fine-structure constant and its relationship to the proton-electron mass ratio is given. Equations are found for the fundamental constants of the four forces of nature: electromagnetism, the weak force, the strong force and the force of gravitation. Symmetry principles are then associated with traditional physical measures.

ABSTRACT In Einstein’s physical geometry, the geometry of space and the uniformity of time are taken to be non-conventional. However, due to the stipulation of the isotropy of the one-way speed of light in the synchronization of clocks, as it stands, Einstein’s views do not seem to apply to the whole of the Minkowski space-time. In this work we will see how Einstein’s views can be applied to the Minkowski space-time. In this way, when adopting Einstein’s views, chronogeometry is a (...) physical chronogeometry. (shrink)

Spatial relations are central to geometrical thinking. With respect to the classical elementary geometry of Euclid’s Elements, a distinction between co-exact, or qualitative, and exact, or metric, spatial relations has recently been advanced as fundamental. We tested the universality of intuitions of these relations in a group of Senegalese and Dutch participants. Participants performed an odd-one-out task with stimuli that in all but one case display a particular spatial relation between geometric objects. As the exact/co-exact distinction is closely related to (...) Kosslyn’s categorical/coordinate distinction, a set of stimuli for testing all four types was used. Results suggest that intuitions of all spatial relations tested are universal. Yet, culture has an important effect on performance: Dutch participants outperformed Senegalese participants and stimulus layouts affect the categorical and coordinate processing in different ways for the two groups. Differences in level of education within the Senegalese participants did not affect performance. (shrink)

This article will consider imagination in mathematics from a historical point of view, noting the key moments in its conception during the ancient, modern and contemporary eras.