Colecciones Digitales

Tu revista literaria de novedades y clásicos [ EPUB, PDF, MOBI ]

El teorema de Gödel

Resumen del Libro

Libro El teorema de Gödel

CONTENIDO: El problema de la consistencia - Pruebas absolutas de consistencia - La codificación sistemática de la lógica formal - Un ejemplo de una prueba absoluta de consistencia - La idea de representación y su empleo en las matemáticas - Las pruebas de Gödel.

Datos sobre el Libro

Cantidad de páginas 152

Autor:

  • Ernest Nagel
  • James R. Newman

Categoría:

Formatos Disponibles:

PDF, EPUB, MOBI

Descargar Ebook

Valoración

Popular

4.1

34 Valoraciones Totales


Libros relacionados de Matemáticas

Nuevos Divertimentos Matemáticos

Libro Nuevos Divertimentos Matemáticos

D. Mariano Mataix Lorda, desde 1.978, ha publicado esta extensísima colección de problemas clásicos de ingenio, curiosidades, biografías,... del mundo matemático. Sobre la colección Mataix; Los dos primeros libros, más breves, comprenden cincuenta enunciados y los demás, un centenar. Cada uno de ellos está numerado para referenciarlo en la segunda parte de cada libro, en donde aparecen las soluciones o comentarios adicionales. No ha sido el objetivo del autor establecer una clasificación temática ni una colección ordenada de los problemas, sino retar con cada enunciado al intento...

Análisis vectorial

Libro Análisis vectorial

Este es un libro que al experto no se le cae de las manos; pero lo más sorprendente es que el estudiante pronto se da cuenta de que se trata de un texto escrito para él y para su provecho.

Perspectivas en estadística e investigación operativa

Libro Perspectivas en estadística e investigación operativa

La presente publicación, con su origen en una serie de conferencias impartidas en la sede de Baeza de la UIA, trata de ofrecer una perspectiva de los problemas que la Estadística y la Investigación Operativa acerca de Teoría de la Información, estadística computacional, redes neuronales, modelizaciones estadísticas y estimación, etc.

Del ábaco a la revolución digital

Libro Del ábaco a la revolución digital

A lo largo de su evolución, las herramientas de cálculo siempre fueron resultado de la tecnología disponible en cada momento y de las formas de numeración de cada cultura. De las cuentas prehistóricas al ábaco romano, y de los algoritmos árabes a las primeras calculadoras, la historia del cálculo lo es en buena parte también de los sistemas de numeración. Al final de esta línea de evolución, se encuentran los ordenadores y la informática, que se desarrollaron con el mismo objetivo: como herramientas cada vez más potentes para realizar cálculos cada vez más complejos.

Últimos Libros



Últimas Búsquedas


Categorías Destacadas