This book brings together papers of the conference on 'Space, Geometry and the Imagination from Antiquity to the Modern Age' held in Berlin, Germany, 27-29 August 2012. Focusing on the interconnections between the history of geometry and the philosophy of space in the pre-Modern and Early Modern Age, the essays in this volume are particularly directed toward elucidating the complex epistemological revolution that transformed the classical geometry of figures into the modern geometry of space. Contributors: Graciela De (...) Pierris Franco Farinelli Michael Friedman Daniel Garber Jeremy Gray Gary Hatfield Andrew Janiak Douglas Jesseph Alexander Jones Henry Mendell David Rabouin. (shrink)

In recent years, the ideas of the mathematician Bernhard Riemann have come to the fore as one of Deleuze's principal sources of inspiration in regard to his engagements with mathematics, and the history of mathematics. Nevertheless, some relevant aspects and implications of Deleuze's philosophical reception and appropriation of Riemann's thought remain unexplored. In the first part of the paper I will begin by reconsidering the first explicit mention of Riemann in Deleuze's work, namely, in the second chapter of Bergsonism. In (...) this context, as I intend to show first, Deleuze's synthesis of some key features of the Riemannian theory of multiplicities is entirely dependent, both textually and conceptually, on his reading of another prominent figure in the history of mathematics: Hermann Weyl. This aspect has been largely underestimated, if not entirely neglected. However, as I attempt to bring out in the second part of the paper, reframing the understanding of Deleuze's philosophical engagement with Riemann's mathematics through the Riemann–Weyl conjunction can allow us to disclose some unexplored aspects of Deleuze's further elaboration of his theory of multiplicities and profound confrontation with contemporary science. This finally permits delineation of a correlation between Deleuze's plane of immanence and the contemporary physico-mathematical space of fundamental interactions. (shrink)

A uniquely integrative work, this volume provides a much needed compilation of primary source material to researchers from basic neuroscience, psychology, developmental science, neuroimaging, neuropsychology and theoretical biology. * The ...

This paper gives a formalization of general topology in second-order arithmetic using countably based MF spaces. This formalization is used to study the reverse mathematics of general topology. For each poset P we let MF denote the set of maximal filters on P endowed with the topology generated by {Np | p ∈ P}, where Np = {F ∈ MF | p ∈ F}. We define a countably based MF space to be a space of the form MF (...) for some countable poset P. The class of countably based MF spaces includes all complete separable metric spaces as well as many nonmetrizable spaces. The following reverse mathematics results are obtained. The proposition that every nonempty Gδ subset of a countably based MF space is homeomorphic to a countably based MF space is equivalent to [Formula: see text] over ACA0. The proposition that every uncountable closed subset of a countably based MF space contains a perfect set is equivalent over [Formula: see text] to the proposition that [Formula: see text] is countable for all A ⊆ ℕ. The proposition that every regular countably based MF space is homeomorphic to a complete separable metric space is equivalent to [Formula: see text] over [Formula: see text]. (shrink)

The history and philosophy of science are destined to play a fundamental role in an epoch marked by a major scientific revolution. This ongoing revolution, principally affecting mathematics and physics, entails a profound upheaval of our conception of space, space–time, and, consequently, of natural laws themselves. Briefly, this revolution can be summarized by the following two trends: by the search for a unified theory of the four fundamental forces of nature, which are known, as of now, as gravity, (...) electromagnetism, and strong and weak nuclear forces; by the search for new mathematical concepts capable of elucidating and therefore explaining such a relationship. In fact, the first search is essentially dependent on the second; that is to say, that in order for a new theory of physics to come to light, the development of a deeper geometric theory capable of explaining the structure of space–time on a quantum scale appears to be necessary. On careful consideration, we notice that both of these developments converge in the direction of a unitary and fundamental tendency of modern science—which is the geometrization of theoretical physics and of natural sciences. This new emergent situation carries within it a profound conceptual change, affecting the way in which relations are conceived of, first and foremost, between mathematics and physics. This new paradigm can be summed up by the intimately interdependent points: the immense variety of physical phenomena and of natural forms follows from the equally infinite variety of geometric and topological objects that can be made out in space and from which space is made up; the second point, which ensues from the former one and which is of great historical and epistemological significance, is that mathematics is involved in rather than applied to phenomena. In other words, phenomena are effects that emerge from the geometrical structure of space–time. There is no doubt that this new conception of the relationship between the universe of mathematical ideas and objects and the world of natural phenomena is the true scientific revolution of our century, of great conceptual importance, and consequently, capable of changing our view of science and of nature at one and the same time. It is all at once of a scientific, philosophical and aesthetic order. (shrink)

