This paper contains a proposal for a free, nonzero-rest-mass particle’s proper spacetime, determined exclusively by the particle’s rest mass \ and numbers. The approach defines proper time as de Broglie time, which is isomorphic to a sequence of natural numbers \ that count de Broglie time units \\). The approach is based on defining the spatial coordinate as proper following the constructive definition of positive and negative integers as all possible differences of ordered pairs of (...) natural numbers multiplied by the Compton unit \\). The spatial and temporal coordinates that form the particle’s proper spacetime are constructed as Euclidean projections of the de Broglie time. The corresponding expression in the form of an energy-momentum relation reveals the existence, aside from the rest energy term \, of an additional energy term of the same order of magnitude, which is related to large intervals of the \-particle’s proper space. The relation of the numbers-based approach to the foundations of the special theory of relativity and of quantum mechanics is discussed. (shrink)

In this paper, we introduce the concept of N-dimensional generalized Minkowski space, i.e., a space endowed with a metric tensor, whose coefficients do depend on a set of non-metrical coordinates. This is the first of a series of papers devoted to the investigation of the Killing symmetries of generalized Minkowski spaces. In particular, we discuss here the infinitesimal-algebraic structure of the space-time rotations in such spaces. It is shown that the maximal Killing group of these spaces is the (...) direct product of a generalized Lorentz group and a generalized translation group. We derive the explicit form of the generators of the generalized Lorentz group in the self-representation and their related, generalized Lorentz algebra. The results obtained are specialized to the case of a 4-dimensional, “deformed” Minkowski space \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $${\widetilde M}$$ \end{document}4, i.e., a pseudoeuclidean space with metric coefficients depending on energy. (shrink)

We prove rigidity results for large classes of corona algebras, assuming the Proper Forcing Axiom. In particular, we prove that a conjecture of Coskey and Farah holds for all separable [Formula: see text]-algebras with the metric approximation property and an increasing approximate identity of projections.

An operational approach to quantum mechanics has been developed in the past decades in our group in Brussels. A similar approach is taken in this work, making use of the extra operational depth offered by this approach, to show that the construction of spacetime is specific to each observer. What is usually referred to as the block universe then emerges by noting that parts of the past and future are also contained in the present, but without the limitations that (...) a four-dimensional block universe usually implies, of a reality in which change would be impossible. In our operational approach, reality remains dynamic, with free choice playing a central role in its conceptualization. We also show that, when operationally analyzed, the theory implies that objects move not only in space, but also and especially in time, and more generally in spacetime, with their rest mass being a measure of their kinetic time energy. We therefore claim that Einstein’s relativity revolution has not been fully realized, since most physicists are not ready to accept these consequences of the theory although the formula’s showing them, when operationally analyzed, are in every relativity textbook. In particular, when relativistic motion is revisited as a genuine four-dimensional motion, it becomes possible to reinterpret the parameter c associated with the coordinate speed of light, which becomes the magnitude of the four-velocity of all material entities. We observe that this four-dimensional motion in Minkowski space can also be better understood if placed in the broader perspective of quantum mechanics, provided that non-locality is interpreted as non-spatiality, thus indicating the existence of an underlying non-spatial reality, the nature of which could be conceptual, consistent with the conceptuality interpretation of quantum mechanics. This hypothesis is reinforced by noting that when observers, or experiencers, as they will be referred to in this article, are described by acknowledging their cognitive nature of entities moving in a semantic space, Minkowski metric emerges in a natural way. (shrink)

Curved multi-dimensional space-times (5D and higher) are constructed by embedding them in one higher-dimensional flat space. The condition that the embedding coordinates have a separable form, plus the demand of an orthogonal resulting space-time, implies that the curved multi-dimensional space-time has 4D de-Sitter subspaces (for constant extra-dimensions) in which the 3D subspace has an accelerated expansion. A complete determination of the curved multi-dimensional spacetime geometry is obtained provided we impose a new type of “equivalence principle”, meaning that there is (...) a geodesic which from the embedding space has a rectliniar motion. According to this new equivalence principle, we can find the extra-dimensions metric components, each curved multi-dimensional spacetime surface’s equation, the energy-momentum tensors and the extra-dimensions as functions of a scalar field. The generic geodesic in each 5D spacetime are studied: they include solutions where particle’s motion along the extra-dimension is periodic and the 3D expansion factor is inflationary (accelerated expansion). Thus, the 3D subspace has an accelerated expansion. (shrink)

A categorical ontology of space and time is presented for emergent biosystems, super-complex dynamics, evolution and human consciousness. Relational structures of organisms and the human mind are naturally represented in non-abelian categories and higher dimensional algebra. The ascent of man and other organisms through adaptation, evolution and social co-evolution is viewed in categorical terms as variable biogroupoid representations of evolving species. The unifying theme of local-to-global approaches to organismic development, evolution and human consciousness leads to novel patterns of relations that (...) emerge in super- and ultra- complex systems in terms of colimits of biogroupoids, and more generally, as compositions of local procedures to be defined in terms of locally Lie groupoids. Solutions to such local-to-global problems in highly complex systems with ‘broken symmetry’ may be found with the help of generalized van Kampen theorems in algebraic topology such as the Higher Homotopy van Kampen theorem (HHvKT). Primordial organism structures are predicted from the simplest metabolic-repair systems extended to self-replication through autocatalytic reactions. The intrinsic dynamic ‘asymmetry’ of genetic networks in organismic development and evolution is investigated in terms of categories of many-valued, Łukasiewicz–Moisil logic algebras and then compared with those obtained for (non-commutative) quantum logics. The claim is defended in this essay that human consciousness is unique and should be viewed as an ultra-complex, global process of processes. The emergence of consciousness and its existence seem dependent upon an extremely complex structural and functional unit with an asymmetric network topology and connectivities—the human brain—that developed through societal co-evolution, elaborate language/symbolic communication and ‘virtual’, higher dimensional, non-commutative processes involving separate space and time perceptions. Philosophical theories of the mind are approached from the theory of levels and ultra-complexity viewpoints which throw new light on previous representational hypotheses and proposed semantic models in cognitive science. Anticipatory systems and complex causality at the top levels of reality are also discussed in the context of the ontological theory of levels with its complex/entangled/intertwined ramifications in psychology, sociology and ecology. The presence of strange attractors in modern society dynamics gives rise to very serious concerns for the future of mankind and the continued persistence of a multi-stable biosphere. A paradigm shift towards non-commutative, or non-Abelian, theories of highly complex dynamics is suggested to unfold now in physics, mathematics, life and cognitive sciences, thus leading to the realizations of higher dimensional algebras in neurosciences and psychology, as well as in human genomics, bioinformatics and interactomics. (shrink)

We investigate the polynomial time isomorphic type structure of (the class of tally, polynomial time computable sets). We partition P T into six parts: D −, D^ − , C, S, F, F^, and study their p-isomorphic properties separately. The structures of , , and are obvious, where F, F^, and C are the class of tally finite sets, the class of tally co-finite sets, and the class of tally bi-dense sets respectively. The following results for the structures of and (...) will be proved, where D^ is the class of tally, co-dense, polynomial time computable sets and S is the class of tally, scatted (i.e., neither dense nor co-dense), polynomial time computable sets. 1. is a countable distributive lattice with the greatest element. 2. Infinitely many intervals in can be distinguished by first order formulas. 3. There exist infinitely many nontrivial automorphisms for . 4. is not distributive, but any interval in is a countable distributive lattice. RID=""ID="" Mathematics Subject Classification (2000): 03D15, 03D25, 03D30, 03D35, 06A06, 06B20 RID=""ID="" Key words or phrases: Computational complexity – Polynomial time – Degree structure – Lattice – Isomorphism RID=""ID="" Part of this work was done when the author was a PhD student at the University of Heidelberg under the direction of Professor Ambos-Spies. (shrink)

