Les architectures molles, sculptées, transparentes, immatérielles prétendent se libérer des contraintes géométriques, comme si la géométrie ne revendiquait que la droite et la forme orthogonale ou le cercle! Certains architectes s'abandonnent aux " hasards " informatiques et construisent des édifices à la géométrie chahutée par un logiciel. Des urbanistes opposent encore le plan radioconcentrique au plan en damier en ce qui concerne l'expansion des villes et, refusant d'imaginer d'autres morphologies, laissent faire la promotion immobilière, les opportunités foncières et le chacun (...) pour soi. La géométrie, dans notre culture marquée par la philosophie grecque, est constitutive et de l'architecture et de l'urbanisme. Elle est mise en débat par le jeu extraordinairement varié des formes et de leurs agencements, aussi bien que par des régulations qui donnent une mesure au monde et suscitent des questionnements quant à ce qui est à la mesure de l'existence. Depuis le simple pas jusqu'aux théories les plus sophistiquées, la géométrie - qui n'a jamais cessé de se complexifier depuis Pythagore ou Euclide jusqu'aux géométries algébrique, infinitésimale et variable - se rappelle à nous. C'est ce rappel qu'il nous faut entendre, comme une invitation à penser aussi bien notre corps que le paysage, aussi bien la maison que la ville et la cité. Cet ouvrage collectif veut questionner géométriquement et philosophiquement l'urbain contemporain et les architectures qu'il provoque. En d'autres termes, il espère saisir à partir de la confrontation entre mathématiciens, géomètres, historiens, architectes, urbanistes, paysagistes et philosophes l'expérience existentielle de l'espace-temps des lieux. (shrink)

Quantum geometry on a discrete set means a directed graph with a weight associated to each arrow defining the quantum metric. However, these ‘lattice spacing’ weights do not have to be independent of the direction of the arrow. We use this greater freedom to give a quantum geometric interpretation of discrete Markov processes with transition probabilities as arrow weights, namely taking the diffusion form ∂+f = f for the graph Laplacian Δθ, potential functions q, p built from the probabilities, (...) and finite difference ∂+ in the time direction. Motivated by this new point of view, we introduce a ‘discrete Schrödinger process’ as ∂+ψ = ıψ for the Laplacian associated to a bimodule connection such that the discrete evolution is unitary. We solve this explicitly for the 2-state graph, finding a 1-parameter family of such connections and an induced ‘generalised Markov process’ for f = |ψ|2 in which there is an additional source current built from ψ. We also mention our recent work on the quantum geometry of logic in ‘digital’ form over the field F2 = {0, 1}, including de Morgan duality and its possible generalisations. (shrink)

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)

The Aristotelian square of oppositions is a well-known diagram in logic and linguistics. In recent years, several extensions of the square have been discovered. However, these extensions have failed to become as widely known as the square. In this paper we argue that there is indeed a fundamental difference between the square and its extensions, viz., a difference in informativity. To do this, we distinguish between concrete Aristotelian diagrams and, on a more abstract level, the Aristotelian geometry. We then (...) introduce two new logical geometries, and develop a formal, well-motivated account of their informativity. This enables us to show that the square is strictly more informative than many of the more complex diagrams. (shrink)

Cartesian method both organizes and impoverishes the domains to which Descartes applies it. It adjusts geometry so that it can be better integrated with algebra, and yet deflects a full-scale investigation of curves. It provides a comprehensive conceptual framework for physics, and yet interferes with the exploitation of its dynamical and temporal aspects. Most significantly, it bars a fuller unification of mathematics and physics, despite Descartes' claims to quantify nature. The work of his contemporaries Galileo and Torricelli, and of (...) his successor Newton, illustrates conceptual possibilities Descartes left aside, due to his attachment to method. (shrink)

