Geometric modeling in computer

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.

Este texto es una sencilla conversación del autor con sus lectores. No es un trabajo de erudición ni de investigación. Muchos temas de la colección son originales; muchos otros no lo son. Incluso podemos decir más: no son pocos los que seguirán figurando en las colecciones que se publiquen en el futuro.

La estadística es la ciencia que se ocupa del estudio y la aplicación del conjunto de métodos necesarios para recoger, clasificar, representar y resumir los datos de un experimento aleatorio, así como para la realización de inferencias a partir del análisis de estos datos. Proporciona los procedimientos para evaluar la conformidad de la información empírica con los modelos teóricos propuestos que intentan explicar la realidad. En la actualidad la estadística está experimentando un importante avance, fruto de la disponibilidad de medios informáticos cada vez más avanzados que...

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 ...