Søk
Logg inn
  • Hjem

  • Kategorier

  • Lydbøker

  • E-bøker

  • For barn

  • Topplister

  • Hjelp

  • Last ned app

  • Bruk en kampanjekode

  • Løs inn gavekort

  • Prøv gratis nå
  • Logg inn
  • Språk

    🇳🇴 Norge

    • NO
    • EN

    🇧🇪 Belgique

    • FR
    • EN

    🇩🇰 Danmark

    • DK
    • EN

    🇩🇪 Deutschland

    • DE
    • EN

    🇪🇸 España

    • ES
    • EN

    🇫🇷 France

    • FR
    • EN

    🇳🇱 Nederland

    • NL
    • EN

    🇦🇹 Österreich

    • AT
    • EN

    🇨🇭 Schweiz

    • DE
    • EN

    🇫🇮 Suomi

    • FI
    • EN

    🇸🇪 Sverige

    • SE
    • EN
  1. Bøker
  2. Naturvitenskap og teknikk
  3. Naturvitenskap

Les og lytt gratis i 42 dager!

Si opp abonnementet når som helst

Prøv gratis nå
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".

  • Utgitt: 24.10.2018

  • Språk: engelsk

  • Forlag: Advanced Reasoning Forum

  • ISBN: 9780981550732


Forfattere:

  • Richard L Epstein
  • Walter A Carnielli

Format:

  • E-bok

Språk:

engelsk

Kategorier:

  • Naturvitenskap og teknikk
  • Naturvitenskap
  • Samfunn og debatt
  • Filosofi og idéhistorie

Mer av Richard L Epstein

Hopp over listen
  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 : A Practical Guide

    Richard L. Epstein

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

    Richard L Epstein

    book
  7. Conventional Gestures : Meaning and Methodology

    Richard L Epstein, Alex Raffi

    book
  8. Reasoning and Formal Logic

    Richard L Epstein

    book
  9. Propositional Logics 3rd edition

    Richard L Epstein

    book
  10. Cause and Effect, Conditionals, Explanations

    Richard L Epstein

    book
  11. Prescriptive Reasoning

    Richard L Epstein

    book
  12. The Fundamentals of Argument Analysis

    Richard L Epstein

    book

Hjelp og kontakt


Om oss

  • Historien vår
  • Karriere
  • Presse
  • Tilgjengelighet
  • Bli partner
  • Investorkontakt
  • Instagram
  • Facebook

Utforsk

  • Kategorier
  • Lydbøker
  • E-bøker
  • Magasiner
  • For barn
  • Topplister

Populære kategorier

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

Nextory

Copyright © 2025 Nextory AB

Personvernerklæring · Vilkår ·
Utmerket4.3 av 5