We present the basic concepts of space and time, the Galilean and pseudo-Euclidean geometry. We use an elementary geometric framework of affine spaces and groups of affine transformations to illustrate the natural relationship between classical mechanics and theory of relativity, which is quite often hidden, despite its fundamental importance. We have emphasized a passage from the group of Galilean motions to the group of Poincaré transformations of a plane. In particular, a 1-parametric family of natural deformations of the Poincaré (...) group is described. We also visualized the underlying groups of Galilean, Euclidean, and pseudo-Euclidean rotations within the special linear group. (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.

Die Geometrie ist seit Euklids Elementen nicht nur Vorbild fur Theorieform und Wissenschaftlichkeit. Sie hat auch seit der Antike die erkenntnistheoretische Diskussion uber das Verhaltnis von Wirklichkeit und Erkenntnis beeinflusst. In ihrer formalaxiomatischen Auffassung der physikalischen Geometrie durch A. Einstein wird die Wissenschaftstheorie des 20. Jahrhunderts in ihren Mehrheitspositionen auf einen Logischen Empirismus festgelegt. Vollstandig ausgeklammert bleibt dabei das philosophische Problem der Gegenstandskonstitution. Wovon ist Geometrie eine Wissenschaft, und wodurch erhalt sie ihre Passung auf die Anwendungen in Handwerk, Technik und (...) messender Naturwissenschaft? (shrink)

With In Focus Sacred Geometry, learn the fascinating history behind this ancient tradition as well as how to decipher the geometrical symbols, formulas, and patterns based on mathematical patterns. People have searched for the meaning behind mathematical patterns for thousands of years. At its core, sacred geometry seeks to find the universal patterns that are found and applied to the objects surrounding us, such as the designs found in temples, churches, mosques, monuments, art, architecture, and nature. Learn the (...) fundamental principles behind: Interpreting the sacred symbolism and principles behind shapes Calculating numbers used in sacred geometry Applying the golden ratio and Fibonacci’s Sequence to objects Translating symbolic and geometrical letters and alphabets This accessible and beautifully designed guide to sacred geometry includes a frameable poster of the main sacred geometrical shapes and their unique, innate arrangements. The In Focus series applies a modern approach to teaching the classic body, mind, and spirit subjects. Authored by experts in their respective fields, these beginner's guides feature smartly designed visual material that clearly illustrates key topics within each subject. As a bonus, each book includes reference cards or a poster, held in an envelope inside the back cover, that give you a quick, go-to guide containing the most important information on the subject. (shrink)

Geometry and Chronometry in Philosophical Perspective was first published in 1968. Minnesota Archive Editions uses digital technology to make long-unavailable books once again accessible, and are published unaltered from the original University of Minnesota Press editions. In this volume Professor Grünbaum substantially extends and comments upon his essay "Geometry, Chronometry, and Empiricism," which was first published in Volume III of the Minnesota Studies in the Philosophy of Science. Commenting on the essay when it first appeared J. J. C. (...) Smart wrote in Mind (England): "In my opinion Adolf Grünbaum's paper ... supersedes nearly all that has been written on the logical status of physical geometry and chronometry." The full text of the essay is given here with the author's extension of it and his discussion of some of the critical comment it has evoked, particularly, a critique published by Hilary Putnam. Adolph Grünbaum is Andrew Mellon Professor of Philosophy at the University of Pittsburgh and the current president of the Philosophy of Science Association. (shrink)

Thomas C. Vinci argues that Kant's Deductions demonstrate Kant's idealist doctrines and have the structure of an inference to the best explanation for correlated domains. With the Deduction of the Categories the correlated domains are intellectual conditions and non-geometrical laws of the empirical world. With the Deduction of the Concepts of Space, the correlated domains are the geometry of pure objects of intuition and the geometry of empirical objects.

In mathematics textbooks and special mathematical treatises, themes and theses of Arthur Schopenhauer's elementary geometry appear again and again. Since Schopenhauer's geometry or philosophy of geometry was considered exemplary in the 19th and early 20th centuries in its relation to figures and thus to the intuition, the two-hundred-year reception history sketched in this paper also follows the evaluation of intuition-related geometries, which depends on the mathematical paradigms.

The notion of linguistic geometry is defined in this book. It is pertinent to keep in the record that linguistic geometry differs from classical geometry. Many basic or fundamental concepts and notions of classical geometry are not true or extendable in the case of linguistic geometry. Hence, for simple illustration, facts like two distinct points in classical geometry always define a line passing through them; this is generally not true in linguistic geometry. Suppose (...) we have two linguistic points as tall and light we cannot connect them, or technically, there is no line between them. However, let's take, for instance, two linguistic points, tall and very short, associated with the linguistic variable height of a person. We have a directed line joining from the linguistic point very short to the linguistic point tall. In this case, it is important to note that the direction is essential when the linguistic variable is a person's height. The other way line, from tall to very short, has no meaning. So in linguistic geometry, in general, we may not have a linguistic line; granted, we have a line, but we may not have it in both directions; the line may be directed. The linguistic distance is very far. So, the linguistic line directed or otherwise exists if and only if they are comparable. Hence the very concept of extending the line infinitely does not exist. Likewise, we cannot say as in classical geometry; three noncollinear points determine the plane in linguistic geometry. Further, we do not have the notion of the linguistic area of well-defined figures like a triangle, quadrilateral or any polygon as in the case of classical geometry. The best part of linguistic geometry is that we can define the new notion of linguistic social information geometric networks analogous to social information networks. This will be a boon to non-mathematics researchers in socio-sciences in other fields where natural languages can replace mathematics. (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)

Whereas geometrical oppositions (logical squares and hexagons) have been so far investigated in many fields of modal logic (both abstract and applied), the oppositional geometrical side of “deontic logic” (the logic of “obligatory”, “forbidden”, “permitted”, . . .) has rather been neglected. Besides the classical “deontic square” (the deontic counterpart of Aristotle’s “logical square”), some interesting attempts have nevertheless been made to deepen the geometrical investigation of the deontic oppositions: Kalinowski (La logique des normes, PUF, Paris, 1972) has proposed a (...) “deontic hexagon” as being the geometrical representation of standard deontic logic, whereas Joerden (jointly with Hruschka, in Archiv für Rechtsund Sozialphilosophie 73:1, 1987), McNamara (Mind 105:419, 1996) and Wessels (Die gute Samariterin. Zur Struktur der Supererogation, Walter de Gruyter, Berlin, 2002) have proposed some new “deontic polygons” for dealing with conservative extensions of standard deontic logic internalising the concept of “supererogation”. Since 2004 a new formal science of the geometrical oppositions inside logic has appeared, that is “ n -opposition theory”, or “NOT”, which relies on the notion of “logical bi-simplex of dimension m ” ( m = n − 1). This theory has received a complete mathematical foundation in 2008, and since then several extensions. In this paper, by using it, we show that in standard deontic logic there are in fact many more oppositional deontic figures than Kalinowski’s unique “hexagon of norms” (more ones, and more complex ones, geometrically speaking: “deontic squares”, “deontic hexagons”, “deontic cubes”, . . ., “deontic tetraicosahedra”, . . .): the real geometry of the oppositions between deontic modalities is composed by the aforementioned structures (squares, hexagons, cubes, . . ., tetraicosahedra and hyper-tetraicosahedra), whose complete mathematical closure happens in fact to be a “deontic 5-dimensional hyper-tetraicosahedron” (an oppositional very regular solid). (shrink)

This book reconstructs, both from the historical and theoretical points of view, Leibniz's geometrical studies, focusing in particular on the research Leibniz ...

Finsler geometry on the tangent bundle appears to be applicable to relativistic field theory, particularly, unified field theories. The physical motivation for Finsler structure is conveniently developed by the use of “gauge” transformations on the tangent space. In this context a remarkable correspondence of metrics, connections, and curvatures to, respectively, gauge potentials, fields, and energy-momentum emerges. Specific relativistic electromagnetic metrics such as Randers, Beil, and Weyl can be compared.

Graphic pattern (e.g. geometric design) and number-based code (e.g. digital sequencing) can store and transmit complex information more efficiently than referential modes of representation. The analysis of the two genres and their relation to one another has not advanced significantly beyond a general classification based on motion-centred geometries of symmetry. This article examines an intriguing example of patchwork coverlets from the maritime societies of Oceania, where information referencing a complex genealogical system is lodged in geometric designs. By drawing attention to (...) the interplay of graphic pattern and number-based code and its role in the knowledge economies of maritime societies, the article offers new insight into possible ways of designing a digital informational surface that captures the behaviour of an operational system, allowing both for differentiation and integration. (shrink)

Customary interpretations state that Tractarian thoughts are pictures, and, a fortiori, facts. I argue that important difficulties are unavoidable if we assume this standard view, and I propose a reading of the concept taking advantage of an analogy that Wittgenstein introduces, namely, the analogy between thoughts and projective geometry. I claim that thoughts should be understood neither as pictures nor as facts, but as acts of geometric projection in logical space. The interpretation I propose thus removes the root of (...) the identified difficulties. Moreover, it allows important clarification concerning some central aspects of the Tractarian theory of representation, and it yields a unifying elucidation regarding Wittgenstein’s remarks on the solipsistic thesis. (shrink)

Following ideas elaborated by Hering in his celebrated analysis of color, the psychologist and gestalt theorist Otto Selz developed in the 1930s a theory of “natural space”, i.e., space as it is conceived by us. Selz’s thesis is that the geometric laws of natural space describe how the points of this space are related to each other by directions which are ordered in the same way as the points on a sphere. At the end of one of his articles, Selz (...) tries to derive within his framework two of Hilbert’s axioms for Euclidean geometry. Such derivations would, according to Selz, disclose the psychological origin and meaning of the geometric axioms and would thus contribute to a clarification of their epistemological status. In the present article Selz’s theory is explained and analyzed, his basic principles are amended, and implicit assumptions are made explicit. It is shown that the resulting system is one of ordered affine geometry in which all of Hilbert’s axioms except the axioms of congruence and those of continuity are derivable. The primary aim of the present paper is to make explicit the basic principles behind Selz’s geometry of natural space. The question of the logical independence of these principle is not investigated. (shrink)

According to Kepler and Descartes, the geometry of the triangle formed by the two eyes when focused on a single point affords perception of the distance to that point. Kepler characterized the processes involved as associative learning. Descartes described the processes as a “ natural geometry.” Many interpreters have Descartes holding that perceivers calculate the distance to the focal point using angle-side-angle, calculations that are reduced to unnoticed mental habits in adult vision. This article offers a purely psychophysiological (...) interpretation of Descartes’s natural geometry. In his account of perceived limb position from the Treatise on Man, he envisioned a central brain state that controls ocular convergence and thereby co-varies with the distance from observer to object. A psychophysiological law relates the visual perception of distance to this brain state. Descartes also invokes more traditional theories of distance and size perception based on unnoticed judgments, yielding a hybrid account. (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)

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)

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.

