La constitución del programa de Hilbert

Max Fernández de Castro, Yolanda Torres Falcón

Resumen


En las páginas que siguen pretendemos dar una visión panorámica y esquemática de la evolución del programa formalista que resulta de los estudios recientes de notas de curso hasta hace poco inéditas. Analizaremos primeramente ciertos elementos del programa (la preferencia por el método axiomático, el estructuralismo y el logicismo). En segundo lugar observaremos cómo, una vez el programa establecido en 1920 (aunque con cierta vaguedad), diversos finitismos con una base común fueron ensayados por Hilbert y Bernays hasta 1931, en una tentativa por definir con precisión su programa y llevarlo a buen término. El resultado es el de un complejo programa de investigación en continua evolución.


Palabras clave


Hilbert, Bernays, logicismo, axiomático, finitismo

Texto completo:

PDF

Enlaces refback

  • No hay ningún enlace refback.


 

EDUNTREF – Editorial de la Universidad Nacional de Tres de Febrero. Centro Cultural Borges, Viamonte esq. San Martín 3p. (C1053ABK) Ciudad de Buenos Aires, Argentina.

Editorial de la Universidad Nacional de Quilmes. Roque Sáenz Peña 352, (B1876BXD) Bernal, Provincia de Buenos Aires, Argentina.

www.metatheoria.com.ar. ISSN 1853-2322 (Impresa), ISSN 1853-2330 (En línea).