The question of the existence of gravitational stress-energy in general relativity has exercised investigators in the field since the inception of the theory. Folklore has it that no adequate definition of a localized gravitational stress-energetic quantity can be given. Most arguments to that effect invoke one version or another of the Principle of Equivalence. I argue that not only are such arguments of necessity vague and hand-waving but, worse, are beside the point and do not address the heart of the (...) issue. Based on a novel analysis of what it may mean for one tensor to depend in the proper way on another, which, en passant, provides a precise characterization of the idea of a "geometric object", I prove that, under certain natural conditions, there can be no tensor whose interpretation could be that it represents gravitational stress-energy in general relativity. It follows that gravitational energy, such as it is in general relativity, is necessarily non-local. Along the way, I prove a result of some interest in own right about the structure of the associated jet bundles of the bundle of Lorentz metrics over spacetime. I conclude by showing that my results also imply that, under a few natural conditions, the Einstein field equation is the unique equation relating gravitational phenomena to spatiotemporal structure, and discuss how this relates to the non-localizability of gravitational stress-energy. (shrink)

In Minkowski spacetime, because of the relativity of simultaneity to the inertial frame chosen, there is no unique world-at-an-instant. Thus the classical view that there is a unique set of events existing now in a three dimensional space cannot be sustained. The two solutions most often advanced are that the four-dimensional structure of events and processes is alone real, and that becoming present is not an objective part of reality; and that present existence is not an absolute notion, but (...) is relative to inertial frame; the world-at-an-instant is a three dimensional, but relative, reality. According to a third view, advanced by Robb, Capek and Stein, what is present at a given spacetime point is, strictly speaking, constituted by that point alone. I argue here against the first of these views that the four-dimensional universe cannot be said to exist now, already, or indeed at any time at all; so that talk of its existence or reality as if that precludes the existence or reality of the present is a non sequitur. The second view assumes that in relativistic physics time lapse is measured by the time co-ordinate function; against this I maintain that it is in fact measured by the proper time, as I argue by reference to the Twin Paradox. The third view, although formally correct, is tarnished by its unrealistic assumption of point-events. This makes it susceptible to paradox, and also sets it at variance with our normal intuitions of the present. I argue that a defensible concept of the present is nonetheless obtainable when account is taken of the non-instantaneity of events, including that of conscious awareness, as that region of spacetime comprised between the forward lightcone of the beginning of a small interval of proper time t and the backward lightcone of the end of that interval. This gives a serviceable notion of what is present to a given event of short duration, as well as saving our intuition of the “reality” or robustness of present events. (shrink)

The spacetime algebra (STA) is the natural, representation-free language for Dirac's theory of the electron. Conventional Pauli, Dirac, Weyl, and Majorana spinors are replaced by spacetime multivectors, and the quantum σ- and γ-matrices are replaced by two-sided multivector operations. The STA is defined over the reals, and the role of the scalar unit imaginary of quantum mechanics is played by a fixed spacetime bivector. The extension to multiparticle systems involves a separate copy of the STA for (...) each particle, and it is shown that the standard unit imaginary induces correlations between these particle spaces. In the STA, spinors and operators can be manipulated without introducing any matrix representation or coordinate system. Furthermore, the formalism provides simple expressions for the spinor bilinear covariants which dispense with the need for the Fierz identities. A reduction to2+1 dimensions is given, and applications beyond the Dirac theory are discussed. (shrink)

Collaboration on the First Edition of Spacetime Physics began in the mid-1960s when Edwin Taylor took a junior faculty sabbatical at Princeton University where John Wheeler was a professor. The resulting text emphasized the unity of spacetime and those quantities (such as proper time, proper distance, mass) that are invariant, the same for all observers, rather than those quantities (such as space and time separations) that are relative, different for different observers. The book has become a (...) standard introduction to relativity. The Second Edition of Spacetime Physics embodies what the authors have learned during an additional quarter century of teaching and research. They have updated the text to reflect the immense strides in physics during the same period and modernized and increased the number of exercises, for which the First Edition was famous. Enrichment boxes provide expanded coverage of intriguing topics. An enlarged final chapter on general relativity includes new material on gravity waves, black holes, and cosmology. The Second Edition of Spacetime Physics provides a new generation of readers with a deep and simple overview of the principles of relativity. (shrink)

We survey some philosophical aspects of the search for a quantum theory of gravity, emphasising how quantum gravity throws into doubt the treatment of spacetime common to the two `ingredient theories' (quantum theory and general relativity), as a 4-dimensional manifold equipped with a Lorentzian metric. After an introduction (Section 1), we briefly review the conceptual problems of the ingredient theories (Section 2) and introduce the enterprise of quantum gravity (Section 3). We then describe how three main research programmes (...) in quantum gravity treat four topics of particular importance: the scope of standard quantum theory; the nature of spacetime; spacetime diffeomorphisms, and the so-called `problem of time' (Section 4). These programmes are the old particle-physics approach, superstring theory, and canonical quantum gravity. By and large, these programmes accept most of the ingredient theories' treatment of spacetime, albeit with a metric with some type of quantum nature; but they also suggest that the treatment has fundamental limitations. This prompts the idea of going further: either by quantizing structures other than the metric, such as the topology; or by regarding such structures as phenomenological. We discuss this in Section 5. (shrink)

A class of metric theories of gravitation on Minkowski spacetime is considered, which is—provided that certain assumptions (staying close to the original ideas of Einstein) are made—the almost most general one that can be considered. In addition to the Minkowskian metric G a dynamical metric H (called the Einstein metric)is defined by means of a second-rank tensor field S (referred to as gravitational potential).The theory is defined by a Lagrangian ℒ, from which the field equations (...) as well as, e.g., the energy-momentum tensor field for the gravitational field follow. The case of weak fields is considered explicitly. The static, spherically and time-inversal symmetric field is calculated, and as a first step to investigate the theory's viability the parameters are fitted to the experimental data of the perihelion advance and the deflection of light at the Sun. Finally the question of gauge freedoms in the gravitational potential is briefly discussed. (shrink)

This essay is a contribution to the historical phenomenology of science, taking as its point of departure Husserl’s later philosophy of science and Jacob Klein’s seminal work on the emergence of the symbolic conception of number in European mathematics during the late sixteenth and seventeenth centuries. Sinceneither Husserl nor Klein applied their ideas to actual theories of modern mathematical physics, this essay attempts to do so through a case study of the conceptof “spacetime.” In §1, I sketch Klein’s account (...) of the emergence of the symbolic conception of number, beginning with Vieta in the late sixteenth century. In §2,through a series of historical illustrations, I show how the principal impediment to assimilating the new symbolic algebra to mathematical physics, namely, thedimensionless character of symbolic number, is overcome via the translation of the traditional language of ratio and proportion into the symbolic language of equations. In §§3–4, I critically examine the concept of “Minkowski spacetime,” specifically, the purported analogy between the Pythagorean distance formula and the Minkowski “spacetime interval.” Finally, in §5, I address the question of whether the concept of Minkowski spacetime is, as generally assumed, indispensable to Einstein’s general theory of relativity. (shrink)

