In Metaphysics M.2, 1077a9-14, Aristotle appears to argue against the existence of Platonic Forms on the basis of there being certain universal mathematical proofs which are about things that are ‘beyond’ the ordinary objects of mathematics and that cannot be identified with any of these. It is a very effective argument against Platonism, because it provides a counter-example to the core Platonic idea that there are Forms in order to serve as the object of scientific knowledge: the universal of (...) which theorems of universal mathematics are proven in Greek mathematics is neither Quantity in general nor any of the specific quantities, but Quantity-of-type-x. This universal cannot be a Platonic Form, for it is dependent on the types of quantity over which the variable ranges. Since for both Plato and Aristotle the object of scientific knowledge is that F which explains why G holds, as shown in a ‘direct’ proof about an arbitrary F (they merely disagree about the ontological status of this arbitrary F, whether a Form or a particular used in so far as it is F), Plato cannot maintain that Forms must be there as objects of scientific knowledge - unless the mathematics is changed. (shrink)

(I) MATHEMATICAL LECTURES. LECTURE I. Of the Name and general Division of the Mathematical Sciences. BEING about to treat upon the Mathematical Sciences, ...

I explore physics implications of the External Reality Hypothesis (ERH) that there exists an external physical reality completely independent of us humans. I argue that with a sufficiently broad definition of mathematics, it implies the Mathematical Universe Hypothesis (MUH) that our physical world is an abstract mathematical structure. I discuss various implications of the ERH and MUH, ranging from standard physics topics like symmetries, irreducible representations, units, free parameters, randomness and initial conditions to broader issues like consciousness, parallel universes (...) and Gödel incompleteness. I hypothesize that only computable and decidable (in Gödel’s sense) structures exist, which alleviates the cosmological measure problem and may help explain why our physical laws appear so simple. I also comment on the intimate relation between mathematical structures, computations, simulations and physical systems. (shrink)

This is a discussion of some themes in Max Tegmark’s recent book, Our Mathematical Universe. It was written as a review for Plus Magazine, the online magazine of the UK’s national mathematics education and outreach project, the Mathematics Millennium Project. Since some of the discussion---about symmetry breaking, and Pythagoreanism in the philosophy of mathematics---went beyond reviewing Tegmark’s book, the material was divided into three online articles. This version combines those three articles, and adds some other material, in (...) particular a brief defence of quidditism about properties. It also adds some references, to other Plus articles as well as academic articles. But it retains the informal style of Plus. (shrink)

This paper deals with universes in explicit mathematics. After introducing some basic definitions, the limit axiom and possible ordering principles for universes are discussed. Later, we turn to least universes, strictness and name induction. Special emphasis is put on theories for explicit mathematics with universes which are proof-theoretically equivalent to Feferman's.

Mathematical and philosophical Newton Content Type Journal Article Pages 1-10 DOI 10.1007/s11016-010-9520-2 Authors Steffen Ducheyne, Centre for Logic and Philosophy of Science, Ghent University, Blandijnberg 2, 9000 Ghent, Belgium Journal Metascience Online ISSN 1467-9981 Print ISSN 0815-0796.

This paper is about two topics: 1. systems of explicit mathematics with universes and a non-constructive quantification operator $\mu$; 2. iterated fixed point theories with ordinals. We give a proof-theoretic treatment of both families of theories; in particular, ordinal theories are used to get upper bounds for explicit theories with finitely many universes.

Several important physical implications left out in The Five Dimension Space-Time Universe: A creation and grand unified field theory model. Book, are presented under rigorous mathematical theorems. It was found that Temperature, a classical variable, must be added as an imaginary component to time, under the Quantum uncertainty dt∙dE = h/2π, so that the Gell-Mann Quark model can be verified, with gauge invariance, to form hadrons at the Bethe Fusion Temperature. Accordingly from the corresponding uncertainty dp∙dr = h/2π. Pairs of (...) Diagonal Long Range Ordered gravitons, with continuous frequency spectrum together with those represented by magnetic monopoles must be formed within the space r, of the homogenous 5D manifold, without the presents of photons, thus defines the 5D as a Black Hole. Then from which we can derive the classical Newtonian Law of attractive Gravity, as the 5D manifold is mapped by Perelmann Ricci-flow entropy mapping and the DLRO graviton pair symmetry is broken and converted into two masses, with motions satisfying Special Relativity in the doughnut shape Lorentz manifold, thus indirectly verifies the principle of Covariant Riemannian curvatures and General Relativity theory. (shrink)

