rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Gödel's incompleteness theorems
  name:
    name part: Smullyan, Raymond M.
    role:
      role term: creator
    role:
      role term: author.
  type of resource: text
  genre: bibliography
  genre: Electronic books.
  origin info:
    place:
      place term: nyu
    date issued: 2020
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: remote
    extent: 1 online resource (160 pages).
  abstract: Kurt Gödel, the greatest logician of our time, startled the world of mathematics in 1931 with his Theorem of Undecidability, which showed that some statements in mathematics are inherently 'undecidable.' His work on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the continuum theory brought him further worldwide fame. In this introductory volume, Raymond Smullyan, himself a well-known logician, guides the reader through the fascinating world of Gödel's incompleteness theorems. The level of presentation is suitable for anyone with a basic acquaintance with mathematical logic. As a clear, concise introduction to a difficult but essential subject, the text will appeal to mathematicians, philosophers, and computer scientists.
  target audience: Specialized.
  target audience: specialized
  note: Raymond M. Smullyan.
  note: Previously issued in print: 1992.
  note: Includes bibliographical references and index.
  subject:
    topic: Gödel's theorem
  subject:
    topic: Théorème de Gödel
  subject:
    topic: Gödel's theorem
  classification: QA9.65
  classification: 511.3
  related item:
    title info:
      title: Oxford logic guides ; 19
  identifier: 9780197560037 (ebook)
  identifier: 0197560032 (ebook)
  identifier: http://proxy.library.tamu.edu/login
  record info:
    record content source: AU@
    record creation date: 200915
    record change date: 20260319183325.7
    record identifier: in00005719647
    language of cataloging:
      language term: eng