It will be argued that Minkowski's implementation of distances is inconsistent. An alternative implementation will be proposed. In the new model the proper time of an object is taken as its fourth coordinate. Distances will be measured according to a four dimensional Euclidean metric. In the present approach mass is a constant of motion. A mass can therefore be ascribed to photons and neutrinos. Mechanics and dynamics will be reformulated in close correspondence with classical physics. Of particular interest (...) is the equation of motion for the proper time momentum. In the classical limit it reduces to the classical law of conservation of (kinetic+potential) energy. In the relativistic limit it is similar to the conservation of energy of the theory of relativity. The conservation of proper time momentum allows for an alternative explanation for Compton scattering and pair annihilation. On the basis of the proper time formulation of electrodynamics also an alternative explanation will be offered for the spectra of hydrogenic atoms. The proper time formulation of gravitational dynamics leads to the correct predictions of gravitational time dilation, the deflection of light and the precession of the perihelia of planets. For this no curvature will be needed. That is, spacetime is flat everywhere, even in the presence of sources of gravitation. Some cosmological consequences will be discussed. The present approach gives a new notion to energy, antiparticles and the structure of spacetime. The contents of the present paper will have important implications for the foundations of physics in general. (shrink)

A novel conceptual framework is introduced for the Complexity Levels Theory in a Categorical Ontology of Space and Time. This conceptual and formal construction is intended for ontological studies of Emergent Biosystems, Super-complex Dynamics, Evolution and Human Consciousness. A claim is defended concerning the universal representation of an item’s essence in categorical terms. As an essential example, relational structures of living organisms are well represented by applying the important categorical concept of natural transformations to biomolecular reactions and relational structures (...) that emerge from the latter in living systems. Thus, several relational theories of living systems can be represented by natural transformations of organismic, relational structures. The ascent of man and other living organisms through adaptation, is viewed in novel categorical terms, such as variable biogroupoid representations of evolving species. Such precise but flexible evolutionary concepts will allow the further development of the unifying theme of local-to-global approaches to highly complex systems in order to represent novel patterns of relations that emerge in super- and ultra-complex systems in terms of compositions of local procedures. Solutions to such local-to-global problems in highly complex systems with ‘broken symmetry’ might be possible to be reached with the help of higher homotopy theorems in algebraic topology such as the generalized van Kampen theorems (HHvKT). Categories of many-valued, Łukasiewicz-Moisil (LM) logic algebras provide useful concepts for representing the intrinsic dynamic ‘asymmetry’ of genetic networks in organismic development and evolution, as well as to derive novel results for (non-commutative) Quantum Logics. Furthermore, as recently pointed out by Baianu and Poli (Theory and applications of ontology, vol 1. Springer, Berlin, in press), LM-logic algebras may also provide the appropriate framework for future developments of the ontological theory of levels with its complex/entangled/intertwined ramifications in psychology, sociology and ecology. As shown in the preceding two papers in this issue, a paradigm shift towards non-commutative, or non-Abelian, theories of highly complex dynamics—which is presently unfolding in physics, mathematics, life and cognitive sciences—may be implemented through realizations of higher dimensional algebras in neurosciences and psychology, as well as in human genomics, bioinformatics and interactomics. (shrink)

In this paper, we report on a new approach to relativistic quantum theory. The classical theory is derived from a new implementation of the first two postulates of Einstein, which fixes the proper-time of the physical system of interest for all observers. This approach leads to a new group that we call the proper-time group. We then construct a canonical contact transformation on extended phase space to identify the canonical Hamiltonian associated with the proper-time variable. On quantization (...) we get a new relativistic wave equation for spin 1/2 particles that generalizes the Dirac theory. The Hamiltonian is positive definite so we naturally interpret antiparticles as particles with their proper-time reversed. We show that for the hydrogen atom problem, we get the same fine structure separation. When the proton spin magnetic moment is taken into account, we get the standard hyperfine splitting terms of the Pauli approximation and two additional terms. The first term is small in p-states. It diverges in s-states, and provides more than enough to account for the Lamb-shift when the proton radius is used as a cut off. The last term promises to provide a correction to the hyperfine splitting term. Although incomplete, the general approach offers hope of completely accounting for the hydrogen spectrum as an eigenvalue problem. (shrink)

It is natural to think of comparisons in terms of points on a scale. Jack is taller than Jill if the point associated with Jack on the height scale is higher than Jill’s point. Jack is much taller than Jill is if Jack’s point is separated from Jill’s by a sizable amount. It is also natural to think of temporal discourse in terms of points on a time line. The analogy between the two is worth taking seriously.

Mathematically, the fusion of space and time may be explained as follows. In pre-relativity physics, space was envisaged as a three-dimensional Euclidean continuum. Such a continuum is homogeneous and isotropic, and its metrical character can be specified by the definition of the distance between any two points in the continuum: s2 = 2 + 2 + 2. Now, while it is possible to speak of a four-dimensional continuum in pre-relativity physics by adding the time-coordinate to the three space-coordinates, there is (...) no way, corresponding to the definition of s, to define the spatio-temporal "separation" or "interval" between any two points in this new four-dimensional continuum. Thus, while it makes sense from the classical point of view to ask for the distance between two points in space, it does not make sense to ask for the spatio-temporal interval between two events occurring in different places at different times. The spatio-temporal interval between non-simultaneous, spatially separated events is simply not defined in pre-relativity physics. Another way of putting it is that in classical physics space and time are measured in entirely disparate units and no method is provided for making these units comparable with one another. In relativity physics, on the other hand, light--or rather the velocity of light--provides the means for making the results of spatial and temporal measurement comparable quantities: one simply multiplies the time-like intervals by c, the fixed velocity of light, in order to obtain space-like intervals. The interval between any two events is defined as: s2 = 2 + 2 + 2 - c22. Interval, so defined, is an invariant, whereas spatial and temporal "separation" are now relative to the state of motion of the observer. The geometry of the four-dimensional continuum characterized by this formula is called "semi-Euclidean". (shrink)

There are two metaphysical pictures of spacetime: The evolutionary picture and the all-at-once picture. According to the evolutionary picture, spacetime is nothing but the evolution of space over time. In contrast, the all-at-once picture considers spacetime as ‘a global, four-dimensional boundary value problem’ that can be solved only in an all-at-once manner, i.e. as a whole which is fundamentally four-dimensional and non-decomposable into spatial and temporal parts. The two most-known formulations of general theory of relativity, i.e. the (...) Hamiltonian (or the canonical) and the Lagrangian (or the standard) formulations, enjoy the evolutionary and all-at-once pictures of spacetime respectively. Here, we have argued that (1) the all-at-once picture is more aligned with the philosophy of relativity theory, i.e. uniting space and time into spacetime, (2) the evolutionary picture is not as general as the all-at-once, since only in special cases, such as globally hyperbolic spacetimes, is it possible to deal with spacetime as the evolution of a spatial slice over time, and (3) the all-at-once picture paves the way to better understanding _four-dimensional_ physical entities, like event horizons, which cannot be explained within an evolutionary picture without raising a paradox. Therefore, the evolutionary picture is neither the _fundamentally-true_ nor the _naturally-chosen_ picture of spacetime. Rather, we choose the evolutionary picture for practical and computational reasons. While the all-at-once picture seems a more appropriate description of the quantum and cosmological reality, the evolutionary picture can be applied occasionally and locally, or quasi-locally, and is not the proper metaphysical picture of spacetime at the fundamental level of reality. (shrink)