Sequential decision theory formally solves the problem of rational agents in uncertain worlds if the true environmental prior probability distribution is known. Solomonoff's theory of universal induction formally solves the problem of sequence prediction for unknown prior distribution. We combine both ideas and get a parameter-free theory of universal Artificial Intelligence. We give strong arguments that the resulting AIXI model is the most intelligent unbiased agent possible. We outline how the AIXI model can formally solve a number of problem classes, (...) including sequence prediction, strategic games, function minimization, reinforcement and supervised learning. The major drawback of the AIXI model is that it is uncomputable. To overcome this problem, we construct a modified algorithm AIXItl that is still effectively more intelligent than any other time t and length l bounded agent. The computation time of AIXItl is of the order t x 2^l. The discussion includes formal definitions of intelligence order relations, the horizon problem and relations of the AIXI theory to other AI approaches. (shrink)

I present an argument that for any computer-simulated civilization we design, the mathematical knowledge recorded by that civilization has one of two limitations. It is untrustworthy, or it is weaker than our own mathematical knowledge. This is paradoxical because it seems that nothing prevents us from building in all sorts of advantages for the inhabitants of said simulation.

Andrew Marr has built this masterful study of Mutio Oddi on a set of ironies. He begins with a bitter blow of fortune: Oddi, in the middle of an apparently promising life as mathematician and architect in his native Urbino, had fallen afoul of his lord the Duke, accused of participating in a plot to depose him. After years of apparently unjust imprisonment, he was released in 1610, but into exile. Yet Oddi managed to recast his career in Milan and (...) then in Lucca, building upon a varied set of skills, and even returned eventually to Urbino. That varied set of skills had resulted from yet another, earlier, set of reversals and recoveries: he had turned to mathematics only after first training as an artist in the studio of Federico Barocci, a field he had been forced to abandon due to problems with his eyesight. Oddi was widely respected in his day, not only for his achievements themselves but also for his persistence and ingenuity in overcoming such obstacles. Yet to modern historians of .. (shrink)

The maturation of the physical image has made apparent the limits of our scientific understanding of fundamental reality. These limitations serve as motivation for a new form of metaphysical inquiry that restricts itself to broadly scientific methods. Contributing towards this goal we combine the mathematical universe hypothesis as developed by Max Tegmark with the axioms of Stewart Shapiro’s structure theory. The result is a theory we call the Theory of the Structural Multiverse (TSM). The focus is on informal theory development (...) and constraint satisfaction. Some empirical consequences of the theory are worked out, in particular the feasibility of a predictive observer selection effect. The explanatory, unifying, and generative powers of the theory are found to substantially support the theory. The TSM is demonstrated to be an empirically significant scientific theory that is foundational to and continuous with the rest of the scientific image. (shrink)

Mathematical logic was first introduced to China in early 1920s. Although, the process of introduction was facilitated by the lectures of Bertrand Russel at Peking University in 1921 and continued by China’s most passionate adherents of Russell’s philosophy, the establishment of mathematical logic as an academic discipline occurred only in late 1920s, in the framework of a recently reorganised Qinghua University in Peking. The main aim of this paper is to shed some light on the process of establishment (...) of mathematical logic at the department of philosophy at Qinghua University, between the years 1926 and 1945. In its main line of discussion, the article highlights the curricular developments at the department, connecting them with concrete theoretical endeavours by the leading members of the department. Furthermore, in its later parts, the article summarises the main advances made in the context of studies of modern logic at Qinghua University, from the expositions on the quintessential work Principia Mathematica, to the subsequent integration of criticisms coming from circles of logicians at Harvard University and ground-breaking contributions of Kurt Gödel in the mid-1930s. (shrink)

In Plutarch’s Quæstiones Conviviales there is a discussion on the topic—π.

