Campos, Alberto
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 - 1a edición - 614 páginas Ilustrado, diagramas y gráficos. 24 c.m.
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 --
9789587190434
Logica matematica
Logaritmo
Progresiones aritméticas
Analisis numerico
Algebra
510.1 / C198c
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 - 1a edición - 614 páginas Ilustrado, diagramas y gráficos. 24 c.m.
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 --
9789587190434
Logica matematica
Logaritmo
Progresiones aritméticas
Analisis numerico
Algebra
510.1 / C198c