Introducción a la historia de la filosofía de la matemática Volúmen 2. Hacia la formalización en Hilbert y en Bourbaki Alberto Campos
By: Campos, Alberto
.
Colombia Universidad Nacional de Colombia 2008Edition: 1a edición.Description: 614 páginas Ilustrado, diagramas y gráficos. 24 c.m.ISBN: 9789587190434.Subject(s): Logica matematica | Logaritmo | Progresiones aritméticas | Analisis numerico | AlgebraDDC classification: 510.1 | Item type | Current location | Collection | Call number | Vol info | Copy number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|---|
Libros
|
Biblioteca Central | General | 510.1/ C198c (Browse shelf) | 2008/1a edición | Ej. 1 | Available | 900000004929 |
Browsing Biblioteca Central Shelves , Collection code: General Close shelf browser
| 510.09 / M278h Historia de las matemáticas : | 510.092 / P876d El dilema del prisionero | 510.1/ C198c Itroducción a la historia y a la filosofía de la matemática: Volúmen 1. lógica y geometría griegas | 510.1/ C198c Introducción a la historia de la filosofía de la matemática | 510.1 / C456m Materia de reflexión / | 510.1 / C783l Lógica simbólica / | 510.1 / G156i Introducción a la lógica matemática / |
Incluye referencia bilbiográfica e índice alfabético.
El quinto psotulado, motor en la evolución de la geometría -- Descartes: algebraización de la geometría -- Leibniz: algebraización de la lógica y del cálculo infinitesimal -- Kant: ¿Cómo es posible la matemática pura? -- Geometrías no euclidianas -- Boole: análisis matemático de la lógica -- Antecedentes de la formalización hilbertiana -- Hibert: fundamentos de la geometría -- Axiomatización a la maera de Hilbert -- El segundo problema de Hilbert. La no contradicción de la matemática -- Gödel: limitaciones internas de los sistemas formales -- Bourbaki: matemática mediante estructuras -- Metamatemática mediante estructuras -- Experiencia, intuidicón, axiomatización -- Hacia una filosofía de la matemática --
There are no comments for this item.