Resumo
Na Primeira seção deste artigo, apresentamos alguns aspectos do operacionismo de Brigdman. Na segunda e terceira seção, mostramos as dificuldades de aplicar o termo “operacionismo” ao formalismo de Hilbert. Na quarta seção, esquematicamente apresentamos uma interpretação do Programa de Hilbert, que consideramos mais adequada que a mencionada acima.
Referências
Brigdman, P.W. (1927). The Logic of Modern Physics (New York, Macmillan).
Brigdman, P.W. (1934). A Physicist’s Second Reaction to Mengenlehre, Scripta Mathematica, II, 101-117 e II, 224-234.
Brigdman, P.W. (1936). The Nature of Physical Theories (Priceton NJ, Princeton University Press).
Brigdman, P.W. (1948). La Naturaleza de la Teoría Fisica (Buenos Aires, Ibero- Americano).
Detlefsen, M. (1990). On na alleged refutation of Hilbert’s Program using Gödel’s First Incompleteness Theorem, Jornal of Philosphycal Logic, 19, 343-377.
Giaquinto, M. (1983). Hilbert’s philosophy of mathematics, British jornal for the Philosophy Science, 34, 119-132.
HilberT, D. (1923). Die logischen Grumdlagen der Mathematik, Mathematischen Annalen Bd. 88, 151-165, reimpresso em Hilbert (1970), 178-191.
HilberT, D. (1925). Uber das Unendliche, Mathematischen Annalen Bd. 95, Anhang VIII em Hilbert (1930), 262-288. [Utilizamos também a tradução inglesa de Stefan Bauer Mengelberg, publicada em Van Heijenoort (1967), pp. 369-392, e a tradução inédita ao espanhol de Carlos Gonzalez.].
HilberT, D. (1928). Die Grundlagen Der Mathermatik, Abhandlungen des mathematischen Seminars zu hamburg Bd. 6; Anhang X em Hilbert (1930), 289-312 [Ultilizamos também a tradução inglesade Stefan Bauer-Mengelberg e Dagfinn Follesdal, em Van Heijenoort (1967), 446-479.].
HilberT, D. (1930). Die Grundlagen der Geometrie, 7ª edição (Leipzig & Berlin, B.G Teubner).
HilberT, D. (1970). Gesammelte Abhandlugen, Zweite Auflage, Vol. III (Berlin, Heidelberg & New York, Springer- Verlag).
HilberT, D. (1980). The Foundations of Geometry, translated by L. Unger (La Salle, Open Court).
Prawitz, D (1986). Philosophical Aspects of Proof Theory. In:G. Floistad (ed.) Contemporary Philosophy: A New Survey Vol. I (Dodrecht, Boston & Lancaster, Martinus nijhoff). pp. 235-277.
Smorrynski, C. (1988). Hilbert’s Programme. CWI (Centrum voor Winskunde en Informatica) Quarterly, 1, 3-59.
Van Heijenoort, J. (ed.) (1967). From Frege to Gödel: A Source Book in Mathematical Logic (Cambridge Mass., Harvard University Press).

Este trabalho está licenciado sob uma licença Creative Commons Attribution 4.0 International License.
Copyright (c) 1998 Manuscrito: Revista Internacional de Filosofia