We give a brief overview of the evolution of mathematics, starting from antiquity, through Renaissance, to the 19th century, and the culmination of the train of thought of history’s greatest thinkers that lead to the grand unification of geometry and algebra. The goal of this paper is not a complete formal description of any particular theoretical framework, but to show how extremisation of mathematical rigor in requiring everything be drivable directly from first principles without any arbitrary assumptions actually leads to (...) relaxing the computational difficulty along with maximal conceptual clarity. With this, we consider a revision of the foundations of elementary geometry and algebra based on the work of Grassmann and Clifford and apply it to conceptual and practical problems of past and present modern mathematics and mathematical physics. (shrink)

Generalizing the work of Einstein and Mayer, it is assumed that at each point of space-time there exists an N-dimensional linear vector space with N≥5. This space is decomposed into a four-dimensional tangent space and an (N - 4)-dimensional internal space. On the basis of geometric considerations, one arrives at a number of fields, the field equations being derived from a variational principle. Among the fields obtained there are the electromagnetic field, Yang-Mills gauge fields, and fields that can be (...) interpreted as describing matter. As a simple example, the case N=6 is considered. (shrink)

This paper contains a tutorial introduction to the ideas of geometric algebra, concentrating on its physical applications. We show how the definition of a “geometric product” of vectors in 2-and 3-dimensional space provides precise geometrical interpretations of the imaginary numbers often used in conventional methods. Reflections and rotations are analyzed in terms of bilinear spinor transformations, and are then related to the theory of analytic functions and their natural extension in more than two dimensions (monogenics), Physics is (...) greatly facilitated by the use of Hestenes' spacetime algebra, which automatically incorporates the geometric structure of spacetime. This is demonstrated by examples from electromagnetism. In the course of this purely classical exposition many surprising results are obtained—results which are usually thought to belong to the preserve of quantum theory. We conclude that geometric algebra is the most powerful and general language available for the development of mathematical physics. (shrink)

The Fermi energy at 0°K is evaluated for electrons confined to cubical and spherical rigid-walled boxes of equal volume, respectively, in the Sommerfeld approximation. Due primarily to large differences in single-particle degeneracies, Fermi energies compared for equal numbers of particles in these two configurations are found to be unequal. Approximate expressions of the Fermi energy in the large particle-number limit for the spherical case reveal that it agrees in form with the Fermi energy for the cubical configuration. The finite (...) cylindrical box is also examined and it is found that for fixed number of particles and fixed volume, the Fermi energy varies as the two characteristic lengths of the box are changed. Experimental corroboration of the theory is suggested through measurement of the work function for equal-volume micrometallic samples in the different geometries. (shrink)

This study presents a new type of foundational model unifying quantum theory, relativity theory and gravitational physics, with a novel cosmology. It proposes a six-dimensional geometric manifold as the foundational ontology for our universe. The theoretical unification is simple and powerful, and there are a number of novel empirical predictions and theoretical reductions that are strikingly accurate. It subsequently addresses a variety of current anomalies in physics. It shows how incomplete modern physics is by giving an example of a (...) theory that is genuinely unified. In doing this, it radically alters the metaphysical interpretation of the nature of time, space and matter currently interpreted from modern physics. It also profoundly challenges materialist expectations about a naturalistic account our own existence. I contend here that there is sufficient evidence to support this theory as a leading paradigm for a unified foundational theory. (shrink)

We analyze the geometric foundations of classical Yang-Mills theory by studying the relationships between internal relativity, locality, global/local invariance, and background independence. We argue that internal relativity and background independence are the two independent defining principles of Yang-Mills theory. We show that local gauge invariance -heuristically implemented by means of the gauge argument- is a direct consequence of internal relativity. Finally, we analyze the conceptual meaning of BRST symmetry in terms of the invariance of the gauge fixed theory under (...) general local gauge transformations. (shrink)

We axiomatize the foundations of experimental statistical sciences by introducing a logico-algebro-geometric formalism related to the notions of state preparation and test procedures, that is well defined acts performed on states that lead to one of a possible finite number of results. We relate the formalism to existing partial structures and construct explict examples. A few general results about the formalism are demonstrated.