The controversy between Euclidean and non-Euclidean geometry arose new philosophical and scientific insights which were relevant to the later development of natural science. Here we want to consider Poincaré and Helmholtz’s positions as two of the most important and original ones who contributed to the subsequent development of the epistemology of natural sciences. Based in these conceptions, we will show that the role of philosophy is still important for some aspects of science.

Evolution and geometry generate complexity in similar ways. Evolution drives natural selection while geometry may capture the logic of this selection and express it visually, in terms of specific generic properties representing some kind of advantage. Geometry is ideally suited for expressing the logic of evolutionary selection for symmetry, which is found in the shape curves of vein systems and other natural objects such as leaves, cell membranes, or tunnel systems built by ants. The topology and (...) class='Hi'>geometry of symmetry is controlled by numerical parameters, which act in analogy with a biological organism’s DNA. The introductory part of this paper reviews findings from experiments illustrating the critical role of two-dimensional (2D) design parameters, affine geometry and shape symmetry for visual or tactile shape sensation and perception-based decision making in populations of experts and non-experts. It will be shown that 2D fractal symmetry, referred to herein as the “symmetry of things in a thing”, results from principles very similar to those of affine projection. Results from experiments on aesthetic and visual preference judgments in response to 2D fractal trees with varying degrees of asymmetry are presented. In a first experiment (psychophysical scaling procedure), non-expert observers had to rate (on a scale from 0 to 10) the perceived beauty of a random series of 2D fractal trees with varying degrees of fractal symmetry. In a second experiment (two-alternative forced choice procedure), they had to express their preference for one of two shapes from the series. The shape pairs were presented successively in random order. Results show that the smallest possible fractal deviation from “symmetry of things in a thing” significantly reduces the perceived attractiveness of such shapes. The potential of future studies where different levels of complexity of fractal patterns are weighed against different degrees of symmetry is pointed out in the conclusion. (shrink)

