Palabras clave
Lógica
Cómo citar
Resumen
O Chateaubriand ha objetado recentemente la conceptiòn padrón de demonstración como secuencia efectiva de fórmulas. En este artículo, pretendemos examinar sus argumentos, los cuales giran en torno de uma noción amplia de comprensión. Aunque concordemos en general com los mismos, no estamos de acuerdo com la manera en que el Prof. Chateaubriand plantea el problema de la relación entre comprensión y formalismo.
Citas
Bernays, P. (1941). Sur les questions méthodologiques actuelles de la théorie hilbertienne de la démonstration. In F. Gonseth (ed.): Les Entretiens de Zurich sur les fondements et la méthode des sciences mathématiques. Leemann, 1941.
Chateaubriand, O. (1999). Proof and logical Dedution, pp. 79-98. In H. Hauesler and Luiz C.Pereira (eds.): Pratica: Proofs, Typess and Categories (Rio de Janeiro, PUC-RJ).
Hardy, G.H. (1929). Mathematical Proof, Mind, 38.
Hilbert, D. (1923). Die logischen Grundlagen der Mathematik, Mathematischen Annalen Bd. 88, 151-165, reimpresso em Hilbert (1970), 1781-191.
Hilbert, D. (1925). Über das Unendliche, Mathematischen Annalen Bd. 95, Anhang VIII em Hilbert, D. (1930), 262-288. [Utilizamos también la traducción inglesa de Stefan Bauer-Mengelberg, publicada em Van Heijenoort (1967), pp. 369-392, y la traducción inédita al castellano de Carlos Gonzales.]
Hilbert, D. (1927). Die Grundlagen der Mathematik, Abhandlungen des mathematischen Seminars zu Hamburg Bd. 6; Anhang X en Hilberg (1930), 289-312. [Utilizamos tanbién la traducción inglesa de Stefan Bauer-Mengelberg e Dagfinn Follesdal, en Van Heijenoort (1967, 461-479.]
Hilbert, D. (1930). Die Grundlagen der Geometrie, 7ª edición (Leipzig & Berlin, B.G. Teubner).
Hilbert, D. (1970). Gesamelte Abhandlungen, zweite Auflage, Vol. III. (Berlin, Heildelberg & New York, Springer-Verlag).
Van Heijenoort, J. (ed.) (1967). From Frege to Gödel: A Source Book in Mathematical Logic (Cambridge,Mass., Harvard University Press).
Esta obra está bajo una licencia internacional Creative Commons Atribución 4.0.
Derechos de autor 1999 Manuscrito: Revista Internacional de Filosofia
Descargas
