Geometry

John Playfair , professor of mathematics and natural philosophy at the University of Edinburgh, is a relatively obscure figure today, best known as the popularizer of James Hutton's theory of geology. However, Playfair was also involved in mathematics for most of his active career, with his most widely distributed publication, Elements of Geometry , shaping the mathematics education for at least thirteen thousand British students during the nineteenth century. This study focuses on the mathematical context surrounding Elements of Geometry. Specifically, (...) after recounting the background of the text, the paper explores the ways in which Playfair's presentation of elementary geometry reflected three understandings of the terms ‘analysis’ and ‘synthesis’, which were intrinsic components of mathematical culture at the turn of the nineteenth century. In one sense, the words denoted differing styles of mathematical practice in Great Britain and in France. In a second sense, the terms evoked contemporary appeals to ancient methods of proof. Finally, ‘analysis’ and ‘synthesis’ were understood in reference to separate approaches to mathematics education. Playfair's appeals to these understandings help reveal how he viewed himself as a mathematician. Overall, then, this study enriches the standard portrait of a professor who straddled the eighteenth and nineteenth centuries. (shrink)

A simplistic image of twentieth century French philosophy sees Merleau-Ponty’s death in 1961 as the line that divides two irreconcilable moments in its history: existentialism and phenomenology, on the one hand, and structuralism on the other. The structuralist generation claimed to recapture the dimension of objectivity and impersonality, which the previous generation was supposedly incapable of. As a matter of fact, in 1962, Derrida’s edition of Husserl’s The Origin of Geometry was taken to be a turning point that announced the (...) structuralist revolution by introducing a reflection on the historicity and the materiality of impersonal idealities. And yet, the 1998 publication of Merleau-Ponty’s notes from his Collège de France lecture course on the same topic make manifest that he was already taking phenomenology in another direction. His 1959 reading of The Origin of Geometry shows how unexpectedly close the early Derrida is to the late Merleau-Ponty. By identifying the tension between archaeology and teleology as the basic problem of Husserlian phenomenology, Merleau-Ponty and Derrida each disclose the fundamental importance of history and of writing. Comparing the two readings in their specific context not only brings about a more complex picture of the intellectual debates of the time, but also shows how, with Merleau-Ponty’s interpretation of The Origin of Geometry, Derrida’s “différance” predates itself and receives another genealogy. (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.

Our visual experience seems to suggest that no continuous curve can cover every point of the unit square, yet in the late nineteenth century Giuseppe Peano proved that such a curve exists. Examples like this, particularly in analysis (in the sense of the infinitesimal calculus) received much attention in the nineteenth century. They helped instigate what Hans Hahn called a “crisis of intuition”, wherein visual reasoning in mathematics came to be thought to be epistemically problematic. Hahn described this “crisis” as (...) follows: Mathematicians had for a long time made use of supposedly geometric evidence as a means of proof in much too naive and much too uncritical a way, till the unclarities and mistakes that arose as a result forced a turnabout. Geometrical intuition was now declared to be inadmissible as a means of proof... (p. 67) Avoiding geometrical evidence, Hahn continued, mathematicians aware of this crisis pursued what he called “logicization”, “when the discipline requires nothing but purely logical fundamental concepts and propositions for its development.” On this view, an epistemically ideal mathematics would minimize, or avoid altogether, appeals to visual representations. This would be a radical reformation of past practice, necessary, according to its advocates, for avoiding “unclarities and mistakes” like the one exposed by Peano. (shrink)

Our visual experience seems to suggest that no continuous curve can cover every point of the unit square, yet in the late 19th century Giuseppe Peano proved that such a curve exists. Examples like this, particularly in analysis received much attention in the 19th century. They helped to instigate what Hans Hahn called a ‘crisis of intuition’, wherein visual reasoning in mathematics came to be thought to be epistemically problematic. Hahn described this ‘crisis’ as follows : " Mathematicians had for (...) a long time made use of supposedly geometric evidence as a means of proof in much too naive and much too uncritical a way, till the unclarities and mistakes that arose as a result forced a turnabout. Geometrical intuition was now declared to be inadmissible as a means of proof … "Avoiding geometrical evidence, Hahn continued, mathematicians aware of this crisis pursued what he called ‘logicization’, ‘when the discipline requires nothing but purely logical fundamental concepts and propositions for its development’. On this view, an epistemically ideal mathematics would minimize, or avoid altogether, appeals …. (shrink)

Traditional geometry concerns itself with planimetric and stereometric considerations, which are at the root of the division between plane and solid geometry. To raise the issue of the relation between these two areas brings with it a host of different problems that pertain to mathematical practice, epistemology, semantics, ontology, methodology, and logic. In addition, issues of psychology and pedagogy are also important here. To our knowledge there is no single contribution that studies in detail even one of the aforementioned areas.

We present a formal system, E, which provides a faithful model of the proofs in Euclid's Elements, including the use of diagrammatic reasoning.

In this work, Einstein’s view of geometry as physical geometry is taken into account in the analysis of diverse issues related to the notions of inertial motion and inertial reference frame. Einstein’s physical geometry enables a non-conventional view on Euclidean geometry (as the geometry associated to inertial motion and inertial reference frames) and on the uniform time. Also, by taking into account the implications of the view of geometry as a physical geometry, it is presented a critical reassessment of the (...) so-called boostability assumption (implicit according to Einstein in the formulation of the theory) and also of ‘alternative’ derivations of the Lorentz transformations that do not take into account the so-called ‘light postulate’. Finally it is addressed the issue of the eventual conventionality of the one-way speed of light or, what is the same, the conventionality of distant simultaneity (within the same inertial reference frame). It turns out that it is possible to see the (possible) conventionality of distant simultaneity as a case of conventionality of geometry (in Einstein’s reinterpretation of Poincaré’s views). By taking into account synchronization procedures that do not make reference to light propagation (which is necessary in the derivation of the Lorentz transformations without the ‘light postulate’), it can be shown that the synchronization of distant clocks does not need any conventional element. This implies that the whole of chronogeometry (and because of this the physical part of the theory) does not have any conventional element in it, and it is a physical chronogeometry. (shrink)

This article is dedicated to Euclid’s Elements, to translations of this work into Czech, and to the translators who have taken on the task of translation. It contains a short overview of the results achieved during a three-year project supported by the Czech Grant Agency.We explored how Euclid’s Elements were spread around the Czech lands.We will try to describe the circumstances that lay behind attempts to translate the Elements into the Czech language.

Continuous as the stars that shine And twinkle on the milky way, They stretched in never-ending line Along the margin of a bay: Ten thousand saw I at a glance, Tossing their heads in sprightly dance.

This paper considers the attempts put forward by A.N. Whitehead and by Bertrand Russell to ‘construct’ points (and temporal instants) from what they regard as the more basic concept of extended ‘regions’. It is shown how what they each say themselves will not do, and how it should be filled out and amended so that the ‘construction’ may be regarded as successful. Finally there is a brief discussion of whether this ‘construction’ is worth pursuing, or whether it is better—as in (...) today’s mathematics—to prefer a ‘construction’ that goes the other way round, i.e. , to view a region as a set of points. (shrink)

This book is a wonderful resource for historians and philosophers of mathematics and physics alike, not just for Hilbert's own work in physics, but also because Corry sets Hilbert in context, bringing out the people with whom Hilbert had contact, describing their work and possible links with Hilbert's work, and describing the activities going on around Hilbert. The historical thesis of this book is that Hilbert worked on a wide range of issues in physics for a period lasting more than (...) two decades, employing and developing his axiomatic approach throughout. One conclusion that follows from this is that Hilbert's 1915–1917 work relating to Einstein's General Theory of Relativity was a natural continuation of Hilbert's pre-existing interests and activities, and not a one-off foray into foreign territory. 1Of especial interest to philosophers of mathematics are two further theses. Corry stresses that for Hilbert geometry is an empirical science, and related to this argues first, that Hilbert intends the axiomatic method to be used in enhancing our understanding of the content of a given theory via relating the results of the axiomatic investigation back to the intuitive content of the axioms; and, second, that to understand Hilbert's axiomatic approach in mathematics we must pay serious attention to his work in physics.Corry also hopes to show ‘the significant and unique contribution of Hilbert to certain important developments in twentieth-century physics’ . 2 In the end, this assessment of Hilbert's contribution to physics is far from clear cut: the two cases where Hilbert goes into the details of a physical theory show him lacking feel for what is important physically with respect to that theory. Nevertheless, philosophers and historians of physics will find a great deal to interest them in the story of Hilbert's involvement in physics, and in the details …. (shrink)

Donald Coxeter died in 2003, at a ripe old age of 96. Though I had regularly seen him at mathematics talks in Toronto for over twenty years, I never felt rushed to seek him out. It seemed he would go on forever. His death left me regretting my missed opportunity and Siobhan Robert's excellent book makes me regret it even more. Like any good biography of an intellectual, King of Infinite Space contains personal details and mathematical achievements in some detail. (...) Thus, we learn of the traumatic effects on Coxeter of his parents' divorce, his search for a spouse, his vegetarianism, and his progressive politics. We also learn a fair bit about the kaleidoscopes he made while in Cambridge during his student days in order to study the symmetry properties of polyhedra. These involved mirrors that Coxeter had specially constructed for this purpose. Along the way we are treated to interesting tidbits, such as G.H. Hardy's detestation of mirrors . There are brief accounts of the brilliant notation Coxeter invented, known as Coxeter diagrams, and of course, the now famous Coxeter groups. Short appendices fill in a bit more detail. It is all very well done and thoroughly engrossing.Wittgenstein befriended Coxeter, who was part of the very small group to whom …. (shrink)

Hyperbolic vectors are called gyrovectors. We show that the Bloch vector of quantum mechanics is a gyrovector. The Bures fidelity between two states of a qubit is generated by two Bloch vectors. Treating these as gyrovectors rather than vectors results in our novel expression for the Bures fidelity, expressed in terms of its two generating Bloch gyrovectors. Taming the Thomas precession of Einstein's special theory of relativity led to the advent of the theory of gyrogroups and gyrovector spaces. Gyrovector spaces, (...) in turn, form the setting for various models of the hyperbolic geometry of Bolyai and Lobachevski just as vector spaces form the setting for the standard model of Euclidean geometry. It is the recent advent of the theory of gyrogroups and gyrovector spaces that allows the Bures fidelity to be studied in its natural context, hyperbolic geometry, resulting in our new representation of the Bures fidelity, that reveals simplicity, elegance, and hyperbolic geometric significance. (shrink)

Kant's arguments for the synthetic a priori status of geometry are generally taken to have been refuted by the development of non-Euclidean geometries. Recently, however, some philosophers have argued that, on the contrary, the development of non-Euclidean geometry has confirmed Kant's views, for since a demonstration of the consistency of non-Euclidean geometry depends on a demonstration of its equi-consistency with Euclidean geometry, one need only show that the axioms of Euclidean geometry have 'intuitive content' in order to show that both (...) Euclidean and non-Euclidean geometry are bodies of synthetic a priori truths. Michael Friedman has argued that this defence presumes a polyadic conception of logic that was foreign to Kant. According to Friedman, Kant held that geometrical reasoning itself relies essentially on intuition, and that this precludes the very possibility of non-Euclidean geometry. While Friedman's characterization of Kant's views on geometrical reasoning is correct, I argue that Friedman's conclusion that non-Euclidean geometries are logically impossible for Kant is not. I argue that Kant is best understood as a proto-constructivist and that modern constructive axiomatizations (unlike Hilbert-style axiomatizations) of both Euclidean and non-Euclidean geometry capture Kant's views on the essentially constructive nature of geometrical reasoning well. (shrink)

Typewritten notes on groups and geometry.

Hume’s discussion of space, time, and mathematics at T 1.2 appeared to many earlier commentators as one of the weakest parts of his philosophy. From the point of view of pure mathematics, for example, Hume’s assumptions about the infinite may appear as crude misunderstandings of the continuum and infinite divisibility. I shall argue, on the contrary, that Hume’s views on this topic are deeply connected with his radically empiricist reliance on phenomenologically given sensory images. He insightfully shows that, working within (...) this epistemological model, we cannot attain complete certainty about the continuum but only at most about discrete quantity. Geometry, in contrast to arithmetic, cannot be a fully exact science. A number of more recent commentators have offered sympathetic interpretations of Hume’s discussion aiming to correct the older tendency to dismiss this part of the Treatise as weak and confused. Most of these commentators interpret Hume as anticipating the contemporary idea of a finite or discrete geometry. They view Hume’s conception that space is composed of simple indivisible minima as a forerunner of the conception that space is a discretely (rather than continuously) ordered set. This approach, in my view, is helpful as far as it goes, but there are several important features of Hume’s discussion that are not sufficiently appreciated. I go beyond these recent commentators by emphasizing three of Hume’s most original contributions. First, Hume’s epistemological model invokes the “confounding” of indivisible minima to explain the appearance of spatial continuity. Second, Hume’s sharp contrast between the perfect exactitude of arithmetic and the irremediable inexactitude of geometry reverses the more familiar conception of the early modern tradition in pure mathematics, according to which geometry (the science of continuous quantity) has its own standard of equality that is independent from and more exact than any corresponding standard supplied by algebra and arithmetic (the sciences of discrete quantity). Third, Hume has a developed explanation of how geometry (traditional Euclidean geometry) is nonetheless possible as an axiomatic demonstrative science possessing considerably more exactitude and certainty that the “loose judgements” of the vulgar. (shrink)

Does geometry constitues a core set of intuitions present in all humans, regarless of their language or schooling ? We used two non verbal tests to probe the conceptual primitives of geometry in the Munduruku, an isolated Amazonian indigene group. Our results provide evidence for geometrical intuitions in the absence of schooling, experience with graphic symbols or maps, or a rich language of geometrical terms.

La connaissances noyau de la géométrie euclidienne est liée au raisonnement déductif et non à la reconnaissance de motifs perceptuels.

Duality has often been described as a means of extending our knowledge with a minimal additional outlay of investigative resources. I consider possible arguments for this view. Major elements of this argument are out of keeping with certain widely held views concerning the nature of axiomatic theories (both in projective geometry and elsewhere). They also require a special form of consistency requirement.

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)

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)

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 propose a new approach to describe quantum mechanics as a manifestation of non-Euclidean geometry. In particular, we construct a new geometrical space that we shall call Qwist. A Qwist space has a extra scalar degree of freedom that ultimately will be identified with quantum effects. The geometrical properties of Qwist allow us to formulate a geometrical version of the uncertainty principle. This relativistic uncertainty relation unifies the position-momentum and time-energy uncertainty principles in a unique relation that recover both of (...) them in the non-relativistic limit. (shrink)

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….