This high-level study discusses Newtonian principles and 19th-century views on electrodynamics and the aether. Additional topics include Einstein's electrodynamics of moving bodies, Minkowski spacetime, gravitational geometry, time and causality, and other subjects. Highlights include a rich exposition of the elements of the special and general theories of relativity.

An argument is given that Euclidean geometry is a priori in the same way that numbers are a priori, the result of modeling, not the world, but our activities in the world.

Au Moyen Âge, les rapports entre savoirs théorique et pratique dans la mesure des champs sont difficiles à appréhender. L’article examine d’une part l’évolution de la géométrie depuis les premiers traités de l’époque carolingienne jusqu’à l’apparition de la geometria practica, puis l’évolution de ce dernier genre, d’autre part la pratique effective des mesureurs telle qu’on la reconstitue à partir d’une documentation évasive. On observe que les techniques de mesure ne relèvent jamais de la géométrie savante, euclidienne ou pratique, malgré les (...) tentatives de quelques savants à partir du xiii e siècle. (shrink)

This paper develops some respects in which the philosophy of mathematics can fruitfully be informed by mathematical practice, through examining Frege's Grundlagen in its historical setting. The first sections of the paper are devoted to elaborating some aspects of nineteenth century mathematics which informed Frege's early work. (These events are of considerable philosophical significance even apart from the connection with Frege.) In the middle sections, some minor themes of Grundlagen are developed: the relationship Frege envisions between arithmetic and geometry (...) and the way in which the study of reasoning is to illuminate this. In the final section, it is argued that the sorts of issues Frege attempted to address concerning the character of mathematical reasoning are still in need of a satisfying answer. (shrink)

