Las Matemticas No Dan MS Que Problemas

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.

El logaritmo nace como respuesta a la imposibilidad de calcular una potencia con un exponente decimal, de forma que las soluciones a estos cálculos exponenciales se encuentran recogidas en las llamadas tablas de logaritmos. Pero, si no se puede realizar el cálculo, ¿cómo se han obtenido esas tablas? Dar respuesta a esta y otras cuestiones es lo que se plantean los autores cuyo trabajo se divide en dos partes: la reelaboración del concepto de logaritmo en la historia y la creación de una tabla propia de logaritmos que pueda servir para iniciar en la investigación a futuros estudiantes...

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.

La lógica, originalmente, es la ciencia formal que estudia las leyes necesarias para la construcción de un razonamiento perfecto. Hoy en día su campo de estudio es mucho más amplio, ya que abarca la ciencia de la computación matemática. Pero primero vamos a tratar la cuestión del razonamiento. Cuando hablamos de razonamiento, debemos tener muy claro que cualquier lógica psicológica son consideraciones irrelevantes sobre el acto de razonar. Lo que importa es la forma del razonamiento. En este libro podrá aprender todo lo necesario para comprender los distintos razonamientos y la...