Given a quantum system with a very large number of degrees of freedom and a preferred tensor product factorization of the Hilbert space we describe how it can be approximated with a very low-dimensional field theory with geometric degrees of freedom. The geometric approximation procedure consists of three steps. The first step is to construct weighted graphs with vertices representing subsystems and edges representing mutual information between subsystems. The second step is to deform the adjacency matrices of the (...) information graphs to that of a low-dimensional lattice using the graph flow equations introduced in the paper. The third step is to define an emergent metric and to derive an effective description of the metric and possibly other degrees of freedom. To illustrate the procedure we analyze two information graph flows with geometric attractors and metric perturbations obeying a geometric flow equation. Our analysis also suggests a possible approach to quantum gravity in which the geometry emerges directly from a quantum state due to the flow of the information graphs. (shrink)

The author describes the Cartesian way of solving the problem of the universal method in mathematics, in particular, the problem of applying algebra in geometry when it comes to the convergence of a discrete number and a continuous quantity. The article shows that the solution to this problem proposed by F. Viète is imperfect, since it introduces vague pseudo-geometric objects, and the geometric quantity is still far from an algebraic number. The author proves that Descartes' solution to this (...) problem through the use of Eudoxus proportions is based on such Cartesian epistemological principles as: the requirement of clarity and expressiveness of thinking; the idea of the central role of a holistic mathematical science; the idea of the existence of a simple and obvious nature of length as a basis for comparing all extended things; the elevation of the concept of ratio to the rank of a single subject of mathematical disciplines. (shrink)

Strict finitism is a minority view in the philosophy of mathematics. In this paper, we develop a strict finite axiomatic system for geometric constructions in which only constructions that are executable by simple tools in a small number of steps are permitted. We aim to demonstrate that as far as the applications of synthetic geometry to real-world constructions are concerned, there are viable strict finite alternatives to classical geometry where by one can prove analogs to fundamental results in classical (...) geometry. We consider this as one of many early steps investigating the extent to which strict finite foundations can be developed for the application of mathematics to the real-world. (shrink)

The cognitive foundations of geometry have puzzled academics for a long time, and even today are mostly unknown to many scholars, including mathematical cognition researchers. -/- Foundations of Geometric Cognition shows that basic geometric skills are deeply hardwired in the visuospatial cognitive capacities of our brains, namely spatial navigation and object recognition. These capacities, shared with non-human animals and appearing in early stages of the human ontogeny, cannot, however, fully explain a uniquely human form of geometric cognition. (...) In the book, Hohol argues that Euclidean geometry would not be possible without the human capacity to create and use abstract concepts, demonstrating how language and diagrams provide cognitive scaffolding for abstract geometric thinking, within a context of a Euclidean system of thought. -/- Taking an interdisciplinary approach and drawing on research from diverse fields including psychology, cognitive science, and mathematics, this book is a must-read for cognitive psychologists and cognitive scientists of mathematics, alongside anyone interested in mathematical education or the philosophical and historical aspects of geometry. (shrink)

_The Foundations of Arithmetic_ is undoubtedly the best introduction to Frege's thought; it is here that Frege expounds the central notions of his philosophy, subjecting the views of his predecessors and contemporaries to devastating analysis. The book represents the first philosophically sound discussion of the concept of number in Western civilization. It profoundly influenced developments in the philosophy of mathematics and in general ontology.

Linnebo in 2018 argues that abstract objects like numbers are “thin” because they are only required to be referents of singular terms in abstraction principles, such as Hume's principle. As the specification of existence claims made by analytic truths (the abstraction principles), their existence does not make any substantial demands of the world; however, as Linnebo notes, there is a potential counter-argument concerning infinite regress against introducing objects this way. Against this, he argues that vicious regress is avoided in (...) the account of arithmetic based on Hume's principle because we are specifying numbers in terms of the concept of equinumerosity, or its ordinal equivalent. But far from being only a matter for philosophy, this implies a distinct empirical prediction: in cognitive development, the principle of equinumerosity is primary to number concepts. However, by analysing and expanding on the bootstrapping theory of Carey in 2009, I argue in this paper that there are good reasons to think that the development could be the other way around: possessing numerosity concepts may precede grasping the principle of equinumerosity. I propose that this analysis of early numerical cognition can also help us understand what numbers as thin objects are like, moving away from Platonist interpretations. (shrink)

