Buscar
Iniciar sesión
  • Página principal

  • Categorías

  • Audiolibros

  • E-books

  • Revistas

  • Para los niños

  • Listas principales

  • Ayuda

  • Descargar aplicación

  • Canjear código promocional

  • Canjear tarjeta regalo

  • Pruébalo gratis ahora
  • Iniciar sesión
  • Idioma

    🇪🇸 España

    • ES
    • EN

    🇧🇪 Belgique

    • FR
    • EN

    🇩🇰 Danmark

    • DK
    • EN

    🇩🇪 Deutschland

    • DE
    • EN

    🇫🇷 France

    • FR
    • EN

    🇳🇱 Nederland

    • NL
    • EN

    🇳🇴 Norge

    • NO
    • EN

    🇦🇹 Österreich

    • AT
    • EN

    🇨🇭 Schweiz

    • DE
    • EN

    🇫🇮 Suomi

    • FI
    • EN

    🇸🇪 Sverige

    • SE
    • EN
  1. Libros
  2. Ciencias naturales
  3. Física y química

¡Lee y escucha gratis durante 14 días!

Cancela cuando quieras

Pruébalo gratis ahora
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".

  • Fecha de publicación: 24/10/2018

  • Idioma: Inglés

  • Editorial: Advanced Reasoning Forum

  • ISBN: 9780981550732


Autores/as:

  • Richard L Epstein
  • Walter A Carnielli

Formato:

  • E-book

Idioma:

Inglés

Categorías:

  • Ciencias naturales
  • Física y química
  • Cultura y sociedad
  • Filosofía

Más de Richard L Epstein

Omitir la lista
  1. Guía Breve para el Pensamiento Crítico

    Richard L. Epstein

    book
  2. Guía Breve para el Pensamiento Crítico

    Richard L. Epstein

    book
  3. Time and Space in Formal Logic

    Richard L. Epstein

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

    Alex Raffi, Richard L Epstein

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

    Alex Raffi, Richard L Epstein

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

    Richard L Epstein

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

    Richard L Epstein

    book
  8. How to Reason. A Practical Guide

    Richard L. Epstein

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

    Richard L Epstein

    book
  10. How to Reason : A Practical Guide

    Richard L. Epstein

    book
  11. Conventional Gestures : Meaning and Methodology

    Richard L Epstein, Alex Raffi

    book
  12. Reasoning in Science and Mathematics

    Richard L Epstein

    book

Ayuda y soporte


Acerca de Nextory

  • Nuestra historia
  • Trabaja con nosotros
  • Prensa
  • Accesibilidad
  • Colabora con nosotros
  • Relaciones con los inversores
  • Instagram
  • Facebook

Explorar

  • Categorías
  • Audiolibros
  • E-books
  • Revistas
  • Para niños
  • Listas principales

Categorías populares

  • Crimen
  • Biografías y reportajes
  • Ficción
  • Romántica
  • Crecimiento personal
  • Infantil
  • Hechos reales
  • Sueño y relajación

Nextory

Copyright © 2025 Nextory AB

Política de privacidad · Términos ·
Excelente4.3 sobre 5