How does one formalize the structure of structures necessary for the foundations of physics? This work is an attempt at conceptualizing the metaphysics of pregeometric structures, upon which new and existing notions of quantum geometry may find a foundation. We discuss the philosophy of pregeometric structures due to Wheeler, Leibniz as well as modern manifestations in topos theory. We draw attention to evidence suggesting that the framework of formal language, in particular, homotopy type theory, provides the conceptual building blocks for (...) a theory of pregeometry. This work is largely a synthesis of ideas that serve as a precursor for conceptualizing the notion of space in physical theories. In particular, the approach we espouse is based on a constructivist philosophy, wherein ``structureless structures'' are syntactic types realizing formal proofs and programs. Spaces and algebras relevant to physical theories are modeled as type-theoretic routines constructed from compositional rules of a formal language. This offers the remarkable possibility of taxonomizing distinct notions of geometry using a common theoretical framework. In particular, this perspective addresses the crucial issue of how spatiality may be realized in models that link formal computation to physics, such as the Wolfram model. (shrink)

We define a discrete closure operator for definably complete locally o‐minimal structures. The pair of the underlying set of and the discrete closure operator forms a pregeometry. We define the rank of a definable set over a set of parameters using this fact and call it ‐dimension. A definable set X is of dimension equal to the ‐dimension of X. The structure is simultaneously a first‐order topological structure. The dimension rank of a set definable in the first‐order (...) topological structure also coincides with its dimension. (shrink)

A book on the notion of fundamental length, covering issues in the philosophy of math, metaphysics, and the history and the philosophy of modern physics, from classical electrodynamics to current theories of quantum gravity. Published (2014) in Cambridge University Press.

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)

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

The distinction between the discrete and the continuous lies at the heart of mathematics. Discrete mathematics (arithmetic, algebra, combinatorics, graph theory, cryptography, logic) has a set of concepts, techniques, and application areas largely distinct from continuous mathematics (traditional geometry, calculus, most of functional analysis, differential equations, topology). The interaction between the two – for example in computer models of continuous systems such as fluid flow – is a central issue in the applicable mathematics of the last hundred years. (...) This article explains the distinction and why it has proved to be one of the great organizing themes of mathematics. (shrink)

Van Bendegem has recently offered an argument to the effect that, if time is discrete, then there should exist a correspondence between the motions of massive bodies and a discrete geometry. On this basis, he concludes that, even if space is continuous, it should nonetheless appear discrete. This paper examines the two possible ways of making sense of that correspondence, and shows that in neither case van Bendegem’s conclusion logically follows.

This book explores and articulates the concepts of the continuous and the infinitesimal from two points of view: the philosophical and the mathematical. The first section covers the history of these ideas in philosophy. Chapter one, entitled ‘The continuous and the discrete in Ancient Greece, the Orient and the European Middle Ages,’ reviews the work of Plato, Aristotle, Epicurus, and other Ancient Greeks; the elements of early Chinese, Indian and Islamic thought; and early Europeans including Henry of Harclay, Nicholas (...) of Autrecourt, Duns Scotus, William of Ockham, Thomas Bradwardine and Nicolas Oreme. The second chapter of the book covers European thinkers of the sixteenth and seventeenth centuries: Galileo, Newton, Leibniz, Descartes, Arnauld, Fermat, and more. Chapter three, 'The age of continuity,’ discusses eighteenth century mathematicians including Euler and Carnot, and philosophers, among them Hume, Kant and Hegel. Examining the nineteenth and early twentieth centuries, the fourth chapter describes the reduction of the continuous to the discrete, citing the contributions of Bolzano, Cauchy and Reimann. Part one of the book concludes with a chapter on divergent conceptions of the continuum, with the work of nineteenth and early twentieth century philosophers and mathematicians, including Veronese, Poincaré, Brouwer, and Weyl. Part two of this book covers contemporary mathematics, discussing topology and manifolds, categories, and functors, Grothendieck topologies, sheaves, and elementary topoi. Among the theories presented in detail are non-standard analysis, constructive and intuitionist analysis, and smooth infinitesimal analysis/synthetic differential geometry. No other book so thoroughly covers the history and development of the concepts of the continuous and the infinitesimal. (shrink)

We show that if M is a strongly minimal large homogeneous structure in a countable similarity type and the pregeometry of M is locally modular but not modular, then the pregeometry is affine over a division ring.

Morphogenesis is a general concept in biology including all the processes which generate tissue shapes and cellular organizations in a living organism. Many hybrid formalizations have been proposed for modelling morphogenesis in embryonic or adult animals, like gastrulation. We propose first to study the ventral furrow invagination as the initial step of gastrulation, early stage of embryogenesis. We focus on the study of the connection between the apical constriction of the ventral cells and the initiation of the invagination. For that, (...) we have created a 3D biomechanical model of the embryo of the Drosophila melanogaster based on the finite element method. Each cell is modelled by an elastic hexahedron contour and is firmly attached to its neighbouring cells. A uniform initial distribution of elastic and contractile forces is applied to cells along the model. Numerical simulations show that invagination starts at ventral curved extremities of the embryo and then propagates to the ventral medial layer. Then, this observation already made in some experiments can be attributed uniquely to the specific shape of the embryo and we provide mechanical evidence to support it. Results of the simulations of the “pill-shaped” geometry of the Drosophila melanogaster embryo are compared with those of a spherical geometry corresponding to the Xenopus lævis embryo. Eventually, we propose to study the influence of cell proliferation on the end of the process of invagination represented by the closure of the ventral furrow. (shrink)

