I characterize Bishop's constructive mathematics as an alternative to classical mathematics, which makes use of the actual infinity. From the history an accurate investigation of past physical theories I obtianed some ones - mainly Lazare Carnot's mechanics and Sadi Carnot's thermodynamics - which are alternative to the dominant theories - e.g. Newtopn's mechanics. The way to link together mathematics to theoretical physics is generalized and some general considerations, in particualr on the geoemtry in theoretical physics, are (...) obtained.that. (shrink)

I describe two approaches to modelling the universe, the one having its origin in topos theory and differential geometry, the other in set theory. The first is synthetic differential geometry. Traditionally, there have been two methods of deriving the theorems of geometry: the analytic and the synthetic. While the analytical method is based on the introduction of numerical coordinates, and so on the theory of real numbers, the idea behind the synthetic approach is to furnish the subject (...) of geometry with a purely geometric foundation in which the theorems are then deduced by purely logical means from an initial body of postulates. The most familiar examples of the synthetic geometry are classical Euclidean geometry and the synthetic projective geometry introduced by Desargues in the 17th century and revived and developed by Carnot, Poncelet, Steiner and others during the 19th century. The power of analytic geometry derives very largely from the fact that it permits the methods of the calculus, and, more generally, of mathematical analysis, to be introduced into geometry, leading in particular to differential geometry (a term, by the way, introduced in 1894 by the Italian geometer Luigi Bianchi). That being the case, the idea of a “synthetic” differential geometry seems elusive: how can differential geometry be placed on a “purely geometric” or “axiomatic” foundation when the apparatus of the calculus seems inextricably involved? To my knowledge there have been two attempts to develop a synthetic differential geometry. The first was initiated by Herbert Busemann in the 1940s, building on earlier work of Paul Finsler. Here the idea was to build a differential geometry that, in its author’s words, “requires no derivatives”: the basic objects in Busemann’s approach are not differentiable manifolds, but metric spaces of a certain type in which the notion of a geodesic can be defined in an intrinsic manner. I shall not have anything more to say about this approach. The second approach, that with which I shall be concerned here, was originally proposed in the 1960s by F.. (shrink)

Traditionally, there have been two methods of deriving the theorems of geometry: the analytic and the synthetic. While the analytical method is based on the introduction of numerical coordinates, and so on the theory of real numbers, the idea behind the synthetic approach is to furnish the subject of geometry with a purely geometric foundation in which the theorems are then deduced by purely logical means from an initial body of postulates. The most familiar examples of the synthetic (...) geometry are classical Euclidean geometry and the synthetic projective geometry introduced by Desargues in the 17th century and revived and developed by Carnot, Poncelet, Steiner and others during the 19th century. The power of analytic geometry derives very largely from the fact that it permits the methods of the calculus, and, more generally, of mathematical analysis, to be introduced into geometry, leading in particular to differential geometry (a term, by the way, introduced in 1894 by the Italian geometer Luigi Bianchi). That being the case, the idea of a “synthetic” differential geometry seems elusive: how can differential geometry be placed on a “purely geometric” or “axiomatic” foundation when the apparatus of the calculus seems inextricably involved? To my knowledge there have been two attempts to develop a synthetic differential geometry. The first was initiated by Herbert Busemann in the 1940s, building on earlier work of Paul Finsler. Here the idea was to build a differential geometry that, in its author’s words, “requires no derivatives”: the basic objects in Busemann’s approach are not differentiable manifolds, but metric spaces of a certain type in which the notion of a geodesic can be defined in an intrinsic manner. I shall not have anything more to say about this approach. The second approach, that with which I shall be concerned here, was originally proposed in the 1960s by F. W. Lawvere, who was in fact striving to fashion a decisive axiomatic framework for continuum mechanics.. (shrink)

In 1824 Sadi Carnot published Réflexions sur la Puissance Motrice du Feu in which he founded almost the entire thermodynamics theory. Two years after his death, his friend Clapeyron introduced the famous diagram PV for analytically representing the famous Carnot’s cycle: one of the main and crucial ideas presented by Carnot in his booklet. Twenty-five years later, in order to achieve the modern version of the theory, Kelvin and Clausius had to reject the caloric hypothesis, which had influenced a few (...) of Carnot’s arguments. Relying on the possibility of studying the history of science by means of logical investigation, in this paper I shall propose an historical/epistemological research on Sadi Carnot’s original thermodynamics theory in which the French scientist presents more than two principles, all of which are expressed by double negated sentences (generally speaking) within non-classical logic. (shrink)

This book offers insights relevant to modern history and epistemology of physics, mathematics and, indeed, to all the sciences and engineering disciplines emerging of 19th century. This research volume is the first of a set of three Springer books on Lazare Nicolas Marguérite Carnot’s (1753–1823) remarkable work: Essay on Machines in General (Essai sur les machines en général [1783] 1786). The other two forthcoming volumes are: Principes fondamentaux de l’équilibre et du mouvement (1803) and Géométrie de position (1803). Lazare Carnot (...) – l'organisateur de la victoire – in Essai sur le machine en général (1786) assumed that the generalization of machines was a necessity for society and its economic development. Subsequently, his new coming science applied to machines attracted considerable interest for technician, as well, already in the 1780’s. With no lack in rigour, Carnot used geometric and trigonometric rather than algebraic arguments, and usually went on to explain in words what the formulae contained. His main physical– mathematical concepts were the Geometric motion and Moment of activity–concept of Work . In particular, he found the invariants of the transmission of motion (by stating the principle of the moment of the quantity of motion) and theorized the condition of the maximum efficiency of mechanical machines (i.e., principle of continuity in the transmission of power). While the core theme remains the theories and historical studies of the text, the book contains an extensive Introduction and an accurate critical English Translation – including the parallel text edition and substantive critical/explicative notes – of Essai sur les machines en général (1786). The authors offer much-needed insight into the relation between mechanics, mathematics and engineering from a conceptual, empirical and methodological, and universalis point of view. As a cutting–edge writing by leading authorities on the history of physics and mathematics, and epistemological aspects, it appeals to historians, epistemologist–philosophers and scientists (physicists, mathematicians and applied sciences and technology). (shrink)