Regions-based theories of space aim—among others—to define points in a geometrically appealing way. The most famous definition of this kind is probably due to Whitehead. However, to conclude that the objects defined are points indeed, one should show that they are points of a geometrical or a topological space constructed in a specific way. This paper intends to show how the development of mathematical tools allows showing that Whitehead’s method of extensive abstraction provides a construction of objects (...) that are fundamental building blocks of specific topological spaces. (shrink)

The Protean Character of Mathematics SAUNDERS MAC LANE (Chicago) 1. Introduction The thesis of this paper is that mathematics is protean. ...

Space and time are geometrical notions that Sophie Germain, a French mathematician, discusses on several occasions in her Pensées diverses, however not only in a geometrical way but also in terms of a philosophical and moral understanding: she speaks of a human’s lifespan, the space they occupy, their place in creation and the knowledge toward which they always aim. This mixture of mathematical and philosophical thinking brings out Germain’s dream: she wants to apply the language of numbers (...) to moral and political issues. As such this chapter aims to examine Germain’s mathematical understanding of space and time in order to discover her moral theory. Furthermore, in a purely hypothetical context (because one does not know which authors she has read), I compare Germain’s moral thinking to Pascal’s moral and mathematical thoughts in Pensées. We underline the possible inspiration by Pascal by highlighting the similarities between these authors concerning space and time, which both treat mathematically and philosophically. These authors agree that time and space can be measured, and thus provide constant and mathematically uniform elements. At the same time, time and space provide the framework for moral thinking. The latter is not “capable” of enjoying the present moment; he is on a quest for the future. For Germain, this results into knowledge, but for Pascal, this is a sign of an unhappy life in which people do not find rest and are constantly looking for a diversion. (shrink)

A quasi-order Q induces two natural quasi-orders on $${\mathcal{P}(Q)}$$, but if Q is a well-quasi-order, then these quasi-orders need not necessarily be well-quasi-orders. Nevertheless, Goubault-Larrecq (Proceedings of the 22nd Annual IEEE Symposium 4 on Logic in Computer Science (LICS’07), pp. 453–462, 2007) showed that moving from a well-quasi-order Q to the quasi-orders on $${\mathcal{P}(Q)}$$ preserves well-quasi-orderedness in a topological sense. Specifically, Goubault-Larrecq proved that the upper topologies of the induced quasi-orders on $${\mathcal{P}(Q)}$$ are Noetherian, which means that they contain no (...) infinite strictly descending sequences of closed sets. We analyze various theorems of the form “if Q is a well-quasi-order then a certain topology on (a subset of) $${\mathcal{P}(Q)}$$ is Noetherian” in the style of reverse mathematics, proving that these theorems are equivalent to ACA 0 over RCA 0. To state these theorems in RCA 0 we introduce a new framework for dealing with second-countable topological spaces. (shrink)

