Lógica

Este libro es una brillante exposicion de los conceptos y metodos fundamentales de todo el ambito de las matematicas. Albert Einstein. Desde su primera edicion en 1941, este libro ha servido a los lectores para lograr un contacto real con las matematicas vivas. Esta dirigido a estudiantes y especialistas, filosofos e ingenieros, gente de todas las areas del conocimiento, con una formacion a nivel bachillerato y disposicion para seguir a los autores en esta aventura intelectual. Ian Stewart preparo un nuevo capitulo con los avances mas recientes de esta apasionante ciencia.

No utilices en la consola los juegos de Papa Natas, un programador loco dispuesto a que todo el mundo muera bailando la conga. Tendrás que esquivar mil asteroides, ganar una carrera espacial y enfrentarte a las temibles multiplicaciones que te acechará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.

Martin Gardner siempre se definió como un ilusionista "aficionado", pero fue el creador de muchos efectos que otros magos "profesionales" recrean. En sus artículos y libros aparecen con frecuencia sugerentes juegos de magia, y el término "matemagia", que fusiona las matemáticas con la magia, fue inventado por él. A través de ingeniosos trucos, Gardner despertó el interés por las matemáticas en muchos niños que hoy día son aficionados a ellas e incluso las enseñan y estudian, como los autores de este libro.Este conjunto de artículos supone un atractivo material complementario para ...