Offering a collection of fifteen essays that deal with issues at the intersection of phenomenology, logic, and the philosophy of mathematics, this 2005 book is divided into three parts. Part I contains a general essay on Husserl's conception of science and logic, an essay of mathematics and transcendental phenomenology, and an essay on phenomenology and modern pure geometry. Part II is focused on Kurt Godel's interest in phenomenology. It explores Godel's ideas and also some work of Quine, Penelope Maddy (...) and Roger Penrose. Part III deals with elementary, constructive areas of mathematics. These are areas of mathematics that are closer to their origins in simple cognitive activities and in everyday experience. This part of the book contains essays on intuitionism, Hermann Weyl, the notion of constructive proof, Poincaré and Frege. (shrink)

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

Classic examples of ostensive geometrical constructions are used to clarify Kant’s account of how they provide knowledge of claims about rigid bodies we can observe and manipulate. It is argued that on Kant’s account claims warranted by ostensive constructions must be limited to scales and tolerances corresponding to our perceptual competencies. This limitation opens the way to view Riemann’s work as contributing valuable conceptual resources for extending geometrical knowledge beyond the bounds of observation. It is argued that neither Reichenbach’s descriptions (...) of non-Euclidean visualization nor his arguments for conventionalism about geometry undercut this view of Kant’s account of geometrical knowledge. (shrink)

Integration within constructive, especially intuitionistic mathematics in the sense of L. E. J. Brouwer, slightly differs from formal integration theories: Some classical results, especially Lebesgue's dominated convergence theorem, have tobe substituted by appropriate alternatives. Although there exist sophisticated, but rather laborious proposals, e.g. by E. Bishop and D. S. Bridges , the reference to partitions and the Riemann-integral, also with regard to the results obtained by R. Henstock and J. Kurzweil , seems to give a better direction. Especially, (...) convergence theorems can be proved by introducing the concept of “equi-integrability”. (shrink)

The foci of this penetrating study are Euclid's geometry and Descartes' mathematics. It is a contribution to the history of mathematics, but it is much more, for the differing approaches to mathematics in the ancient and the modern worlds is shown to have deep consequences for both doing and knowing. The investigation is centered on the nature of geometrical construction in ancient and modern mathematics, and, by extension, the crucial importance of construction to the reality and self-understanding of modernity.

In this paper we discuss in some depth the main theorems pertaining to Carnot’s theory of transversals, their initial reception by Servois, and the applications that Brianchon made of them to the theory of conic sections. The contributions of these authors brought the long-forgotten theorems of Desargues and Pascal fully to light, renewed the interest in synthetic geometry in France, and prepared the ground from which projective geometry later developed.

Context: The dominant approach to the study of perception is representational/computational, with an emphasis on the achievements of the brain and the nervous system, which are taken to construct internal models of the world. Alternatives include ecological, embedded, embodied, and enactivist approaches, all of which emphasize the centrality of action in understanding perception. Problem: Despite sharing many theoretical commitments that lead to a rejection of the classical approach, the alternatives are characterized by important contrasts and points of divergence. Here (...) we focus on the enactive and ecological approaches, in particular, on how they construe the status of the environment and the content of perception. Method: We begin with a review of James Gibson’s ecological psychology, highlighting it as a psychology for all organisms not just humans. Against this backdrop, we consider enactivist arguments against direct perception - a central assertion of the ecological approach - and in favor of interpreting the activity of perceptual agents as a kind of construction of a perceptually meaningful world. Results: We assess the merits of this interpretation and we conclude that it cannot be grounded on fundamental principles such as thermodynamics and organism-environment mutuality. Implications: As a consequence, enactivism remains close to representationalism and entails a form of dualism. Constructivist content: We advance a criticism of the constructivist foundations of the enactive approach to perception. Perception-action mutuality at the heart of enactivism does not require mental construction; indeed, perception-action mutuality obviates construction. (shrink)

Euclidean geometry, as presented by Euclid, consists of straightedge-and-compass constructions and rigorous reasoning about the results of those constructions. We show that Euclidean geometry can be developed using only intuitionistic logic. This involves finding “uniform” constructions where normally a case distinction is used. For example, in finding a perpendicular to line L through point p, one usually uses two different constructions, “erecting” a perpendicular when p is on L, and “dropping” a perpendicular when p is not on L, (...) but in constructive geometry, it must be done without a case distinction. Classically, the models of Euclidean geometry are planes over Euclidean fields. We prove a similar theorem for constructive Euclidean geometry, by showing how to define addition and multiplication without a case distinction about the sign of the arguments. With intuitionistic logic, there are two possible definitions of Euclidean fields, which turn out to correspond to different versions of the parallel postulate.We consider three versions of Euclid’s parallel postulate. The two most important are Euclid’s own formulation in his Postulate 5, which says that under certain conditions two lines meet, and Playfair’s axiom, which says there cannot be two distinct parallels to line L through the same point p. These differ in that Euclid 5 makes an existence assertion, while Playfair’s axiom does not. The third variant, which we call the strong parallel postulate, isolates the existence assertion from the geometry: it amounts to Playfair’s axiom plus the principle that two distinct lines that are not parallel do intersect. The first main result of this paper is that Euclid 5 suffices to define coordinates, addition, multiplication, and square roots geometrically.We completely settle the questions about implications between the three versions of the parallel postulate. The strong parallel postulate easily implies Euclid 5, and Euclid 5 also implies the strong parallel postulate, as a corollary of coordinatization and definability of arithmetic. We show that Playfair does not imply Euclid 5, and we also give some other independence results. Our independence proofs are given without discussing the exact choice of the other axioms of geometry; all we need is that one can interpret the geometric axioms in Euclidean field theory. The independence proofs use Kripke models of Euclidean field theories based on carefully constructed rings of real-valued functions. “Field elements” in these models are real-valued functions. (shrink)