This paper develops the conjecture that the electromagnetic interaction is the manifestation of the torsion Ωμ of spacetime. This conjecture is made feasible by the natural separation of the connection ω μ v into “gravitational” and “electromagnetic” parts α μ v and β μ v , respectively, related to the metric and to the torsion. When α μ v is neglected in front of β μ v , the affine geodesics are shown to become the equations (...) of motion of charged particles with Lorentz force, for an appropriate choice of Ωμ. Since β μ v contains the factor q/m, neutral particles do not see the torsional part of the connection and behave as if Ωμ were zero, i.e., as in Einstein's theory of gravity (the same effect is obviously obtained for charged particles when β μ v 《 α μ v ).In addition to the factor q/m, the velocity of the test particle appears in Ωμ. This indicates that the appropriate context for this problem is to be found in velocity-dependent connections. The velocities are now coordinates and become the actual velocities of the test particles only in the system of equations that one solves for obtaining the affine geodesics in connections of this type.When written with differential forms, the combination of Maxwell's equations and of the pertinent form of the torsion suggests geometric field equations for electrodynamics. As for the gravitational part of the connection, it can be made to obey equations similar in form to the Einstein field equations. A unified geometric theory of electrodynamics and gravitation spontaneously emerges. The present state of the theory does not yet permit us to ascertain whether the right-hand side of the fully geometric, gravitational field equations corresponds to the energy-momentum tensor. (shrink)

Prolepsis is a rhetorical device in which an expected future event is presented as though it was already an accomplished fact. In the speed and instantaneity of current experience, our time is structured like a prolepsis. Through an analysis of the proleptic structure of some contemporary practices, I raise questions concerning the political nature of time's interval. In the proleptic organization of time, the interval between present and future is devalued as an obstacle to an anticipated event. However, with the (...) help of Kant and Heidegger, I argue that time's interval consists of an act of temporalization which at once dissolves what has already presented itself and generates an absolutely new and singular event of time and being. The interval is an event in the process of being accomplished, and it is this properly political dimension of experience that is foreclosed in our contemporary organization of time. (shrink)

In this paper, we use the differential forms of three-dimensional Euclidean space to realize a Clifford algebra which is isomorphic to the algebra of the Pauli matrices or the complex quaternions. This is an associative vector-antisymmetric tensor algebra with division: We provide the algebraic inverse of an eight-component spinor field which is the sum of a scalar + vector + pseudovector + pseudoscalar. A surface of singularities is defined naturally by the inverse of an eight-component spinor and corresponds to (...) a generalized Minkowski “double” light cone in the parameter space. A general description of finite spatial rotations, which utilizes the Baker-Campbell-Hausdorff formula, generalizes the usual infinitesimal treatments of the rotation group. We derive an explicit expression for the angle corresponding to two successive finite rotations in any direction. We also discuss Lorentz transformations and duality rotations of the electromagnetic field and exhibit a relationship between the algebraic inverse and a duality rotated field. Using a combined transformation, one can always transform an arbitrary electromagnetic field (E≠0) into a pure electric field, but never into a pure magnetic field. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Newton's Metaphysics: Essays by Eric SchliesserMarius StanEric Schliesser. Newton's Metaphysics: Essays. Oxford: Oxford University Press, 2021. Pp. 328. Hardback, $99.90.Newton owes his high regard to the quantitative science he left us, but his overall picture of the world had some robustly metaphysical threads woven in as well. Posthumous judgment about the value of these threads has varied wildly. Christian Wolff thought him a metaphysical rustic, as did Hans (...) Reichenbach some two centuries later ("Die Bewegungslehre bei Newton, Leibniz und Huygens," Kant-Studien 29 [1924]: 416–38). In the 1960s, the tide would turn, as Howard Stein and James Edward McGuire separately began to show that Newton's metaphysics was not just sophisticated, but often more compelling than its early modern alternatives (see respectively "Newtonian Spacetime," Texas Quarterly 10 [1967]: 174–200; and Tradition and Innovation: Newton's Metaphysics of Nature [Dordrecht: Kluwer Academic Publishers, 1995]). Eric Schliesser's book unfolds in that same register of appreciative, high scholarship, and it attests to the enduring attraction of its subject.The book grew out of previous discrete papers, to which he added a few more for this occasion. Accordingly, it does not come with a master argument. Rather, it is an in-depth exploration of some key metaphysical themes in Newton. As such, it befits its subject figure, who reflected on themes and concepts while stopping short of working out systems.The first major theme is Newton and Spinozism. The latter does not denote Spinoza's metaphysics. In fact, Schliesser explains, Newton shared with Spinoza some weighty commitments, for example, to space being actually infinite, and to substance monism: "for Newton, there is strictly speaking only one genuine substance," namely, God (33). Rather, "Spinozism" is an interpreter's category for a bundle of three theses: identifying God and nature; denying final causation in the physical world; and the assumption of "blind" metaphysical necessity. Some counted Hobbes and John Toland as Spinozist in this sense, and even Epicurus, avant la lettre. Newton and his followers argued vehemently against this package, as Schliesser shows in chapters 4, 5, and 8. Their chief complaint was that Spinozism is unable to account for the "origin of motion," for a certain type of order, and for the stability of cosmological structure—and to do so in a way that "meets the standards of Newtonian mechanics" (122). This interpretive lens allows Schliesser to draw Kant in, by reading his youthful Theory of Heaven as a possible Spinozist reply to their objections (chapter 3). [End Page 157]A second theme is the metaphysics of mechanics, where Schliesser weaves together several strands. One is the ontology of gravity, for which he offers a novel construal: for Newton, gravity counts as real, but in a qualified sense. Namely, it is not essential and not intrinsic: "even after creation, a lonely partless particle of matter in the universe would not be said to gravitate." And gravity is relational: a "shared quality" of two or more bits of matter, which obtains in virtue of their sharing a nature (19). Another strand is Newton's ontology of time—really, a subtle, difficult topic long neglected. Famously, Newton in Principia defends absolute, true, and mathematical time. The question is what these three qualifiers denote, and whether Newton thought they were synonymous. Schliesser in chapter 7 argues for the provocative view that "absolute" and "true" time are not identical concepts; rather, they pick out different entities. These entities share a common structure, namely, metric and topological. That makes them species of "mathematical" time (179). But, Schliesser contends, Newton has unequal warrant for his two concepts of time.Yet another theme is formal causation. It comes to the fore in chapter 5, which grapples with Newton's opaque idea that space is an "emanative effect." Schliesser explains that here, "emanation picks out a species of formal causation" (147), but in a novel, early modern sense that comes from Bacon, not Aristotle. If space has a formal cause, then so has its twin brother, time, the topic of chapter 7. God is their common formal cause. Then in chapter 6 (coauthored with Zvi Biener) Schliesser adds that, for Newton, laws... (shrink)

If [Formula: see text] is a proper Polish metric space and [Formula: see text] is any countable dense submetric space of [Formula: see text], then the Scott rank of [Formula: see text] in the natural first-order language of metric spaces is countable and in fact at most [Formula: see text], where [Formula: see text] is the Church–Kleene ordinal of [Formula: see text] which is the least ordinal with no presentation on [Formula: see text] computable from [Formula: (...) see text]. If [Formula: see text] is a rigid Polish metric space and [Formula: see text] is any countable dense submetric space, then the Scott rank of [Formula: see text] is countable and in fact less than [Formula: see text]. (shrink)

How does the modern scientific conception of time constrain the project of assigning the mind its proper place in nature? On the scientific conception, it makes no sense to speak of the duration of a pain, or the simultaneity of sensations occurring in different parts of the brain. Such considerations led Henri Poincaré, one of the founders of the modern conception, to conclude that consciousness does not exist in spacetime, but serves as the basic material out of which (...) we must create the physical world. The central claim of Sensorama is that Poincaré was substantially correct. The best way to reconcile the scientific conception of time with the evidence of introspection is through a phenomenalist metaphysic according to which consciousness exists in neither time nor space, but serves as a basis for the logical construction of spacetime and its contents. (shrink)

