Elementos de la Lógica

Las matemáticas no son sólo una maravillosa herramienta lógica, con una espléndida vida propia condensada en teorías, axiomas, teoremas o proposiciones, o el mejor instrumento creado por los humanos para describir los fenómenos naturales. Son, asimismo, un inmenso universo en el que se pueden llevar a cabo apasionantes aventuras intelectuales, o, si se prefiere, practicar juegos extraordinariamente divertidos y de muy variada dificultad. En este territorio se mueve Ian Stewart, el más prestigioso divulgador de las matemáticas, que nos enfrentará en este libro a retos apasionantes. La ...

Este libro es una aproximación intuitiva y rigurosa a los procedimientos que ofrece la Geoestadística Lineal para realizar estimaciones en contextos espaciales. Contiene cuatro partes bien diferenciadas: en la primera se ponen de manifiesto las consecuencias de utilizar los procedimientos inferenciales clásicos con observaciones georreferenciadas; la segunda se dedica a la captación de la estructura de dependencia espacial del fenómeno regionalizado objeto de estudio a través de covariogramas y/o semivariogramas; la tercera estudia los diferentes procedimientos de estimación krigeada...

Ante la dificultad que ofrece inicialmente el abordaje de la geometría euclidiana como una teoría axiomática, muchas veces se opta por renunciar a esta forma de presentación, reduciendo los cursos a una exposición expedita de los axiomas y a un listado de los teoremas centrales, en la búsqueda de obtener resultados rápidos que permitan llegar prontamente a la solución de problemas. Sin embargo, de este modo se deja de proveer al estudiante de las herramientas suficientes para poder acceder al estudio de la teoría, a la comprensión de las argumentaciones y a la obtención...

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.