claims that constructive mathematics is inadequate for spacetime physics and hence that constructive mathematics cannot be considered as an alternative to classical mathematics. He also argues that the contructivist must be guilty of a form of a priorism unless she adopts a strong form of anti-realism for science. Here I want to dispute both claims. First, even if there are non-constructive results in physics this does not show that adequate constructive alternatives could not be formulated. (...) Secondly, the constructivist adopts a 'philosophy first' approach that Hellman rejects. This deep difference means that the viability of constructive mathematics cannot yet be decided by determining whether current scientific theories require classical mathematics. We need to decide which approach is most appropriate before we can even determine how we should go about deciding whether we should be constructive or classical mathematicians. (shrink)

The nature of modern constructive mathematics, and its applications, actual and potential, to classical and quantum physics, are discussed.

In this work a mechanistic explanation of the classical algae growth model built by M. R. Droop in the late sixties is proposed. We first recall the history of the construction of the “predictive” variable yield Droop model as well as the meaning of the introduced cell quota. We then introduce some theoretical hypotheses on the biological phenomena involved in nutrient storage by the algae that lead us to a “conceptual” model. Though more complex than Droop’s one, our model (...) remains accessible to a complete mathematical study: its confrontation to the Droop model shows both have the same asymptotic behavior. However, while Droop’s cell quota comes from experimental bio-chemical measurements not related to intra-cellular biological phenomena, its analogous in our model directly follows our theoretical hypotheses. This new model should then be looked at as a re-interpretation of Droop’s work from a theoretical biologist’s point of view. (shrink)

Euclid’s definition of a point as “that which has no part” has been a major source of controversy in relation to the epistemological and ontological presuppositions of classical geometry, from the medieval and modern disputes on indivisibilism to the full development of point-free geometries in the 20th century. Such theories stem from the general idea that all talk of points as putative lower-dimensional entities must and can be recovered in terms of suitable higher-order constructs involving only extended regions (...) (or bodies). Here I focus on what is arguably the first thorough proposal of this sort, Whitehead’s theory of “extensive abstraction”, offering a critical reconstruction of the theory through its successive installments: from the purely mereological version of ‘La théorie relationniste de l’espace’ (1916) to the refined versions presented in An Enquiry Concerning the Principles of Natural Knowledge (1919) and in The Concept of Nature (1920) to the last, mereotopological version of Process and Reality (1929). (shrink)

In this transdisciplinary article which stems from philosophical considerations (that depart from phenomenology—after Merleau-Ponty, Heidegger and Rosen—and Hegelian dialectics), we develop a conception based on topological (the Moebius surface and the Klein bottle) and geometrical considerations (based on torsion and non-orientability of manifolds), and multivalued logics which we develop into a unified world conception that surmounts the Cartesian cut and Aristotelian logic. The role of torsion appears in a self-referential construction of space and time, which will be further related to (...) the commutator of the True and False operators of matrix logic, still with a quantum superposed state related to a Moebius surface, and as the physical field at the basis of Spencer-Brown’s primitive distinction in the protologic of the calculus of distinction. In this setting, paradox, self-reference, depth, time and space, higher-order non-dual logic, perception, spin and a time operator, the Klein bottle, hypernumbers due to Musès which include non-trivial square roots of ±1 and in particular non-trivial nilpotents, quantum field operators, the transformation of cognition to spin for two-state quantum systems, are found to be keenly interwoven in a world conception compatible with the philosophical approach taken for basis of this article. The Klein bottle is found not only to be the topological in-formation for self-reference and paradox whose logical counterpart in the calculus of indications are the paradoxical imaginary time waves, but also a classical-quantum transformer (Hadamard’s gate in quantum computation) which is indispensable to be able to obtain a complete multivalued logical system, and still to generate the matrix extension of classical connective Boolean logic. We further find that the multivalued logic that stems from considering the paradoxical equation in the calculus of distinctions, and in particular, the imaginary solutions to this equation, generates the matrix logic which supersedes the classical logic of connectives and which has for particular subtheories fuzzy and quantum logics. Thus, from a primitive distinction in the vacuum plane and the axioms of the calculus of distinction, we can derive by incorporating paradox, the world conception succinctly described above. (shrink)

We examine, from a constructive perspective, the relation between the complements of S, T, and S ∩ T in X, where X is either a metric space or a normed linear space. The fundamental question addressed is: If x is distinct from each element of S ∩ T, if s ϵ S, and if t ϵ T, is x distinct from s or from t? Although the classical answer to this question is trivially affirmative, constructive answers involve (...) Markov's principle and the completeness of metric spaces. (shrink)

