Euclidean geometry, as presented by Euclid, consists of straightedge-and-compass constructions and rigorous reasoning about the results of those constructions. We show that Euclidean geometry can be developed using only intuitionistic logic. This involves finding “uniform” constructions where normally a case distinction is used. For example, in finding a perpendicular to line L through point p, one usually uses two different constructions, “erecting” a perpendicular when p is on L, and “dropping” a perpendicular when p is not on L, (...) but in constructive geometry, it must be done without a case distinction. Classically, the models of Euclidean geometry are planes over Euclidean fields. We prove a similar theorem for constructive Euclidean geometry, by showing how to define addition and multiplication without a case distinction about the sign of the arguments. With intuitionistic logic, there are two possible definitions of Euclidean fields, which turn out to correspond to different versions of the parallel postulate.We consider three versions of Euclid’s parallel postulate. The two most important are Euclid’s own formulation in his Postulate 5, which says that under certain conditions two lines meet, and Playfair’s axiom, which says there cannot be two distinct parallels to line L through the same point p. These differ in that Euclid 5 makes an existence assertion, while Playfair’s axiom does not. The third variant, which we call the strong parallel postulate, isolates the existence assertion from the geometry: it amounts to Playfair’s axiom plus the principle that two distinct lines that are not parallel do intersect. The first main result of this paper is that Euclid 5 suffices to define coordinates, addition, multiplication, and square roots geometrically.We completely settle the questions about implications between the three versions of the parallel postulate. The strong parallel postulate easily implies Euclid 5, and Euclid 5 also implies the strong parallel postulate, as a corollary of coordinatization and definability of arithmetic. We show that Playfair does not imply Euclid 5, and we also give some other independence results. Our independence proofs are given without discussing the exact choice of the other axioms of geometry; all we need is that one can interpret the geometric axioms in Euclidean field theory. The independence proofs use Kripke models of Euclidean field theories based on carefully constructed rings of real-valued functions. “Field elements” in these models are real-valued functions. (shrink)

Elementary geometry can be axiomatized constructively by taking as primitive the concepts of the apartness of a point from a line and the convergence of two lines, instead of incidence and parallelism as in the classical axiomatizations. I first give the axioms of a general plane geometry of apartness and convergence. Constructive projective geometry is obtained by adding the principle that any two distinct lines converge, and affine geometry by adding a parallel line construction, etc. (...) Constructive axiomatization allows solutions to geometric problems to be effected as computer programs. I present a formalization of the axiomatization in type theory. This formalization works directly as a computer implementation of geometry. (shrink)

We provide a universal axiom system for plane hyperbolic geometry in a firstorder language with two sorts of individual variables, ‘points’ and ‘lines’ , containing three individual constants, A0, A1, A2, standing for three non-collinear points, two binary operation symbols, φ and ι, with φ = l to be interpreted as ‘[MATHEMATICAL SCRIPT SMALL L] is the line joining A and B’ , and ι = P to be interpreted as [MATHEMATICAL SCRIPT SMALL L]P is the point of intersection (...) of g and h , and two binary operation symbols, π1 and —2, with πi = g to be interpreted as ‘g is one of the two limiting paralle lines from P to [MATHEMATICAL SCRIPT SMALL L]. (shrink)

Picture geometry is often regarded as an area of technical knowledge that accompanies or provides useful information for basic research on visual culture and almost never as a methodological one. Despite the historical and conceptual connections between mathe­matics and the visual, even a basic geometric competence is by no means a common of image and visual culture researchers. At the same time, the overwhelming majority of this kind of work belong to the field of technical knowledge, the history of (...) mathemat­ics, or positivism based theories; in other words, they do not address the most important issues for humanities research. Rare non-technical works in this area do not find due recognition and dissemination among a wider community of specialists. The article offers the main result of the research, the subject of which was pictorial depth. Pictorial depth is the version of the specific experience of distance with which the image is traditionally associated. The problem of distance is a classical area of philosophical reflection on the image. The article presents an attempt to geometrically express one of its versions, namely pictorial and visual depth. At the same time, the important dimension of inacces­sibility and heterogeneity is preserved, that is, the experience of depth is not reduced to visual data or the literal geometry of a flat picture. By constructing a geometrically object that can be considered depth, it is possible to extract intuitively non-obvious properties that would not be available through direct analysis of experience and other methods of naked reflection. The article presents only some of the findings obtained during the study. (shrink)