The electronic and muonic hydrogen energy levels are calculated very accurately [1] in Quantum Electrodynamics (QED) by coupling the Dirac Equation four vector (c ,mc2) current covariantly with the external electromagnetic (EM) field four vector in QED’s Interactive Representation (IR). The c -Non Exclusion Principle(c -NEP) states that, if one accepts c as the electron/muon velocity operator because of the very accurate hydrogen energy levels calculated, the one must also accept the resulting electron/muon internal spatial and time coordinate operators (ISaTCO) (...) derived directly from c without any assumptions. This paper does not change any of the accurate QED calculations of hydrogen’s energy levels, given the simplistic model of the proton used in these calculations [1]. The Proton Radius Puzzle [2, 3] may indicate that new physics is necessary beyond the Standard Model (SM), and this paper describes the bizarre, and very different, situation when the electron and muon are located “inside” the spatially extended proton with their Centers of Charge (CoCs) orbiting the proton at the speed of light in S energy states. The electron/muon center of charge (CoC) is a structureless point that vibrates rapidly in its inseparable, non-random vacuum whose geometry and time structure are defined by the electron/muon ISaTCO discrete geometry. The electron/muon self mass becomes finite in a natural way due to the ISaTCOs cutting off high virtual photon energies in the photon propagator. The Dirac-Maxwell-Wilson (DMW) Equations are derived from the ISaTCO for the EM fields of an electron/muon, and the electron/muon “look” like point particles in far field scattering experiments in the same way the electric field from a sphere with evenly distributed charge “e” “looks” like a point with the same charge in the far field (Gauss Law). The electron’s/muon’s three fluctuating CoC internal spatial coordinate operators have eight possible eigenvalues [4, 5, 6] that fall on a spherical shell centered on the electron’s CoM with radius in the rest frame. The electron/muon internal time operator is discrete, describes the rapid virtual electron/positron pair production and annihilation. The ISaTCO together create a current that produce spin and magnetic moment operators, and the electron and muon no longer have “intrinsic” properties since the ISaTCO kinematics define spin and magnetic moment properties. (shrink)

We present a deductive theory of space-time which is realistic, objective, and relational. It is realistic because it assumes the existence of physical things endowed with concrete properties. It is objective because it can be formulated without any reference to cognoscent subjects or sensorial fields. Finally, it is relational because it assumes that space-time is not a thing but a complex of relations among things. In this way, the original program of Leibniz is consummated, in the sense that space is (...) ultimately an order of coexistents, and time is an order of succesives. In this context, we show that the metric and topological properties of Minkowskian space-time are reduced to relational properties of concrete things. We also sketch how our theory can be extended to encompass a Riemannian space-time. (shrink)

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.

While it is known that Euclid’s five axioms include a proposition that a line consists at least of two points, modern geometry avoid consistently any discussion on the precise definition of point, line, etc. It is our aim to clarify one of notorious question in Euclidean geometry: how many points are there in a line segment? – from discrete-cellular space (DCS) viewpoint. In retrospect, it may offer an alternative of quantum gravity, i.e. by exploring discrete gravitational theories. To (...) elucidate our propositions, in the last section we will discuss some implications of discrete cellular-space model in several areas of interest: (a) cell biology, (b) cellular computing, (c) Maxwell equations, (d) low energy fusion, and (e) cosmology modelling. (shrink)

I start by considering Mark Steiner’s startling claim that Hume takes geometry to be synthetic a priori, which engenders the Kantian challenge to explain how such knowledge is possible. I argue, in response, that Steiner misinterprets the (deceptive) relevant passage from Hume, and that Hume, as the received view has it, takes geometry to be analytic, although in a more expansive sense of the word than the modern one. I then note a new challenge geometry engenders for Hume. Unlike Euclidean (...) space, Humean space is finitely divisible, for which several Euclidean axioms and theorems do not hold. I argue, in response, that (crucially for his scientific project) Hume can account for our belief in the truth of Euclidean geometry on the basis of non-Euclidean ideas, although (innocuously for him) not all should be true. I conclude by arguing, on a less optimistic note, that Hume cannot point to a geometry that is true of our (discrete) ideas. (shrink)

A fiber bundle constructed over spacetime is used as the basic underlying framework for a differential geometric description of extended hadrons. The bundle has a Cartan connection and possesses the de Sitter groupSO(4, 1) as structural group, operating as a group of motion in a locally defined space of constant curvature (the fiber) characterized by a radius of curvatureR≈10−13 cm related to the strong interactions. A hadronic matter field ω(x, ζ) is defined on the bundle space, withx the spacetime coordinate (...) and ζ varying in the local fiber. The components of a generalized tensor current ℑ μab (M) (x) are introduced, involving a bilinear expression in the fields ω(x, ζ) and ωΔ(x, ζ) integrated over the local fiber at the pointx. This hadronic matter current is considered as a source current for the underlying fiber geometry by coupling it in a gauge-invariant manner to the curvature expressions derived from the bundle connection coefficients, which are associated here with strong interaction effects, i.e., play the role of meson fields induced in the geometry. Studying discrete symmetry transformations between the 16 differently soldered Cartan bundles, a generalized matter-antimatter conjugation Ĉ is established which leaves the basic current-curvature equations Ĉ-invariant. The discrete symmetry transformation Ĉ turns out to be the direct product of an ordinary charge conjugation for the Dirac point-spinor part of ω(x, ζ) and an internal $\hat P\hat T$ transformation applied globally on the bundle to the fiber (i.e., de Sitter) part of ω(x, ζ). (shrink)

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