Beaucoup de « géomètres » du XIXe siècle - Bernhard Riemann, Hermann von Helmholtz, Felix Klein, Riccardo De Paolis, Mario Pieri, Henri Poincaré, Federigo Enriques, et autres - ont joué un rôle important dans la discussion sur les fondements des mathématiques. Mais, contrairement aux idées d'Euclide, ils n'ont pas identifié «l'espace physique» avec« l'espace de nos sens». Partant de notre expérience dans l'espace, ils ont cherché à identifier les propriétés les plus importantes de l'espace et les ont posées à la (...) base de la géométrie. C'est sur la connaissance active de l'espace que les axiomes de la géométrie ont été élaborés ; ils ne pouvaient donc pas être a priori comme ils le sont dans la philosophie kantienne. En outre, pendant la dernière décade du siècle, certains mathématiciens italiens - De Paolis, Gino Fano, Pieri, et autres - ont fondé le concept de nombre sur la géométrie, en employant des résultats de la géométrie projective. Ainsi, on fondait l'arithmétique sur la géométrie et non l'inverse, comme David Hilbert a cherché à faire quelques années après, sans succès. (shrink)

§ i. After deserting for a time the old Euclidean standards of rigour, mathematics is now returning to them, and even making efforts to go beyond them. ...

Spacetime measurements and gravitational experiments are made by using objects, matter fields or particles and their mutual relationships. As a consequence, any operationally meaningful assertion about spacetime is in fact an assertion about the degrees of freedom of the matter (i.e. non gravitational) fields; those, say for definiteness, of the Standard Model of particle physics. As for any quantum theory, the dynamics of the matter fields can be described in terms of a unitary evolution of a state vector in a (...) Hilbert space. By writing the Hilbert space as a generic tensor product of “subsystems” we analyse the evolution of a state vector on an information theoretical basis and attempt to recover the usual spacetime relations from the information exchanges between these subsystems. We consider generic interacting second quantized models with a finite number of fermionic degrees of freedom and characterize on physical grounds the tensor product structure associated with the class of “localized systems” and therefore with “position”. We find that in the case of free theories no spacetime relation is operationally definable. On the contrary, by applying the same procedure to the simple interacting model of a one-dimensional Heisenberg spin chain we recover the tensor product structure usually associated with “position”. Finally, we discuss the possible role of gravity in this framework. (shrink)

We introduce for the first time the appurtenance equation and inclusion equation, which help in understanding the operations with neutrosophic numbers within the frame of neutrosophic statistics. The way of solving them resembles the equations whose coefficients are sets (not single numbers).

Several studies have emphasized the limits of invariance-based approaches such as Klein’s and Cassirer’s when it comes to account for the shift from the spacetimes of classical mechanics and of special relativity to those of general relativity. Not only is it much more complicated to find such invariants in the case of general relativity, but even if local invariants in Weyl’s fashion are admitted, Cassirer’s attempt at a further generalization of his approach to the spacetime structure of general relativity seems (...) to obscure the fact that the determination of this structure requires a completely different approach that is derived from Riemann rather than Klein. This paper aims to reconsider these issues by drawing attention to the combination of subtractive and additive strategies (more in line with Riemann’s) in Klein’s own considerations about the determination of the structure of spacetime from 1897 to 1910. I will point out that Cassirer relied on Klein’s argument in some central passages from Substance and Function (1910), and elaborated further on his combined approach in Einstein’s Theory of Relativity (1921), also taking into account the application of Riemannian geometry in general relativity. My suggestion is that an appreciation of Cassirer’s continuing commitment to a variety of geometrical traditions may shed light on his particular understanding of a priori elements of knowledge and avoid some of the classical objections to the idea of a relativization of the a priori. (shrink)

Consider a physical system for which a mathematically rigorous geometric quantization procedure exists. Now subject the system to a finite set of irreducible first class (bosonic) constraints. It is shown that there is a mathematically rigorous BRST quantization of the constrained system whose cohomology at ghost number zero recovers the constrained quantum states. Moreover this space of constrained states has a well-defined Hilbert space structure inherited from that of the original system. Treatments of these ideas in the physics literature (...) are more general but suffer from having states with infinite or zero "norms" and thus are not admissible as states. Also BRST operators for many systems require regularization to be well-defined. In our more restricted context, we show that our treatment does not suffer from any of these difficulties. (shrink)