In their seeking of simplicity, scientists fall into the error of Whitehead's "fallacy of misplaced concreteness." They mistake their abstract concepts describing reality for reality itself--the map for the territory. This leads to dogmatic overstatements, paradoxes, and mysteries such as the deep incompatibility of our two most fundamental physical theories--quantum mechanics and general relativity. To avoid such errors, we should evoke Whitehead's conception of the universe as a universe-in-process, where physical relations perpetually beget new physical relations. Today, the most promising (...) interpretations of quantum mechanics exemplify this Whiteheadian idea, formalizing physical systems, and the universe itself, as ongoing histories of actualizations of potential states, where actual states and potential states exist in mutually implicative relation as two separate categories of reality—an idea first proposed by Aristotle and rehabilitated by Heisenberg. In these interpretations, the classical conception of a history as a derivative story about fundamental physical objects is reversed: the classical physical object becomes the derivative story about fundamental histories of quantum states. The consistent histories interpretation of Robert Griffiths and the decoherent histories interpretation of Roland Omnès are cardinal examples of this approach to quantum mechanics. Another example, the relational realist interpretation, begins with the decoherent histories approach and formalizes it explicitly as a Whiteheadian interpretation, taking his “algebraic method” and applying it to quantum mechanics via algebraic topology. This branch of mathematics can be thought of as a “de-concretized” geometry in that it focuses only on the logical relations among objects and regions (and relations of these relations) rather than the fixed magnitudes of lines, planes, and other such rigid intervals. It has all the robust logical structure of geometry yet allows for an elasticity of relations that makes topological mathematical structures inherently immune misplaced concretization. (shrink)

Is the mathematical description of the Universe quantum, classical, both or neither? The mandated assumption of rationalism is that if an argument is inconsistent, it is flawed for a conclusion. However, suppose the structural basis of the Universe is fundamentally inconsistent. In that case, paradoxes in the frameworks of logic and mathematics would not be anomalies. A geometric model with a counter-rational framework of inconsistent relationships is applied to analyze Hardy’s paradox, the fine structure constant, and the general relationship (...) between the correlated quantum and classical EPR-type structures. The model conjectures that the well-studied paradoxes found in theoretical arguments and empirically in EPR phenomena are not anomalies and instead point to a new framework for modelling universal structures that incorporates inconsistency. (shrink)

Discover how mathematical sequences abound in our natural world in this definitive exploration of the geography of the cosmos You need not be a philosopher or a botanist, and certainly not a mathematician, to enjoy the bounty of the world around us. But is there some sort of order, a pattern, to the things that we see in the sky, on the ground, at the beach? In A Beginner's Guide to Constructing the Universe, Michael Schneider, an education writer and computer (...) consultant, combines science, philosophy, art, and common sense to reaffirm what the ancients observed: that a consistent language of geometric design underpins every level of the universe, from atoms to galaxies, cucumbers to cathedrals. Schneider also discusses numerical and geometric symbolism through the ages, and concepts such as periodic renewal and resonance. This book is an education in the world and everything we can't see within it. Contains numerous b&w photos and illustrations. (shrink)

I discuss some problems related to extreme mathematical realism, focusing on a recently proposed “shut-up-and-calculate” approach to physics. I offer arguments for a moderate alternative, the essence of which lies in the acceptance that mathematics is a human construction, and discuss concrete consequences of this—at first sight purely philosophical—difference in point of view.

This article presents Tarski's Address at the Princeton Bicentennial Conference on Problems of Mathematics, together with a separate summary. Two accounts of the discussion which followed are also included. The central topic of the Address and of the discussion is decision problems. The introductory note gives information about the Conference, about the background of the subjects discussed in the Address, and about subsequent developments to these subjects.

The number of studies related to natural and artificial mechanisms of learning rapidly increases. However, there is no general theory of learning that could provide a unifying basis for exploring different directions in this growing field. For a long time the development of such a theory has been hindered by nativists' belief that the development of a biological organism during ontogeny should be viewed as parameterization of an innate, encoded in the genome structure by an innate algorithm, and nothing essentially (...) new is created during this process. Noam Chomsky has claimed, therefore, that the creation of a non-trivial general mathematical theory of learning is not feasible, since any algorithm cannot produce a more complex algorithm. This study refutes the above argumentation by developing a counter-example based on the mathematical theory of algorithms and computable functions. It introduces a novel concept of a Universal Learning System (ULS) capable of learning to control in an optimal way any given constructive system from a certain class. The necessary conditions for the existence of a ULS and its main functional properties are investigated. The impossibility of building an algorithmic ULS for a sufficiently complex class of controlled objects is shown, and a proof of the existence of a non-algorithmic ULS based on the axioms of classical mathematics is presented. It is argued that a non-algorithmic ULS is a legitimate object of not only mathematics, but also the world of nature. These results indicate that an algorithmic description of the organization and adaptive development of biological systems in general is not sufficient. At the same time, it is possible to create a rigorous non-algorithmic general theory of learning as a theory of ULS. The utilization of this framework for integrating learning-related studies is discussed. (shrink)