Abū al-Jūd Muḥammad ibn al-Layth is one of the mathematicians of the 10th century who contributed most to the novel chapter on the geometric construction of the problems of solids and super-solids, and also to another chapter on solving cubic and bi-quadratic equations with the aid of conics. His works, which were significant in terms of the results they contained, are moreover important with regard to the new relations they established between algebra and geometry. Good fortune transmitted to us (...) his correspondences with the mathematician and astronomer al-Bīrūnī. The questions they debated, and the answers they yielded, all offer us multiple in vivo perspectives on the research that was undertaken in that period. The reader would find in this article a critical edition and French translation of this correspondence, with historical and mathematical commentaries. Résumé Abū al-Jūd Muḥammad ibn al-Layth est l’un des mathématiciens du x e siècle qui ont le plus contribué au nouveau chapitre sur les constructions géométriques des problèmes solides et sur-solides, ainsi qu’à un autre chapitre, sur la solution des équations cubiques et biquadratiques à l’aide des coniques. Ses travaux, importants pour les résultats qu’ils renferment, le sont aussi par les nouveaux rapports qu’ils instaurent entre l’algèbre et la géométrie. La bonne fortune nous a transmis sa correspondance avec le mathématicien et astronome al-Bīrūnī. Les questions qui y sont débattues, les réponses apportées, nous offrent, in vivo, plusieurs perspectives sur la recherche qui était alors menée. Le lecteur trouve dans cet article l’édition critique de cette correspondance, sa traduction française ainsi qu’un commentaire historique et mathématique. (shrink)

We investigate the isomorphism types of combinatorial geometries arising from Hrushovski's flat strongly minimal structures and answer some questions from Hrushovski's original paper.

Geometry, etymologically the “science of measuring the Earth”, is a mathematical formalization of space. Just as formal concepts of number may be rooted in an evolutionary ancient system for perceiving numerical quantity, the fathers of geometry may have been inspired by their perception of space. Is the spatial content of formal Euclidean geometry universally present in the way humans perceive space, or is Euclidean geometry a mental construction, specific to those who have received appropriate instruction? The (...) spatial content of the formal theories of geometry may depart from spatial perception for two reasons: first, because in geometry, only some of the features of spatial figures are theoretically relevant; and second, because some geometric concepts go beyond any possible perceptual experience. Focusing in turn on these two aspects of geometry, we will present several lines of research on US adults and children from the age of three years, and participants from an Amazonian culture, the Mundurucu. Almost all the aspects of geometry tested proved to be shared between these two cultures. Nevertheless, some aspects involve a process of mental construction where explicit instruction seem to play a role in the US, but that can still take place in the absence of instruction in geometry. (shrink)

Greek ancient and early modern geometry necessarily uses diagrams. Among other things, these enter geometrical analysis. The paper distinguishes two sorts of geometrical analysis and shows that in one of them, dubbed “intra-confgurational” analysis, some diagrams necessarily enter as outcomes of a purely material gesture, namely not as result of a codifed constructive procedure, but as result of a free-hand drawing.

In this paper we provide quantifier-free, constructive axiomatizations for 2-dimensional absolute, Euclidean, and hyperbolic geometry. The main novelty consists in the first-order languages in which the axiom systems are formulated.

The notion of the "construction" or "exhibition" of a concept in intuition is central to Kant's philosophical account of geometry. Kant invokes this notion in all of his major Critical Era discussions of mathematics. The most extended discussion of mathematics, and geometry more specifically, occurs in "The Discipline of Pure Reason in its Dogmatic Employment." In this later section of the Critique, Kant makes it clear that construction-in-intuition is central to his philosophy of mathematics by presenting it as (...) the defining characteristic of mathematical knowledge. He claims: [M]athematical knowledge is the knowledge gained by reason from the construction of concepts. To construct a concept means to exhibit a... (shrink)

