Lógica

La axiomatizacion de la geometria euclidea llevada a cabo por David Hilbert (1862-1943) en su monografia Fundamentos de la geometria (1899) es considerada no solo una de sus contribuciones mas importantes a la matematica moderna, sino tambien un hito fundamental en la concepcion abstracta del metodo axiomatico. Hilbert presento alli un sistema axiomatico formal para la geometria euclidea elemental, a traves del cual era posible construir esta teoria matematica de un modo riguroso y sistematico. Dicha presentacion axiomatica de la geometria trajo asi aparejada una nueva manera de entender la...

En esta segunda edición, existen apéndices especiales para temas que antes se hallaban tratados sólo superficialmente. Algunos temas, tales como operaciones con series de potencias, han sido desarrollados con más detalle en el texto y sobre los mismos hay ahora más ejercicios. Se presentan alrededor de 160 problemas nuevos, muchos de los cuales están, en cuanto a dificultad, en un término medio entre los pocos ejercicios de rutina del comienzo de cada capítulo y los más difíciles que aparecen más adelante.

When, at the age of 39, Pere Menal met his untimely death in a traffic accident, he had already held the Chair of Algebra at the Autonomous University of Barcelona, served as an editor of the journal Communications in Algebra, had directed six PhD theses, and had written some 40 papers on ring theory, many of them in collaboration with ring theorists from many parts of the world.

Hay unos números en mi café es una serie que pretende hacer fácil lo difícil. Acercarnos a conceptos matemáticos complejos de un modo sencillo y didáctico con múltiples ejemplos, ilustraciones y un lenguaje apto y comprensible para todos los públicos. Francisco Salas Molina aborda en este tercer libro de la serie Turing y el lenguaje de las máquinas. A través de la desafiante pregunta ¿pueden pensar las máquinas?, el libro nos lleva de viaje desde la máquina diferencial de Charles Babbage, hasta la máquina de análisis criptográfico 'Bombe' creada por Alan Turing para descifrar ...