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)

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)

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)

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.

Throughout his life, Hegel showed great interest in physics and mathematics. His most sustained, surviving treatment of Euclidean geometry is his early work ‘Geometrische Studien’, which he completed while he was a private tutor [Hoffmeister] in Frankfurt, shortly before leaving for Jena to join Schelling.GSis not easy reading, but despite that, it seems to me that Hegel presents in it a remarkably erudite as well as interesting and insightful critique of geometry. He investigates some of the themes from (...) the foundations of geometry, in particular from the first book of theElements of Euclid. Like the mathematical philosophies of Kant and Frege, Hegel's understanding of geometry is conceptually based, but unlike them, it is also grounded in the classical Greek philosophy of mathematics, which achieved its definitive expression in Proclus's great commentary onEuclid 1. Much of this classical philosophy of geometry is forgotten nowadays, under the influence of the great modern mathematical philosophers. In my view, it well deserves reconsideration, especially since, as illustrated by Gödel's incompleteness theorems, modern mathematical philosophy has failed in its attempt to ground mathematics within the framework of formal systems.Much ofGShas not survived, and what remains is condensed and fragmentary. It seems that originally, Hegel covered all of the propositions ofEuclid 1rather than just the 14 propositions that are covered in what remains of the originalGS. I have given detailed treatment ofGStogether with related material in Hegel's Jena dissertation elsewhere. The objective of the present paper is to introduce the translation ofGS. (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)

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)

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)

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

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)

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)

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.

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:The Philosophy of PhysicsMartin CurdRoberto Torretti. The Philosophy of Physics. Cambridge: Cambridge University Press, 1999. Pp. xvi + 512. Cloth, $64.95. Paper, $23.95.This is the first volume in a new Cambridge series, "The Evolution of Modern Philosophy." It is a historical work, tracing the interaction between physics and philosophy from the scientific revolution of the seventeenth century through general relativity and quantum mechanics in the twentieth century. The (...) emphasis is on the philosophy in physics (rather than philosophizing about physics) and, with the exceptions noted below, the focus is on scientists (scientist-philosophers in many cases) rather than philosophers outside of science. Most of the book is about the conceptual and mathematical development of the core branches of physics (mainly mechanics, but also geometry, thermodynamics, and field theory). There are seven chapters plus three supplements giving the mathematical essentials of vector analysis, lattice theory, and topology.The hero of chapter one is Galileo who, more than anyone else prior to Newton, set physics on its modern path towards mathematization and away from Aristotle. Also discussed in chapter one are Descartes, Huyghens, and Leibniz. Chapter two is devoted to Newton (both the foundations of Newtonian mechanics and the derivation of the law of universal gravitation) and follows the development of analytical mechanics up to Lagrange and Hamilton. Chapter three, appropriately entitled "Kant," is the only chapter devoted to a philosopher. After a brief discussion of Leibniz, Berkeley, and Kant's pre-critical writings, it covers the important scientific topics in the Critique of Pure Reason (space, time, the three Analogies) but avoids the Metaphysical Foundations of Natural Science (referring the reader to Michael Friedman's Kant and the Exact Sciences). Chapter four looks at scientific developments in three areas that proved to be important for twentieth-century physics: non-Euclidean geometry from Lobachevsky to Riemann, electromagnetic field theory (Maxwell), and thermal physics (classical thermodynamics, the kinetic theory, and statistical mechanics) from Carnot to Boltzmann. The chapter concludes, somewhat untidily, with a section on four philosophers of science (Whewell, Peirce, Mach, and Duhem), selected, we are told, because of their influence on philosophy of science in the second half of the twentieth century. (For the "two great philosopher-scientists" Helmholtz and Poincaré, the reader is referred to Torretti's earlier books, Philosophy of Geometry from Riemann to Poincaré, and Relativity and Geometry.) Chapter five covers both the special and general theory of relativity. After a masterful exposition of the special theory and its Minkowski spacetime representation, the usual topics of philosophical interest are discussed; these include the conventionality of simultaneity thesis, the twin paradox, the relativistic concept of mass, and determinism. The rather brief treatment of the general theory is, unavoidably, mathematically demanding and carries the subject through to recent inflationary cosmological models. Chapter six (also mathematically demanding at times) examines the development and structure of quantum mechanics, aptly praised as "one of the most elegant creations of the human spirit" (340). Torretti wisely ignores the complexities of quantum field theory since the philosophical problems discussed—measurement, the EPR paradox, the interpretation of the y-function—remain when quantum mechanics is made Lorentz invariant; but he urges philosophers of science to follow the lead of Michael Redhead and [End Page 602] Paul Teller in exploring its metaphysical ramifications. Of special note are the author's trenchant criticisms of attempts to solve the quantum mysteries by Bohr (complementarity), Bohm (hidden variables), Putnam (quantum logic), and Everett (the many worlds interpretation). The book concludes with the author's reflections on issues in the philosophy of science. Torretti defends the structuralist explication of physical theories (more familiarly known as the semantic conception or the model-theoretic view) that informs much of his book, arguing that it succeeds where the "received view" of logical empiricism failed while avoiding Kuhnian incommensurability—"a pseudoproblem that made philosophy of science the laughing stock of practicing physicists" (404). The chapter ends with an attack on inductive logic: "one of the blindest alleys in twentieth-century philosophy" (437).The writing is admirably clear and the author has done a commendable job of explaining the arguments of historical scientists while presenting their theories in a clear... (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.

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)

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)

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)

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)