Recent advances in physics render a reconsideration of the Place of Mathematics in the Interpretation of the Universe particularly timely. On the one hand, we have the introduction of non-euclidian geometry, which has given rise to much controversy informed or otherwise; on the other hand, we find mysterious forms of mathematics, invented to cope with the quantum difficulties, which so far have escaped metaphysical investigation or criticism. It would seem most desirable that these modes of interpreting reality should (...) be examined from the broader philosophical point of view. (shrink)

Contribution to a review symposium on Marc Lange's Because without cause: Non-causal explanation in science and mathematics. Oxford: Oxford University Press, 2017.

This mathematics textbook covers the fundamental ideas used in writing proofs. Proof techniques covered include direct proofs, proofs by contrapositive, proofs by contradiction, proofs in set theory, proofs of existentially or universally quantified predicates, proofs by cases, and mathematical induction. Inductive and deductive reasoning are explored. A straightforward approach is taken throughout. Plenty of examples are included and lots of exercises are provided after each brief exposition on the topics at hand. The text begins with a study of symbolic (...) logic, deductive reasoning, and quantifiers. Inductive reasoning and making conjectures are examined next, and once there are some statements to prove, techniques for proving conditional statements, disjunctions, biconditional statements, and quantified predicates are investigated. Terminology and proof techniques in set theory follow with discussions of the pick-a-point method and the algebra of sets. Cartesian products, equivalence relations, orders, and functions are all incorporated. Particular attention is given to injectivity, surjectivity, and cardinality. The text includes an introduction to topology and abstract algebra, with a comparison of topological properties to algebraic properties. This book can be used by itself for an introduction to proofs course or as a supplemental text for students in proof-based mathematics classes. The contents have been rigorously reviewed and tested by instructors and students in classroom settings. (shrink)

The contradiction between the rapid mathematization of health care through the active introduction of modern technologies and methods based on mathematical achievements in the field of medicine and the lack of a system of training medical students corresponding to these scientific successes, which allows them to carry out mathematical modeling of complex physical, chemical and biological processes at the molecular level for the purpose of their analysis and subsequent forecasting,, problems that arise when teaching mathematical analysis in medical Schools, and (...) possible ways to solve them. The solution identified during the research of problematic issues of teaching of mathematical analysis in medical schools is offered by enhancing the quality of learning through the re-allocated for the development of the discipline course hours stimulate the motivation of students, adjusting content and methodical component of teaching and active introduction in educational process of modern information technologies, elimination of excessive mathematical formalism. (shrink)

In this paper we consider the arguments Russell uses in The principies of mathematics, §55 to establish the view that all relations are universals. These arguments are shown to be defective. Finally, we consider the connection between Russell's view of relations and wider aspects of his philosophy—in particular, his theories of reference and truth and the gradual break-down of his absolute realism.

Why is there Philosophy of Mathematics at all? Ian Hacking. in Metascience (2015).

Originally published in 1949. This meticulously researched book presents a comprehensive outline and discussion of Aristotle’s mathematics with the author's translations of the greek. To Aristotle, mathematics was one of the three theoretical sciences, the others being theology and the philosophy of nature. Arranged thematically, this book considers his thinking in relation to the other sciences and looks into such specifics as squaring of the circle, syllogism, parallels, incommensurability of the diagonal, angles, universal proof, gnomons, infinity, agelessness of (...) the universe, surface of water, meteorology, metaphysics and mechanics such as levers, rudders, wedges, wheels and inertia. The last few short chapters address ‘problems’ that Aristotle posed but couldn’t answer, related ethics issues and a summary of some short treatises that only briefly touch on mathematics. (shrink)

Pluralist mathematical realism, the view that there exists more than one mathematical universe, has become an influential position in the philosophy of mathematics. I argue that, if mathematical pluralism is true (and we have good reason to believe that it is), then mathematical realism cannot (easily) be justified by arguments from the indispensability of mathematics to science. This is because any justificatory chain of inferences from mathematical applications in science to the total body of mathematical theorems can cover (...) at most one mathematical universe. Indispensability arguments may thus lose their central role in the debate about mathematical ontology. (shrink)