Cognitive Constructivism and the Epistemic Significance Of

Total Page:16

File Type:pdf, Size:1020Kb

Cognitive Constructivism and the Epistemic Significance Of Cognitive Constructivism and the Epistemic Significance of Sharp Statistical Hypotheses in Natural Sciences Julio Michael Stern IME-USP Institute of Mathematics and Statistics of the University of S~aoPaulo Version 2.31, May 01, 2013. arXiv:1006.5471v8 [stat.OT] 26 Oct 2020 2 3 A` Marisa e a nossos filhos, Rafael, Ana Carolina, e Deborah. 4 5 \Remanso de rio largo, viola da solid~ao: Quando vou p'ra dar batalha, convido meu cora¸c~ao." Gentle backwater of wide river, fiddle to solitude: When going to do battle, I invite my heart. Jo~aoGuimar~aesRosa (1908-1967). Grande Sert~ao,Veredas. \Sert~ao´eonde o homem tem de ter a dura nuca e a m~aoquadrada. (Onde quem manda ´eforte, com astucia e com cilada.) Mas onde ´ebobice a qualquer resposta, ´ea´ıque a pergunta se pergunta." \A gente vive repetido, o repetido... Digo: o real n~aoest´ana sa´ıdanem na chegada: ele se disp~oempara a gente ´eno meio da travessia." Sertao is where a man's might must prevail, where he has to be strong, smart and wise. But there, where any answer is wrong, there is where the question asks itself. We live repeating the reapeated... I say: the real is neither at the departure nor at the arrival: It presents itself to us at the middle of the journey. 6 Contents Preface 13 Cognitive Constructivism . 14 Basic Tools for the (Home) Works . 16 Acknowledgements and Final Remarks . 16 1 Eigen-Solutions and Sharp Statistical Hypotheses 19 1.1 Introduction . 19 1.2 Autopoiesis and Eigen-Solutions . 20 1.3 Functional Differentiation . 24 1.4 Eigensolutions and Scientific Hypotheses . 26 1.5 Sharp Statistical Hypotheses . 27 1.6 Semantic Degradation . 34 1.7 Competing Sharp Hypotheses . 35 1.8 Final Remarks . 37 1.8.1 Noether and de Finetti Theorems . 38 1.8.2 Compositionality . 38 2 Language and the Self-Reference Paradox 41 2.1 Introduction . 41 2.2 Eigen-solutions and Language . 44 2.3 The Languages of Science . 47 2.4 The Self-Reference Paradox . 50 2.5 Objective Idealism and Pragmatism . 52 2.6 The Philosophy of C.S.Peirce . 54 7 8 CONTENTS 2.7 Final Remarks . 62 3 Decoupling, Randomization, Sparsity, and Objective Inference 65 3.1 Introduction . 65 3.2 The Decoupling Principle . 67 3.3 Covariance Structure Models . 70 3.4 Simpson's Paradox and the Control of Confounding Variables . 73 3.5 C.S.Peirce and Randomization . 76 3.6 Bayesian Analysis of Randomization . 78 3.7 Randomization, Epistemic Considerations . 80 3.8 Final Remarks . 83 4 Metaphor and Metaphysics: The Subjective Side of Science 85 4.1 Introduction . 85 4.2 Statistics is Prediction. Is that all there is? . 87 4.3 Rhetoric and Self-Fulfilling Prophecies . 88 4.4 Language, Metaphor and Insight . 91 4.5 Constructive Ontology and Metaphysics . 95 4.6 Necessary and Best Worlds . 102 4.7 Efficient and Final Causes . 104 4.8 Modern Metaphysics . 107 4.9 Averaging over All Possible Worlds . 111 4.10 Hypothetical versus Factual Models . 114 4.11 Magic, Miracles and Final Remarks . 117 5 Complex Structures, Modularity, and Stochastic Evolution 121 5.1 Introduction . 121 5.2 The Ergodic Path: One for All . 122 5.2.1 Block Partitions . 123 5.2.2 Simulated Annealing . 125 5.2.3 Heuristic Acceleration . 128 5.3 The Way of Sex: All for One . 129 CONTENTS 9 5.3.1 Functional Trees . 130 5.3.2 Genetic Programming . 133 5.3.3 Schemata and Parallelism . 135 5.4 Simple Life: Small is Beautiful . 136 5.4.1 Overfitting and Regularization . 137 5.4.2 Building Blocks and Modularity . 140 5.5 Evolution of Theories . 143 5.5.1 Nested, Mixture, Separate and Series-Parallel Models . 144 5.5.2 Complementary Models . 148 5.6 Varieties of Probability . 151 5.6.1 Heisenberg's Uncertainty Principle . 151 5.6.2 Schr¨odinger's Wave Equation . 154 5.6.3 Classic and Quantum Probability . 156 5.7 Theories of Evolution . 159 5.7.1 Systemic View and Probabilistic Causation . 160 5.7.2 Modularity Requires Quantization . 164 5.7.3 Quantization Entails Objective Probability . 168 5.8 Final Remarks . 170 6 The Living and Intelligent Universe 171 6.1 The Origami Example . 173 6.2 Autopoietic Control, Precision, Stability . 175 6.2.1 Organic Morphogenesis: (Un)Folding Symmetries . 175 6.3 Object Orientation and Code Reuse . 177 6.3.1 Doing, Listening and Answering . 178 6.3.2 Mnemes, Memes, Mimes, and all that. 182 6.4 Hypercyclic Bootstrapping . 183 6.4.1 Bootstrapping Paradoxes . 185 6.5 Squaring the Cycle . 188 6.6 Emergence and Asymptotics . 190 6.7 Constructive Ontologies . 193 10 CONTENTS 6.8 Distinctions and Probability . 196 6.8.1 Spencer-Brown, Probability and Statistics . 198 6.8.2 Overcoming Dilemmas and Conceptual Dichotomies . 200 6.9 Final Remarks and Future Research . 202 Epilog 205 References 209 A FBST Review 245 A.1 Introduction . 245 A.2 Bayesian Statistical Models . 246 A.3 The Epistemic e-values . 248 A.4 Reference, Invariance and Consistency . 251 A.5 Loss Functions . 254 A.6 Belief Calculi and Support Structures . 255 A.7 Sensitivity and Inconsistency . 257 A.8 Complex Models and Compositionality . 260 B Binomial, Dirichlet, Poisson and Related Distributions 263 B.1 Introduction and Notation . 263 B.2 The Bernoulli Process . 264 B.3 Multinomial Distribution . 269 B.4 Multivariate Hypergeometric Distribution . 271 B.5 Dirichlet Distribution . 273 B.6 Dirichlet-Multinomial . 277 B.7 Dirichlet of the Second Kind . 280 B.8 Examples . 281 B.9 Functional Characterizations . 285 B.10 Final Remarks . 287 C Model Miscellanea 289 CONTENTS 11 C.1 Contingency Table Models . 290 C.2 Weibull Wearout Model . 291 C.3 The Normal-Wishart Distribution . 294 C.4 Structural Models . 296 C.4.1 Mean and Covariance Structure . 297 C.4.2 Numerical Optimization . 298 C.5 Factor Analysis . 299 C.5.1 EM Algorithm . 300 C.5.2 Orthogonal and Oblique Rotations . 301 C.5.3 Frobenius Norm and Projections . 302 C.5.4 Sparsity Optimization . 303 C.6 Mixture Models . 305 C.6.1 Dirichlet-Normal-Wishart Mixtures . 306 C.6.2 Gibbs Sampling and Integration . 308 C.6.3 EM Algorithm for ML and MAP Estimation . ..
Recommended publications
  • Gold Medal IPO 2012 Tadas Krisciunas, Lithuania
    Tadas Krisciunas (Litauen) - Goldmedaille bei der IPO 2012 in Oslo Topic Nr. 4: “And when we question whether the underlying object is such as it appears, we grant the fact that it appears, and our doubt does not concern the appearance itself but the account given of that appearance – and that is a different thing from questioning the appearance itself. For example, honey appears to us to be sweet (and this we grant, for we perceive sweetness through the senses), but whether it is also sweet in its essence is for us a matter of doubt, since this is not an appearance but a judgment about the appearance.” Sextus Empiricus, Outlines of Pyrrhonism I. 10 (2nd century AD). Among the schools of Hellenistic philosophy, one of much interest for anyone with an interest in epistemology flourished. Skeptics, as they were called, combining the negative1 arguments of the rival- ing schools of Stoics and Epicureans, tried to disprove2 the possibility of knowledge. One of the key works in the tradition of Hellenistic skepticism is Sextus Empiricus’ “Outlines of Pyrrhonism.” As the title shows, in the work, Sextus Empiricus tries to outline the skeptical tradition started by Pyrrho. In this essay, I am going to discuss a certain distinction made by Sextus Empiricus. The distinc- tion is between what the philosopher calls appearances and underlying objects (D)3. I will try to compre- hend the motivation for such a distinction and the logical consequences of it. However, I will try to give some arguments against this distinction, showing how the problems the distinction addresses can be dealt with in other ways.
    [Show full text]
  • Laws of Form - the Language of the Consciousness and Its Applications - ID: 58298
    This PDF is for review purposes ONLY. This PDF is for review purposes ONLY. Laws of Form - the language of the consciousness and its applications - ID: 58298 Type of Funding Request: Online Funding Inquiry Status of this Funding Request: Draft/Saved Instructions: This PDF document is a read-only version of your funding request as it currently stands. You may print or save this document for your records. However, you should not attempt to edit this document. Any edits made to this PDF will not be saved in the Templeton Portal. If there are further edits that you would like to make to your funding request, please return to the request inside the Templeton Portal, select the appropriate section(s) of the form, make your edits, and save your work. After saving your work in the portal, you will be able to generate a new PDF version of the funding request that includes your recent edits. Below you will find a list of all fields that must be completed before submitting this funding request to the Foundation. To complete these fields, please return to the request inside the Templeton Portal, select the appropriate section(s) of the form, add the required content, and save your work. When all fields are completed and you are satisfied with your description of the proposed project, you may go to the Templeton Portal to submit your request. Please note that all requests must be submitted through the Templeton Portal and the Foundation will not accept this PDF as a valid application for funding. After submitting your request, it will become read-only and you will not be able to make any additional edits.
    [Show full text]
  • The Divine Within: Selected Writings on Enlightenment Free Download
    THE DIVINE WITHIN: SELECTED WRITINGS ON ENLIGHTENMENT FREE DOWNLOAD Aldous Huxley,Huston Smith | 305 pages | 02 Jul 2013 | HARPER PERENNIAL | 9780062236814 | English | New York, United States The Divine Within: Selected Writings on Enlightenment (Paperback) Born into a French noble family in southern France, Montesquieu practiced law in adulthood and witnessed great political upheaval across Britain and France. Aldous Huxley mural. Animal testing Archival research Behavior epigenetics Case The Divine Within: Selected Writings on Enlightenment Content analysis Experiments Human subject research Interviews Neuroimaging Observation Psychophysics Qualitative research Quantitative research Self-report inventory Statistical surveys. By the decree of the angels, and by the command of the holy men, we excommunicate, expel, curse and damn Baruch de Espinoza, with the consent of God, Blessed be He, and with the consent of all the Holy Congregation, in front of these holy Scrolls with the six-hundred-and-thirteen precepts which are written therein, with the excommunication with which Joshua banned The Divine Within: Selected Writings on Enlightenment[57] with the curse with which Elisha cursed the boys [58] and with all the curses which are written in the Book of the Law. Huxley consistently examined the spiritual basis of both the individual and human society, always seeking to reach an authentic and The Divine Within: Selected Writings on Enlightenment defined experience of the divine. Spinoza's Heresy: Immortality and the Jewish Mind. And when I read about how he decided to end his life while tripping on LSD I thought that was really heroic. Miguel was a successful merchant and became a warden of the synagogue and of the Amsterdam Jewish school.
    [Show full text]
  • Piaget»S Genictic Epistemology; a Theoretical Critique of Ma.In Epistemic Concepts
    1, PIAGET»S GENICTIC EPISTEMOLOGY; A THEORETICAL CRITIQUE OF MA.IN EPISTEMIC CONCEPTS LESLIE SMITH A thesis submitted at the University of Leicester for the degree of Doctor of Philosophy. December 1981 School of Education, University of Leicester. UMI Number: U323106 All rights reserved INFORMATION TO ALL USERS The quality of this reproduction is dependent upon the quality of the copy submitted. In the unlikely event that the author did not send a complete manuscript and there are missing pages, these will be noted. Also, if material had to be removed, a note will indicate the deletion. Disscrrlation Publishing UMI U323106 Published by ProQuest LLC 2015. Copyright in the Dissertation held by the Author. Microform Edition © ProQuest LLC. All rights reserved. This work is protected against unauthorized copying under Title 17, United States Code. ProQuest LLC 789 East Eisenhower Parkway P.O. Box 1346 Ann Arbor, Ml 48106-1346 -îM-esri , .7 ' 11. Recognition.I'm pleased by it, of course, but it's pretty catastrophic when I see how I'm understood. JEAN PIAGET The great man who at any time seems to be launching some new line of thought is simply the point of intersection or synthesis of ideas which have been elaborated by a continuous process of cooperation. JEAN PIAGET From the amoeba to Einstein, the growth of knowledge is always the same. KARL POPPER How difficult it isi How much more difficult psychology is than physics. ALBERT EINSTEIN 111. Foreword My own view of the work of Jean Piaget is that it embodies an exciting, novel and challenging conception of human knowledge and that his theory possesses a comprehensive breadth of vision that makes it a major intellectual achievement, I mention ray personal view at the outset, not in the expectation that it is necessarily shared by others but rather because it is my personal view, one which is not a view that others have to share to want to read further in this study.
    [Show full text]
  • How to Cite Complete Issue More Information About This Article
    Estudos e Pesquisas em Psicologia ISSN: 1676-3041 ISSN: 1808-4281 Universidade do Estado do Rio De Janeiro Ratcliff, Marc J.; Tau, Ramiro A networking model. The case of the International Center for Genetic Epistemology Estudos e Pesquisas em Psicologia, vol. 18, no. 4, 2018, pp. 1215-1238 Universidade do Estado do Rio De Janeiro Available in: https://www.redalyc.org/articulo.oa?id=451859498011 How to cite Complete issue Scientific Information System Redalyc More information about this article Network of Scientific Journals from Latin America and the Caribbean, Spain and Journal's webpage in redalyc.org Portugal Project academic non-profit, developed under the open access initiative ARTIGOS A networking model. The case of the International Center for Genetic Epistemology Um modelo de rede. O caso do Centro Internacional de Epistemologia Genética Un modelo de red. El caso del Centro Internacional de Epistemología Genética Marc J. Ratcliff* University of Geneva - UNIGE, Genebra, Suíça Ramiro Tau** University of Geneva - UNIGE, Genebra, Suíça ABSTRACT The article reviews the process of conformation of the International Center for Genetic Epistemology (CIEG), which functioned at the University of Geneva between 1955 and 1986. This Center led by Jean Piaget had the collaboration of hundreds of researchers from around the world and from different disciplines. We will here review the configuration of the centripetal circuits that led to the constitution of an institution with a double centrality. On the one hand, taking into account the history of international scientific circulations, it is feasible to recognize in the CIEG a reference point from which the radial journeys of social exchanges with different scientific communities can be reconstructed.
    [Show full text]
  • Constraints on an External Reality Under the Simulation Hypothesis
    Constraints on an external reality under the simulation hypothesis Max Hodak (Originally: 9 May 2020, Last Revised: 14 November 2020) Abstract Whether or not we are living in a simulation has become the subject of much lighthearted conjecture. Despite it being often considered an unfalsifiable question, here I present an argument that places strong contraints on the nature of any universe that contains ours as a \simulation," and I argue that these constraints are so strict that the most likely conclusion is that we are not living in a simulation. The crux of the idea is that almost any external world-simulation interface allows for Lorentz violations, and that these cannot be remedied in a simulation that implements quantum mechanics as we observe it. These arguments do not preclude all possibility that we are living in a simulation, but they impose significant constraints on what such a thing could mean or how the physics of the \external" universe must work. 1 Assumptions all practical purposes.1{3 The analysis that follows requires making three key Assumption A. A simulation should be somehow assumptions. accessible to its creators. Assumption C. The state of a valid universe Similarly, this is difficult to formalize fully gen- must be internally consistent at all times. erally, but for a quantum mechanical universe like ours with Hermitian observables, we can say some- Consistency is an essential property of any thing like the space of positive operator-valued mea- mathematically-describable physics; when we dis- sures available to the creators of the simulation is cover contradiction implied by our mathematics, we not empty; that is, they have some way to measure know that something must be wrong.
    [Show full text]
  • A List of Arithmetical Structures Complete with Respect to the First
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Theoretical Computer Science 257 (2001) 115–151 www.elsevier.com/locate/tcs A list of arithmetical structures complete with respect to the ÿrst-order deÿnability Ivan Korec∗;X Slovak Academy of Sciences, Mathematical Institute, Stefanikovaà 49, 814 73 Bratislava, Slovak Republic Abstract A structure with base set N is complete with respect to the ÿrst-order deÿnability in the class of arithmetical structures if and only if the operations +; × are deÿnable in it. A list of such structures is presented. Although structures with Pascal’s triangles modulo n are preferred a little, an e,ort was made to collect as many simply formulated results as possible. c 2001 Elsevier Science B.V. All rights reserved. MSC: primary 03B10; 03C07; secondary 11B65; 11U07 Keywords: Elementary deÿnability; Pascal’s triangle modulo n; Arithmetical structures; Undecid- able theories 1. Introduction A list of (arithmetical) structures complete with respect of the ÿrst-order deÿnability power (shortly: def-complete structures) will be presented. (The term “def-strongest” was used in the previous versions.) Most of them have the base set N but also structures with some other universes are considered. (Formal deÿnitions are given below.) The class of arithmetical structures can be quasi-ordered by ÿrst-order deÿnability power. After the usual factorization we obtain a partially ordered set, and def-complete struc- tures will form its greatest element. Of course, there are stronger structures (with respect to the ÿrst-order deÿnability) outside of the class of arithmetical structures.
    [Show full text]
  • 1. Introduction 2. Pregeometry
    Hidezumi Terazawa 219 218 Proceedings of BGL-4 SPECIAL INCONSTANCY IN PREGEOMETRY for 0.2 < z < 3. 7, which is consistent with a time-varying a . Note, however, that in 1976 Shylakhter f81 obtained the very restrictive limit of 16.a/al < 10- 7 or, more precisely, Hidezumi Terazawa 6.Œ/a6.t = (-0.2 ± 0.8) x 10-17 yr-1 for z ,...., 0.16 (but over a. narrower and latest range of epochs betwcen now and about 1.8 Instu.te of ?article and Nuclear St11dies 1 H'igh Energy Accelemtor Research Organization, billion years ago) from the "Oklo natural reactor". Very lately, Srianand et al. [9] have made Japan a detailed many-multiplet analysis performcd on a new sample of Mg II systems observed in high quality quasar spectra obtained using the Very Large Telescope and found a null result Midlands Acaderny of Bnsiness ël Technology (MABT), 5 United Kingdom of 6.a/cr. = (-0.06 ± 0.06) x 10- for the fractional change in Œ or a 3ri constraint of 16 1 16 1 -2.5 x 10- yr-- -:; (6.a./a6.t) -:; +1.2 x 10- yr- A thcory of spccial inconstancy, in which some fondamental physical constants such as the for 0.4-:; z -:; 2.3, which seems to be inconsistent with the result of Webb et al. [7]. However, fine-structure and grnvitational constants may vary, is proposed Ill pregcometry. In thf~ the­ a careful comparison of thesc different rcsults [7-9] indicates that thcy are ail consistent with ory, the alpha-G relation of a = 3n /[16 ln( 471' /5CM~ )] between the varyin~ fine~structure ;;i,r~d gravitational constants (where Mw is the charged weak Loso.n mass) 1s denved frorn a tirne-varying l~ as the hypothesis that Loth of these constants arc related to the same fu11damcnt:l1 ~en~t~1 ~cale in nature.
    [Show full text]
  • Social Constructivism and Technology in Instructional Technology and Teacher Education Muktha B
    Iowa State University Capstones, Theses and Retrospective Theses and Dissertations Dissertations 1999 Theory into practice: social constructivism and technology in instructional technology and teacher education Muktha B. Jost Iowa State University Follow this and additional works at: https://lib.dr.iastate.edu/rtd Part of the Communication Technology and New Media Commons, Curriculum and Instruction Commons, Instructional Media Design Commons, and the Teacher Education and Professional Development Commons Recommended Citation Jost, Muktha B., "Theory into practice: social constructivism and technology in instructional technology and teacher education " (1999). Retrospective Theses and Dissertations. 12202. https://lib.dr.iastate.edu/rtd/12202 This Dissertation is brought to you for free and open access by the Iowa State University Capstones, Theses and Dissertations at Iowa State University Digital Repository. It has been accepted for inclusion in Retrospective Theses and Dissertations by an authorized administrator of Iowa State University Digital Repository. For more information, please contact [email protected]. INFORMATION TO USERS This manuscript has been reproduced from the microfilm master. UMI films the text directly from the original or copy submitted. Thus, some thesis and dissertation copies are in typewriter face, while others may be from any type of computer printer. The quality of this reproduction is dependent upon the quality of the copy submitted. Broken or indistinct print, colored or poor quality illustrations and photographs, print bleedthrough, substandard margins, and improper alignment can adversely affect reproduction. In the unlikely event that the author did not send UMI a complete manuscript and there are missing pages, these will be noted. Also, if unauthorized copyright material had to be removed, a note will indicate the deletion.
    [Show full text]
  • Philip Gibbs EVENT-SYMMETRIC SPACE-TIME
    Event-Symmetric Space-Time “The universe is made of stories, not of atoms.” Muriel Rukeyser Philip Gibbs EVENT-SYMMETRIC SPACE-TIME WEBURBIA PUBLICATION Cyberspace First published in 1998 by Weburbia Press 27 Stanley Mead Bradley Stoke Bristol BS32 0EF [email protected] http://www.weburbia.com/press/ This address is supplied for legal reasons only. Please do not send book proposals as Weburbia does not have facilities for large scale publication. © 1998 Philip Gibbs [email protected] A catalogue record for this book is available from the British Library. Distributed by Weburbia Tel 01454 617659 Electronic copies of this book are available on the world wide web at http://www.weburbia.com/press/esst.htm Philip Gibbs’s right to be identified as the author of this work has been asserted by him in accordance with the Copyright, Designs and Patents Act 1988. All rights reserved, except that permission is given that this booklet may be reproduced by photocopy or electronic duplication by individuals for personal use only, or by libraries and educational establishments for non-profit purposes only. Mass distribution of copies in any form is prohibited except with the written permission of the author. Printed copies are printed and bound in Great Britain by Weburbia. Dedicated to Alice Contents THE STORYTELLER ................................................................................... 11 Between a story and the world ............................................................. 11 Dreams of Rationalism .......................................................................
    [Show full text]
  • LAWS of FORM Alphabetum
    LAWS OF FORM Alphabetum III LAWS OF ALPHABETUM III ▶ — George Spencer-Brown of Form Laws FORM 2019 � � LAWS OF FORM GEORGE SPENCER-BROWN In collaboration with the Liverpool University and the Laws of Form 50th Anniversary Conference. Alphabetum III September 28 — December 31, 2019 West Den Haag, The Netherlands The Yin and Yang of G. Spencer Brown’s Laws of Form R. John Williams I. Changing Consciousness One evening in the fall of 1969, along the picturesque cliffs of Big Sur, California, media gadfly and Whole Earth Catalog editor, Stewart Brand, approached the neuro- physiologist and dolphin researcher, John C. Lilly, with a copy of a strange little book called Laws of Form. They had spent the weekend attending panels, meditating, and dropping acid at a recently established center named Esalen — one of several burgeoning hotspots of what had come to be known as the ‘human potential movement’. Brand needed somebody to review the book, but thus far had had difficulty finding anyone who would dare take on the project. Brand didn’t claim to really understand the book, but he did sense that it was more than a mere exercise in logic. Indeed, as he puzzled over its pages, it seemed to have some kind of occult power — a key, per- haps, for unlocking the doors of perception and entering the incandescent realms that he and so many others were seeking at Esalen and other centers for new age spiritual- ity. 5 For the previous issue of The Whole Earth Catalog, Brand of consciousness dictating our realities. Only by ‘being had asked solar-energy guru and eco-warrior Steve Baer here now’ in the sensory deprivation tank, he thought, to review it, but what Baer turned in was less than helpful could we enter those transcendent realms outside of (even as it confirmed Brand’s intuition that the book time.
    [Show full text]
  • The Infinite and Contradiction: a History of Mathematical Physics By
    The infinite and contradiction: A history of mathematical physics by dialectical approach Ichiro Ueki January 18, 2021 Abstract The following hypothesis is proposed: \In mathematics, the contradiction involved in the de- velopment of human knowledge is included in the form of the infinite.” To prove this hypothesis, the author tries to find what sorts of the infinite in mathematics were used to represent the con- tradictions involved in some revolutions in mathematical physics, and concludes \the contradiction involved in mathematical description of motion was represented with the infinite within recursive (computable) set level by early Newtonian mechanics; and then the contradiction to describe discon- tinuous phenomena with continuous functions and contradictions about \ether" were represented with the infinite higher than the recursive set level, namely of arithmetical set level in second or- der arithmetic (ordinary mathematics), by mechanics of continuous bodies and field theory; and subsequently the contradiction appeared in macroscopic physics applied to microscopic phenomena were represented with the further higher infinite in third or higher order arithmetic (set-theoretic mathematics), by quantum mechanics". 1 Introduction Contradictions found in set theory from the end of the 19th century to the beginning of the 20th, gave a shock called \a crisis of mathematics" to the world of mathematicians. One of the contradictions was reported by B. Russel: \Let w be the class [set]1 of all classes which are not members of themselves. Then whatever class x may be, 'x is a w' is equivalent to 'x is not an x'. Hence, giving to x the value w, 'w is a w' is equivalent to 'w is not a w'."[52] Russel described the crisis in 1959: I was led to this contradiction by Cantor's proof that there is no greatest cardinal number.
    [Show full text]