A method originally conceived by Bohm for abstracting key features of the metric geometry from an underlying spinor ordering is generalized to the projective geometry. This allows the introduction of the spinor into a projective context and the definition of an associated geometric algebra. The projective spinor may then be regarded as defining a pregeometry for the projective space.

The standard mathematical account of the sub-metrical geometry of a space employs topology, whose foundational concept is the open set. This proves to be an unhappy choice for discrete spaces, and offers no insight into the physical origin of geometrical structure. I outline an alternative, the Theory of Linear Structures, whose foundational concept is the line. Application to Relativistic space-time reveals that the whole geometry of space-time derives from temporal structure. In this sense, instead of spatializing time, Relativity temporalizes (...) space. (shrink)

Removing a black hole conic singularity by means of Kruskal representation is equivalent to imposing extensibility on the Kasner–Fronsdal local isometric embedding of the corresponding black hole geometry. Allowing for globally non-trivial embeddings, living in Kaluza–Klein-like M 5 × S 1 (rather than in standard Minkowski M 6 ) and parametrized by some wave number k, extensibility can be achieved for apparently “forbidden” frequencies ω in the range ω 1 (k) ≤ ω ≤ ω 2 (k). As k → 0, (...) ω 1, 2 (0) → ωH (e.g., ωH = 1/4M in the Schwarzschild case) such that the Hawking–Gibbons limit is fully recovered. The various Kruskal sheets are then viewed as slices of the Kaluza–Klein background. Euclidean k discreteness, dictated by imaginary time periodicity, is correlated with flux quantization of the underlying embedding gauge field. (shrink)

1. Introduction: The problems of time and consciousness What is time? St. Augustine remarked that when no one asked him, he knew what time was; however when someone asked him, he did not. Is time a process which flows? Is time a dimension in which processes occur? Does time actually exist? The notion that time is a process which "flows" directionally may be illusory (the "myth of passage") for if time did flow it would do so in some medium or (...) vessel (e.g. minutes per what?) [1]. But if time is a dimension in which processes occurred, e.g. as one component of a 4 dimensional spacetime, then why would processes occur unidirectionally in time? Yet we perceive time as an orderly, unidirectional process. An alternative explanation is that time does not exist as either a process or dimension, but that reality is a collage of discrete, disconnected and haphazardly arranged configurations of the universe, e.g. as described in Julian Barbour's "The end of time" [2]. In this view our perception of a unidirectional flow of time occurs because each moment, or "Now" as Barbour terms them, involves memory of other conceptually relevant moments, and the orderly flow of time is an illusion. Barbour's deconstruction of time contrasts the Newtonian reality of objects moving deterministically through 4 dimensional spacetime. Newton's contemporary (and rival) Leibniz [3] viewed the world in a manner consistent with Barbour (and with Mach's principle that the spatiotemporal structure of the universe is dependent on the distribution of mass, a foundation of Einstein's general relativity). According to Leibniz the world is to be understood not as matter/mass moving in a framework of space and time, but of more fundamental snapshot-like entities that momentarily fuse space and matter into single possible arrangements or configurations of the entire universe. Such configurations, which can be fabulously rich and complex considering the vastness of the universe, are the ultimate "things" of reality, which Leibniz termed "monads".. (shrink)

A solution of the zeno paradoxes in terms of a discrete space is usually rejected on the basis of an argument formulated by hermann weyl, The so-Called tile argument. This note shows that, Given a set of reasonable assumptions for a discrete geometry, The weyl argument does not apply. The crucial step is to stress the importance of the nonzero width of a line. The pythagorean theorem is shown to hold for arbitrary right triangles.

Weyl famously argued that if space were discrete, then Euclidean geometry could not hold even approximately. Since then, many philosophers have responded to this argument by advancing alternative accounts of discrete geometry that recover approximately Euclidean space. However, they have missed an importantly flawed assumption in Weyl’s argument: physical geometry is determined by fundamental spacetime structures independently from dynamical laws. In this paper, I aim to show its falsity through two rigorous examples: random walks in statistical physics and (...) quantum mechanics. (shrink)

A solution of the zeno paradoxes in terms of a discrete space is usually rejected on the basis of an argument formulated by hermann weyl, The so-Called tile argument. This note shows that, Given a set of reasonable assumptions for a discrete geometry, The weyl argument does not apply. The crucial step is to stress the importance of the nonzero width of a line. The pythagorean theorem is shown to hold for arbitrary right triangles.

For many among the scientifically informed public, and even among physicists, Heisenberg's uncertainty principle epitomizes quantum mechanics. Nevertheless, more than 86 years after its inception, there is no consensus over the interpretation, scope, and validity of this principle. The aim of this chapter is to offer one such interpretation, the traces of which may be found already in Heisenberg's letters to Pauli from 1926, and in Dirac's anticipation of Heisenberg's uncertainty relations from 1927, that stems form the hypothesis of finite (...) nature. Instead of a mere mathematical theorem of quantum theory, or a manifestation of "wave-particle duality", the uncertainty relations turn out to be a result of a more fundamental premise, namely, the inherent limitation on spatial resolution that follows from the bound on physical resources. The implication of this view are far reaching: it depicts the Hilbert space formalism as a phenomenological, "effective", formalism that approximates an underlying discrete structure; it supports a novel interpretation of probability in statistical physics that sees probabilities as deterministic, dynamical transition probabilities which arise from objective and inherent measurement errors; and it helps to clarify several puzzles in the foundations of statistical physics, such as the status of the "disturbance" view of measurement in quantum theory, or the tension between ontology and epistemology in the attempts to describe nature with physical theories whose formalisms include subjective probabilities. Finally, this view also renders obsolete the entire class of interpretations of quantum theory that adhere to "the reality of the wave function". (shrink)