The main scope of this short article is to provide a modification of the axioms given by Messmer and Wood for the theory of separably closed fields of positive characteristic and finite imperfectness degree. As their original axioms failed to meet natural expectations, a new axiomatization was given (i.e., Ziegler’s one), but the new axioms do not follow Messmer and Wood’s initial idea. Therefore, we aim to give a correct axiomatization that is more similar to the original one and (...) that, as with the original axioms, involves only one Hasse–Schmidt derivation, this time based on the iterativity conditions corresponding to the Witt group. (shrink)

A solution of the sourceless Einstein's equation with an infinite value for the cosmological constant Λ is discussed by using Inönü–Wigner contractions of the de Sitter groups and spaces. When Λ→∞, spacetime becomes a four-dimensional cone, dual to Minkowski space by a spacetime inversion. This inversion relates the four-cone vertex to the infinity of Minkowski space, and the four-cone infinity to the Minkowski light-cone. The non-relativistic limit c→∞ is further considered, the kinematical group in this case being a (...) modified Galilei group in which the space and time translations are replaced by the non-relativistic limits of the corresponding proper conformal transformations. This group presents the same abstract Lie algebra as the Galilei group and can be named the conformal Galilei group. The results may be of interest to the early Universe Cosmology. (shrink)

ABSTRACT In this paper we present a new semantic approach for propositional linear temporal logic with discrete time, strongly based in the well-order of IN (the set of natural numbers). We consider temporal connectives which express precedence, posteriority and simultaneity, and they provide a family of expressively complete temporal logics. The selection of the new semantics and connectives used in this work was principally to obtain a suitable executable temporal logic, which can be used for the specification and control (...) of process behaviour in discrete time in a similar way to thai presented by D. Gabbay in [GAB 89], Our new approach has two advantages: firstly, the connectives are defined intuitively so that they have interpretations which relate to properties of interest in real systems; secondly, it provides a new semantics that facilitates simpler proofs of many valid formulas and metatheorems. To confirm this second advantage, we use our semantics to give a formal proof of the Separation Theorem for one of these logics (specifically LN3). The great interest of this Separation Theorem for the executable temporal logic is emphasised by D. Gabbay in [GAB 89], [GAB 88]. (shrink)

The Dirac operator arises naturally on $\mathbb{S}^1 \times \mathbb{S}^3 $ from the connection on the Lie group U(1)×SU(2) and maps spacetime rays into rays in the Lie algebra. We construct both simple harmonic and pulse solutions to the neutrino equations on $\mathbb{S}^1 \times \mathbb{S}^3 $ , classified by helicity and holonomy, using this map. Helicity is interpreted as the internal part of the Noether charge that arises from translation invariance; it is topologically quantized in integral multiples of a constant (...) g that converts a Lie-algebra phase shift into an action. The fundamental unit of helicity is associated with a full twist in u(1)×su(2) phase per global lightlike cycle. If we pass to the projective space ℝP1xℝP3, we get half-integral helicity. (shrink)

We propose an adynamical, background independent approach to quantum gravity and unification whereby the fundamental elements of Nature are graphical units of space, time and sources. The transition amplitude for these elements of “spacetimesource” is computed using a path integral with discrete Gaussian graphical action. The unit of action for a spacetimesource element is constructed from a difference matrix K and source vector J on the graph, as in lattice gauge theory. K is constructed from graphical relations so that it (...) contains a non-trivial null space, and J is then restricted to the column space of K which ensures it is distributed in a divergence-free fashion over the spacetime defined by the element. This rule for the relational construct of K and J is our proposed fundamental axiom of physics and results in a self-consistency relationship between sources, the spacetime metric, and the stress-energy-momentum content of the element, rather than a dynamical law for time-evolved entities. In its most general form, the set of fundamental elements employed by lattice gauge theory contains scalar fields on nodes and links, and vector fields on nodes. To complete the fundamental set, we propose the addition of scalar fields on plaquettes and vector fields on links. We use this approach via modified Regge calculus to correct proper distance in the Einstein-deSitter cosmology model yielding a fit of the Union2 Compilation supernova data that matches ɅCDM without having to invoke accelerating expansion or dark energy. (shrink)

What are the effects of word-by-word predictability on sentence processing times during the natural reading of a text? Although information complexity metrics such as surprisal and entropy reduction have been useful in addressing this question, these metrics tend to be estimated using computational language models, which require some degree of commitment to a particular theory of language processing. Taking a different approach, this study implemented a large-scale cumulative cloze task to collect word-by-word predictability data for 40 passages and compute (...) surprisal and entropy reduction values in a theory-neutral manner. A separate group of participants read the same texts while their eye movements were recorded. Results showed that increases in surprisal and entropy reduction were both associated with increases in reading times. Furthermore, these effects did not depend on the global difficulty of the text. The findings suggest that surprisal and entropy reduction independently contribute to variation in reading times, as these metrics seem to capture different aspects of lexical predictability. (shrink)

If Einstein's equations are to describe a field theory of gravity in Minkowski spacetime, then causality requires that the effective curved metric must respect the flat background metric's null cone. The kinematical problem is solved using a generalized eigenvector formalism based on the Segré classification of symmetric rank 2 tensors with respect to a Lorentzian metric. Securing the correct relationship between the two null cones dynamically plausibly is achieved using the naive gauge freedom. New variables tied (...) to the generalized eigenvector formalism reduce the configuration space to the causality-respecting part. In this smaller space, gauge transformations do not form a group, but only a groupoid. The flat metric removes the difficulty of defining equal-time commutation relations in quantum gravity and guarantees global hyperbolicity. (shrink)

Norbert Wiener’s idea of “cybernetics” is linked to temporality as in a physical as in a philosophical sense. “Time orders” can be the slogan of that natural cybernetics of time: time orders by itself in its “screen” in virtue of being a well-ordering valid until the present moment and dividing any totality into two parts: the well-ordered of the past and the yet unordered of the future therefore sharing the common boundary of the present between them when the ordering (...) is taking place by choices. Thus, the quantity of information defined by units of choices, whether bits or qubits, describes that process of ordering happening in the present moment. The totality (which can be considered also as a particular or “regional” totality) turns out to be divided into two parts: the internality of the past and the externality of the future by the course of time, but identifiable to each other in virtue of scientific transcendentalism (e.g. mathematical, physical, and historical transcendentalism). A properly mathematical approach to the “totality and time” is introduced by the abstract concept of “evolutionary tree” (i.e. regardless of the specific nature of that to which refers: such as biological evolution, Feynman trajectories, social and historical development, etc.), Then, the other half of the future can be represented as a deformed mirror image of the evolutionary tree taken place already in the past: therefore the past and future part are seen to be unifiable as a mirrorly doubled evolutionary tree and thus representable as generalized Feynman trajectories. The formalism of the separable complex Hilbert space (respectively, the qubit Hilbert space) applied and further elaborated in quantum mechanics in order to uniform temporal and reversible, discrete and continuous processes is relevant. Then, the past and future parts of evolutionary tree would constitute a wave function (or even only a single qubit once the concept of actual infinity be involved to real processes). Each of both parts of it, i.e. either the future evolutionary tree or its deformed mirror image, would represented a “half of the whole”. The two halves can be considered as the two disjunctive states of any bit as two fundamentally inseparable (in virtue of quantum correlation) “halves” of any qubit. A few important corollaries exemplify that natural cybernetics of time. (shrink)