This paper continues the investigations begun in [6] and continued in [7] about quantifier-free axiomatizations of plane Euclidean geometry using ternary operations. We show that plane Euclidean geometry over Archimedean ordered Euclidean fields can be axiomatized using only two ternary operations if one allows axioms that are not first-order but universal Lw1,w sentences. The operations are: the transport of a segment on a halfline that starts at one of the endpoints of the given segment, and the operation which (...) produces one of the intersection points of a perpendicular on a diameter of a circle with that circle. MSC: 03F65, 51M05, 51M15. (shrink)

In this paper we provide quantifier-free, constructive axiomatizations for several fragments of plane Euclidean geometry over Euclidean fields, such that each axiom contains at most 4 variables. The languages in which they are expressed contain only at most ternary operations. In some precisely defined sense these axiomatizations are the simplest possible.

We review and contrast three ways to make up a formal Euclidean geometry which one might call constructive, in a computational sense. The starting point is the first-order geometry created by Tarski.

In the preface to the Principia (1687) Newton famously states that “geometry is founded on mechanical practice.” Several commentators have taken this and similar remarks as an indication that Newton was firmly situated in the constructivist tradition of geometry that was prevalent in the seventeenth century. By drawing on a selection of Newton's unpublished texts, I hope to show the faults of such an interpretation. In these texts, Newton not only rejects the constructivism that took its birth in (...) Descartes's Géométrie (1637); he also presents the science of geometry as being more powerful than his Principia remarks may lead us to believe. (shrink)

The aim of this paper is to discuss the relation between the observation basis and the theoretical principles of General Relativity. More specifically, this relation is analyzed with respect to constructive axiomatizations of the observation basis of space-time theories, on the one hand, and in attempts to complete them, on the other. The two approaches exclude one another so that a choice between them is necessary. I argue that the completeness approach is preferable for methodological reasons.

An intermediate stage in Hrushovski’s construction of flat strongly minimal structures in a relational language L produces ω-stable structures of rank ω. We analyze the pregeometries given by forking on the regular type of rank ω in these structures. We show that varying L can affect the isomorphism type of the pregeometry, but not its finite subpregeometries. A sequel will compare these to the pregeometries of the strongly minimal structures.

In this paper we provide a quantifier-free, constructive axiomatization of metric-Euclidean and of rectangular planes . The languages in which the axiom systems are expressed contain three individual constants and two ternary operations. We also provide an axiom system in algorithmic logic for finite Euclidean planes, and for several minimal metric-Euclidean planes. The axiom systems proposed will be used in a sequel to this paper to provide ‘the simplest possible’ axiom systems for several fragments of plane Euclidean geometry.

H. Tietze has proved algebraically that the geometry of uniquely determined ruler and compass constructions coincides with the geometry of ruler and set square constructions. We provide a new proof of this result via new universal axiom systems for Euclidean planes of characteristic ≠ 2 in languages containing only operation symbols.

In this paper we provide a quantifier-free constructive axiomatization for Euclidean planes in a first-order language with only ternary operation symbols and three constant symbols . We also determine the algorithmic theories of some ‘naturally occurring’ plane geometries.

In the 1920s Heyting attempted at axiomatizing constructive geometry. Recently, von Plato used different concepts to axiomatize it. He used 14 axioms to formulate constructive apartness geometry, seven of which have occurrences of negation. In this paper we show with the help of ANDP, a theorem prover based on natural deduction, that four new axioms without negation, shorter and more intuitive, can replace seven of von Plato's 14 ones. Thus we obtained a near negation-free new system (...) consisting of 11 axioms. (shrink)

The Ethics of Geometry is a study of the relationship between philosophy and mathematics. Essential differences in the ethos of mathematics, for example, the customary ways of undertaking and understanding mathematical procedures and their objects, provide insight into the fundamental issues in the quarrel of moderns with ancients. Two signal features of the modern ethos are the priority of problem-solving over theorem-proving, and the claim that constructability by human minds or instruments establishes the existence of relevant entities. These figures (...) are combined in the emblematic statement of Salomon Maimon, "In mathematical construction we are, as it were, gods." Construction is the mark of modernity. The disciplines of classical philology, literary interpretation and the history of philosophy and of mathematics are woven together in this volume. (shrink)