L’article met en lumière la continuité intellectuelle de l’Académie à propos d’une question précise, les rapports entre philosophie et géométrie. On soutient d’abord que, dans les livres VI-VII de la République, Platon ne cherche pas à réformer les pratiques des géomètres mais identifie les contraintes incontournables de leurs raisonnements (constructions, hypothèses), qui constituent et limitent leur objectivité. On montre ensuite que cette analyse constitue le cadre des réflexions académiciennes ultérieures sur la géométrie. Speusippe reprend et développe l’analyse platonicienne des constructions (...) géométriques, qui est appliquée (de Speusippe à Crantor) à la cosmologie et même à la doctrine des principes, afin d’expliquer comment elles saisissent leurs objets éternels depuis le devenir, de manière indirecte. Si la Nouvelle Académie d’Arcésilas et de Carnéade critique les mathématiques, on fait l’hypothèse qu’il s’agissait pour elle – dans le contexte des débats philosophiques hellénistiques sur les usages des mathématiques –, de rappeler les limites de leur objectivité contre toute idéalisation dogmatique de la méthode géométrique. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:The Poetics of PerspectiveHarvey L. HixThe Poetics of Perspective, by James Elkins; xv & 324 pp. Ithaca: Cornell University Press, 1994, $39.95.The Poetics of Perspective does not mention that Leonardo was born more than 100 years before Galileo and nearly 200 before Newton, but doing so would underscore its thesis. According to James Elkins, our anachronistic view of perspective, invented in the Enlightenment, systematically distorts our understanding of (...) Renaissance art. Instead of “tracing the outline” of the real nature of Renaissance art, our discussions (to borrow Wittgenstein’s metaphor) merely trace “the frame through which we look at it.” The actual Renaissance view, unlike the modern idée fixe, involved no concept of a unified pictorial space. In the absence of such a concept, “Renaissance authors and artists [End Page 368] thought there were many compatible perspectives, so that their writing and painting evince a ‘pluralist’ approach in strict contrast to the monolithic mathematical perspective we imagine today” (p. xi). The Poetics of Perspective attempts, in six substantial chapters and a brief envoi, to unearth this pluralistic Renaissance approach to perspective buried beneath modern preconceptions.Elkins identifies a number of differences between the Renaissance view of perspective and modern views. For instance, no longer is perspective “charged with the religious and social meanings it had for the early Renaissance” (p. 2). Why? “Renaissance artists and writers saw many techniques where we see a single discovery” (p. 8). Renaissance artists thought of perspective as a series of rules and techniques for constructing images; modern art historians, in contrast, think of perspective on analogy with tracing a scene on a pane of glass. In contrast to the “object oriented” Renaissance notion of perspective, the modern concept is “space oriented.” For the Renaissance, perspective was “a strategy for making pictures,” but for us it has become “a sign signifying a mental state, a culture, or an expressive language” (p. 17). Renaissance perspective originated as “a construction, an intellectual accomplishment rather than as a transcription of appearances” or a “revelation of optical reality” (pp. 136–38). To its contemporaries, Renaissance perspective suggested “the complicated, unfinished, and partial” rather than “the harmonious, balanced, and whole” (p. 170). We expect a uniform accuracy of perspective through an entire painting, but Renaissance practitioners were selective in their applications of perspective to passages of particular interest or significance. All these differences taken together, Elkins says, imply that our insistence on attributing to Renaissance paintings an isotropic application of perspective based on an ideal geometry is a mistake: “we are looking for something the Renaissance artists did not supply” (p. 226).Elkins’s excellent book is a corrective for the sort of thing Lillian Schwartz does in the April 1995 Scientific American. In the middle of a series of ill-substantiated conjectures, based on computer manipulations of images and ranging from the claim that Leonardo himself was a model for the Mona Lisa to the assertion that Piero della Francesca’s Resurrection of Christ, plastered over during the seventeenth century, must have been painted “in sunset colors,” she suggests that Leonardo intended The Last Supper to “appear as an extension of the refectory” in which it was painted. She explains the quirks of the painting’s perspective (“Leonardo placed Christ and the apostles up front, tilted the floor and table, designed side walls of uneven lengths and tapestries of different sizes and spacing”) by constructing a computer simulation to show that a person entering the room from what was then the main door “would perceive the supper as taking place in the refectory.” Schwartz’s conjecture may or may not be right, but comparison with her article reveals the major strengths of Elkins’s book. In contrast to Schwartz’s hasty manipulations, The Poetics of Perspective is encyclopedic; it takes scrupulous care to meet on their own ground the many [End Page 369] texts and paintings it examines, and it follows the Wittgensteinian imperative to stop thinking and look. Whatever the promise of the new technologies available to art historians, they can never replace the sort of patient attention Elkins lavishes on the works he studies.Harvey L. HixKansas City Art InstituteCopyright... (shrink)

This is the first of two articles dedicated to the notion of constructive set. In them we attempt a comparison between two different notions of set which occur in the context of the foundations for constructive mathematics. We also put them under perspective by stressing analogies and differences with the notion of set as codified in the classical theory Zermelo–Fraenkel. In the current article we illustrate in some detail the notion of set as expressed in Martin–L¨of type (...) theory and present the essential characters of this theory. In a second article we shall explore a distinct notion of set, as arising in the context of intuitionistic versions of Zermelo–Fraenkel set theory. The theory we shall analyse there is Aczel’s CZF and we shall supplement its exposition by a succinct account of Aczel’s interpretation of CZF in type theory. This will enable us to compare the two notions in a more precise sense. (shrink)

Recall, if you will, the standard objections to the traditional doctrines. While the most subtle of the competing doctrines is, in my opinion, the Aristotelian and scholastic account of abstraction, the objection to this doctrine is that it requires a realism which is too immediate, so that the forms of one's present state of knowledge are allowed to pass as the forms of nature. And although, as I understand it, Aristotelian mathematics is gained by abstraction from an already fairly abstract (...) matter, one naturally expects in this context one true geometry, rather than alternate geometries. At the same time the strength of this view lies in its confidence that our abstractions must refer to the real world. The defect of the standard Lockian doctrine is that it contains an inner inconsistency, the nature of which we shall notice in due course. And upon application the doctrine explodes at once. On the other hand, the strength of the Lockian doctrine, as well as the doctrine of Berkeley and Hume, lies in its reluctance to allow needless entities entrance into reality. The weakness of the doctrine of Berkeley and Hume is that in moving from the impossible image of Locke's doctrine, the emphasis on particularity requires the agency of custom or habit to join the particulars of sense into classes. But the edges of such classes remain always indefinite. Habit, or custom, would seem not to allow the clean separation of abstractions from each other which the results of intellection give us reason to demand in any adequate doctrine. The weakness of the Kantian doctrine lies in its inability to explicate an antecedent reality; that is, in affirming at last the incognizable thing in itself; while the strength of this doctrine derives from its ability to allow the construction of precise abstractions in a somewhat autonomous manner. (shrink)

