Geometric modeling in computer

Adrián Paenza, ganador del premio Leelavati al mejor divulgador de matemáticas del mundo y autor de exitosos títulos como Matemagia o ¿Pero esto también es matemática? , nos desafía una vez más a pensar con nuevos problemas de lógica, estrategia, probabilidades e intuición. Como dijo Richard Hamming: «Conocimiento y productividad son como el interés compuesto. Dadas dos personas con -aproximadamente- la misma habilidad, si una de ellas trabaja un diez por ciento más que la otra, la que trabaja más va a terminar por producir más del doble que la otra. Cuanto más sabes, más...

El pensamiento lógico-matemático reúne una serie de aspectos recurrentes que son identificables a lo largo de su historia. Desde los resultados incipientes de la aritmética pitagórica y de la geometría euclídea, hasta los desarrollos modernos de los correspondientes sistemas abstractos de la aritmética de Peano-Gödel y de la geometría de Hilbert, las ciencias deductivas exhiben una tradición de pensamiento sólidamente fundada en el valor epistémico de la prueba clásica. Esta progresión no ha estado exenta de crisis abruptas y convulsas derivadas de la tensión que origina el...

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

This book presents plane geometry following Hilbert's axiomatic system. It is inspired on R. Hartshome's fantastic book Geometry: Euclid and Beyond, and can be considered as a careful exposition of most of chapter II of that book. It must be remarked that non-euclidean geometries, i.e. geometries not satisfying the fifth postulate of Euclid, enter the scene, in a natural way, from the very beginning. The vast majority of plane geometry texts are only concerned with euclidean geometry, loosing the oportunity of not only teaching rigorous reasoning to freshmen, but at the same time exposing...