Dans la seconde partie de son Prologue au Commentaire du premier livre des Éléments d'Euclide, Proclus, un néo-platonicien du Ve siècle après J.-C., a donné sur Platon un jugement qui semble avoir été accepté d'une façon assez unanime par les anciens, lorsqu'il écrit: «Après eux [Hippocrate de Chios et Théodore de Cyrène] vécut Platon qui fit prendre aux Mathématiques en général, à la Géométrie en particulier, un essor immense, grâce au zèle qu'il déploya pour elles, et dont témoignent assez ses (...) écrits tout remplis de discours mathématiques, et qui, à chaque instant, éveillent l'ardeur pour ces sciences chez ceux qui s'adonnent à la philosophie». Les historiens modernes de la géométrie grecque ont dû nuancer ce jugement de Proclus, allant même jusqu'à parler de légende à propos des prétendues découvertes géométriques de Platonz. De fait, il semble que l'essor des mathématiques et de la géométrie au IVe siècle av. (shrink)

Cet article explore la signification de l’espace comme un « lieu pratiqué » selon la notion reprise à Michel de Certeau, en examinant la construction d’un gymnase et ses effets sur les relations sociales et les réseaux disciplinaires. Tout comme le laboratoire ou le théâtre, le gymnase a été spécifiquement pensé pour permettre certaines actions et en témoigner, en reflétant des conceptions de l’entraînement et de l’éducation corporelle. Ses divers agencements de l’espace y favorisent une incorporation de la race, du (...) lieu, du genre et de l’identité. Le War Memorial Gymnasium de l’Université de Colombie britannique dans l’Ouest du Canada, construit en 1851, est utilisé pour illustrer la manière dont, sous des formes complexes, les géométries du pouvoir – ces multiples configurations de l’espace et des relations sociales à l’intérieur et autour du gymnase – produisent dans ses murs une culture didactique et sportive aux enjeux véritablement stratégiques et tactiques, qui active et articule les division de genre. (shrink)

The literary and critical discourse about characters and characterization in Anglophone drama and fiction since the Renaissance shows a persistent but underrecognized presence of three idioms and vocabularies, two highly developed and one nascent, that either derive from the rhetoric of mathematics in classical antiquity or participate in its modern afterlife. Those discourses—which this article studies in detail—are, first, an explicitly Theophrastan one, in which taxonomies of character are constructed; second, an explicitly Euclidean one, in which characterization is discussed and (...) accomplished in relatively conventional or commonsensical geometric terms; and third, a non- or post-Euclidean one, in which characterization is discussed and inchoately accomplished in the terms of the “new geometries” that emerged during the nineteenth century. What taxonomy in the Aristotelian mode and geometry in the Euclidean mode have in common is that when their vocabularies are applied to characterization, they delimit characters in terms of established categories—whether of ideal shapes or statistically probable types—while discounting whatever features may be unique to individuals. An obliviousness to these three discourses can limit seriously what can be said about, and what can be said on behalf of, the literary and critical texts framed in their terms and also, most importantly, what can be said about the nature of literary characters. (shrink)

Gothic cathedrals like Chartres were built in a discontinuous process by groups of masons using their own local knowledge, measures, and techniques. They had neither plans nor knowledge of structural mechanics. The success of the masons in building such large complex innovative structures lies in the use of templates, string, constructive geometry, and social organization to assemble a coherent whole from the messy heterogeneous practices of diverse groups of workers. Chartres resulted from the ad hoc accumulation of the (...) work of many men. (shrink)

As part of his program to unify linear algebra and geometry using the language of Clifford algebra, David Hestenes has constructed a (well-known) isomorphism between the conformal group and the orthogonal group of a space two dimensions higher, thus obtaining homogeneous coordinates for conformal geometry.(1) In this paper we show that this construction is the Clifford algebra analogue of a hyperbolic model of Euclidean geometry that has actually been known since Bolyai, Lobachevsky, and Gauss, and we explore (...) its wider invariant theoretic implications. In particular, we show that the Euclidean distance function has a very simple representation in this model, as demonstrated by J. J. Seidel.(18). (shrink)