I present a systematic interpretation of the foundational purpose of constructions in ancient Greek geometry. I argue that Greek geometers were committed to an operationalist foundational program, according to which all of mathematics—including its entire ontology and epistemology—is based entirely on concrete physical constructions. On this reading, key foundational aspects of Greek geometry are analogous to core tenets of 20th-century operationalist/positivist/constructivist/intuitionist philosophy of science and mathematics. Operationalism provides coherent answers to a range of traditional philosophical problems regarding (...) class='Hi'>classical mathematics, such as the epistemic warrant and generality of diagrammatic reasoning, superposition, and the relation between constructivism and proof by contradiction. Alleged logical flaws in Euclid can be interpreted as sound operationalist reasoning. Operationalism also provides a compelling philosophical motivation for the otherwise inexplicable Greek obsession with cube duplication, angle trisection, and circle quadrature. Operationalism makes coherent sense of numerous specific choices made in this tradition, and suggests new interpretations of several solutions to these problems. In particular, I argue that: Archytas’s cube duplication was originally a single-motion machine; Diocles’s cissoid was originally traced by a linkage device; Greek conic section theory was thoroughly constructive, based on the conic compass; in a few cases, string-based constructions of conic sections were used instead; pointwise constructions of curves were rejected in foundational contexts by Greek mathematicians, with good reason. Operationalism enables us to view the classical geometrical tradition as a more unified and philosophically aware enterprise than has hitherto been recognised. (shrink)

This paper argues that kant's general epistemology incorporates a theory of algebra which entails a less constricted view of kant's philosophy of mathematics than is sometimes given. To extract a plausible theory of algebra from the "critique of pure reason", It is necessary to link kant's doctrine of mathematical construction to the idea of the "schematism". Mathematical construction can be understood to accommodate algebraic symbolism as well as the more familiar spatial configurations of geometry.

A new formulation involving fulfillment of all the Kolmogorov axioms is suggested for acomplete probability theory. This proves to be not a purely mathematical discipline. Probability theory deals with abstract objects—images of various classes of concrete objects—whereas experimental statistics deals with concrete objects alone. Both have to be taken into account. Quantum physics and classical statistical physics prove to be different aspects ofone probabilistic physics. The connection of quantum mechanics with classical statistical mechanics is examined and the origin (...) of the Schrödinger equation is elucidated. Attention is given to the true meaning of the wave-corpuscle duality, and the incompleteness of nonrelativistic quantum mechanics is explained. (shrink)

My life as a quantum physicist / M. Nakahara -- A review on operator quantum error correction - Dedicated to Professor Mikio Nakahara on the occasion of his 60th birthday / C.-K. Li, Y.-T. Poon and N.-S. Sze -- Implementing measurement operators in linear optical and solid-state qubits / Y. Ota, S. Ashhab and F. Nori -- Fast and accurate simulation of quantum computing by multi-precision MPS: Recent development / A. Saitoh -- Entanglement properties of a quantum lattice-gas model on (...) square and triangular ladders / S. Tanaka, R. Tamura and H. Katsura -- On signal amplification from weak-value amplification / Y. Shikano -- Topological protection of quantum information / K. Fujii -- Quantum annealing with antiferromagnetic fluctuations for mean-field models / Y. Seki and H. Nishimori -- A method to change phase transition nature - Toward annealing methods / R. Tamura and S. Tanaka -- Computational analysis of the first stage of the photosynthetic system, the light-dependent reaction, by quantum chemical simulation method / M. Tada-Umezaki -- Two-qubit gate operation on selected nearest neighboring qubits in a neutral atom quantum computer / E. Hosseini Lapasar... [et al.] -- A simple operator quantum error correction scheme avoiding fully correlated errors / C. Bagnasco, Y. Kondo and M. Nakahara -- Black hole predictability, classical and quantum / A. Ishibashi -- Classical field simulation of finite-temperature Bose gases / T. Sato -- Atomic quantum simulations of lattice gauge theory: Effect of gauge symmetry breaking / K. Kasamatsu, I. Ichinose and T. Matsui -- Recursive construction of noiseless subsystem for qudits / U. Gungordu... [et al.] -- Composite quantum gates for precise quantum control / M. Bando... [et al.] -- New formulation of statistical mechanics using thermal pure quantum states / S. Sugiura and A. Shimizu -- Thermodynamics in unitary time evolution / T. N. Ikeda -- Second law of thermodynamics with QC-mutual information / T. Sagawa. (shrink)

This deeply researched, carefully constructed and very thoughtful book is fascinating in its own right as well as being indispensable background material for anyone interested in current philosophical thought about space, time, and geometry.

ZusammenfassungDie Arbeit enthält Bemerkungen über den Intuitionismus and über seine Beziehungen zu anderen Gebieten der Grundlagenforschung. Innerhalb der intuitionistischen Mathematik werden, im Anschluss an die Kritik von Griss gegen den Gebrauch der Negation, Evidenzstufen unterschieden, abhängend von der Art, in der bedingte Konstruktionen zugelassen werden. Auch werden gewisse Schwierigkeiten in der Theorie der endlichen Spezies diskutiert. Was die Grundlagenforschung im Aligemeinen betrifft, wird bemerkt, dass sie die klassische Mathematik weitgehend in ihre intuitiven, formalen and platonischen Bestandteile zerlegt hat. Es wird (...) näher eingegangen auf die These von Church in der Theorie der rekursiven Funktionen.RésuméL'article contient des remarques sur l'intuitionisme et sur ses rapports avec les autres directions dans la recherche des fondements. Dans la mathématique intuitioniste, et en connexion avec la critique de Griss contre l'usage de la négation, on distingue des degrés d'évidence, dépendant de l'espèce de constructions conditionnées qui est admise. En outre, on discute certaines difficultés dans la théorie des espèces finies. Concernant la recherche des fondements en général, on remarque que les mathématiques classiques ont été scindées en leurs éléments intuitifs, formels et platonistes. Quelques remarques sur la thèse de Church dans la théorie des fonctions récursives terminent l'article.The paper contains remarks on intuitionism and its relations with other domains of foundational research. Inside the intuitionistic mathematics, in connection with Griss' criticism against the use of negation, different degrees of evidence are distinguished, depending upon the way in which conditioned constructions are admitted. Some difficulties in the theory of finite species are discussed. Concerning the foundational research in general it is observed that it has separated intuitive, formal and platonistic constituents in classical mathematics. Some remarks are made on Church's thesis in the theory of recursive functions. (shrink)

