- - ¡IMPORTANTE! LEER -
- Contacto
- Quiénes Somos
- Cómo Comprar
-
Productos
- Matemáticas Y Ciencia
- Literatura Y Estudios Literarios
- Salud Y Desarrollo Personal
- Biografia E Historias Reales
- Humanidades
- Sociedad Y Ciencias Sociales
-
Ficción Y Temas Afines
- Género Policíaco Y De Misterio
- Ficción Histórica
- Ficción Moderna Y Contemporánea
- Narrativa Romántica
- Obra De Misterio Y Suspenso
- Ficción: Características Especiales
- Novelas Gráficas
- Ficción Religiosa Y Espiritual
- Mitos Y Leyendas Narrados Como Ficción
- Ficción Erótica
- Fantasía
- Ciencia Ficción
- Cuentos De Terror Y Fantasmas
- Ficción Clásica
- Aventura
- Promo Reyes
-
Infantiles, Juveniles Y Didácticos
- Ficción E Historias Reales Infantiles Y Juveniles
- Cuestiones Personales Y Sociales
- Libros Ilustrados, Libros De Actividades Y Material De Aprendizaje Temprano
- Poesía, Antologías, Anuarios Para Niños Y Adolescentes
- Infantil Y Juvenil: No Ficción General
- Material Didáctico
- Material De Consulta Infantil Y Juvenil
- Mes Carbono
- Medicina
- Derecho
- Economía, Finanzas, Empresa Y Gestión
- Ofertas Infantiles Y Juveniles
- Oferta Carnaval
- Oferta Febrero Guias De Viaje
- Artes
- Lenguas
- Estilo De Vida, Deporte Y Ocio
- Computación E Informática
- Tecnología, Ingeniería, Agricultura
- Infancias 2X1
- Ciencias De La Tierra, Geografía, Medioambiente, Planificación
- Oferta Febrero 50%
- Enseñanza De La Lengua Inglesa (Elt)(*)
- Consulta, Información Y Materias Interdisciplinarias
Carnielli, EPSTEIN
Computability
Computable Functions, Logic, and the Foundations of Mathematics
Advanced Reasoning Forum
Impresión bajo demanda. Llega en 14 dias.
Páginas: 384
Formato:
Peso: 0.582 kgs.
ISBN: 978-1-938421-48-8
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 third edition contains the timeline "Computability and Undecidability" as well as the essay "On Mathematics".
Computability
Carnielli, EPSTEIN
Computability
Computable Functions, Logic, and the Foundations of Mathematics
Advanced Reasoning Forum
Impresión bajo demanda. Llega en 14 dias.
Páginas: 384
Formato:
Peso: 0.582 kgs.
ISBN: 978-1-938421-48-8
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 third edition contains the timeline "Computability and Undecidability" as well as the essay "On Mathematics".