A detailed axiomatisation of diagrams (in affine geometry) is presented, which supports typing of geometric objects, calculation of geometric quantities and automated proof of theorems.

An Aristotelian Philosophy of Mathematics breaks the impasse between Platonist and nominalist views of mathematics. Neither a study of abstract objects nor a mere language or logic, mathematics is a science of real aspects of the world as much as biology is. For the first time, a philosophy of mathematics puts applied mathematics at the centre. Quantitative aspects of the world such as ratios of heights, and structural ones such as symmetry and continuity, are parts of the physical world and (...) are objects of mathematics. Though some mathematical structures such as infinities may be too big to be realized in fact, all of them are capable of being realized. Informed by the author's background in both philosophy and mathematics, but keeping to simple examples, the book shows how infant perception of patterns is extended by visualization and proof to the vast edifice of modern pure and applied mathematical knowledge. (shrink)

Este ensaio introdutório faz uma breve apresentação do tratado de óptica atribuído a Euclides de Alexandria, inserindo-o no contexto das teorias sobre a visão formuladas pelas doutrinas filosóficas antigas. Ressalta-se o antagonismo entre a análise geométrica da visão, empreendida por Euclides, e as considerações filosóficas acerca dos processos físicos subjacentes à sensação visual. Pretende-se mostrar que o objeto da óptica euclidiana é a percepção visual daquilo que Aristóteles denomina "sensível comum". This introductory essay provides an abridged presentation of the optical (...) treatise attributed to Euclid of Alexandria, placing it in the context of theories about vision formulated by the ancient philosophical doctrines. I emphasize the antagonism between the geometric analysis of vision, undertaken by Euclid, and the philosophical considerations about the physical processes underlying visual sensation. In addition, I aim to show that the object of Euclidean optics is the visual perception of what Aristotle calls "common sensible". (shrink)