The essence of the method of physics is inseparably connected with the problem of interplay between local and global properties of the universe. In the present paper we discuss this interplay as it is present in three major departments of contemporary physics: general relativity, quantum mechanics and some attempts at quantizing gravity (especially geometrodynamics and its recent successors in the form of various pregeometry conceptions). It turns out that all big interpretative issues involved in this problem point towards the (...) necessity of changing from the standard space-time geometry to some radically new, most probably non-local, generalization. We argue that the recent noncommutative geometry offers attractive possibilities, and gives us a conceptual insight into its algebraic foundations. Noncommutative spaces are, in general, non-local, and their applications to physics, known at present, seem very promising. One would expect that beneath the Planck threshold there reigns a "noncommutative pregeometry", and only when crossing this threshold does the usual space-time geometry emerges. (shrink)

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

Weyl's tile argument purports to show that there are no natural distance functions in atomistic space that approximate Euclidean geometry. I advance a response to this argument that relies on a new account of distance in atomistic space, called "the mixed account," according to which local distances are primitive and other distances are derived from them. Under this account, atomistic space can approximate Euclidean space (and continuous space in general) very well. To motivate this account as a genuine solution to (...) Weyl's tile argument, I argue that this account is no less natural than the standard account of distance in continuous space. I also argue that the mixed account has distinctive advantages over Forrest's (1995) account in response to Weyl's tile argument, which can be considered as a restricted version of the mixed account. (shrink)

We formulate a discrete quantum-mechanical precursor to spacetime geometry. The objective is to provide the foundation for a quantum mechanics that is rooted exclusively in quantum-mechanical concepts, with all classical features, including the three-dimensional spatial continuum, emerging dynamically.

The purpose of this paper is to generalize Kripke semantics for propositional modal logic by geometrizing it, that is, by considering the space underlying the collection of all possible worlds as an important semantic feature in its own right, so as to take the idea of accessibility seriously. The resulting new modal semantics is worked out in a setting coming from Riemannian geometry, where Kripke semantics is shown to correspond to a particular case, namely, the discrete one. Several correspondence (...) results, established between variants of well-known modal systems and corresponding geometric properties, illustrate the import of this new framework. (shrink)

The spin geometry theorem of Penrose is extended from SU to E invariant elementary quantum mechanical systems. Using the natural decomposition of the total angular momentum into its spin and orbital parts, the distance between the centre-of-mass lines of the elementary subsystems of a classical composite system can be recovered from their relative orbital angular momenta by E-invariant classical observables. Motivated by this observation, an expression for the ‘empirical distance’ between the elementary subsystems of a composite quantum mechanical system, given (...) in terms of E-invariant quantum observables, is suggested. It is shown that, in the classical limit, this expression reproduces the a priori Euclidean distance between the subsystems, though at the quantum level it has a discrete character. ‘Empirical’ angles and 3-volume elements are also considered. (shrink)

The mathematical nature of modern science is an outcome of a contingent historical process, whose most critical stages occurred in the seventeenth century. ‘The mathematization of nature’ (Koyré 1957 , From the closed world to the infinite universe , 5) is commonly hailed as the great achievement of the ‘scientific revolution’, but for the agents affecting this development it was not a clear insight into the structure of the universe or into the proper way of studying it. Rather, it was (...) a deliberate project of great intellectual promise, but fraught with excruciating technical challenges and unsettling epistemological conundrums. These required a radical change in the relations between mathematics, order and physical phenomena and the development of new practices of tracing and analyzing motion. This essay presents a series of discrete moments in this process. For mediaeval and Renaissance philosophers, mathematicians and painters, physical motion was the paradigm of change, hence of disorder, and ipso facto available to mathematical analysis only as idealized abstraction. Kepler and Galileo boldly reverted the traditional presumptions: for them, mathematical harmonies were embedded in creation; motion was the carrier of order; and the objects of mathematics were mathematical curves drawn by nature itself. Mathematics could thus be assigned an explanatory role in natural philosophy, capturing a new metaphysical entity: pure motion. Successive generations of natural philosophers from Descartes to Huygens and Hooke gradually relegated the need to legitimize the application of mathematics to natural phenomena and the blurring of natural and artificial this application relied on. Newton finally erased the distinction between nature’s and artificial mathematics altogether, equating all of geometry with mechanical practice. (shrink)

We review some of the essential novel ideas introduced by Bohm through the implicate order and indicate how they can be given mathematical expression in terms of an algebra. We also show how some of the features that are needed in the implicate order were anticipated in the work of Grassmann, Hamilton, and Clifford. By developing these ideas further we are able to show how the spinor itself, when viewed as a geometric object within a geometric algebra, can be given (...) a meaning which transcends the notion of the usual metric geometry in the sense that it must be regarded as an element of a broader and more general pregeometry. (shrink)

A central claim of Deleuze's reading of Bergson is that Bergson's distinction between space as an extensive multiplicity and duration as an intensive multiplicity is inspired by the distinction between discrete and continuous manifolds found in Bernhard Riemann's 1854 thesis on the foundations of geometry. Yet there is no evidence from Bergson that Riemann influences his division, and the distinction between the discrete and continuous is hardly a Riemannian invention. Claiming Riemann's influence, however, allows Deleuze to argue that (...) quantity, in the form of ‘virtual number’, still pertains to continuous multiplicities. This not only supports Deleuze's attempt to redeem Bergson's argument against Einstein in Duration and Simultaneity, but also allows Deleuze to position Bergson against Hegelian dialectics. The use of Riemann is thereby an important element of the incorporation of Bergson into Deleuze's larger early project of developing an anti-Hegelian philosophy of difference. This article first reviews the role of discrete and continuous multiplicities or manifolds in Riemann's Habilitationsschrift, and how Riemann uses them to establish the foundations of an intrinsic geometry. It then outlines how Deleuze reinterprets Riemann's thesis to make it a credible resource for Deleuze's Bergsonism. Finally, it explores the limits of this move, and how Deleuze's later move away from Bergson turns on the rejection of an assumption of Riemann's thesis, that of ‘flatness in smallest parts’, which Deleuze challenges with the idea, taken from Riemann's contemporary, Richard Dedekind, of the irrational cut. (shrink)