The aim of this paper is to show that John Wyclif’s theory of space is at once an interpretation of the Platonic theory of place and a Neopythagorean conception of magnitudes and numbers. The result is an original form of mathematical atomism in which atoms are point-like entities with a particular situation in space. If the core of this view comes from Boethius’ De arithmetica, John Wyclif is also influenced by Robert Grosseteste’s metaphysics, which includes the Boethian (...) number theory within the Christian tale of the creation of the world ex nihilo. John Wyclif, however, adds some novelty to this theory concerning the epistemological status of this hypothetical description of the creation of the world out of atoms. First, according to Wyclif, whereas geometry is concerned with sensible and imaginable beings, arithmetic, which is purely intellectual, has access to the deep mathematical structure of the universe. He then suggests a subordination of geometry under arithmetic, which he considers the most solid basis for his metaphysics. As a result, with the attribution of numbers and units to every level of reality, it becomes possible to reform our natural imagination, so that it can imagine the atomic structure of matter and space. (shrink)

This essay explores theories of place, or lived-space, as regards the role of objectivity and the problem of relativism. As will be argued, the neglect of mathematics and geometry by the lived-space theorists, which can be traced to the influence of the early phenomenologists, principally the later Husserl and Heidegger, has been a major contributing factor in the relativist dilemma that afflicts the lived-space movement. By incorporating various geometrical concepts within the analysis of place, it is demonstrated (...) that the lived-space theorists can gain a better insight into the objective spatial relationships among individuals and within groups—and, more importantly, this appeal to mathematical content need not be construed as undermining the basic tenants of the lived-space approach. (shrink)

The purpose of this paper is to show that the mathematics of quantum mechanics is the mathematics of set partitions linearized to vector spaces, particularly in Hilbert spaces. That is, the math of QM is the Hilbert space version of the math to describe objective indefiniteness that at the set level is the math of partitions. The key analytical concepts are definiteness versus indefiniteness, distinctions versus indistinctions, and distinguishability versus indistinguishability. The key machinery to go from indefinite to more (...) definite states is the partition join operation at the set level that prefigures at the quantum level projective measurement as well as the formation of maximally-definite state descriptions by Dirac’s Complete Sets of Commuting Operators. This development is measured quantitatively by logical entropy at the set level and by quantum logical entropy at the quantum level. This follow-the-math approach supports the Literal Interpretation of QM—as advocated by Abner Shimony among others which sees a reality of objective indefiniteness that is quite different from the common sense and classical view of reality as being “definite all the way down”. (shrink)

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

This textbook is designed for an Introduction to Proofs course organized around the themes of number and space. Concepts are illustrated using both geometric and number examples, while frequent analogies and applications help build intuition and context in the humanities, arts, and sciences. Sophisticated mathematical ideas are introduced early and then revisited several times in a spiral structure, allowing students to progressively develop rigorous thinking. Throughout, the presentation is enlivened with whimsical illustrations, apt quotations, and glimpses of (...) class='Hi'>mathematical history and culture. Early chapters integrate an introduction to sets, logic, and beginning proof techniques with a first exposure to more advanced mathematical structures. The middle chapters focus on equivalence relations, functions, and induction. Carefully chosen examples elucidate familiar topics, such as natural and rational numbers and angle measurements, as well as new mathematics, such as modular arithmetic and beginning graph theory. The book concludes with a thorough exploration of the cardinalities of finite and infinite sets and, in two optional chapters, brings all the topics together by constructing the real numbers and other complete metric spaces. Designed to foster the mental flexibility and rigorous thinking needed for advanced mathematics, Introduction to Mathematics suits either a lecture-based or flipped classroom. A year of mathematics, statistics, or computer science at the university level is assumed, but the main prerequisite is the willingness to engage in a new challenge. (shrink)

The remarkable modern speculations concerning non-Euclidean sorts of space, of which Prof. Helmholtz gave some account in No. III. of MIND, are likely to be hailed as one of the chief difficulties with which the Kantian theory of space will have to deal. Digital edition compiled by Gabriele Dörflinger. Heidelberg University Library.