Russell's philosophy is rightly described as a programme of reduction of mathematics to logic. Now the theory of geometry developed in 1903 does not fit this picture well, since it is deeply rooted in the purely synthetic projective approach, which conflicts with all the endeavours to reduce geometry to analytical geometry. The first goal of this paper is to present an overview of this conception. The second aim is more far-reaching. The fact that such a theory of geometry was sustained (...) by Russell compels us to question the meaning of logicism: how is it possible to reconcile Russell's global reductionist standpoint with his local defence of the specificities of geometry? * This paper was first presented at the conference ‘Qu'est ce que la géométrie aux époques modernes et contemporaines?’, organized by the Universität Köln and the Archives Poincaré. I would like to thank Philippe Nabonnand for having enlightened me about the issues relative to projective geometry. I would like also to thank Nicholas Griffin, Brice Halimi, Bernard Linsky, Marco Panza, Ivahn Smadja for their helpful discussions. Many thanks also to the two anonymous referees for their useful suggestions. CiteULike Connotea Del.icio.us What's this? (shrink)

Let ${\cal Y}$ be a smooth compact oriented riemannian manifoldwithout boundary, and assume that its $1$-homology group has notorsion. Weak limits of graphs of smooth maps $u_k:B^n\rightarrow {\cal Y}$ with equibounded total variation give riseto equivalence classes of cartesian currents in $\mathop {\rm cart}\nolimits ^{1,1}$ for which we introduce a natural$BV$-energy.Assume moreover that the first homotopy group of ${\cal Y}$ iscommutative. In any dimension $n$ we prove that every element $T$ in $\mathop {\rm cart}\nolimits ^{1,1}$ can be approximatedweakly in the (...) sense of currents by a sequence of graphs of smoothmaps $u_k:B^n\rightarrow {\cal Y}$ with total variation converging to the$BV$-energy of $T$. As a consequence, we characterize the lowersemicontinuous envelope of functions of bounded variations from$B^n$ into ${\cal Y}$. (shrink)