In his 'Inquiry', Reid claims, against Berkeley, that there is a science of the perspectival shapes of objects ('visible figures'): they are geometrically equivalent to shapes projected onto the surfaces of spheres. This claim should be understood as asserting that for every theorem regarding visible figures there is a corresponding theorem regarding spherical projections; the proof of the theorem regarding spherical projections can be used to construct a proof of the theorem regarding visible figures, and vice versa. I reconstruct Reid's (...) argument for this claim, and expose its mathematical underpinnings: it is successful, and depends on no empirical assumptions to which he was not entitled about the workings of the human eye. I also argue that, although Reid may or may not have been aware of it, the geometry of spherical projections is not the only geometry of visible figure. (shrink)

Historians of modern philosophy have been paying increasing attention to contemporaneous scientific developments. Isaac Newton's Principia is of course crucial to any discussion of the influence of scientific advances on the philosophical currents of the modern period, and two philosophers who have been linked especially closely to Newton are John Locke and Immanuel Kant. My dissertation aims to shed new light on the ties each shared with Newtonian science by treating Newton, Locke, and Kant simultaneously. I adopt Newton's philosophy of (...) geometry as the starting point of investigation, for here I believe we have a constructive means by which to assess Locke and Kant's relationship to Newton, In particular, I defend the thesis that the justification Newton, Locke and Kant offer for applying geometrical principles to nature is central to understanding their respective ties to a Newtonian science characterized by the intermingling of mathematics and experiment, Although little is said by Locke in regard to a mathematical approach to nature, I hope to show that his interpretation of the origins of our geometrical ideas has a close affinity to Newton's own characterization of geometry, leading us to reexamine the extent of Locke's 'Newtonianism.' Kant famously attempts to bridge the gap between geometry and the empirical world by establishing space as a "pure form of intuition." My discussion of Kant's Newtonian approach to nature centers on the imagination, and I argue that the mediating work completed by this faculty in geometrical construction and experience in general is equally important to understanding Kant's application of geometry to the empirical realm, In the end, I hope my treatment of the strategies employed by Newton, Locke, and Kant to account for a mathematical-experimental method of natural philosophy sheds further light on the importance of Newton to the progress of modern philosophy. (shrink)

I use recent work on Kant and diagrammatic reasoning to develop a reconsideration of central aspects of Kant’s philosophy of geometry and its relation to spatial intuition. In particular, I reconsider in this light the relations between geometrical concepts and their schemata, and the relationship between pure and empirical intuition. I argue that diagrammatic interpretations of Kant’s theory of geometrical intuition can, at best, capture only part of what Kant’s conception involves and that, for example, they cannot explain why (...) Kant takes geometrical constructions in the style of Euclid to provide us with an a priori framework for physical space. I attempt, along the way, to shed new light on the relationship between Kant’s theory of space and the debate between Newton and Leibniz to which he was reacting, and also on the role of geometry and spatial intuition in the transcendental deduction of the categories. (shrink)

Differential geometry, the contemporary heir of the infinitesimal calculus of the 17th century, appears today as the most appropriate language for the description of physical reality. This holds at every level: The concept of “connexion,” for instance, is used in the construction of models of the universe as well as in the description of the interior of the proton. Nothing is apparently more contrary to the wisdom of physicists; all the same, “it works.” The pages that follow show the (...) conceptual role played by this geometry in some examples—without entering into technical details. In order to achieve this, we shall often have to abandon the complete mathematical rigor and even full definitions; however, we shall be able to give a precise description of the connection of ideas thanks to some elements of group theory. (shrink)

Peg Rawes examines a "minor tradition" of aesthetic geometries in ontological philosophy. Developed through Kant’s aesthetic subject she explores a trajectory of geometric thinking and geometric figurations--reflective subjects, folds, passages, plenums, envelopes and horizons--in ancient Greek, post-Cartesian and twentieth-century Continental philosophies, through which productive understandings of space and embodies subjectivities are constructed. Six chapters, explore the construction of these aesthetic geometric methods and figures in a series of "geometric" texts by Kant, Plato, Proclus, Spinoza, Leibniz, Bergson, Husserl and Deleuze. In (...) each text, geometry is expressed as a uniquely embodies aesthetic activity because each respective geometric method and figure is imbued with aesthetic sensibility and geometric sense (rather than as disembodies scientific methods). An ontology of aesthetic geometric methods and figures is therefore traced from Kant’s Critical writings, back to Plato and Proclus Greek philosophy, Spinoza and Leibniz’s post-Cartesian philosophies, and forwards to Bergson’s "duration" and Husserl’s "horizons" towards Deleuze’s philosophy of sense. (shrink)

