Banner Portal
La concepciòn de demonstraciòn de Oswaldo Chateaubriand
PDF

Palavras-chave

Chateaubriand
Lógica

Como Citar

CASANAVE, Abel Lassalle. La concepciòn de demonstraciòn de Oswaldo Chateaubriand. Manuscrito: Revista Internacional de Filosofia, Campinas, SP, v. 22, n. 2, p. 95–107, 1999. Disponível em: https://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8666387. Acesso em: 24 jul. 2024.

Resumo

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.

PDF

Referências

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).

Creative Commons License
Este trabalho está licenciado sob uma licença Creative Commons Attribution 4.0 International License.

Copyright (c) 1999 Manuscrito: Revista Internacional de Filosofia

Downloads

Não há dados estatísticos.