Al final del cap. 1 de Foundations of Measurement. Vol.I los autores anuncian un segundo volumen y presentan un esbozo de los capítulos que han de componerlo. Aunque su publicación estaba prevista inicialmente para 1975, pasaban los años y a la comunidad científica llegaban tan sólo las versiones mecanuscritas parciales de algunos capítulos. Por fin, casi dos décadas después de FM I aparece el, por entonces ya mítico, segundo volumen desdoblado a su vez y convertido en FM II y FM (...) III. No es difícil adivinar los motivos de tanto retraso: a la cantidad y diversidad de material que quedó ya inicialmente para el segundo volumen, debía sumarse la ingente producción sobre measurement theory que, especialmente a partir de los setenta y por influencia en parte de FM I, la investigación producía año tras año. Como era de esperar, el resultado final de la obra no se ajusta exactamente a los planes originales, se eliminan algunos temas anunciados y se introducen otros nuevos. En primer lugar, se recoge la investigación sobre MT durante esos años: tanto la relacionada con cuestiones ya tratadas en FM I sobre las que se han obtenido resultados nuevos o más generales, como la derivada de un enfoque parcialmente nuevo desarrollado principalmente en torno a la obra de Narens y sus colaboradores. En segundo lugar, se suprime del plan original el capítulo dedicado al tratamiento estadístico del error y el último previsto en el que se resumiría el enfoque adoptado y se compararía con otros. (shrink)

The brain, rather than being homogeneous, displays an almost infinite topological genus, since it is punctured with a high number of “cavities”. We might think to the brain as a sponge equipped with countless, uniformly placed, holes. Here we show how these holes, termed topological vortexes, stand for nesting, non-concentric brain signal cycles resulting from the activity of inhibitory neurons. Such inhibitory spike activity is inversely correlated with its counterpart, i.e., the excitatory spike activity propagating throughout the whole brain tissue. (...) We illustrate how Pascal’s triangles and linear and nonlinear arithmetic octahedrons are capable of describing the three-dimensional random walks generated by the inhbitory/excitatory activity of the nervous tissue. In case of nonlinear 3D paths, the trajectories of excitatory spiking oscillations can be depicted as the operation of filling the numbers of octahedrons in the form of “islands of numbers”: this leads to excitatory neuronal assemblies, spaced out by empty areas of inhibitory neuronal assemblies. These mathematical procedures allow us to describe the topology of a brain of infinite genus, to represent inhibitory neurons in terms of Betti numbers and to highlight how spike diffusion in neural tissues is generated by the random activation of tiny groups of excitatory neurons. Our approach suggests the existence of a strong mathematical background subtending the intricate oscillatory activity of the central nervous system. (shrink)

Kant held that under the concept of √2 falls a geometrical magnitude, but not a number. In particular, he explicitly distinguished this root from potentially infinite converging sequences of rationals. Like Kant, Brouwer based his foundations of mathematics on the a priori intuition of time, but unlike Kant, Brouwer did identify this root with a potentially infinite sequence. In this paper I discuss the systematical reasons why in Kant's philosophy this identification is impossible.

In a previous article, the writer explored the geometric foundation of the generally covariant spinor calculus. This geometric reasoning can be extended quite naturally to include the Lie covariant differentiation of spinors. The formulas for the Lie covariant derivatives of spinors, adjoint spinors, and operators in spin space are deduced, and it is observed that the Lie covariant derivative of an operator in spin space must vanish when taken with respect to a Killing vector. The commutator of (...) two Lie covariant derivatives is calculated; it is noted that the result is consistent with the geometric interpretation of the Jacobi identity for vectors. Lie current conservation is seen to spring from the result that the operator of spinor affine covariant differentiation commutes with the operator of spinor Lie covariant differentiation with respect to a Killing vector. It is shown that differentiations of the spinor field defined geometrically are Lorentz-covariant. (shrink)

In arithmetic, if only because many of its methods and concepts originated in India, it has been the tradition to reason less strictly than in geometry, ...