The authors deal with the classic paradox of ethical theories, “Hume’s guillotine,” based on the contradiction in morality between what is and what should be. At the same time, the theological justification of moral principles is beyond this criticism, because the sacred commandments “by definition” combine what is and what should be, overcoming the “secular” gap between being and duty, and thus “the problem of transition from description to evaluation is removed.” Modern ways of removing this contradiction, revealed by Hume, (...) are considered from several points of view. Special attention is paid to the analogy between the development of ethical and mathematical theories, a synergistic approach to the formation of ethics, as well as to the ethical choice associated with the development of digital reality, which humanity will face soon. A synergistic approach can be viewed as a bridge “over the abyss of two cultures - natural science and humanities.” Now it has become clear that there can be many logics, geometries, versions of analysis of infinitely small, etc. Ethics can also be constructed and then put into practice. A classic example is the ethical code of King Lycurgus. Separate ethical systems are not able to ensure the survival of humanity under extreme conditions. Existence of general ethical rules in global crises allows many to survive. Without them, everyone would die. True amazement is the fact that the eight Dyakonov phase transitions in human history completely coincide with the crises periodicity presented in the text of the Apocalypse, where crises are figuratively called “beasts.” Then a vivid picture is given, a picture of the civilization transformation into a post-singular state, which goes beyond the horizon of scientific forecast. (shrink)

For certain methodological and historical reasons, the science of probability (probabilistics) had never been constructed before as a single whole, and it has basically split into probability theory and into statistics. One of the reasons was the neglect of an extremely important methodological principle which reads: It is necessary to distinguish strictly between concrete objects and abstract objects. This principle is displayed and exemplified. Its use has made it possible to discover the basic phenomenon of probalilistics and to construct the (...) science, whose outlines are given. The application of probabilistics to physics gives rise to probabilistic physics, whose particular domains are, among others, both classical statistical physics and quantum physics. The actual meaning of quantum physics becomes quite clear and no artificial interpretation of it proves to be necessary. (shrink)

This book examines the role of acts of choice in classical and intuitionistic mathematics. Featuring fifteen papers - both new and previously published - it offers a fresh analysis of concepts developed by the mathematician and philosopher L.E.J. Brouwer, the founder of intuitionism. The author explores Brouwer's idealization of the creative subject as the basis for intuitionistic truth, and in the process he also discusses an important, related question: to what extent does the intuitionistic perspective succeed in avoiding the (...) classical realistic notion of truth? The papers detail realistic aspects in the idealization of the creative subject and investigate the hidden role of choice even in classical logic and mathematics, covering such topics as bar theorem, type theory, inductive evidence, Beth models, fallible models, and more. In addition, the author offers a critical analysis of the response of key mathematicians and philosophers to Brouwer's work. These figures include Michael Dummett, Saul Kripke, Per Martin-Löf, and Arend Heyting. This book appeals to researchers and graduate students with an interest in philosophy of mathematics, linguistics, and mathematics. (shrink)

Constructive mathematics – mathematics in which ‘there exists’ always means ‘we can construct’ – is enjoying a renaissance. Fifty years on from Bishop’s groundbreaking account of constructive analysis, constructive mathematics has spread out to touch almost all areas of mathematics and to have profound influence in theoretical computer science. This handbook gives the most complete overview of modern constructive mathematics, with contributions from leading specialists surveying the subject’s myriad aspects. Major themes include: constructive algebra and (...) geometry, constructive analysis, constructive topology, constructive logic and foundations of mathematics, and computational aspects of constructive mathematics. A series of introductory chapters provides graduate students and other newcomers to the subject with foundations for the surveys that follow. Edited by four of the most eminent experts in the field, this is an indispensable reference for constructive mathematicians and a fascinating vista of modern constructivism for the increasing number of researchers interested in constructive approaches. (shrink)

The notions of permutable and weak-permutable convergence of a series|$\sum _{n=1}^{\infty }a_{n}$|of real numbers are introduced. Classically, these two notions are equivalent, and, by Riemann’s two main theorems on the convergence of series, a convergent series is permutably convergent if and only if it is absolutely convergent. Working within Bishop-style constructive mathematics, we prove that Ishihara’s principle BD-|$\mathbb {N}$|implies that every permutably convergent series is absolutely convergent. Since there are models of constructive mathematics in which the Riemann permutation (...) theorem for series holds but BD-|$\mathbb{N}$|does not, the best we can hope for as a partial converse to our first theorem is that the absolute convergence of series with a permutability property classically equivalent to that of Riemann implies BD-|$\mathbb {N}$|. We show that this is the case when the property is weak-permutable convergence. (shrink)

The most puzzling and intriguing aspect of intuitionism as a philosophy of mathematics is its claim that classical deductive reasoning in mathematics is illegitimate. The two most well-known proponents of this position are L. E. J. Brouwer and Michael Dummett. Both of their criticisms of the use of classical logic in mathematics have, by and large, been taken to depend on the thesis that the principle of bivalence does not apply to mathematical statements; and the difference between these (...) criticisms is taken to consist in their grounds for this thesis. Brouwer bases this thesis on an account of the nature of mathematics: it is an activity of mental construction essentially independent of language. Dummett, in contrast, bases the thesis on his anti-realist view of the nature of meaning. ;My first principal argument in this essay shows that the conception of anti-realism just outlined is problematic as a reading of Dummett. To begin with, Dummett explicitly rejects, not only the evidentiary restrictions of this conception, but also, more seriously, the use of specific epistemological theses in a philosophical account of meaning. Moreover, I give an alternative account of anti-realism, consisting of alternative interpretations of the manifestation requirement and of the rejection of realist truth conditions, that do not rely on an epistemology of meaning, and hence, a fortiori, not on evidential restrictions. ;My second principal argument in this essay consists of drawing a consequence of this conception of anti-realism, namely, that the failure of bivalence cannot, by itself, support a cogent criticism of classical logic. The basic reason is that, given my view of anti-realism, the claim that the legitimacy of applying classical reasoning to a class of statements depends on whether bivalence applies to that class already implies that the system of deductive reasoning applying to these statements is non-classical. Hence an argument against classical logic based on this claim is question-begging. ;Finally, I conclude by showing that Dummett's criticism of classical reasoning, as reconstructed by my third argument, fails. (shrink)

