Métodos numéricos

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.

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

R no es solamente el programa estadístico de uso general más potente y versátil, además de ser totalmente gratuito, sino que es también el que tiene la mayor variedad y potencia de grá?cos. Los grá?cos son una forma de presentar la información de modo que pueda ser ade- cuadamente interpretada, y tradicionalmente acompaña a otros resultados estadísticos como medidas, tablas, modelos, contrastes, etc. Sin embargo, la evolución moderna de la ciencia estadística ha conducido a una situación en la cual los grá?cos ya no son solamente un complemento que ayuda a ver mejor los...

Amb un ampli sentit de l’humor, els textos que formen aquest llibre aborden temàtiques científiques ben variades: les mentides estadístiques, el caos determinista, la globalització de les comunicacions, els perills de la informàtica, qüestions matemàtiques entorn dels nombres primers… I tot això explicat d’una manera senzilla. L’autor recorre també, amb una amenitat excepcional, a temes propis de la biologia com ara el descobriment de l’ADN, l’ús i abús dels virus, la psicologia en les tècniques de màrqueting o els detectors de mentides. El llibre planteja un debat...