Inicio > Humanidades > Filosofía > Filosofía: lógica > Computability
Computability

Computability

Richard L. Epstein / Walter A Carnielli

54,46 €
IVA incluido
Disponible
Editorial:
ADVANCED REASONING FORUM
Año de edición:
2008
Materia
Filosofía: lógica
ISBN:
9780981550725
54,46 €
IVA incluido
Disponible

Selecciona una librería:

  • Librería Samer Atenea
  • Librería Aciertas (Toledo)
  • Kálamo Books
  • Librería Perelló (Valencia)
  • Librería Elías (Asturias)
  • Donde los libros
  • Librería Kolima (Madrid)
  • Librería Proteo (Málaga)
Sobre IBD

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'. 3

Artículos relacionados

  • Argument, Sex and Logic
    Dov Gabbay / Gadi Rozenberg / Lydia Rivlin
    This book is intended for the formal argumentation community and for the sex offender therapist community.Both communities use logic.The message of this book is that the argumentation logic models are applicable for modelling and improving the practices of the sex offender therapist community and in parallel stimulate new logic models of argumentationDov Gabbay is a Professor a...
    Disponible

    30,70 €

  • Experience and the Ultimate Structure of Reality on Husserl’s Pursuit of Truth
    Claire Hill / Claire Ortiz Hill
    Experience and the Ultimate Structure of Reality, Husserl’s Pursuit of Truth follows the evolution of Edmund Husserl’s thought through those crucial years at the end of the nineteenth century and the beginning of the twentieth century when reason compelled the young doctor of mathematics to forsake empirical psychology and to strive to find the theories respecting the central t...
    Disponible

    24,14 €

  • Memorabilia (Royal Collector’s Edition) (Case Laminate Hardcover with Jacket)
    Henry Graham Dakyns / Xenophon
    The lengthiest and most famous of Xenophon’s Socratic writings, the Memorabilia is a defense of Socrates, offering edifying examples of Socrates’ conversations and activities. Xenophon argues that Socrates was innocent of the formal charges against him: failure to recognize the gods of Athens, introduction of new gods, and corruption of youth. He demonstrates through recounted ...
    Disponible

    47,81 €

  • Logic
    Bernard Bosanquet
    ...
    Disponible

    62,25 €

  • Logic
    Bernard Bosanquet
    ...
    Disponible

    48,20 €

  • Logic and Information
    Edwin Mares
    ...
    Disponible

    27,45 €