Beltrami's first allegedly true interpretation of lobachevsky's geometry can be conceived as (i) pursuing a kantian program insofar as it shows that all the geometrical lobachevskian concepts are constructible in the euclidean space of our human representation, And (ii) proving, Even to kant, That a non-Euclidean geometry is not only logically possible (something that kant never denied) but also mathematically acceptable from a kantian point of view (something that kant would have accepted only after beltrami's interpretation).

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)

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)

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)

Epitome V (1621), and consisted of matching an element of area to an element of time, where each was mathematically determined. His treatment of the area depended solely on the geometry of Euclid's Elements, involving only straight-line and circle propositions – so we have to account for his deliberate avoidance of the sophisticated conic-geometry associated with Apollonius. We show also how his proof could have been made watertight according to modern standards, using methods that lay entirely within his (...) power. The greatest innovation, however, occurred in Kepler's fresh formulation of the measure of time. We trace this concept in relation to early astronomy and conclude that Kepler's treatment unexpectedly entailed the assumption that time varied nonuniformly; meanwhile, a geometrical measure provided the independent variable. Even more surprisingly, this approach turns out to be entirely sound when assessed in present-day terms. Kepler himself attributed the cause of the motion of a single planet around the Sun to a set of `physical' suppositions which represented his religious as well as his Copernican convictions; and we have pared to a minimum – down to four – the number he actually required to achieve this. In the Appendix we use modern mathematics to emphasize the simplicity, both geometrical and kinematical, that objectively characterizes the Sun-focused ellipse as an orbit. Meanwhile we highlight the subjective simplicity of Kepler's own techniques (most of them extremely traditional, some newly created). These two approaches complement each other to account for his success. (shrink)

This study provides a basic introduction to agent-based modeling (ABM) as a powerful blend of classical and constructive mathematics, with a primary focus on its applicability for social science research. The typical goals of ABM social science researchers are discussed along with the culture-dish nature of their computer experiments. The applicability of ABM for science more generally is also considered, with special attention to physics. Finally, two distinct types of ABM applications are summarized in order to illustrate concretely (...) the duality of ABM: Real-world systems can not only be simulated with verisimilitude using ABM; they can also be efficiently and robustly designed and constructed on the basis of ABM principles. (shrink)