There is a venerable position in the philosophy of space and time that holds that the geometry of spacetime is conventional, provided one is willing to postulate a “universal force field.” Here we ask a more focused question, inspired by this literature: in the context of our best classical theories of space and time, if one understands “force” in the standard way, can one accommodate different geometries by postulating a new force field? We argue that the answer depends on (...) one’s theory. In Newtonian gravitation the answer is yes; in relativity theory, it is no. (shrink)

Kant argued that Euclidean geometry is synthesized on the basis of an a priori intuition of space. This proposal inspired much behavioral research probing whether spatial navigation in humans and animals conforms to the predictions of Euclidean geometry. However, Euclidean geometry also includes concepts that transcend the perceptible, such as objects that are infinitely small or infinitely large, or statements of necessity and impossibility. We tested the hypothesis that certain aspects of nonperceptible Euclidian geometry map onto (...) intuitions of space that are present in all humans, even in the absence of formal mathematical education. Our tests probed intuitions of points, lines, and surfaces in participants from an indigene group in the Amazon, the Mundurucu, as well as adults and age-matched children controls from the United States and France and younger US children without education in geometry. The responses of Mundurucu adults and children converged with that of mathematically educated adults and children and revealed an intuitive understanding of essential properties of Euclidean geometry. For instance, on a surface described to them as perfectly planar, the Mundurucu's estimations of the internal angles of triangles added up to ∼180 degrees, and when asked explicitly, they stated that there exists one single parallel line to any given line through a given point. These intuitions were also partially in place in the group of younger US participants. We conclude that, during childhood, humans develop geometrical intuitions that spontaneously accord with the principles of Euclidean geometry, even in the absence of training in mathematics. (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)