It is argued that geometrical intuition, as conceived in Kant, is still crucial to the epistemological foundations of mathematics. For this purpose, I have chosen to target one of the most sympathetic interpreters of Kant's philosophy of mathematics – Michael Friedman – because he has formulated the possible historical limitations of Kant's views most sharply. I claim that there are important insights in Kant's theory that have survived the developments of modern mathematics, and thus, that they are not so intrinsically (...) bound up with the logic and mathematics of Kant's time as Friedman will have it. These insights include the idea that mathematical knowledge relies on the manipulation of objects given in quasi-perceptual intuition, as Charles Parsons has argued, and that pure intuition is a source of knowledge of space itself that cannot be replaced by mere propositional knowledge. In particular, it is pointed out that it is the isomorphism between Kantian intuition and a spatial manifold that underlies both the epistemic intimacy of the most fundamental type of geometrical intuition as well as that of perceptual acquaintance. (shrink)

This book is a systematic and constructive treatment of a number of traditional issues at the foundation of ethics, the possibility and nature of moral knowledge, the relationship between the moral point of view and a scientific or naturalistic world view, the nature of moral value and obligation, and the role of morality in a person's rational life plan. In striking contrast to many traditional authors and to other recent writers in the field, David Brink offers an integrated defense (...) of the objectivity of ethics. (shrink)

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

Recentemente diversi studi hanno mostrato come la distanza tra i Grundlagen e le precedenti pubblicazioni di Hilbert non sia tanto abissale come ritenuto in passato, ma vi sia una significativa consequenzialità con la teoria dei campi numerici. Nel ribadire questa visione, si intende mostrare come i risultati ottenuti da Hilbert, in particolare sui teoremi di Pappo e di Desargues, siano conseguenza di una ricerca più ampia sulla possibilità di introdurre all’interno della geometria dei sistemi numerici atti a coordinatizzare il piano (...) o lo spazio. Nello sviluppo della ricerca hanno avuto un ruolo determinante la scoperta di Hurwitz delle uniche quattro algebre di divisione normate e le idee maturate, già agli inizi della sua carriera, sulla finitezza degli strumenti da utilizzare in geometria, in particolare la rinuncia al concetto di continuità e la limitazione a sistemi numerici ordinati e numerabili. Nelle conclusioni dei Grundlagen, Hilbert rimarca l’importanza di dimostrare l’impossibilità delle assunzioni, tra cui l’impossibilità di determinare, attraverso solo relazioni geometriche di incidenza, dei sistemi numerici ordinati che abbiano le stesse proprietà dei quaternioni e degli ottonioni rispetto alle operazioni dell’aritmetica. (shrink)

The Foundations of Cognitive Science is a set of thirteen new essays on key topics in this lively interdisciplinary field, by a stellar international line-up of authors. Philosophers, psychologists, and neurologists here come together to investigate such fascinating subjects as consciousness; vision; rationality; artificial life; the neural basis of language, cognition, and emotion; and the relations between mind and world, for instance our representation of numbers and space. The contributors are Ned Block, Margaret Boden, Susan Carey, Patricia Churchland, Paul (...) Churchland, Antonio Damasio, Hanna Damasio, Donald Davidson, Daniel Dennett, Ilya Farber, James Higginbotham, Christopher Peacocke, Will Peterman, Zenon Pylyshyn, John Searle. Anyone interested in the exploration of the human mind will enjoy this book. (shrink)

Despite its age, quantum theory still suffers from serious conceptual difficulties. To create clarity, mathematical physicists have been attempting to formulate quantum theory geometrically and to find a rigorous method of quantization, but this has not resolved the problem. In this article we argue that a quantum theory recursing to quantization algorithms is necessarily incomplete. To provide an alternative approach, we show that the Schrödinger equation is a consequence of three partial differential equations governing the time evolution of a given (...) probability density. These equations, discovered by Madelung, naturally ground the Schrödinger theory in Newtonian mechanics and Kolmogorovian probability theory. A variety of far-reaching consequences for the projection postulate, the correspondence principle, the measurement problem, the uncertainty principle, and the modeling of particle creation and annihilation are immediate. We also give a speculative interpretation of the equations following Bohm, Vigier and Tsekov, by claiming that quantum mechanical behavior is possibly caused by gravitational background noise. (shrink)

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

Legal epistemology has been an area of great philosophical growth since the turn of the century. But recently, a number of philosophers have argued the entire project is misguided, claiming that it relies on an illicit transposition of the norms of individual epistemology to the legal arena. This paper uses these objections as a foil to consider the foundations of legal epistemology, particularly as it applies to the criminal law. The aim is to clarify the fundamental commitments of legal epistemology (...) and suggest a way to vindicate it. (shrink)