I propose an account of the metaphysics of the expressions of a mathematical language which brings together the structuralist construal of a mathematical object as a place in a structure, the semantic notion of indexicality and Kit Fine's ontological theory of qua objects. By contrasting this indexical qua objects account with several other accounts of the metaphysics of mathematical expressions, I show that it does justice both to the abstractness that mathematical expressions have because they are (...) mathematical objects and to the element of concreteness that they have because they are also used as signs. In a concluding section, I comment on the pragmatic element that has entered ontology by way of the notion of indexicality and use it to give an answer to a question Stewart Shapiro has recently posed about the status of meta-mathematics in the structuralist philosophy of mathematics. (shrink)

Although knowledge is a central topic for MKM there is little explicit discussion on what ‘knowledge’ might actually be. There are specific intuitions about form and content of knowledge, about its structure, and epistemological nature that shape the MKM systems, but a conceptual model is missing. In this paper we try to rationalize this discussion to give MKM a firmer footing, to start a discussion among MKM researchers and help relate the MKM intuitions and discourses to other communities. Starting from (...) the observation that many concrete realizations of mathematical knowledge objects are considered equivalent, we propose a conceptual model of the space of (mathematical) knowledge objects graded by levels of abstraction and presentational explicitness and draw conclusions for MKM markup formats. (shrink)

Suppose we were to meet with extraterrestrials and that we were able to have a discussion about our respective cultures. At some point, they start asking questions about that something which we call “mathematics”. “What is it?”, they ask. Tough question. How should we answer them?

The contemplation of the heavenly vault suggests to any generalizing intelligence the idea of the world suspended within this concavity. During rude barbaric times such as the High Middle Ages – the records of which are precious in this respect – it was thought that this vault rested on the surface of the Earth like a glass bell. And when experience gained firstly by terrestrial travels and afterwards by circumnavigation showed that this was a delusory phenomenon and, at the same (...) time, that the Earth was an autonomous sphere floating within space, the [heavenly] vault became in turn a hollow and translucent sphere containing the concentric world, like the white of an egg surrounding the yolk. Cosmological experience then revealed that the stars were situated at different heights in the supposed vault, which compelled imagining new concentric spheres. Finally, it was discovered that there are neither such spheres nor such a vault; that the amplification and multiplicity of the latter were illusions – as was the concave aspect of the sky – and that the space enclosing the universe is an abyss. (shrink)

