La obra de Łoś presenta un enfoque riguroso del cálculo esencial en la lógica matemática, similar al análisis no-estándar que propuso Robinson.
La función del ideal en el cálculo infinitesimal
por Abraham Robinson · 1966
Ver sugerenciasSinopsis
Robinson, un lógico y matemático de origen alemán, introdujo el análisis no-estándar, una formulación rigurosa de las ideas de Leibnitz sobre los números infinitesimales que había sido abandonada por el análisis de Weierstrass.
Sé el primero en valorar este libro.
Más de Abraham Robinson
Ver autor →Otras obras del mismo autor en el catálogo
Un Examen Crítico de los Fundamentos del Análisis Matemático Moderno
1966
Nonstandard Analysis
1966
Complete Ordered Fields
1966
Filosofía del Cálculo Infinitesimal
1966
Paradojas y Dogma
1966
Fundamentos de la matemática: Problemas de la fundamentación matemática
1966
Mathematical Logic
1969
Metamathematics of First-Order Arithmetic
1971
Model Theory
1971
Análisis no estándar de los números reales
1974
Elements of Nonstandard Analysis
1974
The Foundations of Nonstandard Analysis
1974
Contributions to Nonstandard Analysis
1978
Real and Nonstandard Analysis
1979
The Mathematics of Nonstandard Analysis
1986
Libros similares
Libros relacionados según distintos criterios de búsqueda
Lebesgue ofrece un tratamiento detallado del cálculo que, aunque más convencional, mantiene un tono didáctico que resalta la precisión matemática como en Robinson.
Bishop reformula el análisis desde el constructivismo, un enfoque que, como el análisis no-estándar, busca una lógica matemática más rigurosa y fundamentada.
El Cálculo Infinitesimal y el Álgebra de la Lógica: Análisis de la Lógica Simbólica
George Boole
1847·divulgacion
Boole desarrolla un sistema lógico que, al igual que Robinson, se centra en la estructura y el rigor en el contexto de las matemáticas.
Este ensayo de Robinson amplía su propia teoría del análisis no estándar, ofreciendo profundización en los infinitesimales que Robinson ya había introducido.
En 'Nonstandard Analysis', Robinson explora y refuerza el análisis no estándar, continuando su trabajo previo al establecer una fundamentación formal para el cálculo infinitesimal.