The Life and Work of Kurt Gödel – Part I
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Computer Oral History Collection, 1969-1973, 1977
Computer Oral History Collection, 1969-1973, 1977 INTERVIEWEES: John Todd & Olga Taussky Todd INTERVIEWER: Henry S. Tropp DATE OF INTERVIEW: July 12, 1973 Tropp: This is a discussion with Doctor and Mrs. Todd in their apartment at the University of Michigan on July 2nd, l973. This question that I asked you earlier, Mrs. Todd, about your early meetings with Von Neumann, I think are just worth recording for when you first met him and when you first saw him. Olga Tauskky Todd: Well, I first met him and saw him at that time. I actually met him at that location, he was lecturing in the apartment of Menger to a private little set. Tropp: This was Karl Menger's apartment in Vienna? Olga Tauskky Todd: In Vienna, and he was on his honeymoon. And he lectured--I've forgotten what it was about, I am ashamed to say. It would come back, you know. It would come back, but I cannot recall it at this moment. It had nothing to do with game theory. I don't know, something in.... John Todd: She has a very good memory. It will come back. Tropp: Right. Approximately when was this? Before l930? Olga Tauskky Todd: For additional information, contact the Archives Center at 202.633.3270 or [email protected] Computer Oral History Collection, 1969-1973, 1977 No. I think it may have been in 1932 or something like that. Tropp: In '32. Then you said you saw him again at Goettingen, after the-- Olga Tauskky Todd: I saw him at Goettingen. -
Council for Innovative Research Peer Review Research Publishing System
ISSN 2347-3487 Einstein's gravitation is Einstein-Grossmann's equations Alfonso Leon Guillen Gomez Independent scientific researcher, Bogota, Colombia E-mail: [email protected] Abstract While the philosophers of science discuss the General Relativity, the mathematical physicists do not question it. Therefore, there is a conflict. From the theoretical point view “the question of precisely what Einstein discovered remains unanswered, for we have no consensus over the exact nature of the theory's foundations. Is this the theory that extends the relativity of motion from inertial motion to accelerated motion, as Einstein contended? Or is it just a theory that treats gravitation geometrically in the spacetime setting?”. “The voices of dissent proclaim that Einstein was mistaken over the fundamental ideas of his own theory and that their basic principles are simply incompatible with this theory. Many newer texts make no mention of the principles Einstein listed as fundamental to his theory; they appear as neither axiom nor theorem. At best, they are recalled as ideas of purely historical importance in the theory's formation. The very name General Relativity is now routinely condemned as a misnomer and its use often zealously avoided in favour of, say, Einstein's theory of gravitation What has complicated an easy resolution of the debate are the alterations of Einstein's own position on the foundations of his theory”, (Norton, 1993) [1]. Of other hand from the mathematical point view the “General Relativity had been formulated as a messy set of partial differential equations in a single coordinate system. People were so pleased when they found a solution that they didn't care that it probably had no physical significance” (Hawking and Penrose, 1996) [2]. -
Arxiv:1601.07125V1 [Math.HO]
CHALLENGES TO SOME PHILOSOPHICAL CLAIMS ABOUT MATHEMATICS ELIAHU LEVY Abstract. In this note some philosophical thoughts and observations about mathematics are ex- pressed, arranged as challenges to some common claims. For many of the “claims” and ideas in the “challenges” see the sources listed in the references. .1. Claim. The Antinomies in Set Theory, such as the Russell Paradox, just show that people did not have a right concept about sets. Having the right concept, we get rid of any contradictions. Challenge. It seems that this cannot be honestly said, when often in “axiomatic” set theory the same reasoning that leads to the Antinomies (say to the Russell Paradox) is used to prove theorems – one does not get to the contradiction, but halts before the “catastrophe” to get a theorem. As if the reasoning that led to the Antinomies was not “illegitimate”, a result of misunderstanding, but we really have a contradiction (antinomy) which we, somewhat artificially, “cut”, by way of the axioms, to save our consistency. One may say that the phenomena described in the famous G¨odel’s Incompleteness Theorem are a reflection of the Antinomies and the resulting inevitability of an axiomatics not entirely parallel to intuition. Indeed, G¨odel’s theorem forces us to be presented with a statement (say, the consistency of Arithmetics or of Set Theory) which we know we cannot prove, while intuition puts a “proof” on the tip of our tongue, so to speak (that’s how we “know” that the statement is true!), but which our axiomatics, forced to deviate from intuition to be consistent, cannot recognize. -
K-Theory and Algebraic Geometry
http://dx.doi.org/10.1090/pspum/058.2 Recent Titles in This Series 58 Bill Jacob and Alex Rosenberg, editors, ^-theory and algebraic geometry: Connections with quadratic forms and division algebras (University of California, Santa Barbara) 57 Michael C. Cranston and Mark A. Pinsky, editors, Stochastic analysis (Cornell University, Ithaca) 56 William J. Haboush and Brian J. Parshall, editors, Algebraic groups and their generalizations (Pennsylvania State University, University Park, July 1991) 55 Uwe Jannsen, Steven L. Kleiman, and Jean-Pierre Serre, editors, Motives (University of Washington, Seattle, July/August 1991) 54 Robert Greene and S. T. Yau, editors, Differential geometry (University of California, Los Angeles, July 1990) 53 James A. Carlson, C. Herbert Clemens, and David R. Morrison, editors, Complex geometry and Lie theory (Sundance, Utah, May 1989) 52 Eric Bedford, John P. D'Angelo, Robert E. Greene, and Steven G. Krantz, editors, Several complex variables and complex geometry (University of California, Santa Cruz, July 1989) 51 William B. Arveson and Ronald G. Douglas, editors, Operator theory/operator algebras and applications (University of New Hampshire, July 1988) 50 James Glimm, John Impagliazzo, and Isadore Singer, editors, The legacy of John von Neumann (Hofstra University, Hempstead, New York, May/June 1988) 49 Robert C. Gunning and Leon Ehrenpreis, editors, Theta functions - Bowdoin 1987 (Bowdoin College, Brunswick, Maine, July 1987) 48 R. O. Wells, Jr., editor, The mathematical heritage of Hermann Weyl (Duke University, Durham, May 1987) 47 Paul Fong, editor, The Areata conference on representations of finite groups (Humboldt State University, Areata, California, July 1986) 46 Spencer J. Bloch, editor, Algebraic geometry - Bowdoin 1985 (Bowdoin College, Brunswick, Maine, July 1985) 45 Felix E. -
The Z of ZF and ZFC and ZF¬C
From SIAM News , Volume 41, Number 1, January/February 2008 The Z of ZF and ZFC and ZF ¬C Ernst Zermelo: An Approach to His Life and Work. By Heinz-Dieter Ebbinghaus, Springer, New York, 2007, 356 pages, $64.95. The Z, of course, is Ernst Zermelo (1871–1953). The F, in case you had forgotten, is Abraham Fraenkel (1891–1965), and the C is the notorious Axiom of Choice. The book under review, by a prominent logician at the University of Freiburg, is a splendid in-depth biography of a complex man, a treatment that shies away neither from personal details nor from the mathematical details of Zermelo’s creations. BOOK R EV IEW Zermelo was a Berliner whose early scientific work was in applied By Philip J. Davis mathematics: His PhD thesis (1894) was in the calculus of variations. He had thought about this topic for at least ten additional years when, in 1904, in collaboration with Hans Hahn, he wrote an article on the subject for the famous Enzyclopedia der Mathematische Wissenschaften . In point of fact, though he is remembered today primarily for his axiomatization of set theory, he never really gave up applications. In his Habilitation thesis (1899), Zermelo was arguing with Ludwig Boltzmann about the foun - dations of the kinetic theory of heat. Around 1929, he was working on the problem of the path of an airplane going in minimal time from A to B at constant speed but against a distribution of winds. This was a problem that engaged Levi-Civita, von Mises, Carathéodory, Philipp Frank, and even more recent investigators. -
Relativistic Quantum Mechanics 1
Relativistic Quantum Mechanics 1 The aim of this chapter is to introduce a relativistic formalism which can be used to describe particles and their interactions. The emphasis 1.1 SpecialRelativity 1 is given to those elements of the formalism which can be carried on 1.2 One-particle states 7 to Relativistic Quantum Fields (RQF), which underpins the theoretical 1.3 The Klein–Gordon equation 9 framework of high energy particle physics. We begin with a brief summary of special relativity, concentrating on 1.4 The Diracequation 14 4-vectors and spinors. One-particle states and their Lorentz transforma- 1.5 Gaugesymmetry 30 tions follow, leading to the Klein–Gordon and the Dirac equations for Chaptersummary 36 probability amplitudes; i.e. Relativistic Quantum Mechanics (RQM). Readers who want to get to RQM quickly, without studying its foun- dation in special relativity can skip the first sections and start reading from the section 1.3. Intrinsic problems of RQM are discussed and a region of applicability of RQM is defined. Free particle wave functions are constructed and particle interactions are described using their probability currents. A gauge symmetry is introduced to derive a particle interaction with a classical gauge field. 1.1 Special Relativity Einstein’s special relativity is a necessary and fundamental part of any Albert Einstein 1879 - 1955 formalism of particle physics. We begin with its brief summary. For a full account, refer to specialized books, for example (1) or (2). The- ory oriented students with good mathematical background might want to consult books on groups and their representations, for example (3), followed by introductory books on RQM/RQF, for example (4). -
Equivalents to the Axiom of Choice and Their Uses A
EQUIVALENTS TO THE AXIOM OF CHOICE AND THEIR USES A Thesis Presented to The Faculty of the Department of Mathematics California State University, Los Angeles In Partial Fulfillment of the Requirements for the Degree Master of Science in Mathematics By James Szufu Yang c 2015 James Szufu Yang ALL RIGHTS RESERVED ii The thesis of James Szufu Yang is approved. Mike Krebs, Ph.D. Kristin Webster, Ph.D. Michael Hoffman, Ph.D., Committee Chair Grant Fraser, Ph.D., Department Chair California State University, Los Angeles June 2015 iii ABSTRACT Equivalents to the Axiom of Choice and Their Uses By James Szufu Yang In set theory, the Axiom of Choice (AC) was formulated in 1904 by Ernst Zermelo. It is an addition to the older Zermelo-Fraenkel (ZF) set theory. We call it Zermelo-Fraenkel set theory with the Axiom of Choice and abbreviate it as ZFC. This paper starts with an introduction to the foundations of ZFC set the- ory, which includes the Zermelo-Fraenkel axioms, partially ordered sets (posets), the Cartesian product, the Axiom of Choice, and their related proofs. It then intro- duces several equivalent forms of the Axiom of Choice and proves that they are all equivalent. In the end, equivalents to the Axiom of Choice are used to prove a few fundamental theorems in set theory, linear analysis, and abstract algebra. This paper is concluded by a brief review of the work in it, followed by a few points of interest for further study in mathematics and/or set theory. iv ACKNOWLEDGMENTS Between the two department requirements to complete a master's degree in mathematics − the comprehensive exams and a thesis, I really wanted to experience doing a research and writing a serious academic paper. -
Quantum Mechanics Digital Physics
Quantum Mechanics_digital physics In physics and cosmology, digital physics is a collection of theoretical perspectives based on the premise that the universe is, at heart, describable byinformation, and is therefore computable. Therefore, according to this theory, the universe can be conceived of as either the output of a deterministic or probabilistic computer program, a vast, digital computation device, or mathematically isomorphic to such a device. Digital physics is grounded in one or more of the following hypotheses; listed in order of decreasing strength. The universe, or reality: is essentially informational (although not every informational ontology needs to be digital) is essentially computable (the pancomputationalist position) can be described digitally is in essence digital is itself a computer (pancomputationalism) is the output of a simulated reality exercise History Every computer must be compatible with the principles of information theory,statistical thermodynamics, and quantum mechanics. A fundamental link among these fields was proposed by Edwin Jaynes in two seminal 1957 papers.[1]Moreover, Jaynes elaborated an interpretation of probability theory as generalized Aristotelian logic, a view very convenient for linking fundamental physics withdigital computers, because these are designed to implement the operations ofclassical logic and, equivalently, of Boolean algebra.[2] The hypothesis that the universe is a digital computer was pioneered by Konrad Zuse in his book Rechnender Raum (translated into English as Calculating Space). The term digital physics was first employed by Edward Fredkin, who later came to prefer the term digital philosophy.[3] Others who have modeled the universe as a giant computer include Stephen Wolfram,[4] Juergen Schmidhuber,[5] and Nobel laureate Gerard 't Hooft.[6] These authors hold that the apparentlyprobabilistic nature of quantum physics is not necessarily incompatible with the notion of computability. -
Regularity Properties and Determinacy
Regularity Properties and Determinacy MSc Thesis (Afstudeerscriptie) written by Yurii Khomskii (born September 5, 1980 in Moscow, Russia) under the supervision of Dr. Benedikt L¨owe, and submitted to the Board of Examiners in partial fulfillment of the requirements for the degree of MSc in Logic at the Universiteit van Amsterdam. Date of the public defense: Members of the Thesis Committee: August 14, 2007 Dr. Benedikt L¨owe Prof. Dr. Jouko V¨a¨an¨anen Prof. Dr. Joel David Hamkins Prof. Dr. Peter van Emde Boas Brian Semmes i Contents 0. Introduction............................ 1 1. Preliminaries ........................... 4 1.1 Notation. ........................... 4 1.2 The Real Numbers. ...................... 5 1.3 Trees. ............................. 6 1.4 The Forcing Notions. ..................... 7 2. ClasswiseConsequencesofDeterminacy . 11 2.1 Regularity Properties. .................... 11 2.2 Infinite Games. ........................ 14 2.3 Classwise Implications. .................... 16 3. The Marczewski-Burstin Algebra and the Baire Property . 20 3.1 MB and BP. ......................... 20 3.2 Fusion Sequences. ...................... 23 3.3 Counter-examples. ...................... 26 4. DeterminacyandtheBaireProperty.. 29 4.1 Generalized MB-algebras. .................. 29 4.2 Determinacy and BP(P). ................... 31 4.3 Determinacy and wBP(P). .................. 34 5. Determinacy andAsymmetric Properties. 39 5.1 The Asymmetric Properties. ................. 39 5.2 The General Definition of Asym(P). ............. 43 5.3 Determinacy and Asym(P). ................. 46 ii iii 0. Introduction One of the most intriguing developments of modern set theory is the investi- gation of two-player infinite games of perfect information. Of course, it is clear that applied game theory, as any other branch of mathematics, can be modeled in set theory. But we are talking about the converse: the use of infinite games as a tool to study fundamental set theoretic questions. -
Axioms of Set Theory and Equivalents of Axiom of Choice Farighon Abdul Rahim Boise State University, [email protected]
Boise State University ScholarWorks Mathematics Undergraduate Theses Department of Mathematics 5-2014 Axioms of Set Theory and Equivalents of Axiom of Choice Farighon Abdul Rahim Boise State University, [email protected] Follow this and additional works at: http://scholarworks.boisestate.edu/ math_undergraduate_theses Part of the Set Theory Commons Recommended Citation Rahim, Farighon Abdul, "Axioms of Set Theory and Equivalents of Axiom of Choice" (2014). Mathematics Undergraduate Theses. Paper 1. Axioms of Set Theory and Equivalents of Axiom of Choice Farighon Abdul Rahim Advisor: Samuel Coskey Boise State University May 2014 1 Introduction Sets are all around us. A bag of potato chips, for instance, is a set containing certain number of individual chip’s that are its elements. University is another example of a set with students as its elements. By elements, we mean members. But sets should not be confused as to what they really are. A daughter of a blacksmith is an element of a set that contains her mother, father, and her siblings. Then this set is an element of a set that contains all the other families that live in the nearby town. So a set itself can be an element of a bigger set. In mathematics, axiom is defined to be a rule or a statement that is accepted to be true regardless of having to prove it. In a sense, axioms are self evident. In set theory, we deal with sets. Each time we state an axiom, we will do so by considering sets. Example of the set containing the blacksmith family might make it seem as if sets are finite. -
The Project Gutenberg Ebook #43006: Space–Time–Matter
The Project Gutenberg EBook of Space--Time--Matter, by Hermann Weyl This eBook is for the use of anyone anywhere at no cost and with almost no restrictions whatsoever. You may copy it, give it away or re-use it under the terms of the Project Gutenberg License included with this eBook or online at www.gutenberg.org Title: Space--Time--Matter Author: Hermann Weyl Translator: Henry L. Brose Release Date: June 21, 2013 [EBook #43006] Language: English Character set encoding: ISO-8859-1 *** START OF THIS PROJECT GUTENBERG EBOOK SPACE--TIME--MATTER *** Produced by Andrew D. Hwang, using scanned images and OCR text generously provided by the University of Toronto Gerstein Library through the Internet Archive. transcriber’s note The camera-quality files for this public-domain ebook may be downloaded gratis at www.gutenberg.org/ebooks/43006. This ebook was produced using scanned images and OCR text generously provided by the University of Toronto Gerstein Library through the Internet Archive. Typographical corrections, uniformization of punctuation, and minor presentational changes have been effected without comment. This PDF file is optimized for screen viewing, but may be recompiled for printing. Please consult the preamble of the LATEX source file for instructions and other particulars. SPACE—TIME—MATTER BY HERMANN WEYL TRANSLATED FROM THE GERMAN BY HENRY L. BROSE WITH FIFTEEN DIAGRAMS METHUEN & CO. LTD. 36 ESSEX STREET W.C. LONDON First Published in 1922 FROM THE AUTHOR’S PREFACE TO THE FIRST EDITION Einstein’s Theory of Relativity has advanced our ideas of the structure of the cosmos a step further. -
Symmetry in European Regional Folk Dress
g e n e r a l a r t i c l e Symmetry in European Regional Folk Dress A Multidisciplinary Analysis D Av i D A . J A m es a n d A l i ce v. J A m es Designs on folk dress form an expression of artistic import within Nature presents many types of planar symmetry: (1) bilat- a culture. A 2017 ethnomathematics paper to which the authors eral symmetry, as of a leaf or face; (2) rotational symmetry, contributed concludes that the designs on European regional folk dress as of a starfish or composite flower; (3) frieze symmetry, as are highly symmetric and analyzes the symmetry in the costume designs ABSTRACT of 73 European cultures. Also examined are which symmetries are of regularly spaced buds on a branch or the skin of a snake; favored by, for instance, Catholic cultures or mountain cultures. In this (4) space-filling symmetrical patterns, as of honeycombs or article, two of the study’s coauthors summarize its key points and go on pineapples. Around 70,000 BCE, early humans, attracted to explore the neurophysiologic, aesthetic and ethnographic reasons by these symmetries, began producing abstract decorative why humans display symmetry on their regional dress. nonrepresentational symmetrical designs, predating repre- sentational art by 30,000 years. Books by Hargittai [5] and A recent survey and analysis of the folk dress of 73 Euro- Washburn and Crowe [6] illustrate the deep-seated cross- pean cultures (of which we were coauthors) [1] revealed a cultural and universal desire to decorate objects with sym- very high degree of planar symmetry.