Inquiries of Wellstein, Grünbaum and others have proved that there are indefinitely many different spatial models of Euklidian geometry. The points, lines and planes of these models are related to each other as the points, straight lines and planes of Euklidian geometry, but they are obviously totally different from them. That means that the axiomatic Euklidian geometry does not clearly determine the spatial forms of their planes and straight lines. The constructive geometry basing on approaches (...) of Hugo Dingler tries to solve this problem of disambiguity so that a clear realization of the geometrical basic objects plane, straight line and rectangle and others is possible because of certain rules. On the one hand these rules are to pledge the techniques of realisation and on the other hand they are the basic for the deduction of statements on the technically realized geometrical basic objects. The rules are especially to pledge the selection of apt material that keep its form. The following will show that the disambiguity cannot be pledged by the mere laws established by the constructive geometry and especially that the problem of electing the material cannot be solved by these laws. Furthermore it proves to be necessary to analyze and reconstruct more circumstances describing the selection of apt material which exceed the present standard of constructive geometry. (shrink)

Euler developed a program which aimed to transform analysis into an autonomous discipline and reorganize the whole of mathematics around it. The implementation of this program presented many difficulties, and the result was not entirely satisfactory. Many of these difficulties concerned the integral calculus. In this paper, we deal with some topics relevant to understand Euler’s conception of analysis and how he developed and implemented his program. In particular, we examine Euler’s contribution to the construction of differential equations and his (...) notion of indefinite integrals and general integrals. We also deal with two remarkable difficulties of Euler’s program. The first concerns singular integrals, which were considered as paradoxical by Euler since they seemed to violate the generality of certain results. The second regards the explicitly use of the geometric representation and meaning of definite integrals, which was gone against his program. We clarify the nature of these difficulties and show that Euler never thought that they undermined his conception of mathematics and that a different foundation was necessary for analysis. (shrink)

We introduce new first-order languages for the elementary n-dimensional geometry and elementary n-dimensional affine geometry , based on extending equation image and equation image, respectively, with new function symbols. Here, β stands for the betweenness relation and ≡ for the congruence relation. We show that the associated theories admit effective quantifier elimination.

In this paper, we are concerned with the development of a general set theory using the single axiom version of Leśniewski’s mereology. The specification of mereology, and further of Tarski’s geometry of solids will rely on the Calculus of Inductive Constructions (CIC). In the first part, we provide a specification of Leśniewski’s mereology as a model for an atomless Boolean algebra using Clay’s ideas. In the second part, we interpret Leśniewski’s mereology in monadic second-order logic using names and develop (...) a full version of mereology referred to as CIC-based Monadic Mereology (λ-MM) allowing an expressive theory while involving only two axioms. In the third part, we propose a modeling of Tarski’s solid geometry relying on λ-MM. It is intended to serve as a basis for spatial reasoning. All parts have been proved using a translation in type theory. (shrink)

Some ancient Greek coins from the island state of Aegina depict peculiar geometric designs. Hitherto they have been interpreted as anticipations of some Euclidean propositions. But this paper proposes geometrical constructions which establish connections to pre-Euclidean treatments of incommensurability. The earlier Aeginetan coin design from about 500 bc onwards appears as an attempt not only to deal with incommensurability but also to conceal it. It might be related to Plato’s dialogue Timaeus. The newer design from 404 bc onwards reveals incommensurability, (...) namely in the context of ‘doubling the square’. It thereby covers the same topic but a different geometry as passages in Plato’s dialogue Meno (385 bc). This coin design incorporates important elements of ancient Greek geometrical analysis of the fifth century bc like the gnomon, Hippocrates’ squaring of the lunule (ca. 430 bc), and a geometrical version of monetary equivalence. Through this venue, the design’s conceptual lineage might be traced as far back as Heraclitus’ cosmology of about 500 bc. (shrink)

