Rechercher
Se connecter
  • Accueil

  • Catalogue

  • Livres audio

  • Livres numériques

  • Magazines

  • Pour les enfants

  • Meilleures listes

  • Aide

  • Télécharger l'application

  • Utiliser un code promotionnel

  • Utiliser une carte cadeau

  • Essayer gratuitement
  • Se connecter
  • Langue

    🇧🇪 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

    🇫🇮 Suomi

    • FI
    • EN

    🇸🇪 Sverige

    • SE
    • EN
  1. Livres
  2. Biologie
  3. Physique et chimie

Lecture gratuite illimitée pendant 30 jours

Sans engagement

Essayer gratuitement
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".

  • Publication : 24/10/2018

  • Langue : anglais

  • Édition : Advanced Reasoning Forum

  • ISBN : 9780981550732


Auteurs :

  • Richard L Epstein
  • Walter A Carnielli

Format :

  • Livre numérique

Langue :

anglais

Catalogue :

  • Biologie
  • Physique et chimie
  • Sciences sociales
  • Philosophie

Plus de Richard L Epstein

Passer la liste
  1. Time and Space in Formal Logic

    Richard L. Epstein

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

    Alex Raffi, Richard L Epstein

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

    Alex Raffi, Richard L Epstein

    book
  4. The Pocket Guide to Critical Thinking : Fifth Edition

    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. Prescriptive Reasoning

    Richard L Epstein

    book
  9. The Fundamentals of Argument Analysis

    Richard L Epstein

    book
  10. Reasoning in Science and Mathematics

    Richard L Epstein

    book
  11. Reasoning and Formal Logic

    Richard L Epstein

    book
  12. Predicate Logic

    Richard L Epstein

    book

Aide et contact


À propos

  • Notre histoire
  • Offres d'emploi
  • Presse
  • Accessibilité
  • Nextory One
  • Rejoignez-nous
  • Service aux actionnaires
  • Instagram
  • Facebook

Explorer

  • Catégories
  • Livres audio
  • Livres numériques
  • Magazines
  • Pour les enfants
  • Meilleures listes

Catégories populaires

  • Polar & Thriller
  • Biographies et reportages
  • Littérature générale
  • Feel Good & Romance
  • Développement personnel
  • Jeunesse
  • Histoires vraies
  • Bien-être & relaxation

Nextory

Copyright © 2025 Nextory AB

Politique de confidentialité · Conditions d'utilisation ·
Excellent4.3 sur 5