Harold Hotelling’s articles in mathematical economics from the 1930s are classics. Some are keystones of entire sub-disciplines of economic theory such as location economics [Hotelling...

Taking as its point of departure the question of light vis-à-vis the question of being in Derrida's work, this article discusses Derrida's radical conceptions of khoral spatiality and alterity, by linking his first book on Edmund Husserl's “The Origin of Geometry” and his early critique of Emmanuel Levinas to his exploration of the ethico-political problematics, in part, again, via Levinas, in his latest works. The article also considers Derrida's reading of Kafka in “Before the Law,” decisive for his analysis of (...) the problematics in question and for our understanding of the relationships between “geometry and democracy.” These relationships, the article argues, are an essential concern of much of Derrida's work and of our culture, from the pre-Socratics on. (shrink)

Objective. Conceptualization of the definition of space as a semantic unit of language consciousness. -/- Materials & Methods. A structural-ontological approach is used in the work, the methodology of which has been tested and applied in order to analyze the subject matter area of psychology, psycholinguistics and other social sciences, as well as in interdisciplinary studies of complex systems. Mathematical representations of space as a set of parallel series of events (Alexandrov) were used as the initial theoretical (...) basis of the structural-ontological analysis. In this case, understanding of an event was considered in the context of the definition adopted in computer science – a change in the object properties registered by the observer. -/- Results. The negative nature of space realizes itself in the subject-object structure, the components interaction of which is characterized by a change – a key property of the system under study. Observer’s registration of changes is accompanied by spatial focusing (situational concretization of the field of changes) and relating of its results with the field of potentially distinguishable changes (subjective knowledge about «changing world»). The indicated correlation performs the function of space identification in terms of recognizing its properties and their subjective significance, depending on the features of the observer`s motivational sphere. As a result, the correction of the actual affective dynamics of the observer is carried out, which structures the current perception of space according to principle of the semantic fractal. Fractalization is a formation of such a subjective perception of space, which supposes the establishment of semantic accordance between the situational field of changes, on the one hand, and the worldview, as well as the motivational characteristics of the observer, on the other. -/- Conclusions. Performed structural-ontological analysis of the system formed by the interaction of the perceptual function of the psyche and the semantic field of the language made it possible to conceptualize the space as a field of changes potentially distinguishable by the observer, structurally organized according to the principle of the semantic fractal. The compositional features of the fractalization process consist in fact that the semantic fractal of space is relevant to the product of the difference between the situational field of changes and the field of potentially distinguishable changes, adjusted by the current configuration of the observer`s value-needs hierarchy and reduced by his actual affective dynamics. (shrink)

Presenting the history of space-time physics, from Newton to Einstein, as a philosophical development DiSalle reflects our increasing understanding of the connections between ideas of space and time and our physical knowledge. He suggests that philosophy's greatest impact on physics has come about, less by the influence of philosophical hypotheses, than by the philosophical analysis of concepts of space, time and motion, and the roles they play in our assumptions about physical objects and physical measurements. This way (...) of thinking leads to interpretations of the work of Newton and Einstein and the connections between them. It also offers ways of looking at old questions about a priori knowledge, the physical interpretation of mathematics, and the nature of conceptual change. Understanding Space-Time will interest readers in philosophy, history and philosophy of science, and physics, as well as readers interested in the relations between physics and philosophy. (shrink)

This book is designed to make accessible to nonspecialists the still evolving concepts of quantum mechanics and the terminology in which these are expressed. The opening chapters summarize elementary concepts of twentieth century quantum mechanics and describe the mathematical methods employed in the field, with clear explanation of, for example, Hilbert space, complex variables, complex vector spaces and Dirac notation, and the Heisenberg uncertainty principle. After detailed discussion of the Schrödinger equation, subsequent chapters focus on isotropic vectors, used (...) to construct spinors, and on conceptual problems associated with measurement, superposition, and decoherence in quantum systems. Here, due attention is paid to Bell's inequality and the possible existence of hidden variables. Finally, progression toward quantum computation is examined in detail: if quantum computers can be made practicable, enormous enhancements in computing power, artificial intelligence, and secure communication will result. This book will be of interest to a wide readership seeking to understand modern quantum mechanics and its potential applications. (shrink)

This paper provides a method for characterizing space events using the framework of conceptual spaces. We focus specifically on estimating and ranking the likelihood of collisions between space objects. The objective is to design an approach for anticipatory decision support for space operators who can take preventive actions on the basis of assessments of relative risk. To make this possible our approach draws on the fusion of both hard and soft data within a single decision support framework. (...) Contextual data is also taken into account, for example data about space weather effects, by drawing on the Space Domain Ontologies, a large system of ontologies designed to support all aspects of space situational awareness. The framework is coupled with a mathematical programming scheme that frames a mathematically optimal approach for decision support, providing a quantitative basis for ranking potential for collision across multiple satellite pairs. The goal is to provide the broadest possible information foundation for critical assessments of collision likelihood. (shrink)

"This book develops a rigorous theory of indeterminism as a local and modal concept. Its crucial insight is that our world contains events or processes with alternative, really possible outcomes. The theory aims at clarifying what this assumption involves, and it does it in two ways. First, it provides a mathematically rigorous framework for local and modal indeterminism. Second, we support that theory by spelling out the philosophically relevant consequences of this formulation and by showing its fruitful applications in metaphysics. (...) To this end, we offer a formal analysis of modal correlations and of causation, which is applicable in indeterministic and non-local contexts as well. We also propose a rigorous theory of objective single-case probabilities, intended to represent degrees of possibility. In a third step, we link our theory to current physics, investigating how local and modal indeterminism relates to issues in the foundations of physics, in particular, quantum non-locality and spatio-temporal relativity. The book also ventures into the philosophy of time, showing how the theory's resources can be used to explicate the dynamic concept of the past, present, and future based on local indeterminism"--. (shrink)

Many books explain what is known about the universe. This book investigates what cannot be known. Rather than exploring the amazing facts that science, mathematics, and reason have revealed to us, this work studies what science, mathematics, and reason tell us cannot be revealed. In The Outer Limits of Reason, Noson Yanofsky considers what cannot be predicted, described, or known, and what will never be understood. He discusses the limitations of computers, physics, logic, and our own thought processes. Yanofsky describes (...) simple tasks that would take computers trillions of centuries to complete and other problems that computers can never solve; perfectly formed English sentences that make no sense; different levels of infinity; the bizarre world of the quantum; the relevance of relativity theory; the causes of chaos theory; math problems that cannot be solved by normal means; and statements that are true but cannot be proven. He explains the limitations of our intuitions about the world -- our ideas about space, time, and motion, and the complex relationship between the knower and the known. Moving from the concrete to the abstract, from problems of everyday language to straightforward philosophical questions to the formalities of physics and mathematics, Yanofsky demonstrates a myriad of unsolvable problems and paradoxes. Exploring the various limitations of our knowledge, he shows that many of these limitations have a similar pattern and that by investigating these patterns, we can better understand the structure and limitations of reason itself. Yanofsky even attempts to look beyond the borders of reason to see what, if anything, is out there. (shrink)

Historically, nonclassical physics developed in three stages. First came a collection of ad hoc assumptions and then a cookbook of equations known as "quantum mechanics". The equations and their philosophical underpinnings were then collected into a model based on the mathematics of Hilbert space. From the Hilbert space model came the abstaction of "quantum logics". This book explores all three stages, but not in historical order. Instead, in an effort to illustrate how physics and abstract mathematics influence each (...) other we hop back and forth between a purely mathematical development of Hilbert space, and a physically motivated definition of a logic, partially linking the two throughout, and then bringing them together at the deepest level in the last two chapters. This book should be accessible to undergraduate and beginning graduate students in both mathematics and physics. The only strict prerequisites are calculus and linear algebra, but the level of mathematical sophistication assumes at least one or two intermediate courses, for example in mathematical analysis or advanced calculus. No background in physics is assumed. (shrink)

The overall goal of the approach developed in this paper is to estimate the likelihood of a given kinetic kill scenario between hostile spacebased adversaries using the mathematical framework of Complex Conceptual Spaces Single Observation. Conceptual spaces are a cognitive model that provide a method for systematically and automatically mimicking human decision making. For accurate decisions to be made, the fusion of both hard and soft data into a single decision framework is required. This presents several challenges to this (...) data fusion framework. The first is the challenge involved in handling multiple complex terminologies, which is addressed by drawing on a set of Space Domain Ontologies. Another challenge is the complex combinatorics involved when considering all possible feature combinations. This can be mitigated by using integer linear programming optimization that is outlined by the Complex Conceptual Spaces Single Observation mathematical model framework. A third challenge is the complicated physics that is involved in a spacecraft collision that must be addressed to obtain a better understanding of threat assessment. Overcoming these various challenges allows for a quantitative ranking for the potential of a kinetic kill collision across multiple spacecraft pairs. In addition to overcoming these challenges this paper will break down threat assessment into four domains and identify a ranking of threat both for each individual domain and for the four domains combined. Simulation results are shown to verify the developed concepts. (shrink)

Spaces in the brain can refer either to psychological spaces, which are derived from similarity judgments, or to neurocognitive spaces, which are based on the activities of neural structures. We want to show how psychological spaces naturally emerge from the underlying neural spaces by dimension reductions that preserve similarity structures and the relevant categorizations. Some neuronal representational formats that may generate the psychological spaces are presented, compared and discussed in relation to the mathematical principles of monotonicity, continuity and convexity. (...) In particular, we discuss the spatial structures involved in the connections between perception and action, for example eye-hand coordination, and argue that spatial organization of information makes such mappings more efficient. (shrink)