That Are Not Decidable

Total Page:16

File Type:pdf, Size:1020Kb

That Are Not Decidable Definition: A Turing Machine is a 7-tuple T = (Q, Σ, Γ, δδδ, q 0, q accept , q reject ), where: Q is a finite set of states Σ is the input alphabet, where ∉∉∉ Σ Γ is the tape alphabet, where ∈∈∈ Γ and Σ ⊆⊆⊆ Γ δδδ : Q ××× Γ → Q ××× Γ ××× {L,R} q0 ∈∈∈ Q is the start state Today: Undecidability, qaccept ∈∈∈ Q is the accept state Recognition, Enumeration, qreject ∈∈∈ Q is the reject state, and qreject ≠≠≠ qaccept all that good stuff A TM recognizes a language if it accepts all w ∈∈∈ Σ* w ∈∈∈ Σ* and only those strings in the language A language is called recognizable or TM w ∈∈∈ L ? TM w ∈∈∈ L ? recursively enumerable, (or r.e.) if some TM recognizes it yes no yes no accept reject accept reject or no output A TM decides a language if it accepts all strings in the language and rejects all strings L is decidable L is recognizable not in the language (recursive) (recursively enumerable) A language is called decidable (or recursive) if some TM decides it Theorem: L is decidable if both L and ¬¬¬L are recursively enumerable Recall: Given L ⊆⊆⊆ ΣΣΣ*, define ¬¬¬L := ΣΣΣ* - L There are languages over {0,1} Theorem: L is decidable that are not decidable iff both L and ¬¬¬L are recognizable Assuming the Church-Turing Thesis, this means there are problems that Given: NO computing device can solve a TM M1 that recognizes A and a TM M2 that recognizes ¬¬¬A, We can prove this using a counting argument. we can build a new machine M that decides A We will show there is no onto function from the set of all Turing Machines to the set of all Simulate M 1 (x) on one tape, M 2 (x) on another. languages over {0,1}. (But it works for any Σ) One of them must halt. If M1 halts then accept. That is, every mapping from Turing machines to If M2 halts then reject. languages must “miss” some language. 1 “There are more problems to There are languages over {0,1} solve than there are programs Languages that are not recognizable to solve them.” over {0,1} Proof Outline: Turing Machines 1. Every recognizable language can be associated with a Turing machine 2. Every TM corresponds to a bit string 3. So there is a 1-1 mapping from the set of all recognizable languages, to {0,1}* 4. But the set of all languages has a bijection with the POWER SET of {0,1}* 5. The power set of A is always larger than A, so there must be unrecognizable languages Let L be any set and 2L be the power set of L MORAL: Theorem: There is no onto map from L to 2 L L Proof: Assume, for a contradiction, that No map from L to the power set 2 there is an onto map f : L →→→ 2L can cover all elements in 2L Let S = { x ∈∈∈ L | x ∉∉∉ f(x) } ∈∈∈ 2L No matter what the set L is, If f is onto, then there is a y ∈∈∈ L where f(y) = S the power set 2 L always has Suppose y ∈∈∈ S. By definition of S, y ∉∉∉ f(y) = S. strictly greater cardinality than L So y ∉∉∉ S. By definition of S, y ∈∈∈ f(y) = S. Contradiction There are undecidable (and unrecognizable) Russell’s Paradox in Set Theory languages over {0,1} In the early 1900’s, logicians were trying to {Recognizable languages over {0,1}} define consistent foundations for mathematics. {Turing Machines} {Languages over {0,1}} Suppose X = “universe of all possible objects” “Frege’s Axiom” Let P : X →→→ {0,1}. {0,1}* {Sets of strings Then {S in X | P(S) = 1} is a set. of 0s and 1s} Define F = { S ∈∈∈ X | S ∉∉∉ S } L Suppose F ∈∈∈ F. Then by definition, F ∉∉∉ F. Set L Set of all subsets of L: 2 So F ∉∉∉ F and by definition F ∈∈∈ F. This set theory is inconsistent! There are (many) unrecognizable languages 2 Theorem: There is no onto function from the + positive integers Z+ to the real numbers in (0, 1) Let Z = {1,2,3,4}. {0,1}* Power set of {0,1}* There is a bijection between Z+ and Z+ ××× Z+ Proof: Suppose f is such a function: 1 0.283472792 (1,1) (1,2) (1,3) (1,4) (1,5) 2 0.883883848 3 0.776352846 (2,1) (2,2) (2,3) (2,4) (2,5) 4 0.111111111 (3,1) (3,2) (3,3) (3,4) (3,5) 5 0.123456785 : : (4,1) (4,2) (4,3) (4,4) (4,5) 1 if [ n-th digit of f(n) ] ≠≠≠ 1 [ n-th digit of r ] = (5,1) (5,2) (5,3) (5,4) (5,5) 0 otherwise r is never f(n) ≠≠≠ r for all n (Here, r = 0.11101... ) output by f A Concrete Undecidable Problem ATM = { (M, w) | M is a TM that accepts string w } Theorem: ATM is recognizable but NOT decidable ATM is recognizable: Define a TM U as follows: U is a universal TM On input (M, w), U runs M on w. If M ever accepts, accept. If M ever rejects, reject. Therefore, U accepts (M,w) ⇔ M accepts w ⇔ (M,w) ∈∈∈ ATM Therefore, U recognizes ATM ATM = { (M,w) | M is a TM that accepts string w } OUTPUT OF H(x,y) ATM is undecidable: (proof by contradiction) M1 M2 M3 M4 D Assume machine H decides A TM M accept accept accept reject accept Accept if M accepts w 1 H( (M,w) ) = M2 reject accept reject reject reject Reject if M does not accept w M3 accept reject reject accept accept accept Construct a new TM D as follows: on input M, M4 accept reject reject reject run H on (M,M) and output the opposite of H. : Reject if MD accepts MD D reject reject accept accept ? D( MD ) = Accept if MD does not accept MD 3 OUTPUT OF D(M) ATM = { (M,w) | M is a TM that accepts string w } ATM is undecidable: (constructive proof) M1 M2 M3 M4 D Assume machine H recognizes ATM M acceptreject accept accept reject accept 1 Accept if M accepts w M2 reject acceptreject reject reject reject H( (M,w) ) = M3 accept reject acceptreject accept accept Rejects or loops otherwise M4 accept reject reject acceptreject accept Construct a new TM DH as follows: on input M, : run H on (M,M) and output the “opposite” of H whenever you get an answer from H. D reject reject accept accept ? D(M) outputs the opposite of H(M,M) Reject if DMH accepts DM H That is: (i.e. if H( DMH , DMH ) = Accept) Given any machine H recognizing ATM Accept if DM rejects DM D ( DM ) = H H H H (H is a potential decider for ATM ) (i.e. if H( DMH , DMH ) = Reject) we can effectively construct an instance which loops if DMH loops on DM H does not belong to A TM (namely, ( DH, DH )) (i.e. if H( DMH , D MH ) loops) but H runs forever on the input ( DH, DH ) Note: There is no contradiction here! So H cannot decide A TM DH must run forever on DH Given any program that recognizes the We can effectively construct an instance (DH, DH) Acceptance Problem, we can efficiently which does not belong to ATM construct an input where the program hangs! but H fails to tell us that: H(DH, DH) runs forever! The Halting Problem HALT TM = { (M,w) | M is a TM that halts on string w } Theorem: ATM is recognizable but NOT decidable Theorem: HALT TM is undecidable Proof: Assume (for a contradiction) there is a TM H that decides HALT TM Corollary: ¬¬¬ATM is not recognizable! We use H to construct a TM M’ that decides ATM ¬¬¬ATM = { (M,w) | M does not accept string w } M’(M,w): run H(M,w) If H rejects then reject Proof: Suppose ¬¬¬A is recognizable. TM If H accepts, run M on w until it halts: Then ¬¬¬ATM and A TM are both recognizable But that would mean they’re decidable Accept if M accepts and Reject if M rejects 4 (M,w) The Emptiness Problem EMPTY TM = { M | M is a TM such that L(M) = ∅∅∅} (M,w) Given a program, does it always reject? If M halts Theorem: EMPTY is undecidable M’ Does M TM H w halt on w? Proof: Assume (for a contradiction) there is a TM E that decides EMPTY TM We’ll use it to get a decider D for A TM If M doesn’t M D(M,w) := Build a TM M’ with the behavior: halt: REJECT “M’(x) := if x ≠≠≠ w reject else sim M(w)” Run E(M’). If E accepts, reject. If rejects, accept. The Complement of Emptiness The Emptiness Problem ¬¬¬EMPTY TM = { M | M is a TM such that L(M) ≠≠≠ ∅∅∅} Given a program, does it accept some input? Theorem: EMPTY TM is undecidable Theorem: ¬¬¬EMPTY TM is recognizable Theorem: ¬¬¬EMPTY TM is recognizable Proof: Corollary: EMPTY is unrecognizable M’(M) := TM For all pairs of positive integers (i, t), Proof: If ¬¬¬EMPTY TM and EMPTY TM recognizable, Let x be the ith string in lex order. that would imply EMPTY is decidable Determine if M(x) accepts within t steps TM If yes then accept . L(M) ≠≠≠ ∅ if and only if M’ halts and accepts M One can often show that a language L Mapping Reductions is undecidable by showing that if L is f : Σ* →→→ Σ* is a computable function if there is decidable, then so is A a Turing machine M that halts with just f(w) TM written on its tape, for every input w.
Recommended publications
  • Mathematical Foundations of CS Dr. S. Rodger Section: Decidability (Handout)
    CPS 140 - Mathematical Foundations of CS Dr. S. Rodger Section: Decidability (handout) Read Section 12.1. Computability A function f with domain D is computable if there exists some TM M such that M computes f for all values in its domain. Decidability A problem is decidable if there exists a TM that can answer yes or no to every statement in the domain of the problem. The Halting Problem Domain: set of all TMs and all strings w. Question: Given coding of M and w, does M halt on w? (yes or no) Theorem The halting problem is undecidable. Proof: (by contradiction) • Assume there is a TM H (or algorithm) that solves this problem. TM H has 2 final states, qy represents yes and qn represents no. TM H has input the coding of TM M (denoted wM ) and input string w and ends in state qy (yes) if M halts on w and ends in state qn (no) if M doesn’t halt on w. (yes) halts in qy if M halts on w H(wM ;w)= 0 (no) halts in qn if M doesn thaltonw TM H always halts in a final state. Construct TM H’ from H such that H’ halts if H ends in state qn and H’ doesn’t halt if H ends in state qy. 0 0 halts if M doesn thaltonw H (wM ;w)= doesn0t halt if M halts on w 1 Construct TM Hˆ from H’ such that Hˆ makes a copy of wM and then behaves like H’. (simulates TM M on the input string that is the encoding of TM M, applies Mw to Mw).
    [Show full text]
  • Self-Referential Basis of Undecidable Dynamics: from the Liar Paradox and the Halting Problem to the Edge of Chaos
    Self-referential basis of undecidable dynamics: from The Liar Paradox and The Halting Problem to The Edge of Chaos Mikhail Prokopenko1, Michael Harre´1, Joseph Lizier1, Fabio Boschetti2, Pavlos Peppas3;4, Stuart Kauffman5 1Centre for Complex Systems, Faculty of Engineering and IT The University of Sydney, NSW 2006, Australia 2CSIRO Oceans and Atmosphere, Floreat, WA 6014, Australia 3Department of Business Administration, University of Patras, Patras 265 00, Greece 4University of Pennsylvania, Philadelphia, PA 19104, USA 5University of Pennsylvania, USA [email protected] Abstract In this paper we explore several fundamental relations between formal systems, algorithms, and dynamical sys- tems, focussing on the roles of undecidability, universality, diagonalization, and self-reference in each of these com- putational frameworks. Some of these interconnections are well-known, while some are clarified in this study as a result of a fine-grained comparison between recursive formal systems, Turing machines, and Cellular Automata (CAs). In particular, we elaborate on the diagonalization argument applied to distributed computation carried out by CAs, illustrating the key elements of Godel’s¨ proof for CAs. The comparative analysis emphasizes three factors which underlie the capacity to generate undecidable dynamics within the examined computational frameworks: (i) the program-data duality; (ii) the potential to access an infinite computational medium; and (iii) the ability to im- plement negation. The considered adaptations of Godel’s¨ proof distinguish between computational universality and undecidability, and show how the diagonalization argument exploits, on several levels, the self-referential basis of undecidability. 1 Introduction It is well-known that there are deep connections between dynamical systems, algorithms, and formal systems.
    [Show full text]
  • Notes on Unprovable Statements
    Stanford University | CS154: Automata and Complexity Handout 4 Luca Trevisan and Ryan Williams 2/9/2012 Notes on Unprovable Statements We prove that in any \interesting" formalization of mathematics: • There are true statements that cannot be proved. • The consistency of the formalism cannot be proved within the system. • The problem of checking whether a given statement has a proof is undecidable. The first part and second parts were proved by G¨odelin 1931, the third part was proved by Church and Turing in 1936. The Church-Turing result also gives a different way of proving G¨odel'sresults, and we will present these proofs instead of G¨odel'soriginal ones. By \formalization of mathematics" we mean the description of a formal language to write mathematical statements, a precise definition of what it means for a statement to be true, and a precise definition of what is a valid proof for a given statement. A formal system is consistent, or sound, if no false statement has a valid proof. We will only consider consistent formal systems. A formal system is complete if every true statement has a valid proof; we will argue that no interesting formal system can be consistent and complete. We say that a (consistent) formalization of mathematics is \interesting" if it has the following properties: 1. Mathematical statements that can be precisely described in English should be expressible in the system. In particular, we will assume that, given a Turing machine M and an input w, it is possible to construct a statement SM;w in the system that means \the Turing machine M accepts the input w".
    [Show full text]
  • Certified Undecidability of Intuitionistic Linear Logic Via Binary Stack Machines and Minsky Machines Yannick Forster, Dominique Larchey-Wendling
    Certified Undecidability of Intuitionistic Linear Logic via Binary Stack Machines and Minsky Machines Yannick Forster, Dominique Larchey-Wendling To cite this version: Yannick Forster, Dominique Larchey-Wendling. Certified Undecidability of Intuitionistic Linear Logic via Binary Stack Machines and Minsky Machines. The 8th ACM SIGPLAN International Con- ference on Certified Programs and Proofs, CPP 2019, Jan 2019, Cascais, Portugal. pp.104-117, 10.1145/3293880.3294096. hal-02333390 HAL Id: hal-02333390 https://hal.archives-ouvertes.fr/hal-02333390 Submitted on 9 Nov 2020 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. Certified Undecidability of Intuitionistic Linear Logic via Binary Stack Machines and Minsky Machines Yannick Forster Dominique Larchey-Wendling Saarland University Université de Lorraine, CNRS, LORIA Saarbrücken, Germany Vandœuvre-lès-Nancy, France [email protected] [email protected] Abstract machines (BSM), Minsky machines (MM) and (elementary) We formally prove the undecidability of entailment in intu- intuitionistic linear logic (both eILL and ILL): itionistic linear logic in Coq. We reduce the Post correspond- PCP ⪯ BPCP ⪯ iBPCP ⪯ BSM ⪯ MM ⪯ eILL ⪯ ILL ence problem (PCP) via binary stack machines and Minsky machines to intuitionistic linear logic.
    [Show full text]
  • Introduction to the Theory of Computation Computability, Complexity, and the Lambda Calculus Some Notes for CIS262
    Introduction to the Theory of Computation Computability, Complexity, And the Lambda Calculus Some Notes for CIS262 Jean Gallier and Jocelyn Quaintance Department of Computer and Information Science University of Pennsylvania Philadelphia, PA 19104, USA e-mail: [email protected] c Jean Gallier Please, do not reproduce without permission of the author April 28, 2020 2 Contents Contents 3 1 RAM Programs, Turing Machines 7 1.1 Partial Functions and RAM Programs . 10 1.2 Definition of a Turing Machine . 15 1.3 Computations of Turing Machines . 17 1.4 Equivalence of RAM programs And Turing Machines . 20 1.5 Listable Languages and Computable Languages . 21 1.6 A Simple Function Not Known to be Computable . 22 1.7 The Primitive Recursive Functions . 25 1.8 Primitive Recursive Predicates . 33 1.9 The Partial Computable Functions . 35 2 Universal RAM Programs and the Halting Problem 41 2.1 Pairing Functions . 41 2.2 Equivalence of Alphabets . 48 2.3 Coding of RAM Programs; The Halting Problem . 50 2.4 Universal RAM Programs . 54 2.5 Indexing of RAM Programs . 59 2.6 Kleene's T -Predicate . 60 2.7 A Non-Computable Function; Busy Beavers . 62 3 Elementary Recursive Function Theory 67 3.1 Acceptable Indexings . 67 3.2 Undecidable Problems . 70 3.3 Reducibility and Rice's Theorem . 73 3.4 Listable (Recursively Enumerable) Sets . 76 3.5 Reducibility and Complete Sets . 82 4 The Lambda-Calculus 87 4.1 Syntax of the Lambda-Calculus . 89 4.2 β-Reduction and β-Conversion; the Church{Rosser Theorem . 94 4.3 Some Useful Combinators .
    [Show full text]
  • Undecidable Problems: a Sampler (.Pdf)
    UNDECIDABLE PROBLEMS: A SAMPLER BJORN POONEN Abstract. After discussing two senses in which the notion of undecidability is used, we present a survey of undecidable decision problems arising in various branches of mathemat- ics. 1. Introduction The goal of this survey article is to demonstrate that undecidable decision problems arise naturally in many branches of mathematics. The criterion for selection of a problem in this survey is simply that the author finds it entertaining! We do not pretend that our list of undecidable problems is complete in any sense. And some of the problems we consider turn out to be decidable or to have unknown decidability status. For another survey of undecidable problems, see [Dav77]. 2. Two notions of undecidability There are two common settings in which one speaks of undecidability: 1. Independence from axioms: A single statement is called undecidable if neither it nor its negation can be deduced using the rules of logic from the set of axioms being used. (Example: The continuum hypothesis, that there is no cardinal number @0 strictly between @0 and 2 , is undecidable in the ZFC axiom system, assuming that ZFC itself is consistent [G¨od40,Coh63, Coh64].) The first examples of statements independent of a \natural" axiom system were constructed by K. G¨odel[G¨od31]. 2. Decision problem: A family of problems with YES/NO answers is called unde- cidable if there is no algorithm that terminates with the correct answer for every problem in the family. (Example: Hilbert's tenth problem, to decide whether a mul- tivariable polynomial equation with integer coefficients has a solution in integers, is undecidable [Mat70].) Remark 2.1.
    [Show full text]
  • Arxiv:1111.3965V3 [Quant-Ph] 25 Jun 2012 Setting
    Quantum measurement occurrence is undecidable J. Eisert,1 M. P. Muller,¨ 2 and C. Gogolin1 1Qmio Group, Dahlem Center for Complex Quantum Systems, Freie Universitat¨ Berlin, 14195 Berlin, Germany 2Perimeter Institute for Theoretical Physics, 31 Caroline Street North, Waterloo, Ontario N2L 2Y5, Canada In this work, we show that very natural, apparently simple problems in quantum measurement theory can be undecidable even if their classical analogues are decidable. Undecidability hence appears as a genuine quantum property here. Formally, an undecidable problem is a decision problem for which one cannot construct a single algorithm that will always provide a correct answer in finite time. The problem we consider is to determine whether sequentially used identical Stern-Gerlach-type measurement devices, giving rise to a tree of possible outcomes, have outcomes that never occur. Finally, we point out implications for measurement-based quantum computing and studies of quantum many-body models and suggest that a plethora of problems may indeed be undecidable. At the heart of the field of quantum information theory is the insight that the computational complexity of similar tasks in quantum and classical settings may be crucially different. Here we present an extreme example of this phenomenon: an operationally defined problem that is undecidable in the quan- tum setting but decidable in an even slightly more general classical analog. While the early focus in the field was on the assessment of tasks of quantum information processing, it has become increasingly clear that studies in computational complexity are also very fruitful when approaching problems FIG. 1. (Color online) The setting of sequential application of Stern- Gerlach-type devices considered here, gives rise to a tree of possible outside the realm of actual information processing, for exam- outcomes.
    [Show full text]
  • The Gödel Incompleteness Theorems (1931) by the Axiom of Choice
    The G¨odel incompleteness theorems (1931) by the axiom of choice Vasil Penchev, [email protected] Bulgarian Academy of Sciences: Institute of philosophy and Sociology: Dept. of Logic and Philosophy of Science Abstract. Those incompleteness theorems mean the relation of (Peano) arithmetic and (ZFC) set theory, or philosophically, the relation of arithmetical finiteness and actual infinity. The same is managed in the framework of set theory by the axiom of choice (respectively, by the equivalent well-ordering "theorem'). One may discuss that incompleteness form the viewpoint of set theory by the axiom of choice rather than the usual viewpoint meant in the proof of theorems. The logical corollaries from that "nonstandard" viewpoint the relation of set theory and arithmetic are demonstrated. Key words: choice, arithmetic, set theory, well-ordering, information Many efforts address the constructiveness of the proof in the so-called G¨odel first incompleteness theorem (G¨odel, 1931). One should use the axiom of choice in- stead of this and abstract from that the theorem is formulated about statements, which will be replaced by the arbitrary elements of any infinite countable set. Furthermore all four theorems ( G¨odel, 1931; L¨ob, 1955; Rogers, 1967; Jeroslow, 1971) about the so-called metamathematical fixed points induced by the G¨odel incompleteness theorems will be considered jointly and in a generalized way. The strategy is the following: An arbitrary infinite countable set "A" and another set "B" so that their intersection is empty are given. One constitutes their union "C=A[B", which will be an infinite set whatever "B" is.
    [Show full text]
  • Lecture 12: Undecidability
    Lecture 12: Undecidability Instructor: Ketan Mulmuley Scriber: Yuan Li February 17, 2015 1 Hilbert's Question German mathematician David Hilbert proposed the following question as one of the main goals in his program: Can truth be decided? In order to formalize this question, we need to answer • What is truth? • What does it mean to be decided? The first question (about truth) is answered in logic, which is usually different from the answer given by your grandmother. The second question (about decidability) is answered in Theory of Computation. At the time of Hilbert, there is no notion of \algorithm" or \Turing machine", he uses the phrase \mechanical procedure" to actually mean algorithm. 2 What is Truth In order to formalize \truth", we need to choose a model including axioms and rules of inference from which all mathematical truths could in principle be proven. There are (at least) two options: set theory or number theory. 1 For example, based on set theory, we can define 0 := fg 1 := f0g = ffgg 2 := f0; 1g = ffg; ffggg n := f0; 1; 2; : : : ; n − 2; n − 1g: Alfred Whitehead and Bertrand Russell have written a book called Principia Mathematica, which attempted to give a set of axioms and inference rules based on set theory and symbolic logic. For different models, there are corresponding operators. For example, +, −, ∗, <, >, =, ::: for number theory, and [, \, =, ::: for set theory. From now on, let us fix the model to be number theory, which we have learned in kindergartens. Let the domain be (N; 0; succ; <; +; ∗), where N is the set of natural num- bers, succ is the successor function.
    [Show full text]
  • PHILOSOPHY PHIL 379 — “Logic II” Winter Term 2016 Course Outline
    FACULTY OF ARTS DEPARTMENT OF PHILOSOPHY PHIL 379 — “Logic II” Winter Term 2016 Course Outline Lectures: TuTh 12:30–13:45, Professional Faculties 118 Instructor: Richard Zach Oce: Social Sciences 1248A Email: [email protected] Phone: (403) 220–3170 Oce Hours: Tu 2–3, Th 11–12, or by appointment Course Description Formal logic has many applications both within philosophy and outside (especially in math- ematics, computer science, and linguistics). This second course will introduce you to the concepts, results, and methods of formal logic necessary to understand and appreciate these applications as well as the limitations of formal logic. It will be mathematical in that you will be required to master abstract formal concepts and to prove theorems about logic (not just in logic the way you did in Phil 279); but it does not presuppose any (advanced) knowledge of mathematics. We will start from the basics. We will begin by studying some basic formal concepts: sets, relations, and functions, and the sizes of infinite sets. We will then consider the language, semantics, and proof theory of first-order logic (FOL), and ways in which we can use first-order logic to formalize facts and reasoning abouts some domains of interest to philosophers, computer scientists, and logicians. In the second part of the course, we will begin to investigate the meta-theory of first-order logic. We will concentrate on a few central results: the completeness theorem, which re- lates the proof theory and semantics of first-order logic, and the compactness theorem and Löwenheim-Skolem theorems, which concern the existence and size of first-order structures.
    [Show full text]
  • Computability and Undecidability
    A talk given at Huawei Company (Oct. 31, 2019) and Shenzhen Univ. (Nov. 28, 2019) Computability and Undecidability Zhi-Wei Sun Nanjing University Nanjing 210093, P. R. China [email protected] http://math.nju.edu.cn/∼zwsun Nov. 28, 2019 Abstract In this talk we introduce the theory of computability and the undecidability results on Hilbert's Tenth Problem. We will also mention some algorithms concerning primes. 2 / 39 Part I. The Theory of Computability 3 / 39 Primitive recursive functions Let N = f0; 1; 2;:::g and call each n 2 N a natural number. Three Basic Functions: Zero Function: O(x) = 0 (for all x 2 N). Successor Function: S(x) = x + 1. Projection Function: Ink (x1;:::; xn) = xk (1 6 k 6 n) Composition: f (x1;:::; xn) = g(h1(x1;:::; xn);:::; hm(x1;:::; xn)) Primitive Recursion: f (x1;:::; xn; 0) =g(x1;:::; xn); f (x1;:::; xn; y + 1) =h(x1;:::; xn; y; f (x1;:::; xn; y)) Primitive recursive functions are the basic functions and those obtained from the basic functions by applying composition and primitive recursion a finite number of times. 4 / 39 Acknermann's function It is easy to see that all primitive recursive functions are computable by our intuition. Skolem's Claim (1924): All intuitively computable number-theoretic functions are primitive recursive functions. In 1928 Ackermann showed that the following Ackermann function A(m; n) is computable but not primitively recursive. A(0; n) =n + 1; A(m + 1; 0) =A(m; 1) A(m + 1; n + 1) =A(m; A(m + 1; n)): For example, A(1; 2) =A(0; A(1; 1)) = A(0; A(0; A(1; 0))) =A(0; A(0; A(0; 1))) = A(0; A(0; 2)) =A(0; 3) = 4: 5 / 39 Partial recursive functions µ-operator: f (x1;:::; xn) = µy(g(x1;:::; xn; y) = 0) means that f (x1;:::; xn) is the least natural number y such that g(x1;:::; xn; y) = 0.
    [Show full text]
  • From Hilbert to Turing and Beyond
    From Hilbert to Turing and beyond ... Leopoldo Bertossi Carleton University School of Computer Science Ottawa, Canada 2 An Old Problem Revisited yes? X^2 + 2XY^3 - 4Y^5Z -3 = 0 no? solution in Z? yes X^2 + Y^2 -2 = 0 X^2 + 1 =0 no Example: Hilbert's 10th problem (1900): Is there a general me- chanical procedure to decide if an arbitrary diophantine equation has integer roots? 3 David Hilbert (1862 - 1943) It was an open problem to Hilbert's time 4 5 6 Hilbert does not use the word \algorithm", but procedure (Ver- fahren) with the usual requirements He does use explicitly \decision" (Entscheidung) There had been \algorithms" since long before, e.g. for the gcd Even decision algorithms, e.g. deciding if a number is prime However, the term comes from the name of the Persian sci- entist and mathematician Abdullah Muhammad bin Musa al- Khwarizmi (9th century) In the 12th century one of his books was translated into Latin, where his name was rendered in Latin as \Algorithmi" His treatise \al-Kitab al-mukhtasar ¯ hisab al-jabr wal-muqabala" was translated into Latin in the 12th century as \Algebra et Al- mucabal" (the origin of the term algebra) 7 And Even More Hilbert ... In the context of his far reaching program on foundations of mathematics, Hilbert identi¯es the following as crucial: Das Entscheidungsproblem: (The Decision Problem) Determine if the set of all the formulas of ¯rst-order logic that are universally valid (tautological) is decidable or not 8x(P (x) ! P (c)) and (P (c) ! 9xP (x)) are valid (always true) 8x9y(Q(x) ^ P (x; y)) is not (it is false in some structures) Explicitly formulated in the 20's in the the context of the \engere FunktionenkalkÄul"(the narrower function calculus) Hilbert, D.
    [Show full text]