Artículos relacionados a Computability: Computable Functions, Logic, and the...
Sinopsis
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".
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
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".
"Sobre este título" puede pertenecer a otra edición de este libro.
EUR 50,09
EUR 17,11 gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envíoComprar nuevo
Ver este artículo
EUR 48,34
EUR 5,19 gastos de envío desde Reino Unido a España
Destinos, gastos y plazos de envíoResultados de la búsqueda para Computability: Computable Functions, Logic, and the...
Imagen de archivo
Computability: Computable Functions, Logic, and the Foundations of Mathematics
Publicado por
Advanced Reasoning Forum, 2008
ISBN 10: 098155072X
ISBN 13: 9780981550725
Nuevo
Tapa dura
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9780981550725_new
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Computability Computable Functions, Logic, and the Foundations of Mathematics
Publicado por
Advanced Reasoning Forum, 2008
ISBN 10: 098155072X
ISBN 13: 9780981550725
Nuevo
Tapa dura
Librería: PBShop.store UK, Fairford, GLOS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
HRD. Condición: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. del artículo: L1-9780981550725
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Computability: Computable Functions, Logic, and the Foundations of Mathematics
Publicado por
Advanced Reasoning Forum, 2008
ISBN 10: 098155072X
ISBN 13: 9780981550725
Nuevo
Tapa dura
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: I-9780981550725
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Computability Computable Functions, Logic, and the Foundations of Mathematics
Publicado por
Advanced Reasoning Forum, 2008
ISBN 10: 098155072X
ISBN 13: 9780981550725
Nuevo
Tapa dura
Librería: PBShop.store US, Wood Dale, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
HRD. Condición: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. del artículo: L1-9780981550725
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Computability: Computable Functions, Logic, and the Foundations of Mathematics (Hardback or Cased Book)
Librería: BargainBookStores, Grand Rapids, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Computability: Computable Functions, Logic, and the Foundations of Mathematics (Hardback or Cased Book) 1.57. Nº de ref. del artículo: BBS-9780981550725
Cantidad disponible: 5 disponibles
Imagen del vendedor
Computability : Computable Functions, Logic, and the Foundations of Mathematics
Publicado por
Advanced Reasoning Forum, 2008
ISBN 10: 098155072X
ISBN 13: 9780981550725
Nuevo
Tapa dura
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 5688185-n
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Computability
Publicado por
Advanced Reasoning Forum, US, 2008
ISBN 10: 098155072X
ISBN 13: 9780981550725
Nuevo
Tapa dura
Librería: Rarewaves.com UK, London, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Hardback. Condición: New. Nº de ref. del artículo: LU-9780981550725
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Computability: Computable Functions, Logic, and the Foundations of Mathematics
Publicado por
Advanced Reasoning Forum, 2008
ISBN 10: 098155072X
ISBN 13: 9780981550725
Nuevo
Tapa dura
Librería: Best Price, Torrance, CA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. SUPER FAST SHIPPING. Nº de ref. del artículo: 9780981550725
Cantidad disponible: 2 disponibles
Imagen del vendedor
Computability : Computable Functions, Logic, and the Foundations of Mathematics
Publicado por
Advanced Reasoning Forum, 2008
ISBN 10: 098155072X
ISBN 13: 9780981550725
Nuevo
Tapa dura
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 5688185-n
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Computability: Computable Functions, Logic, and the Foundations of Mathematics
Publicado por
Advanced Reasoning Forum, 2008
ISBN 10: 098155072X
ISBN 13: 9780981550725
Nuevo
Tapa dura
Librería: THE SAINT BOOKSTORE, Southport, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Hardback. Condición: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 790. Nº de ref. del artículo: C9780981550725
Cantidad disponible: Más de 20 disponibles