The paper attempts to summarize the debate on Kant’s philosophy of geometry and to offer a restricted area of mathematical practice for which Kant’s philosophy would be a reasonable account. Geometrical theories can be characterized using Wittgenstein’s notion of pictorial form . Kant’s philosophy of geometry can be interpreted as a reconstruction of geometry based on one of these forms — the projective form . If this is correct, Kant’s philosophy is a reasonable reconstruction of such theories (...) as projective geometry; and not only as they were practiced in Kant’s time, but also as architects use them today. (shrink)

In this work, a neo-classical relativistic mechanics theory is presented where the spin of an electron is an inherent part of its world space-time path as a point particle. The fourth-order equation of motion corresponds to the same covariant Lagrangian function in proper time as in special relativity except for an additional spin energy term. The theory provides a hidden-variable model of the electron where the dynamic variables give a complete description of its motion, giving a classical mechanics (...) explanation of the electron’s spin, its dipole moments, and Schrödinger’s zitterbewegung, These features are also described mathematically by quantum mechanics theory, of course, but without any physical picture of an underlying reality. The total motion of the electron can be decomposed into a sum of a local spin motion about a point and a global motion of this point, called here the spin center. The global motion is sub-luminal and described by Newton’s Second Law in proper time, the time for a clock fixed at the spin center, while the total motion occurs at the speed of light c, consistent with the eigenvalues of Dirac’s velocity operators having magnitude c. The local spin motion is an inherent perpetual motion, which for a free electron is periodic at the ultra-high zitterbewegung frequency and its path is circular in a spin-center reference frame. In an electro-magnetic field, this spin motion generates magnetic and electric dipole energies through the Lorentz force on the electron’s point charge. The electric dipole energy corresponds to the spin-orbit coupling term involving the electric field that appears in the corrected Pauli non-relativistic Hamiltonian, which has long been used to explain the doublet structure of the spectral lines of the excited hydrogen atom. Pauli’s spin-orbit term is usually derived, however, from his magnetic dipole energy term, including also the effect of Thomas precession, which halves this energy. The magnetic dipole energy from Pauli’s and Dirac’s theory is twice that in the neo-classical theory, a discrepancy that has not been resolved. By defining a spin tensor as the angular momentum of the electron’s total motion about its spin center, the fundamental equations of motion can be re-written in an identical form to those of the Barut–Zanghi electron theory. This allows the equations of motion to be expressed in an equivalent form involving operators applied to a state function of proper time satisfying a neo-classical Dirac–Schrödinger spinor equation. This state function produces the dynamic variables from the same operators as in Dirac’s theory for the electron but without any probability implications. It leads to a neo-classical wave function that satisfies Dirac’s relativistic wave equation for the free electron by applying the Lorentz transformation to express proper time in the state function in terms of an observer’s space-time coordinates, showing that there is a close connection between the neo-classical theory and quantum mechanics theory for the electron’s dynamics. (shrink)

This thesis presents a proof theoretical investigation of some constructive set theories with restricted set induction. The set theories considered are various systems of Constructive Zermelo Fraenkel set theory, CZF ([1]), in which the schema of $\in$ - Induction is either removed or weakened. We shall examine the theories $CZF^\Sigma_\omega$ and $CZF_\omega$, in which the $\in$ - Induction scheme is replaced by a scheme of induction on the natural numbers (only for  formulas in the case of the (...) first theory, for arbitrary formulas in the second theory). Of particular interest is the system CZF− + INAC, which is obtained by removing $\in$ - Induction and by adding an axiom, INAC, for inaccessible sets. The main outcome is that CZF− + INAC is a predicative set theory with inaccessible sets, its proof theoretic ordinal being $\Gamma_0$. The proof theoretic strength of these theories, has been determined by means of proof theoretical reductions. The upper bounds have been obtained by interpreting the set theories in classical theories of (iterated) inductive definitions with ordinals. A significant feature of these interpretations is that they are realizability interpretations, which make an indirect use of Aczel’s interpretation of CZF in Martin Löf type theory, and, in the case of CZF− + INAC, also employ a maximum bisimulation relation to represent equality between sets. The lower bounds are obtained by interpreting appropriate subsystems of intuitionistic second order arithmetic in the set theories. At the conclusion of the thesis we present work unrelated to the previous chapters. It is a preliminary study of the constructible hierarchy in CZF. We begin by formalizing the notion of definability in constructive set theory and then introduce Gödel’s L in CZF. We prove that intuitionistic L is a model of a subsystem of CZF strong enough to include intuitionistic Kripke-Platek set theory, and also that L is a model of the axiom of constructibility, provably in CZF. (shrink)

This paper is a review of the canonical proper-time approach to relativistic mechanics and classical electrodynamics. The purpose is to provide a physically complete classical background for a new approach to relativistic quantum theory. Here, we first show that there are two versions of Maxwell’s equations. The new version fixes the clock of the field source for all inertial observers. However now, the (natural definition of the effective) speed of light is no longer an invariant for all observers, (...) but depends on the motion of the source. This approach allows us to account for radiation reaction without the Lorentz-Dirac equation, self-energy (divergence), advanced potentials or any assumptions about the structure of the source. The theory provides a new invariance group which, in general, is a nonlinear and nonlocal representation of the Lorentz group. This approach also provides a natural (and unique) definition of simultaneity for all observers.The corresponding particle theory is independent of particle number, noninvariant under time reversal (arrow of time), compatible with quantum mechanics and has a corresponding positive definite canonical Hamiltonian associated with the clock of the source.We also provide a brief review of our work on the foundational aspects of the corresponding relativistic quantum theory. Here, we show that the standard square-root and Dirac equations are actually two distinct spin- $\frac{1}{2}$ particle equations. (shrink)