How much of philosophical, scientific, and political thought is caught up with the idea of continuity? What if it were otherwise? This paper experiments with the disruption of continuity. The reader is invited to participate in a performance of spacetime (re)configurings that are more akin to how electrons experience the world than any journey narrated though rhetorical forms that presume actors move along trajectories across a stage of spacetime (often called history). The electron is here invoked as our (...) host, an interesting body to inhabit (not in order to inspire contemplation of flat-footed analogies between ‘macro’ and ‘micro’ worlds, concepts that already presume a given spatial scale), but a way of thinking with and through dis/continuity – a dis/orienting experience of the dis/jointedness of time and space, entanglements of here and there, now and then, that is, a ghostly sense of dis/continuity, a quantum dis/continuity. There is no overarching sense of temporality, of continuity, in place. Each scene diffracts various temporalities within and across the field of spacetimemattering. Scenes never rest, but are reconfigured within, dispersed across, and threaded through one another. The hope is that what comes across in this dis/jointed movement is a felt sense of différance, of intra-activity, of agential separability – differentiatings that cut together/apart – that is the hauntological nature of quantum entanglements. (shrink)

The analysis of this article is entirely within classical physics. Any attempt to describe nature within classical physics requires the presence of Lorentz-invariant classical electromagnetic zero-point radiation so as to account for the Casimir forces between parallel conducting plates at low temperatures. Furthermore, conformal symmetry carries solutions of Maxwell’s equations into solutions. In an inertial frame, conformal symmetry leaves zero-point radiation invariant and does not connect it to non-zero-temperature; time-dilating conformal transformations carry the Lorentz-invariant zero-point radiation spectrum into zero-point radiation (...) and carry the thermal radiation spectrum at non-zero temperature into thermal radiation at a different non-zero temperature. However, in a non-inertial frame, a time-dilating conformal transformation carries classical zero-point radiation into thermal radiation at a finite non-zero-temperature. By taking the no-acceleration limit, one can obtain the Planck radiation spectrum for blackbody radiation in an inertial frame from the thermal radiation spectrum in an accelerating frame. Here this connection between zero-point radiation and thermal radiation is illustrated for a scalar radiation field in a Rindler frame undergoing relativistic uniform proper acceleration through flat spacetime in two spacetime dimensions. The analysis indicates that the Planck radiation spectrum for thermal radiation follows from zero-point radiation and the structure of relativistic spacetime in classical physics. (shrink)

It is generally assumed that compatibility with special relativity is guaranteed by the invariance of the fundamental equations of quantum physics under Lorentz transformations and the impossibility of transferring energy or information faster than the speed of light. Despite this, various contradictions persist, which make us suspect the solidity of that compatibility. This paper focuses on collapse theories—although they are not the only way of interpreting quantum theory—in order to examine what seems to be insurmountable difficulties we encounter when trying (...) to construct a space–time picture of such typically quantum processes as state vector reduction or the non-separability of entangled systems. The inescapable nature of such difficulties suggests the need to go further in the search for new formulations that surpass our current conceptions of matter and space–time. (shrink)

Elementary particles are considered as local oscillators under the influence of zeropoint fields. Such oscillatory behavior of the particles leads to the deviations in their path of motion. The oscillations of the particle in general may be considered as complex rotations in complex vector space. The local particle harmonic oscillator is analyzed in the complex vector formalism considering the algebra of complex vectors. The particle spin is viewed as zeropoint angular momentum represented by a bivector. It has been shown that (...) the particle spin plays an important role in the kinematical intrinsic or local motion of the particle. From the complex vector formalism of harmonic oscillator, for the first time, a relation between mass $m$ and bivector spin $S$ has been derived in the form $\varvec{\sigma }_3 mc^2{\mathcal {J}}_{\pm } =\lambda \Omega _{\mathbf{s}} \cdot \mathrm{{S}} {\mathcal {J}}_{\pm }$ . Where, $\Omega _{s}$ is the angular velocity bivector of complex rotations, $c$ is the velocity of light. The unit vector $\varvec{\sigma }_3$ acts as an operator on the idempotents ${\mathcal {J}}_{+}$ and ${\mathcal {J}}_{-}$ to give the eigen values $\lambda =\pm 1.$ The constant $\lambda $ represents two fold nature of the equation corresponding to particle and antiparticle states. Further the above relation shows that the mass of the particle may be interpreted as a local spatial complex rotation in the rest frame. This gives an insight into the nature of fundamental particles. When a particle is observed from an arbitrary frame of reference, it has been shown that the spatial complex rotation dictates the relativistic particle motion. The mathematical structure of complex vectors in space and spacetime is developed. (shrink)

This book presents a new theory of the nature of the space in which substantial, enduring objects (objects that are identifiable for more than a fleeting instant) connect with each other and cohere within themselves. This posited fundamental space underlies the common perception of space as necessarily having to identify its contents by separating them within finite beginning and ending boundaries. In the real space each entity is positive and is directly connected to every entity. These connections differ depending on (...) the spatial and temporal dimensions in which they are defined and viewed. This offers a radically new solution to the mind-body problem, which rechearchers in mind-brain theory have not yet satisfactorily solved. And it resolves the conflicting interpretations of quantum physics vs. classical relativistic physics. Even more encouraging to readers who are not specialists in the sciences are the implications for realizing enduring values and a greater appreciation of excellence in our work, education, avocations, and the kindof entertainment we seek. (shrink)

Einstein's gravitational field equations in empty space outside a massive plane with infinite extension give a class of solutions describing a field with flat spacetime giving neutral, freely moving particles an acceleration. This points to the necessity of defining the concept “gravitational field” not simply by the nonvanishing of the Riemann curvature tensor, but by the nonvanishing of certain elements of the Christoffel symbols, called the physical elements, or the nonvanishing of the Riemann curvature tensor. The tidal component of (...) a gravitational field is associated with a nonvanishing Riemann tensor, while the nontidal components are associated with nonvanishing physical elements of the Christoffel symbols. Spacetime in a nontidal gravitational field is flat. Such a field may be separated into a homogeneous and a rotational component. In order to exhibit the physical significance of these components in relation to their transformation properties, coordinate transformations inside a given reference frame are discussed. The mentioned solutions of Einstein's field equations lead to a metric identical to that obtained as a result of a transformation from an inertial frame to a uniformly accelerated frame. The validity of the strong principle of equivalence in extended regions for nontidal gravitational fields is made clear. An exact calculation of the weight of an extended body in a uniform gravitational field, from a global point of view, gives the result that its weight is independent of the position of the scale on the body. (shrink)

If we live on the weak brane with zero effective cosmological constant in a warped 5D bulk spacetime, gravitational waves and brane fluctuations can be generated by a part of the 5D Weyl tensor and carries information of the gravitational field outside the brane. We consider on a cylindrical symmetric warped FLRW background a U self-gravitating scalar field coupled to a gauge field without bulk matter. It turns out that brane fluctuations can be formed dynamically, due to the modified (...) energy–momentum tensor components of the scalar-gauge field. As a result, we find that the late-time behavior could significantly deviate from the standard evolution of the universe. The effect is triggered by the time-dependent warpfactor with two branches of the form \}\) constants) and the modified brane equations comparable with a dark energy effect. This is a brane-world mechanism, not present in standard 4D FLRW, where the large disturbances are rapidly damped as the expansion proceed. Because gravity can propagate in the bulk, the cosmic string can build up a huge angle deficit by the warpfactor and can induce massive KK-modes felt on the brane. Disturbances in the spatial components of the stress-energy tensor cause cylindrical symmetric waves, amplified due to the presence of the bulk space and warpfactor. They could survive the natural damping due to the expansion of the universe. It turns out that one of the metric components becomes singular at the moment the warp factor develops an extremum. This behavior could have influence on the possibility of a transition from acceleration to deceleration or vice versa. (shrink)

