Search
Log in
  • Home

  • Categories

  • Audiobooks

  • E-books

  • For kids

  • Top lists

  • Help

  • Download app

  • Use campaign code

  • Redeem gift card

  • Try free now
  • Log in
  • Language

    🇫🇮 Suomi

    • FI
    • EN

    🇧🇪 Belgique

    • FR
    • EN

    🇩🇰 Danmark

    • DK
    • EN

    🇩🇪 Deutschland

    • DE
    • EN

    🇪🇸 España

    • ES
    • EN

    🇫🇷 France

    • FR
    • EN

    🇳🇱 Nederland

    • NL
    • EN

    🇳🇴 Norge

    • NO
    • EN

    🇦🇹 Österreich

    • AT
    • EN

    🇨🇭 Schweiz

    • DE
    • EN

    🇸🇪 Sverige

    • SE
    • EN
  1. Books
  2. Natural sciences
  3. Physics and chemistry

Read and listen for free for 42 days!

Cancel anytime

Try free now
0.0(0)

Computability : Computable Functions, Logic, and the Foundations of Mathematics

Now in a new edition!--the classic presentation of the theory of computable functions in the context of the foundations of mathematics. Part I motivates the study of computability with discussions and readings about the crisis in the foundations of mathematics in the early 20th century while presenting the basic ideas of whole number, function, proof, and real number. Part II starts with readings from Turing and Post leading to the formal theory of recursive functions. Part III presents sufficient formal logic to give a full development of Gödel's incompleteness theorems. Part IV considers the significance of the technical work with a discussion of Church's Thesis and readings on the foundations of mathematics. This new edition contains the timeline "Computability and Undecidability" as well as the essay "On mathematics".


Authors:

  • Richard L Epstein
  • Walter A Carnielli

Format:

  • E-book

Language:

English

Categories:

  • Natural sciences
  • Physics and chemistry
  • Society and Social Sciences
  • Philosophy

More by Richard L Epstein

Skip the list
  1. The Pocket Guide to Critical Thinking : Fifth Edition

    Richard L Epstein

    book
  2. Time and Space in Formal Logic

    Richard L. Epstein

    book
  3. American Gestures : Say it with your hands!

    Alex Raffi, Richard L Epstein

    book
  4. American Gestures : Say it with your hands!

    Alex Raffi, Richard L Epstein

    book
  5. How to Reason + Reasoning in the Sciences : A Practical Guide

    Richard L Epstein

    book
  6. How to Reason : A Practical Guide

    Richard L. Epstein

    book
  7. Conventional Gestures : Meaning and Methodology

    Richard L Epstein, Alex Raffi

    book
  8. Cause and Effect, Conditionals, Explanations

    Richard L Epstein

    book
  9. Propositional Logics 3rd edition

    Richard L Epstein

    book
  10. Reasoning and Formal Logic

    Richard L Epstein

    book
  11. The Fundamentals of Argument Analysis

    Richard L Epstein

    book
  12. Prescriptive Reasoning

    Richard L Epstein

    book

Others have also read

Skip the list
  1. Taming the algorithm : The right not to be subject to an automated decision in the General Data Protection Regulation

    Paweł Kuch

    book
  2. The Jacquard Machine Analyzed and Explained : With an appendix on the preparation of jacquard cards, and practical hints to learners of jacquard designing

    E. A. Posselt

    book
  3. Impolite Conversations : On Race, Politics, Sex, Money, and Religion

    Cora Daniels, John L. Jackson

    book
  4. The Russian Expedition of 1812

    Carl Von Clausewitz

    book
  5. Online Marketing: 2 Books in 1

    Gerry T. Warner, Joe Wilson Schaefer

    book
  6. Algorithmic and Aesthetic Literacy : Emerging Transdisciplinary Explorations for the Digital Age

    book
  7. Bilingual Education in Primary School : Aspects of Immersion, CLIL, and Bilingual Modules

    book
  8. The Campaign of 1812

    Carl Von Clausewitz

    book
  9. The Covenant of Salt

    H. Clay Trumbull

    book
  10. Leading Product Development: The Senior Manager's Guide to Creating and Shaping

    Steven C. Wheelwright

    book
  11. An Introduction to Machine Drawing and Design

    David Allan Low

    book
  12. The Philosophy of Mathematics

    Auguste Comte

    book

Help and contact


About us

  • Our story
  • Career
  • Press
  • Accessibility
  • Partner with us
  • Investor relations
  • Instagram
  • Facebook

Explore

  • Categories
  • Audiobooks
  • E-books
  • Magazines
  • For kids
  • Top lists

Popular categories

  • Krim
  • Biografier og essays
  • Romaner
  • Feelgood og romantikk
  • Personlig utvikling
  • Barnebøker
  • Sanne historier
  • Søvn og avslapning

Nextory

Copyright © 2025 Nextory AB

Privacy Policy · Terms ·
Excellent4.3 out of 5