For $\Bbb {F}$ the field of real or complex numbers, let $CG(\Bbb {F})$ be the continuous geometry constructed by von Neumann as a limit of finite dimensional projective geometries over $\Bbb {F}$ . Our purpose here is to show the equational theory of $CG(\Bbb {F})$ is decidable.

Constructivists, such as Harvey Brown, urge that the geometries of Newtonian and special relativistic spacetimes result from the properties of matter. Whatever this may mean, it commits constructivists to the claim that these spacetime geometries can be inferred from the properties of matter without recourse to spatiotemporal presumptions or with few of them. I argue that the construction project only succeeds if constructivists antecedently presume the essential commitments of a realist conception of spacetime. These commitments can be avoided only by (...) adopting an extreme form of operationalism. (shrink)

RésuméDans cet article, l'auteur discute les principes qui ont guidé M. Gonseth dans ses recherches sur la géométrie et le problème de l'espace. M. Gonseth défend la thèse selon laquelle avant de tenter de résoudre le problème de la géométrie, on doit disposer des facultés d'intuition, de déduction et d'une connaissance expérimentale de l'espace.M. Tummers a publié trois brochures sur la géométrie: 1. De Opbouw der Meetkunde ; 2. De Meetkunde en de Ervaring ; 3. Wijsgerige Verantwoording van het Paralelenpostulaat (...) . Il défend la thèse selon laquelle une science dont toute expérience serait bannie ne pourrait pas exister. Dans la troisième de ces brochures, il montre que la proposition des parallèles n'est pas une thèse qui peut ětre déduite, mais un véritable postulat. L'auteur suppose dans sa recherche — exactement comme M. Gonseth — l'expérience ainsi que les facultés d'intuition et de déduction.L'auteur conclut que M. Gonseth, lorsqu'il montre que l'expérience et les facultés d'intuition et de déduction sont indispensables pour la construction de la géométrie, a prouvé une thèse d'une importance fondamentale. L'auteur essaye de construire une géométrie abstraite, mais dirigée par l'expérience, alors que Hilbert introduit une géométrie entièrement abstraite, excluant l'expérience comme instrument de contrǒle.In this article the author discusses the principles leading Mr. Gonseth in his search of geometry and the problem of the space. The following books of Mr. Gonseth are consulted:I. La déduction préalable. II. Les trois aspects de la Géométrie. III. L'Edification axiomatique.Mr. Gonseth argues that—before attempting to solve the problem of geometry—we must avail ourselves of the faculties of intuition and deduction, and of an experimental knowledge of the space.The author Mr. Tummers has published three brochures on geometry:1° De Opbouw der Meetkunde 1941. 2° De Meetkunde en de Ervaring 1949. 3° Wijsgerige Verantwoording van het Paralelenpostulaat 1951.The author defends the thesis that a science from which experience is excluded cannot exist.In the third brochure the author demonstrates that the proposition of the parallels is not a thesis which can be deduced, but a true postulate. The author, exactly as Mr. Gonseth, supposes in his research the experience and the faculties of intuition and deduction.The author concludes that Mr. Gonseth, when defending that experience and the faculties of intuition and deduction are indispensable for the construction of geometry, proves a thesis of great and fundamental importance.The author tries to build up an abstract geometry but directed by experience, Hilbert introduces a geometry, entirely abstract, whereas excluding the experience as instrument of supervision. (shrink)

Contrary to the predominant way of doing physics, we claim that the geometrical structure of a general differentiable space-time manifold can be determined from purely dynamical considerations. Anyn-dimensional manifoldV a has associated with it a symplectic structure given by the2n numbersp andx of the2n-dimensional cotangent fiber bundle TVn. Hence, one is led, in a natural way, to the Hamiltonian description of dynamics, constructed in terms of the covariant momentump (a dynamical quantity) and of the contravariant position vectorx (a geometrical quantity). (...) That is, the Hamiltonian description furnishes a natural way of relating dynamics and geometry. Thus, starting from the Hamiltonian state function (for a particle)—taken as the fundamental dynamical entity—we show that general relativistic physics implies a general pseudo-Riemannian geometry, whereas the physics of the special theory of relativity is tied up with Minkowski space-time, and nonrelativistic dynamics is bound up to Newton-Cartan space-time. (shrink)