In this paper, we attempt to explicate Salmon’s idea of a causal process, as defined in terms of the mark method, in the context of C*-dynamical systems. We prove two propositions, one establishing mark manifestation infinitely many times along a given interval of the process, and, a second one, which establishes continuous manifestation of mark with the exception of a countable number of isolated points. Furthermore, we discuss how these results can be implemented in the context of the Haag–Araki theories (...) of relativistic quantum fields on Minkowski spacetime. (shrink)

In the dissertation we study the complexity of generalized quantifiers in natural language. Our perspective is interdisciplinary: we combine philosophical insights with theoretical computer science, experimental cognitive science and linguistic theories. -/- In Chapter 1 we argue for identifying a part of meaning, the so-called referential meaning (model-checking), with algorithms. Moreover, we discuss the influence of computational complexity theory on cognitive tasks. We give some arguments to treat as cognitively tractable only those problems which can be computed in polynomial (...) time. Additionally, we suggest that plausible semantic theories of the everyday fragment of natural language can be formulated in the existential fragment of second-order logic. -/- In Chapter 2 we give an overview of the basic notions of generalized quantifier theory, computability theory, and descriptive complexity theory. -/- In Chapter 3 we prove that PTIME quantifiers are closed under iteration, cumulation and resumption. Next, we discuss the NP-completeness of branching quantifiers. Finally, we show that some Ramsey quantifiers define NP-complete classes of finite models while others stay in PTIME. We also give a sufficient condition for a Ramsey quantifier to be computable in polynomial time. -/- In Chapter 4 we investigate the computational complexity of polyadic lifts expressing various readings of reciprocal sentences with quantified antecedents. We show a dichotomy between these readings: the strong reciprocal reading can create NP-complete constructions, while the weak and the intermediate reciprocal readings do not. Additionally, we argue that this difference should be acknowledged in the Strong Meaning hypothesis. -/- In Chapter 5 we study the definability and complexity of the type-shifting approach to collective quantification in natural language. We show that under reasonable complexity assumptions it is not general enough to cover the semantics of all collective quantifiers in natural language. The type-shifting approach cannot lead outside second-order logic and arguably some collective quantifiers are not expressible in second-order logic. As a result, we argue that algebraic (many-sorted) formalisms dealing with collectivity are more plausible than the type-shifting approach. Moreover, we suggest that some collective quantifiers might not be realized in everyday language due to their high computational complexity. Additionally, we introduce the so-called second-order generalized quantifiers to the study of collective semantics. -/- In Chapter 6 we study the statement known as Hintikka's thesis: that the semantics of sentences like ``Most boys and most girls hate each other'' is not expressible by linear formulae and one needs to use branching quantification. We discuss possible readings of such sentences and come to the conclusion that they are expressible by linear formulae, as opposed to what Hintikka states. Next, we propose empirical evidence confirming our theoretical predictions that these sentences are sometimes interpreted by people as having the conjunctional reading. -/- In Chapter 7 we discuss a computational semantics for monadic quantifiers in natural language. We recall that it can be expressed in terms of finite-state and push-down automata. Then we present and criticize the neurological research building on this model. The discussion leads to a new experimental set-up which provides empirical evidence confirming the complexity predictions of the computational model. We show that the differences in reaction time needed for comprehension of sentences with monadic quantifiers are consistent with the complexity differences predicted by the model. -/- In Chapter 8 we discuss some general open questions and possible directions for future research, e.g., using different measures of complexity, involving game-theory and so on. -/- In general, our research explores, from different perspectives, the advantages of identifying meaning with algorithms and applying computational complexity analysis to semantic issues. It shows the fruitfulness of such an abstract computational approach for linguistics and cognitive science. (shrink)

In the range of his intellectual interests and the profundity of his mathematical thought Hermann Weyl towered above his contemporaries, many of whom viewed him with awe. This volume, the most ambitious study to date of Weyl's singular contributions to mathematics, physics, and philosophy, looks at the man and his work from a variety of perspectives, though its gaze remains fairly steadily fixed on Weyl the geometer and space‐time theorist. Structurally, the book falls into two parts, described in the general (...) introduction by the editor: Part 1 contains four essays on particular aspects of Weyl's work, highlighting ideas he developed in various editions of his classic Raum‐Zeit‐Materie. Part 2 presents a lengthy study by Robert Coleman and Herbert Korté covering nearly the whole gamut of Weyl's mathematical research, an impressive feat. Both in the introduction as well as in footnotes to the articles Erhard Scholz's editorial voice chimes in discreetly, helping tie all five studies together.Coleman and Korté begin chronologically with Weyl's early work in analysis and the modern theory of Riemann surfaces before turning to differential geometry, unified field theory, and the space problem, a topic they use as a springboard for a discussion of their own recent work on the foundations of space‐time. They then take up Weyl's shift to group representation theory and its applications to quantum mechanics, ending with his much earlier research on the structure of the continuum. All of these topics are well handled, but the authors' own agendas coupled with their penchant for overlooking chronology in order to package Weyl's work into neat little bundles leave one feeling rather stranded and far removed from the sources of Weyl's inspiration. Moreover, the narrative style makes this part of the volume read like a technical appendix, albeit a most informative one. Readers who tackle Scholz's far more contextualized essay will be amply rewarded by comparing his views with the opinions set forth by Coleman and Korté in Part 2.Scholz gives a masterful account of Weyl's intellectual journeys from 1917 to 1925 in a study that serves as a fulcrum for the entire volume. Drawing on a number of recently published studies, including his own, on the interplay between mathematics and physics inspired by Einstein's theory of general relativity, Scholz describes how Weyl responded to this challenge by developing a truly infinitesimal space‐time geometry that generalized classical Riemannian geometry. Although unconvinced by Einstein's critique of his unified field theory, Weyl shifted his focus from this realm to the classical space problem, analyzed earlier with more primitive techniques by Hermann Helmholtz and Sophus Lie. In this connection, it should be mentioned that Thomas Hawkins has given a probing analysis of Weyl's related work on the representation of Lie groups in his tour‐de‐force work, Emergence of the Theory of Lie Groups . Scholz argues that Weyl's struggle to tame his modernized version of the space problem stemmed from a deep‐seated belief in his geometrical ideas, which in turn were nourished by philosophical musings. By demonstrating the closely related conceptual links that motivated Weyl's research in infinitesimal geometry, space‐time physics, and the foundations of mathematics, Scholz nicely illuminates the underlying fabric of epistemological concerns that occupied Weyl's attention during this fertile period.The three remaining essays in Part 1 focus on other aspects of Weyl's work in mathematical physics and cosmology. Skuli Sigurdsson's “Journeys in Spacetime” offers a broad interpretation of Weyl's career, one that emphasizes Weyl's sensitivity to cultural tensions as reflected in his philosophical roots, which combined phenomenology with facets of German idealism. Shaken by the annihilation of cultural values in Nazi Germany, Weyl became deeply aware of the gulf that separated his earlier life in Göttingen and Zurich from the one he took up at Princeton's Institute for Advanced Study in 1933. He tried to adapt, but felt out of place in an Anglo‐American scientific culture openly hostile toward metaphysics and speculative philosophy. Sigurdsson stresses these tensions, contrasting the introspective, creative individual against the backdrop of the collective in the age of the machine, but without spelling out which collective were most important for him. Wolfgang Pauli thought he knew and, like Einstein before him, he had no compunction about bluntly telling Weyl he was a mathematician, not a physicist.Pauli's opinions notwithstanding, Weyl did far more than just dabble around the mathematical edges of the new physics. If Coleman and Korté perhaps press their case for his visionary accomplishments too far, Norbert Straumann's essay “Ursprünge der Eichtheorien” suggests why Weyl's reputation among physicists has risen steadily ever since the advent of Yang‐Mills theory in the 1950s. In the course of describing Weyl's adaptation of his gauge transformation formalism to Dirac's electron theory, Straumann sheds considerable light on Pauli's role as self‐appointed watchman guarding the disciplinary boundary that separated theoretical physics from physical mathematics . He further suggests that disciplinary jealousy was a major reason why Pauli dismissed Weyl's two‐component formalism for spinors out of hand.In the realm of cosmology, on the other hand, Weyl's work has long since passed into the dustbins of history, as Hubert Goenner remarks in recounting a fascinating chapter in the infancy of space‐time physics. While doing so, Goenner shows how initially Weyl almost slavishly adopted what Einstein called Mach's principle, which asserts that the metric structure of space‐time is solely determined by the distribution of matter in the universe. This notion was quickly challenged by Willem De Sitter, who showed that Einstein's matter‐free field equations admitted a global solution with non‐zero constant curvature. Both Einstein and Weyl tried to argue that invisible masses must be present just over the “spatial horizon” of De Sitter's world in order to account for its curvature. Goenner meticulously analyzes the physical and mathematical issues at stake in this debate, stressing how Weyl gradually moved away from a strong physical interpretation to one in which mathematics models rather than physics models simply reveal natural phenomena. He argues further that Weyl's cosmological principle arose as the final expression of his search for a deeper physical meaning.Given the quality of these essays, it is regrettable that this book contains so little about Weyl's professional career, a weakness the editor could have redressed at least partially in his general introduction. This omission is all the more unfortunate given the dearth of readily accessible information about Weyl's life available elsewhere. For however mundane his outward existence may have been, the reader cannot be expected to appreciate the interplay between the world Weyl knew and his creative responses to it without fairly detailed knowledge of his biography. Shorn from these contexts, it becomes difficult to form a flesh‐and‐blood image of Weyl beyond the cliché‐ridden stereotype that sees him as a “heroic thinker in the grand German tradition.” While none of the authors falls into this trap, the collective impression they leave suggests a most enigmatic figure. Either Weyl the man tends to get lost in the shadows of his collected scientific output or he appears as a mystic loner, an outcast who abhorred the machine age in which he lived. Closer attention to the people in his life would no doubt produce a very different picture of the man and his interests. This major lacuna notwithstanding, the present volume will surely remain an indispensable resource for any future investigations of Weyl's staggering intellectual achievements. (shrink)