The application of geometry to physics has provided us with new insightful information about many physical theories such as classical mechanics, general relativity, and quantum geometry. The geometry also plays an important role in foundations of quantum mechanics and quantum information. In this work we discuss a geometric framework for mixed quantum states represented by density matrices, where the quantum phase space of density matrices is equipped with a symplectic structure, an almost complex structure, and a compatible (...) Riemannian metric. This compatible triple allow us to investigate arbitrary quantum systems. We will also discuss some applications of the geometric framework. (shrink)

A timely collection of advanced, original material in the area of statistical methodology motivated by geometric problems, dedicated to the influential work of Kanti V. Mardia This volume celebrates Kanti V. Mardia's long and influential career in statistics. A common theme unifying much of Mardia’s work is the importance of geometry in statistics, and to highlight the areas emphasized in his research this book brings together 16 contributions from high-profile researchers in the field. Geometry Driven Statistics covers a (...) wide range of application areas including directional data, shape analysis, spatial data, climate science, fingerprints, image analysis, computer vision and bioinformatics. The book will appeal to statisticians and others with an interest in data motivated by geometric considerations. Summarizing the state of the art, examining some new developments and presenting a vision for the future, Geometry Driven Statistics will enable the reader to broaden knowledge of important research areas in statistics and gain a new appreciation of the work and influence of Kanti V. Mardia. (shrink)

Euclidean geometry, statics, and classical mechanics, being in some sense the simplest physical theories based on a full-fledged mathematical apparatus, are well suited to a historico-philosophical analysis of the way in which a physical theory differs from a purely mathematical theory. Through a series of examples including Newton’s Principia and later forms of mechanics, we will identify the interpretive substructure that connects the mathematical apparatus of the theory to the world of experience. This substructure includes models of experiments, models (...) of measurement, and modular connections with partial theories. It evolves during the life of a theory as physicists learn how to apply it in various contexts. It should nevertheless be regarded as an integral part of a genuine physical theory since the theory would otherwise degenerate into pure mathematics. (shrink)

L’article a pour but d’analyser la conception de la géométrie et de la mesure présentée dans Intuition et Raisonnement [Hölder 1900], « Les axiomes de la grandeur et la théorie de la mensuration » [Hölder 1901] et La Méthode mathématique [Hölder 1924]. L’article examine les relations entre a) la démarcation introduite par Hölder entre géométrie et arithmétique à partir de la notion de ‘concept donné’, b) sa position philosophique par rapport à l’apriorisme kantien et à l’empirisme et c) le choix (...) du postulat de la continuité de Dedekind parmi les axiomes de la théorie des grandeurs. L’article montre que les choix faits au niveau axiomatique sont reliés au cadre épistémologique et que l’originalité de Hölder consiste surtout dans son analyse au cas par cas des procédures déductives en mathématiques. (shrink)

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)

A novel cognitive theory of semantics that proposes that the meanings of words can be described in terms of geometric structures.

Tim Maudlin sets out a completely new method for describing the geometrical structure of spaces, and thus a better mathematical tool for describing and understanding space-time. He presents a historical review of the development of geometry and topology, and then his original Theory of Linear Structures.

Using as a starting point recent and apparently incompatible conclusions by Saunders and Knox, I revisit the question of the correct spacetime setting for Newtonian physics. I argue that understood correctly, these two versions of Newtonian physics make the same claims both about the background geometry required to define the theory, and about the inertial structure of the theory. In doing so I illustrate and explore in detail the view—espoused by Knox, and also by Brown —that inertial structure is (...) defined by the dynamics governing subsystems of a larger system. This clarifies some interesting features of Newtonian physics, notably the distinction between using the theory to model subsystems of a larger whole and using it to model complete universes, and the scale-relativity of spacetime structure. _1_ Introduction _2_ Newtonian Mechanics and Galilean Spacetime _3_ Vector Relationism and Maxwellian Spacetime _4_ Recovering the Galilei Group: Dynamics of Subsystems _5_ Knox on Inertial Structure _6_ Connections on Maxwellian Spacetime _7_ Knox on Newtonian Gravity _8_ Vector Relationism and Newton–Cartan Theory _9_ Inertial Structure in Newton–Cartan Gravity _10_ Reconciling Knox and Saunders _11_ Conclusions. (shrink)