000			01703nam a22002777a 4500
003			CO-NeUS
005			20180209100505.0
008			150420b ck ||||| |||| 00| 0 spn d
020			_a9789587190434
040			_aCO-NeUS _bEspañol _cCO-NeUS
041			_aspa
082			_21a edición _a510.1 _bC198c
100			_aCampos, Alberto _934096
245			_aIntroducción a la historia de la filosofía de la matemática _bVolúmen 2. Hacia la formalización en Hilbert y en Bourbaki _cAlberto Campos
250			_a1a edición
264			_aColombia _bUniversidad Nacional de Colombia _c2008
300			_a614 páginas _bIlustrado, diagramas y gráficos. _c24 c.m.
505			_aIncluye referencia bilbiográfica e índice alfabético.
506			_aEl 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 --
650			_aLogica matematica _9115236
650			_aLogaritmo _9115224
650			_aProgresiones aritméticas _9129007
650			_aAnalisis numerico _9100324
650			_aAlgebra _999938
942			_cCG
999			_c37763 _d37763