Mathematics, as Eugene Wigner noted, is unreasonably effective in physics. The argument of this paper is that the disproportionate attention that philosophers have paid to discrete structures such as the natural numbers, for which a nominalist construction may be possible, has deprived us of the best argument for Platonism, which lies in continuous structures—in fields and their derived algebras, such as Clifford algebras. The argument that Wigner was making is best made with respect to such structures—in a loose sense, (...) with respect to geometry rather than arithmetic. The purpose of the present paper is to make this connection between mathematical realism and geometrical entities. It thus constitutes an argument against formalism, for which mathematics is merely a game with humanly set rules; and nominalism, in which whatever mathematics is used is eliminable in the final analysis, by often insufficiently specified means. The hope is that light may be cast on the stubborn mysteries of the nature of quantum mechanics and its mathematical formulation, with particular reference to spinor representations—as they have been developed by Andrej Trautman. Thus, according to our argument, quantum mechanics (QM) may appear more natural, as we have better reasons to take spinor structures as irreducibly real, a view consonant with the work of Trautman and Penrose in particular. (shrink)

1. It is natural to wonder what our multitude of successful physical theories tell us about the world—singly, and as a body. What are we to think when one theory tells us about a flat Newtonian spacetime, the next about a curved Lorentzian geometry, and we have hints of others, portraying discrete or higher-dimensional structures which look something like more familiar spacetimes in appropriate limits?

Let [Formula: see text] be an expansion of either an ordered field [Formula: see text], or a valued field [Formula: see text]. Given a definable set [Formula: see text] let [Formula: see text] be the ring of continuous definable functions from [Formula: see text] to [Formula: see text]. Under very mild assumptions on the geometry of [Formula: see text] and on the structure [Formula: see text], in particular when [Formula: see text] is [Formula: see text]-minimal or [Formula: see text]-minimal, or (...) an expansion of a local field, we prove that the ring of integers [Formula: see text] is interpretable in [Formula: see text]. If [Formula: see text] is [Formula: see text]-minimal and [Formula: see text] is definably connected of pure dimension [Formula: see text], then [Formula: see text] defines the subring [Formula: see text]. If [Formula: see text] is [Formula: see text]-minimal and [Formula: see text] has no isolated points, then there is a discrete ring [Formula: see text] contained in [Formula: see text] and naturally isomorphic to [Formula: see text], such that the ring of functions [Formula: see text] which take values in [Formula: see text] is definable in [Formula: see text]. (shrink)

Polyhedral functions provide a model for an important class of problems that includes both linear programming and applications in data analysis. General methods for minimizing such functions using the polyhedral geometry explicitly are developed. Such methods approach a minimum by moving from extreme point to extreme point along descending edges and are described generically as simplicial. The best-known member of this class is the simplex method of linear programming, but simplicial methods have found important applications in discrete approximation and (...) statistics. The general approach considered in this text, first published in 2001, has permitted the development of finite algorithms for the rank regression problem. The key ideas are those of developing a general format for specifying the polyhedral function and the application of this to derive multiplier conditions to characterize optimality. Also considered is the application of the general approach to the development of active set algorithms for polyhedral function constrained problems and associated Lagrangian forms. (shrink)

In this paper we analyze some aspects of the question of using methods from model theory to study structures of functional analysis.By a well known result of P. Lindström, one cannot extend the expressive power of first order logic and yet preserve its most outstanding model theoretic characteristics (e.g., compactness and the Löwenheim-Skolem theorem). However, one may consider extending the scope of first order in a different sense, specifically, by expanding the class of structures that are regarded as models (e.g., (...) including Banach algebras or other structures of functional analysis), and ask whether the resulting extensions of first order model theory preserve some of its desirable characteristics.A formal framework for the study of structures based on Banach spaces from the perspective of model theory was first introduced by C. W. Henson in [8] and [6]. Notions of syntax and semantics for these structures were defined, and it was shown that using them one obtains a model theoretic apparatus that satisfies many of the fundamental properties of first order model theory. For instance, one has compactness, Löwenheim-Skolem, and omitting types theorems. Further aspects of the theory, namely, the fundamentals of stability and forking, were first introduced in [10] and [9].The classes of mathematical structures formally encompassed by this framework are normed linear spaces, possibly expanded with additional structure,e.g., operations, real-valued relations, and constants. This notion subsumes wide classes of structures from functional analysis. However, the restriction that the universe of a structure be a normed space is not necessary. (This restriction has a historical, rather than technical origin; specifically, the development of the theory was originally motivated by questions in Banach space geometry.) Analogous techniques can be applied if the universe is a metric space. Now, when the underlying metric topology is discrete, the resulting model theory coincides with first order model theory, so this logic extends first order in the sense described above. Furthermore, without any cost in the mathematical complexity, one can also work in multi-sorted contexts, so, for instance, one sort could be an operator algebra while another is. say, a metric space. (shrink)