In this paper the final stages of the historical process of the emergence of actual infinity in mathematics are considered. The application of God’s point of view – i.e. the possibility to create mathematics from a divine perspective, i.e. from the point of view of an eternal, timeless, omniscience and unlimited subject of cognition – is one of the main factors in this process. Nicole Oresme is the first man who systematically used actual infinity in mathematical reasoning, constructions and proofs (...) in geometry. (shrink)

Sunto Prendendo in esame quanto il celebre maestro di retorica Marco Fabio Quintiliano (35 d.C. ca - 100 d.C. ca) scrive in età flavia nella sua _Institutio oratoria_ a proposito dell’importanza dello studio della Matematica nella formazione di base del futuro perfetto oratore romano, si intende approfondire in particolare una porzione del lungo passo presente nel I libro (I 10, 34-49), nello specifico i §§ 39-45. In essi l’autore latino, partendo dall’affermazione che la geometria, non meno dell’aritmetica, con il suo (...) procedimento razionale smaschera ciò che, pur apparendo verisimile, in realtà è falso, inserisce in funzione esemplificativa una vera e propria lezione di geometria piana sul problema dell’isoperimetria. Lo scopo dell’autore è di fornire una prova dell’utilità della geometria per educare a un uso corretto dell’_ars_ _dicendi_. _Keywords__: _Quintiliano; retorica; isoperimetria. Abstract Examining what the famous rhetoric teacher Marcus Fabius Quintilian (ca. 35 CE – ca. 100 CE) writes during the Flavian period in his Institutio Oratoria about the importance of studying mathematics as part of the foundational education for the future perfect Roman orator, this paper focuses on a specific section of the long passage found in Book I (I 10, 34-49), particularly §§ 39-45. In this section, the Latin author, starting from the assertion that geometry, no less than arithmetic, with its rational method, reveals what may appear plausible but is actually false, includes a true lesson in plane geometry on the problem of isoperimetry. The author's goal is to demonstrate the utility of geometry in educating one to make proper use of the ars dicendi (art of speaking). _Keywords: _ Quintilian; rhetoric; isoperimetry. (shrink)

ArgumentThis paper investigates the conceptual treatment and mathematical modeling of force in Newton's Principia. It argues that, contrary to currently dominant views, Newton's concept of force is best understood as a physico-mathematical construct with theoretical underpinnings rather than a “mathematical construct” or an ontologically “neutral” concept. It uses various philosophical and historical frameworks to clarify interdisciplinary issues in the history of science and draws upon the distinction between axiomatic systems in mathematics and physics, as well as discovery patterns in science. (...) It also dwells on Newton's “philosophy” of mathematics, described here in terms of mathematical naturalism. This philosophy considers mathematical quantities to be physically significant quantities whose motions are best mapped by geometry. It then shows that to understand the epistemic status of force in the Principia, it is important to scrutinize both Newton's mathematical justificatory strategies and his background assumptions about force – without constructing, however, an overarching metaphysical framework for his science. Finally, the paper studies scientific attempts to redefine or eliminate force from science during the period between Newton and Laplace. From a philosophical standpoint, the paper implicitly suggests that questions about the reality of force be distinguished from questions about the validity of force, and that both sets of questions be distinguished from questions about the utility of the concept of force in science. (shrink)

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

Context: the position of pure and applied mathematics in the epistemic conflict between realism and relativism. Problem: To investigate the change in the status of mathematical knowledge over historical time: specifically, the shift from a realist epistemology to a relativist epistemology. Method: Two examples are discussed: geometry and number theory. It is demonstrated how the initially realist epistemic framework – with mathematics situated in a platonic ideal reality from where it governs our physical world – became untenable, with the (...) advent of non-Euclidean geometry and the increasing abstraction of the number concept. Results: Radical constructivism offers an alternative relativist epistemology, where mathematical knowledge is constructed by the individual knower in a context of an axiomatic base and subject items chosen at her discretion, for the purpose of modelling some part of her personal experiential world. Thus it can be expedient to view the practice of mathematics as a game, played by mathematicians according to agreed-upon rules. Constructivist content: The role played by constructivism in the formulation of mathematics is discussed. This is illustrated by the historical transition from a classical (platonic) view of mathematics, as having an objective existence of its own in the “realm of ideal forms,” to the now widely accepted modern view where one has a wide freedom to construct mathematical theories to model various parts of one’s experiential world. (shrink)

We construct the Extended Relativity Theory in Born-Clifford-Phase spaces with an upper R and lower length λ scales (infrared/ultraviolet cutoff). The invariance symmetry leads naturally to the real Clifford algebra Cl (2, 6, R) and complexified Clifford Cl C (4) algebra related to Twistors. A unified theory of all Noncommutative branes in Clifford-spaces is developed based on the Moyal-Yang star product deformation quantization whose deformation parameter involves the lower/upper scale $$(\hbar \lambda / R)$$. Previous work led us to show from (...) first principles why the observed value of the vacuum energy density (cosmological constant) is given by a geometric mean relationship $$\rho \sim L_{\rm Planck}^{-2}R^{-2} = L_{P}^{-4} (L_{\rm Planck} / R)^{2} \sim 10^{-122}M_{\rm Planck}^4$$, and can be obtained when the infrared scale R is set to be of the order of the present value of the Hubble radius. We proceed with an extensive review of Smith’s 8D model based on the Clifford algebra Cl (1, 7) that reproduces at low energies the physics of the Standard Model and Gravity, including the derivation of all the coupling constants, particle masses, mixing angles,....with high precision. Geometric actions are presented like the Clifford-Space extension of Maxwell’s Electrodynamics, and Brandt’s action related to the 8D spacetime tangent-bundle involving coordinates and velocities (Finsler geometries). Finally we outline the reasons why a Clifford-Space Geometric Unification of all forces is a very reasonable avenue to consider and propose an Einstein-Hilbert type action in Clifford-Phase spaces (associated with the 8D Phase space) as a Unified Field theory action candidate that should reproduce the physics of the Standard Model plus Gravity in the low energy limit. (shrink)