Problemas filosóficos y errores matemáticos

He estado leyendo este fin de semana el libro 101 problemas de filosofía.

En el libro se presentan de forma amenas problemas filosóficos que tratan sobre la verdad, la relación entre la materia y el espíritu, la relación entre el espacio y el tiempo, la causalidad y el libre albedrío.

Aparte de los problemas filosóficos en el libro aparecen errores matemáticos como los dos que cito a continuación. El primero es relativo al teorema de incompletitud de Gödel, del que dice en la página 210,

Incluso Kurt Gödel, al proseguir los infructuosos intentos de Bertrand Russell por edificar la aritmética sobre cimientos firmes, fue incapaz de probarlo todo y, en su lugar, estableció la “Teoría de la incompletitud”, que demuestra que no se puede demostrar todo.

el segundo error es sobre los números complejos, de los que dice en la página 254

Los matemáticos creen que dos ejemplos contradictorios hacen precisamente esto. Creen que un número negativo multiplicado por otro número negativo producirá un número positivo. De hecho creen que esto es verdad por definición. Pero, al mismo tiempo, permiten que los números negativos tengan raíces cuadradas, lo que significa, esencialmente, que otro negativo se multiplique por sí mismo y que siga siendo negativo.

A pesar se dus errores matemáticos, os recomiendo la lectura del libro de los 101 problemas de filosofía.

La profesión de matemático

Ordenando la mesa de trabajo me he encontrado una ficha en la que anoté, hace más de 30 años, los aspectos de la profesión de matemático que describe Georges Glaeser en su libro Mathématiques pour l’élève professeur (Hermann, 1971). Dichos aspectos los describe en la página 17 donde dice

Hacer matemáticas es una actividad compleja, que involucra aptitudes variadas. Un matemático se mantiene en el ejercicio de su profesión cuando se entrega a trabajos tan dispares como:

  • Plantearse problemas y resolverlos. Idear teoremas y demostrarlos.
  • Resolver problemas de los que no ha concebido el enunciado personalmente.
  • Participar en la circulación de la información matemática tomando parte activa en seminarios consagrados a trabajos recientes. Redactar en forma sintética resultados obtenidos por otros investigadores que trabajan en temas cercanos.
  • Estudiar teorías clásicas o acabadas. Preparar exposiciones magistrales y redactar libros. Enseñar.
  • Aplicar técnicas matemáticas (cálculo, programación, métodos gráficos, estadísticos, etc.).
  • Adaptar métodos abstractos a la solución de problemas prácticos (ciencias aplicadas).

En realidad, la mayoría de los matemáticos sólo conocen algunas de las actividades citadas y tienen tendencia a ignorar, desatender o subestimar las otras.

Premios HVC de verificación a la comunidad SMT (Satisfiability Modulo Theories)

Los premios HVC (Haifa Verification Conference) se conceden a los trabajos más prometedores en la campos de verificación y prueba de software y hardware. Este año los premios HVC 2010 le han sido otorgados a los promotores de la comunidad de satisfacibilidad módulo teorías (en inglés, Satisfiability Modulo Theories (SMT) personalisados en

Read More “Premios HVC de verificación a la comunidad SMT (Satisfiability Modulo Theories)”

Formal Power Series

Acaba de publicarse un nuevo artículo de razonamiento formalizado. El artículo es Formal Power Series publicado por Amine Chaieb en el Journal of Automated Reasoning.

El resumen que hace el autor del artículo es el siguiente: We present a formalization of the topological ring of formal power series in Isabelle/HOL. We also formalize formal derivatives, division, radicals, composition and reverses. As an application, we show how formal elementary and hyper-geometric series yield elegant proofs for some combinatorial identities. We easily derive a basic theory of polynomials. Then, using a generic formalization of the fraction field of an integral domain, we obtain formal Laurent series and rational functions for free.

La formalización completa se encuentra en Theory Formal Power Series