Originally, the expression “Teichmüller theory” referred to the theory that Oswald Teichmüller developed on deformations and on moduli spaces of marked Riemann surfaces. This theory is not an isolated field in mathematics. At different stages of its development, it received strong impetuses from analysis, geometry, and algebraic topology, and it had a major impact on other fields, including low-dimensional topology, algebraic topology, hyperbolic geometry, geometric group theory, representations of discrete groups in Lie groups, symplectic geometry, topological quantum field theory, (...) theoretical physics, and there are certainly others. Of course, the impacts on these various fields are not equally important, but in some cases (namely, low-dimensional topology, algebraic geometry, and physics) the impact was crucial. At the same time, Teichmüller theory established important connections between the fields mentioned. This, in part, is a consequence of the diversity and the richness of the structure that Teichmüller space itself carries. From a more subjective point of view, the result of pondering on these connections and applications demonstrates the unity of mathematics. The aim of this paper is to survey the origin of Teichmüller theory and the development of its early major ideas. (shrink)

Since the discovery of incommensurability in ancient Greece, arithmeticism and geometricism constantly switched roles. After ninetieth century arithmeticism Frege eventually returned to the view that mathematics is really entirely geometry. Yet Poincaré, Brouwer, Weyl and Bernays are mathematicians opposed to the explication of the continuum purely in terms of the discrete. At the beginning of the twenty-first century ‘continuum theorists’ in France (Longo, Thom and others) believe that the continuum precedes the discrete. In addition the last 50 years (...) witnessed the revival of infinitesimals (Laugwitz and Robinson—non-standard analysis) and—based upon category theory—the rise of smooth infinitesimal analysis and differential geometry. The spatial whole-parts relation is irreducible (Russell) and correlated with the spatial order of simultaneity. The human imaginative capacities are connected to the characterization of points and lines (Euclid) and to the views of Aristotle (the irreducibility of the continuity of a line to its points), which remained in force until the ninetieth century. Although Bolzano once more launched an attempt to arithmetize continuity, it appears as if Weierstrass, Cantor and Dedekind finally succeeded in bringing this ideal to its completion. Their views are assessed by analyzing the contradiction present in Grünbaum’s attempt to explain the continuum as an aggregate of unextended elements (degenerate intervals). Alternatively a line-stretch is characterized as a one-dimensional spatial subject, given at once in its totality (as a whole) and delimited by two points—but it is neither a breadthless length nor the (shortest) distance between two points. The overall aim of this analysis is to account for the uniqueness of discreteness and continuity by highlighting their mutual interconnections exemplified in the nature of a line as a one-dimensional spatial subject, while acknowledging that points are merely spatial objects which are always dependent upon an extended spatial subject. Instead of attempting to reduce continuity to discreteness or discreteness to continuity, a third alternative is explored: accept the irreducibility of number and space and then proceed by analyzing their unbreakable coherence. The argument may be seen as exploring some implications of the view of John Bell, namely that the “continuous is an autonomous notion, not explicable in terms of the discrete.” Bell points out that initially Brouwer, in his dissertation of 1907, “regards continuity and discreteness as complementary notions, neither of which is reducible to each other.”. (shrink)

The physical, mathematical, and philosophical foundations of the quantum theory of free Bose fields in fixed general relativistic spacetimes are examined. It is argued that the theory is logically and mathematically consistent whereas semiclassical prescriptions for incorporating the back-reaction of the quantum field on the geometry lead to inconsistencies. Still, the relations and heuristic value of the semiclassical approach to canonical and covariant schemes of quantum gravity-plus-matter are assessed. Both conventional and rigorous formulations of the theory and of its principal (...) predictions, cosmological particle creation and horizon radiation, are expounded and compared. Special attention is devoted to spacetime properties needed for the existence or uniqueness of the relevant theoretical elements , renormalization of the stress tensor). The emergence of unitarily inequivalent representations in a single dynamical context is used as motivation for the introduction of the abstract $\rm C\sp{\*}$-algebraic axiomatic formalism. The operationalist and conventionalist claims of the original abstract algebraic program are criticized in favor of its tempered outgrowth, local quantum physics. The interpretation of the theory as a wave mechanics of classical field configurations, deriving from the Schrodinger representations of the abstract algebra, is discussed and is found superior, at least on the level of analogy, to particle or harmonic oscillator interpretations. Further, it is argued that the various detector results and the Fulling nonuniqueness problem do not undermine the particle concept in the ways commonly claimed. In particular, arguments are offered against the attribution of particle status to the Rindler quanta, against the physical realizability of the Rindler vacuum, and against the more general notion of observer-dependence as to the definition of 'particle' or 'vacuum'. However, the question of the ontological status of particles is raised in terms of the consistency of quantum field theory with non-reductive realism about particles, the latter being conceived as entities exhibiting attributes of discreteness and localizability. Two arguments against non-reductive realism about particles, one from axiomatic algebraic local quantum theory in Minkowski spacetime and one from quantum field theory in curved spacetime, are developed. (shrink)