It is shown that the automorphism group of a relation algebra ${\cal B}_P$ constructed from a projective geometry P is isomorphic to the collineation group of P. Also, the base automorphism group of a representation of ${\cal B}_P$ over an affine geometry D is isomorphic to the quotient of the collineation group of D by the dilatation subgroup. Consequently, the total number of inequivalent representations of ${\cal B}_P$ , for finite geometries P, is the sum of the numbers ${\mid Col(P)\mid\over (...) {\mid Col(D)\mid/\mid Dil(D)\mid}}$ where D ranges over a list of the non-isomorphic affine geometries having P as their geometry at infinity. This formula is used to compute the number of inequivalent representations of relation algebras constructed over projective lines of order at most 10. For instance, the relation algebra constructed over the projective line of order 9 has 56,700 mutually inequivalent representations. (shrink)

Thomas Reid (1710–1796) presented a two-dimensional geometry of the visual field in his Inquiry into the human mind (1764), whose axioms are different from those of Euclidean plane geometry. Reid’s ‘geometry of visibles’ is the same as the geometry of the surface of the sphere, described without reference to points and lines outside the surface itself. Interpreters of Reid seem to be divided in evaluating the significance of his geometry of visibles in the history of the discovery of non-Euclidean geometries. (...) The question will be reexamined with particular attention given to his unpublished manuscripts. These include comments on Saccheri’s work and Reid’s repeated attempts to derive Euclid’s parallel postulate from the axioms of incidence. (shrink)