Can Each Number Be Specified by a Finite Text? Arxiv:1909.11149V1 [Math.LO] 24 Sep 2019
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
The Enigmatic Number E: a History in Verse and Its Uses in the Mathematics Classroom
To appear in MAA Loci: Convergence The Enigmatic Number e: A History in Verse and Its Uses in the Mathematics Classroom Sarah Glaz Department of Mathematics University of Connecticut Storrs, CT 06269 [email protected] Introduction In this article we present a history of e in verse—an annotated poem: The Enigmatic Number e . The annotation consists of hyperlinks leading to biographies of the mathematicians appearing in the poem, and to explanations of the mathematical notions and ideas presented in the poem. The intention is to celebrate the history of this venerable number in verse, and to put the mathematical ideas connected with it in historical and artistic context. The poem may also be used by educators in any mathematics course in which the number e appears, and those are as varied as e's multifaceted history. The sections following the poem provide suggestions and resources for the use of the poem as a pedagogical tool in a variety of mathematics courses. They also place these suggestions in the context of other efforts made by educators in this direction by briefly outlining the uses of historical mathematical poems for teaching mathematics at high-school and college level. Historical Background The number e is a newcomer to the mathematical pantheon of numbers denoted by letters: it made several indirect appearances in the 17 th and 18 th centuries, and acquired its letter designation only in 1731. Our history of e starts with John Napier (1550-1617) who defined logarithms through a process called dynamical analogy [1]. Napier aimed to simplify multiplication (and in the same time also simplify division and exponentiation), by finding a model which transforms multiplication into addition. -
Set Theory, by Thomas Jech, Academic Press, New York, 1978, Xii + 621 Pp., '$53.00
BOOK REVIEWS 775 BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY Volume 3, Number 1, July 1980 © 1980 American Mathematical Society 0002-9904/80/0000-0 319/$01.75 Set theory, by Thomas Jech, Academic Press, New York, 1978, xii + 621 pp., '$53.00. "General set theory is pretty trivial stuff really" (Halmos; see [H, p. vi]). At least, with the hindsight afforded by Cantor, Zermelo, and others, it is pretty trivial to do the following. First, write down a list of axioms about sets and membership, enunciating some "obviously true" set-theoretic principles; the most popular Hst today is called ZFC (the Zermelo-Fraenkel axioms with the axiom of Choice). Next, explain how, from ZFC, one may derive all of conventional mathematics, including the general theory of transfinite cardi nals and ordinals. This "trivial" part of set theory is well covered in standard texts, such as [E] or [H]. Jech's book is an introduction to the "nontrivial" part. Now, nontrivial set theory may be roughly divided into two general areas. The first area, classical set theory, is a direct outgrowth of Cantor's work. Cantor set down the basic properties of cardinal numbers. In particular, he showed that if K is a cardinal number, then 2", or exp(/c), is a cardinal strictly larger than K (if A is a set of size K, 2* is the cardinality of the family of all subsets of A). Now starting with a cardinal K, we may form larger cardinals exp(ic), exp2(ic) = exp(exp(fc)), exp3(ic) = exp(exp2(ic)), and in fact this may be continued through the transfinite to form expa(»c) for every ordinal number a. -
Irrational Numbers Unit 4 Lesson 6 IRRATIONAL NUMBERS
Irrational Numbers Unit 4 Lesson 6 IRRATIONAL NUMBERS Students will be able to: Understand the meanings of Irrational Numbers Key Vocabulary: • Irrational Numbers • Examples of Rational Numbers and Irrational Numbers • Decimal expansion of Irrational Numbers • Steps for representing Irrational Numbers on number line IRRATIONAL NUMBERS A rational number is a number that can be expressed as a ratio or we can say that written as a fraction. Every whole number is a rational number, because any whole number can be written as a fraction. Numbers that are not rational are called irrational numbers. An Irrational Number is a real number that cannot be written as a simple fraction or we can say cannot be written as a ratio of two integers. The set of real numbers consists of the union of the rational and irrational numbers. If a whole number is not a perfect square, then its square root is irrational. For example, 2 is not a perfect square, and √2 is irrational. EXAMPLES OF RATIONAL NUMBERS AND IRRATIONAL NUMBERS Examples of Rational Number The number 7 is a rational number because it can be written as the 7 fraction . 1 The number 0.1111111….(1 is repeating) is also rational number 1 because it can be written as fraction . 9 EXAMPLES OF RATIONAL NUMBERS AND IRRATIONAL NUMBERS Examples of Irrational Numbers The square root of 2 is an irrational number because it cannot be written as a fraction √2 = 1.4142135…… Pi(휋) is also an irrational number. π = 3.1415926535897932384626433832795 (and more...) 22 The approx. value of = 3.1428571428571.. -
The Logic of Brouwer and Heyting
THE LOGIC OF BROUWER AND HEYTING Joan Rand Moschovakis Intuitionistic logic consists of the principles of reasoning which were used in- formally by L. E. J. Brouwer, formalized by A. Heyting (also partially by V. Glivenko), interpreted by A. Kolmogorov, and studied by G. Gentzen and K. G¨odel during the first third of the twentieth century. Formally, intuitionistic first- order predicate logic is a proper subsystem of classical logic, obtained by replacing the law of excluded middle A ∨¬A by ¬A ⊃ (A ⊃ B); it has infinitely many dis- tinct consistent axiomatic extensions, each necessarily contained in classical logic (which is axiomatically complete). However, intuitionistic second-order logic is inconsistent with classical second-order logic. In terms of expressibility, the intu- itionistic logic and language are richer than the classical; as G¨odel and Gentzen showed, classical first-order arithmetic can be faithfully translated into the nega- tive fragment of intuitionistic arithmetic, establishing proof-theoretical equivalence and clarifying the distinction between the classical and constructive consequences of mathematical axioms. The logic of Brouwer and Heyting is effective. The conclusion of an intuitionistic derivation holds with the same degree of constructivity as the premises. Any proof of a disjunction of two statements can be effectively transformed into a proof of one of the disjuncts, while any proof of an existential statement contains an effec- tive prescription for finding a witness. The negation of a statement is interpreted as asserting that the statement is not merely false but absurd, i.e., leads to a contradiction. Brouwer objected to the general law of excluded middle as claim- ing a priori that every mathematical problem has a solution, and to the general law ¬¬A ⊃ A of double negation as asserting that every consistent mathematical statement holds. -
The Modal Logic of Potential Infinity, with an Application to Free Choice
The Modal Logic of Potential Infinity, With an Application to Free Choice Sequences Dissertation Presented in Partial Fulfillment of the Requirements for the Degree Doctor of Philosophy in the Graduate School of The Ohio State University By Ethan Brauer, B.A. ∼6 6 Graduate Program in Philosophy The Ohio State University 2020 Dissertation Committee: Professor Stewart Shapiro, Co-adviser Professor Neil Tennant, Co-adviser Professor Chris Miller Professor Chris Pincock c Ethan Brauer, 2020 Abstract This dissertation is a study of potential infinity in mathematics and its contrast with actual infinity. Roughly, an actual infinity is a completed infinite totality. By contrast, a collection is potentially infinite when it is possible to expand it beyond any finite limit, despite not being a completed, actual infinite totality. The concept of potential infinity thus involves a notion of possibility. On this basis, recent progress has been made in giving an account of potential infinity using the resources of modal logic. Part I of this dissertation studies what the right modal logic is for reasoning about potential infinity. I begin Part I by rehearsing an argument|which is due to Linnebo and which I partially endorse|that the right modal logic is S4.2. Under this assumption, Linnebo has shown that a natural translation of non-modal first-order logic into modal first- order logic is sound and faithful. I argue that for the philosophical purposes at stake, the modal logic in question should be free and extend Linnebo's result to this setting. I then identify a limitation to the argument for S4.2 being the right modal logic for potential infinity. -
Proofs, Sets, Functions, and More: Fundamentals of Mathematical Reasoning, with Engaging Examples from Algebra, Number Theory, and Analysis
Proofs, Sets, Functions, and More: Fundamentals of Mathematical Reasoning, with Engaging Examples from Algebra, Number Theory, and Analysis Mike Krebs James Pommersheim Anthony Shaheen FOR THE INSTRUCTOR TO READ i For the instructor to read We should put a section in the front of the book that organizes the organization of the book. It would be the instructor section that would have: { flow chart that shows which sections are prereqs for what sections. We can start making this now so we don't have to remember the flow later. { main organization and objects in each chapter { What a Cfu is and how to use it { Why we have the proofcomment formatting and what it is. { Applications sections and what they are { Other things that need to be pointed out. IDEA: Seperate each of the above into subsections that are labeled for ease of reading but not shown in the table of contents in the front of the book. ||||||||| main organization examples: ||||||| || In a course such as this, the student comes in contact with many abstract concepts, such as that of a set, a function, and an equivalence class of an equivalence relation. What is the best way to learn this material. We have come up with several rules that we want to follow in this book. Themes of the book: 1. The book has a few central mathematical objects that are used throughout the book. 2. Each central mathematical object from theme #1 must be a fundamental object in mathematics that appears in many areas of mathematics and its applications. -
Calcium: Computing in Exact Real and Complex Fields Fredrik Johansson
Calcium: computing in exact real and complex fields Fredrik Johansson To cite this version: Fredrik Johansson. Calcium: computing in exact real and complex fields. ISSAC ’21, Jul 2021, Virtual Event, Russia. 10.1145/3452143.3465513. hal-02986375v2 HAL Id: hal-02986375 https://hal.inria.fr/hal-02986375v2 Submitted on 15 May 2021 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Calcium: computing in exact real and complex fields Fredrik Johansson [email protected] Inria Bordeaux and Institut Math. Bordeaux 33400 Talence, France ABSTRACT This paper presents Calcium,1 a C library for exact computa- Calcium is a C library for real and complex numbers in a form tion in R and C. Numbers are represented as elements of fields suitable for exact algebraic and symbolic computation. Numbers Q¹a1;:::; anº where the extension numbers ak are defined symbol- ically. The system constructs fields and discovers algebraic relations are represented as elements of fields Q¹a1;:::; anº where the exten- automatically, handling algebraic and transcendental number fields sion numbers ak may be algebraic or transcendental. The system combines efficient field operations with automatic discovery and in a unified way. -
Cantor on Infinity in Nature, Number, and the Divine Mind
Cantor on Infinity in Nature, Number, and the Divine Mind Anne Newstead Abstract. The mathematician Georg Cantor strongly believed in the existence of actually infinite numbers and sets. Cantor’s “actualism” went against the Aristote- lian tradition in metaphysics and mathematics. Under the pressures to defend his theory, his metaphysics changed from Spinozistic monism to Leibnizian volunta- rist dualism. The factor motivating this change was two-fold: the desire to avoid antinomies associated with the notion of a universal collection and the desire to avoid the heresy of necessitarian pantheism. We document the changes in Can- tor’s thought with reference to his main philosophical-mathematical treatise, the Grundlagen (1883) as well as with reference to his article, “Über die verschiedenen Standpunkte in bezug auf das aktuelle Unendliche” (“Concerning Various Perspec- tives on the Actual Infinite”) (1885). I. he Philosophical Reception of Cantor’s Ideas. Georg Cantor’s dis- covery of transfinite numbers was revolutionary. Bertrand Russell Tdescribed it thus: The mathematical theory of infinity may almost be said to begin with Cantor. The infinitesimal Calculus, though it cannot wholly dispense with infinity, has as few dealings with it as possible, and contrives to hide it away before facing the world Cantor has abandoned this cowardly policy, and has brought the skeleton out of its cupboard. He has been emboldened on this course by denying that it is a skeleton. Indeed, like many other skeletons, it was wholly dependent on its cupboard, and vanished in the light of day.1 1Bertrand Russell, The Principles of Mathematics (London: Routledge, 1992 [1903]), 304. -
Leibniz and the Infinite
Quaderns d’Història de l’Enginyeria volum xvi 2018 LEIBNIZ AND THE INFINITE Eberhard Knobloch [email protected] 1.-Introduction. On the 5th (15th) of September, 1695 Leibniz wrote to Vincentius Placcius: “But I have so many new insights in mathematics, so many thoughts in phi- losophy, so many other literary observations that I am often irresolutely at a loss which as I wish should not perish1”. Leibniz’s extraordinary creativity especially concerned his handling of the infinite in mathematics. He was not always consistent in this respect. This paper will try to shed new light on some difficulties of this subject mainly analysing his treatise On the arithmetical quadrature of the circle, the ellipse, and the hyperbola elaborated at the end of his Parisian sojourn. 2.- Infinitely small and infinite quantities. In the Parisian treatise Leibniz introduces the notion of infinitely small rather late. First of all he uses descriptions like: ad differentiam assignata quavis minorem sibi appropinquare (to approach each other up to a difference that is smaller than any assigned difference)2, differat quantitate minore quavis data (it differs by a quantity that is smaller than any given quantity)3, differentia data quantitate minor reddi potest (the difference can be made smaller than a 1 “Habeo vero tam multa nova in Mathematicis, tot cogitationes in Philosophicis, tot alias litterarias observationes, quas vellem non perire, ut saepe inter agenda anceps haeream.” (LEIBNIZ, since 1923: II, 3, 80). 2 LEIBNIZ (2016), 18. 3 Ibid., 20. 11 Eberhard Knobloch volum xvi 2018 given quantity)4. Such a difference or such a quantity necessarily is a variable quantity. -
Integers, Rational Numbers, and Algebraic Numbers
LECTURE 9 Integers, Rational Numbers, and Algebraic Numbers In the set N of natural numbers only the operations of addition and multiplication can be defined. For allowing the operations of subtraction and division quickly take us out of the set N; 2 ∈ N and3 ∈ N but2 − 3=−1 ∈/ N 1 1 ∈ N and2 ∈ N but1 ÷ 2= = N 2 The set Z of integers is formed by expanding N to obtain a set that is closed under subtraction as well as addition. Z = {0, −1, +1, −2, +2, −3, +3,...} . The new set Z is not closed under division, however. One therefore expands Z to include fractions as well and arrives at the number field Q, the rational numbers. More formally, the set Q of rational numbers is the set of all ratios of integers: p Q = | p, q ∈ Z ,q=0 q The rational numbers appear to be a very satisfactory algebraic system until one begins to tries to solve equations like x2 =2 . It turns out that there is no rational number that satisfies this equation. To see this, suppose there exists integers p, q such that p 2 2= . q p We can without loss of generality assume that p and q have no common divisors (i.e., that the fraction q is reduced as far as possible). We have 2q2 = p2 so p2 is even. Hence p is even. Therefore, p is of the form p =2k for some k ∈ Z.Butthen 2q2 =4k2 or q2 =2k2 so q is even, so p and q have a common divisor - a contradiction since p and q are can be assumed to be relatively prime. -
The Evolution of Numbers
The Evolution of Numbers Counting Numbers Counting Numbers: {1, 2, 3, …} We use numbers to count: 1, 2, 3, 4, etc You can have "3 friends" A field can have "6 cows" Whole Numbers Whole numbers are the counting numbers plus zero. Whole Numbers: {0, 1, 2, 3, …} Negative Numbers We can count forward: 1, 2, 3, 4, ...... but what if we count backward: 3, 2, 1, 0, ... what happens next? The answer is: negative numbers: {…, -3, -2, -1} A negative number is any number less than zero. Integers If we include the negative numbers with the whole numbers, we have a new set of numbers that are called integers: {…, -3, -2, -1, 0, 1, 2, 3, …} The Integers include zero, the counting numbers, and the negative counting numbers, to make a list of numbers that stretch in either direction indefinitely. Rational Numbers A rational number is a number that can be written as a simple fraction (i.e. as a ratio). 2.5 is rational, because it can be written as the ratio 5/2 7 is rational, because it can be written as the ratio 7/1 0.333... (3 repeating) is also rational, because it can be written as the ratio 1/3 More formally we say: A rational number is a number that can be written in the form p/q where p and q are integers and q is not equal to zero. Example: If p is 3 and q is 2, then: p/q = 3/2 = 1.5 is a rational number Rational Numbers include: all integers all fractions Irrational Numbers An irrational number is a number that cannot be written as a simple fraction. -
Algebraic Number Theory
Algebraic Number Theory William B. Hart Warwick Mathematics Institute Abstract. We give a short introduction to algebraic number theory. Algebraic number theory is the study of extension fields Q(α1; α2; : : : ; αn) of the rational numbers, known as algebraic number fields (sometimes number fields for short), in which each of the adjoined complex numbers αi is algebraic, i.e. the root of a polynomial with rational coefficients. Throughout this set of notes we use the notation Z[α1; α2; : : : ; αn] to denote the ring generated by the values αi. It is the smallest ring containing the integers Z and each of the αi. It can be described as the ring of all polynomial expressions in the αi with integer coefficients, i.e. the ring of all expressions built up from elements of Z and the complex numbers αi by finitely many applications of the arithmetic operations of addition and multiplication. The notation Q(α1; α2; : : : ; αn) denotes the field of all quotients of elements of Z[α1; α2; : : : ; αn] with nonzero denominator, i.e. the field of rational functions in the αi, with rational coefficients. It is the smallest field containing the rational numbers Q and all of the αi. It can be thought of as the field of all expressions built up from elements of Z and the numbers αi by finitely many applications of the arithmetic operations of addition, multiplication and division (excepting of course, divide by zero). 1 Algebraic numbers and integers A number α 2 C is called algebraic if it is the root of a monic polynomial n n−1 n−2 f(x) = x + an−1x + an−2x + ::: + a1x + a0 = 0 with rational coefficients ai.