This volume is the first systematic and thorough attempt to investigate the relation and the possible applications of mereology to contemporary science. It gathers contributions from leading scholars in the field and covers a wide range of scientific theories and practices such as physics, mathematics, chemistry, biology, computer science and engineering. Throughout the volume, a variety of foundational issues are investigated both from the formal and the empirical point of view. The first section looks at the topic as it applies (...) to physics. The section addresses questions of persistence and composition within quantum and relativistic physics and concludes by scrutinizing the possibility to capture continuity of motion as described by our best physical theories within gunky space times. The second part tackles mathematics and shows how to provide a foundation for point-free geometry of space switching to fuzzy-logic. The relation between mereological sums and set-theoretic suprema is investigated and issues about different mereological perspectives such as classical and natural Mereology are thoroughly discussed. The third section in the volume looks at natural science. Several questions from biology, medicine and chemistry are investigated. From the perspective of biology, there is an attempt to provide axioms for inferring statements about part hood between two biological entities from statements about their spatial relation. From the perspective of chemistry, it is argued that classical mereological frameworks are not adequate to capture the practices of chemistry in that they consider neither temporal nor modal parameters. The final part introduces computer science and engineering. A new formal mereological framework in which an indeterminate relation of part hood is taken as a primitive notion is constructed and then applied to a wide variety of disciplines from robotics to knowledge engineering. A formal framework for discrete mereotopology and its applications is developed and finally, the importance of mereology for the relatively new science of domain engineering is also discussed. (shrink)

Quantum gravity is understood as a theory that, in some sense, unifies general relativity (GR) and quantum theory, and is supposed to replace GR at extremely small distances (high-energies). It may be that quantum gravity represents the breakdown of spacetime geometry described by GR. The relationship between quantum gravity and spacetime has been deemed ``emergence'', and the aim of this thesis is to investigate and explicate this relation. After finding traditional philosophical accounts of emergence to be inappropriate, I develop a (...) new conception of emergence by considering physical case studies including condensed matter physics, hydrodynamics, critical phenomena and quantum field theory understood as effective field theory. This new conception of emergence is unconcerned with the ideas of reduction and derivation (i.e. it holds that we may have emergence with reduction or without it). Instead, a low-energy theory (or model) is understood as emergent from a high-energy theory if it is novel and autonomous compared to the high-energy theory, and the low-energy physics is dependent in a particular, minimal sense on the high-energy physics (this dependence is revealed by the techniques of effective field theory and the renormalisation group). While novelty is construed in a broad sense, the autonomy comes essentially from the underdetermination of the high-energy theory by the low-energy theory, which reflects the minimal way in which the emergent, low-energy theory depends on the high-energy one. It results from the scaling behaviour of the theories and the limiting relations between them, and is demonstrated by the renormalisation group and effective field theory techniques, the idea of universality, and the phenomenon of symmetry-breaking. These ideas are important in exploring the relationship between quantum gravity and GR, where GR is understood as an effective, low-energy theory of quantum gravity. Without experimental data or a theory of quantum gravity, we rely on principles and techniques from other areas of physics to guide the way. As well as considering the idea of emergence appropriate to treating GR as an effective field theory, I investigate the emergence of spacetime (and other aspects of GR) in several concrete approaches to quantum gravity, including examples of the condensed matter approaches, the ``discrete approaches'' (causal set theory, causal dynamical triangulations, quantum causal histories and quantum graphity) and loop quantum gravity. (shrink)

Excitation at widely dispersed loci in the cerebral cortex may represent a neural correlate of consciousness. Accordingly, each unique combination of excited neurons would determine the content of a conscious moment. This conceptualization would be strengthened if we could identify what orchestrates the various combinations of excited neurons. In the present paper, cholinergic afferents to the cerebral cortex are hypothesized to enhance activity at specific cortical circuits and determine the content of a conscious moment by activating certain combinations of postsynaptic (...) sites in select cortical modules. It is proposed that these selections are enabled by learning-related restructuring that simultaneously adjusts the cytoskeletal matrix at specific constellations of postsynaptic sites giving all a similar geometry. The underlying mechanism of conscious awareness hypothetically involves cholinergic mediation of linkages between microtubules and microtubule-associated protein-2 . The first reason for proposing this mechanism is that previous studies indicate cognitive-related changes in MAP-2 occur in cholinoceptive cells within discrete cortical modules. These cortical modules are found throughout the cerebral cortex, measure 1–2 mm2, and contain approximately 103–104cholinoceptive cells that are enriched with MAP-2. The subsectors of the hippocampus may function similarly to cortical modules. The second reason for proposing the current mechanism is that the MAP-2 rich cells throughout the cerebral cortex correspond almost exactly with the cortical cells containing muscarinic receptors. Many of these cholinoceptive, MAP-2 rich cells are large pyramidal cell types, but some are also small pyramidal cells and nonpyramidal types. The third reason for proposing the current mechanism is that cholinergic afferents are module-specific; cholinergic axons terminate wholly within individual cortical modules. The cholinergic afferents may be unique in this regard. Finally, the tapering apical dendrites of pyramidal cells are proposed as primary sites for cholinergic mediation of linkages between MAP-2 and microtubules because especially high amounts of MAP-2 are found here. Also, the possibility is raised that muscarinic actions on MAP-2 could modulate microtubular coherence and self-collapse, phenomena that have been suggested to underlie consciousness. (shrink)

Some arguments, based on the possible spontaneous violation of the cosmological principle (represented by the observed large-scale structures of galaxies), on the Cartan geometry of simple spinors, and on the Fock formulation of hydrogen atom wave equation in momentum space, are presented in favor of the hypothesis that space-time and momentum space should be both conformally compactified and should both originate from the two four-dimensional homogeneous spaces of the conformai group, both isomorphic (S 3 ×S 1)/Z 2 and correlated by (...) conformal inversion, but should not necessarily be identified with them. Within this framework, the possible common origin for the SO(4) symmetry underlying the geometrical structure of the Universe, of Kepler orbits, and of the H atom is discussed. One of the consequences of the proposed hypothesis could be that any quantum field theory should be naturally free from both infrared and ultraviolet divergences. But then physical spaces defined as those where physical phenomena may be best described through some set of fields, could be different from those homogeneous spaces. A simple, exactly soluble, toy model, valid for a two-dimensional spacetime, is presented where the conjectured conformally compactified homogeneous spaces are both isomorphic to (S 1 ×S 1)/Z 2,while the possible physical spaces could be two finite lattices which are dual since Fourier transforms, represented by finite, discrete, sums, may be well defined on them. (shrink)