We introduce a new Turing machine based concept of time complexity for functions on computable metric spaces. It generalizes the ordinary complexity of word functions and the complexity of real functions studied by Ko [19] et al. Although this definition of TIME as the maximum of a generally infinite family of numbers looks straightforward, at first glance, examples for which this maximum exists seem to be very rare. It is the main purpose of this paper to prove that, nevertheless, (...) the definition has a large number of important applications. Using the framework of TTE [40], we introduce computable metric spaces and computability on the compact subsets. We prove that every computable metric space has a c-proper c-admissible representation. We prove that Turing machine time complexity of a function computable relative to c-admissible c-proper representations has a computable bound on every computable compact subset. We prove that computably compact computable metric spaces have concise c-proper c-admissible representations and show by examples that many canonical representations are of this kind. Finally, we compare our definition with a similar one by Labhalla et al. [22]. Several examples illustrate the concepts. By these results natural and realistic definitions of computational complexity are now available for a variety of numerical problems such as image processing, integration, continuous Fourier transform or wave propagation. (shrink)

Using the category of metric spaces as a template, we develop a metric analogue of the categorical semantics of classical/intuitionistic logic, and show that the natural notion of predicate in this “continuous semantics” is equivalent to the a priori separate notion of predicate in continuous logic, a logic which is independently well-studied by model theorists and which finds various applications. We show this equivalence by exhibiting the real interval $[0,1]$ in the category of metric spaces as (...) a “continuous subobject classifier” giving a correspondence not only between the two notions of predicate, but also between the natural notion of quantification in the continuous semantics and the existing notion of quantification in continuous logic.Along the way, we formulate what it means for a given category to behave like the category of metric spaces, and afterwards show that any such category supports the aforementioned continuous semantics. As an application, we show that categories of presheaves of metric spaces are examples of such, and in fact even possess continuous subobject classifiers. (shrink)

In a framework describing manifestly covariant relativistic evolution using a scalar time τ, consistency demands that τ-dependent fields be used. In recent work by the authors, general features of a classical parametrized theory of gravitation, paralleling general relativity where possible, were outlined. The existence of a preferred “time” coordinate τ changes the theory significantly. In particular, the Hamiltonian constraint for τ is removed From the Euler-Lagrange equations. Instead of the 5-dimensional stress-energy tensor, a tensor comprised of 4-momentum density mid flux (...) density only serves as the source. Building on that foundation, in this paper we develop a linear approximate theory of parametrized gravitation in the spirit of the flat spacetime approach to general relativity. Using a modified form of Kraichnan's flat spacetime derivation of general relativity, we extend the linear theory to a family of nonlinear theories in which the flat metric and the gravitational field coalesce into a single effective curved metric. (shrink)

On the basis of the Woodhouse causal axiomatics, we show that conformal proper times and an extra variable in addition to those of space and time, together give a physical justification for the ‘chronometric hypothesis’ of general relativity. Indeed, we show that, with a lack of these latter two ingredients and of this hypothesis, clock paradoxes exist for which the unparadoxical asymmetry cannot be recovered when using the ‘clock and message functions’ only. These proper times originate from a (...) given conformal structure of the spacetime when ascribing different compatible projective structures to each Woodhouse particle, and then, each defines a specific Weylian ‘sheaf structure’. In addition, the proper time parameterizations are defined via path-dependent conformal scale factors, which act like sockets for any kind of physical interaction and also represent the values of the variable associated with the extra dimension. (shrink)

Scale invariance provides a principled reason for the physical importance of Hilbert space, the Virasoro algebra, the string mode expansion, canonical commutators and Schrödinger evolution of states, independent of the assumptions of string theory and quantum theory. The usual properties of dimensionful fields imply an infinite, projective tower of conformal weights associated with the tangent space to scale-invariant spacetimes. Convergence and measurability on this tangent tower are guaranteed using a scale-invariant norm, restricted to conformally self-dual vectors. Maps on the resulting (...) Hilbert space are correspondingly restricted to semi-definite conformal weight. We find the maximally- and minimally-commuting, complete Lie algebras of definite-weight operators. The projective symmetry of the tower gives these algebras central charges, giving the canonical commutator and quantum Virasoro algebras, respectively. Using a continuous, m-parameter representation for rank-m tower tensors, we show that the parallel transport equation for the momentum-vector of a particle is the Schrödinger equation, while the associated definite-weight operators obey canonical commutation relations. Generalizing to the set of integral curves of general timelike, self-dual vector-valued weight maps gives a lifting such that the action of the curves parallel transports arbitrary tower vectors. We prove that the full set of Schrödinger-lifted integral curves of a general self-dual map gives an immersion of its 2-dim parameter space into spacetime, inducing a Lorentzian metric on the parameter space. This immersion is shown to satisfy the full variational equations of open string. (shrink)

Most philosophers believe that we have experiences as of temporally extended phenomena like change, motion, and succession. Almost all theories of time consciousness explain these temporal experiences by subscribing to the doctrine of the specious present, the idea that the contents of our experiences embrace temporally extended intervals of time and are presented as temporally structured. Against these theories, I argue that the doctrine is false and present a theory that does not require the notion of a specious present. Furthermore, (...) I argue that the different aspects of temporal experiences arise from different mechanisms operating separately. If the theory is true, then temporal experiences do not tell us anything special about the nature of consciousness and its temporal properties per se. (shrink)