In this book I investigate the necessary structure of the aether the stuff that fills the whole universe. Some of my conclusions are. 1. There is an enormous variety of structures that the aether might, for all we know, have. 2. Probably the aether is point-free. 3. In that case, it should be distinguished from Space-time, which is either a fiction or a construct. 4. Even if the aether has points, we should reject the orthodoxy that all regions are grounded (...) in points by summation. 5. If the aether is point-free but not continuous, its most likely structure has extended atoms that are not simples. 6. Space-time is symmetric if and only if the aether is continuous. 7. If the aether is continuous, we should reject the standard interpretation of General Relativity, in which geometry determines gravity. 8. Contemporary physics undermines an objection to discrete aether based on scale invariance, but does not offer much positive support.". (shrink)

Loop quantum gravity predicts that spatial geometry is fundamentally discrete. Whether this discreteness entails a departure from exact Lorentz symmetry is a matter of dispute that has generated an interesting methodological dilemma. On one hand one would like the theory to agree with current experiments, but, so far, tests in the highest energies we can manage show no such sign of departure. On the other hand one would like the theory to yield testable predictions, and deformations of exact Lorentz (...) symmetry in certain yet– to–be–tested regimes may have phenomenological consequences. Exposing their shortcomings, here I discuss two arguments that exemplify this dilemma, and compare them to other cases from the history of physics that share their symptoms. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Notes and Discussions ARISTOTLE'S "DE MOTU ANIMALIUM" AND THE SEPARABILITY OF THE SCIENCES In contrast to Plato's vision of a unified science of reality and with a profound effect on subsequent natural science and philosophy, Aristotle urges in the Posterior Analytics and elsewhere that scientific knowledge is to be pursued in limited, separable domains, each with its own true and necessary first principles for the explanation of a (...) class='Hi'>discrete range of phenomena, that is, accepted observations and beliefs, from which its investigations are launched (An. Pr. 46al7ff.; An. Post. 74b25, 76a26-3 o, 84b14-18, 88a31; Cael. 3o6a6ff.; Gen. An. 748a7ff.). In an early introduction to a course of lectures on the natural sciences, Aristotle also indicates the order in which those sciences ought to be presented (Mete. 338a2o-~9, 339a5-9; cf. Cael. 268al6, Part. An. 644b~2ff.). The plan is to start with a general discussion of change and motion, then progress to studies of specific natural phenomena, ending with the many species of plants and animals. In the theory of demonstration in Posterior Analytics 1, which is concerned with the organization, justification, and teaching of a finished science, Aristotle maintains that terms cannot ordinarily cross genera; for example, geometry cannot provide demonstrations of truths of arithmetic or aesthetics. Demonstration of a theorem of some one science by means of another can be accomplished when and only when the sciences are related as "subordinate " to "superior" (75b14-17), for example, as harmonics to arithmetic or optics to geometry. A superior science may supply the "reason" for a "fact" known to obtain in the subordinate science (78b34-79a6). Evidently at least part of what he has in mind is the relation between pure and applied sciences.' Aristotle's practice as well as a number of methodological remarks ' See ThomasAquinas,In Post. An. 50.1,15.131, 50.1.25,as wellasJ. Barnes'snoteson An. Post. 78b34,in Aristotle'sPosteriorAnalytics (Oxford:OxfordUniversityPress,1975).For relevant background see Ian Mueller,"Ascendingto Problems:Astronomyand Harmonicsin Republic VII," inJohn Anton,ed., Scienceand the Sciencesin Plato (Albany:StateUniversityof NewYork Press, 1979). [65] 66 HISTORY OF PHILOSOPHY suggest also that the strictures of the Posterior Analytics are not intended to prohibit the heuristic use of material from other disciplines in research (see e.g., Top. 1.14; Part An. 639b17ff., 641a6-14, 642alo-14, 645b15-2o; Ph. 192b8-34, 199a8-21, 199a33-b5). The requirements for science laid down here are very strict, and it is sometimes maintained that Aristotle violates them himself to some degree in other works, but it is not usually believed that he ever denies the separability of the sciences in general. Martha C. Nussbaum has recently presented a lively challenge to this concensus? She argues that Aristotle's late, little known work De Motu Animalium represents a radical but "deliberate and fruitful" rejection of his earlier philosophy of science as enunciated in the Organon and not seriously questioned in other, subsequent writings. Her claim is that in his mature thought about the sciences Aristotle arrives at a significantly "less departmental and more flexible picture of scientific study" (p. 113) and comes to hold that "no inquiry is genuinely separable from a whole group of interlocking studies, and no being can be extensively studied without an account of its placement in the whole of nature" (p. 164). Nussbaum's conclusion is probably not intended to be as Platonic as it may appear at first blush, for she seems actually to be speaking only of connections between sciences of different substances. There is no suggestion that the study of beauty or health or geometry, say, is on a par with the sciences of substances. Nor does she suggest that Aristotle wavers in his conviction that there are fundamental cleavages between the practical and theoretical sciences, which will make a full-blown science of ethics-politics look very different from the demonstrative science of meteorology, for example. Nevertheless, even if limited to the natural sciences of substances, her claim remains an important and interesting one. She holds, more specifically, that Aristotle departs from his earlier position as follows: (1) He recognizes that the biological study of various modes of local motion... (shrink)