der Herr Warum

Kurt Gödel's philosophical world

Gödel * Philosophy * Online

[ pORTUGUESE authors on Gödel ] [ tRANSLATIONS ] [ hOME ]

 

CRATO, Nuno [ homepage ; Wikipédia {pt.} ]
• “Gödel e os limites da razão”, Revista Expresso, Semanário Expresso, ed. 24-2-2001.
• “Kurt Gödel”, Única, Revista do Semanário Expresso, ed. 13-05-2006.

FERREIRA, Fernando [ homepage ]
• “Como ser sério com palavras cruzadas”, in Matemática e cultura I, org. Furtado Coelho, Centro Nacional de Cultura & Edições Cosmos, pp. 37-53, 1992. [Revised version in PDF.]
• “Análise, exequibilidade e lógica”, in Actas do III Encontro dos Algebristas Portugueses, org. M. de Sá et al., Departamento de Matematica de Coimbra, pp. 49-70, 1994.
• “No paraíso, sem convicção… (uma explicação do programa de Hilbert)”, in Matemática e cultura II, org. Furtado Coelho, Centro Nacional de Cultura & SPB Editores, pp. 87-121, 1995.
• “Teoria dos conjuntos: Uma vista”, Boletim (SPM), 38, pp. 29-49, 1998. [Revised version in PDF.]
• “Axioma da escolha”, in Enciclopédia de termos lógico-filosóficos, J. Branquinho & D. Murcho (eds.), Lisboa, Gradiva, pp. 105-107, 2001.
• “Hipótese do contínuo”, in Enciclopédia de termos lógico-filosóficos, J. Branquinho & D. Murcho (eds.), Lisboa, Gradiva, pp.367-368, 2001.
• “Números de Gödel”, in Enciclopédia de termos lógico-filosóficos, J. Branquinho & D. Murcho (eds.), Lisboa, Gradiva, pp. 503-504, 2001.
• “Problema da consistência”, in Enciclopédia de termos lógico-filosóficos, J. Branquinho & D. Murcho (eds.), Lisboa, Gradiva, pp. 188-189, 2001.
• “Teoria dos conjuntos”, in Enciclopédia de termos lógico-filosóficos, J. Branquinho & D. Murcho (eds.), Lisboa, Gradiva, pp. 694-700, 2001.
• “A matemática de Kurt Gödel”, Boletim (SPM), 55, pp. 39-62, 2006.
• Recensão de Gödel's theorem: an incomplete guide to its use and abuse, Torkel Franzén, MA (USA), AK Peters, 2005; Boletim (SPM), 55, pp. 117-120, 2006.
• “A most artistic package of a jumble of ideas”, Dialectica, 62, pp. 205-222, 2008. (Special issue [2] Gödel's Dialectica interpretation.)
• “Injecting uniformities into Peano arithmetic”, Annals of pure and applied logic, 157, pp. 122-129, 2009. (Special issue [2-3] Kurt Gödel Centenary Research Prize Fellowships ed. by S. Artemov, M. Baaz and H. Friedman.)

GARCIA, Narciso
• “Tese de Church”, in Enciclopédia de termos lógico-filosóficos, J. Branquinho & D. Murcho (eds.), Lisboa, Gradiva, pp. 709-714, 2001.

GOMES, Ruy Luís [1905-1984] & REAL, Luís Neves [1910-1985]
• “De Poincaré ao intuicionismo actual na crítica dos fundamentos da matemática; reflexos no pensamento filosófico e matemático português”, Revista Portuguesa de Filosofia, 12 (Actas do I Congresso Nacional de Filosofia, Braga, 1955), pp. 233-255, 1955.

JERÓNIMO, Nuno
• “Three notes on Gödel's metaphilosophy”, in Ensayos sobre lógica, lenguaje, mente y ciencia, L. Moreno et al. (eds.), Sevilla, Ediciones Alfar, pp. 323-339, 2012.

LOURENÇO, M. S. [1936-2009] [ homepage ; Wikipédia {pt.} ]
Teoria Clássica da Dedução, Lisboa, Assírio & Alvim, 1991.
• “Entrevista (de Nuno Nabais) com o Professor M.S. Lourenço”, Argumento: Revista Semestral de Filosofia, III, 5/6, pp. 125-146, 1993. (Reprinted Kairos, 1, pp. 97-120, 2010.)
• “Análise”, in Enciclopédia de termos lógico-filosóficos, J. Branquinho & D. Murcho (eds.), Lisboa, Gradiva, pp. 49-55, 2001.
• “Aritmética”, in Enciclopédia de termos lógico-filosóficos, J. Branquinho & D. Murcho (eds.), Lisboa, Gradiva, pp. 75-78, 2001.
• “Logicismo”, in Enciclopédia de termos lógico-filosóficos, J. Branquinho & D. Murcho (eds.), Lisboa, Gradiva, pp. 461-465, 2001.
• “Platonismo”, in Enciclopédia de termos lógico-filosóficos, J. Branquinho & D. Murcho (eds.), Lisboa, Gradiva, pp. 539-541, 2001.
• “Predicativismo”, in Enciclopédia de termos lógico-filosóficos, J. Branquinho & D. Murcho (eds.), Lisboa, Gradiva, pp. 554-557, 2001.
• “Programa de Hilbert”, in Enciclopédia de termos lógico-filosóficos, J. Branquinho & D. Murcho (eds.), Lisboa, Gradiva, 565-571, 2001.
• “Sistema formal”, in Enciclopédia de termos lógico-filosóficos, J. Branquinho & D. Murcho (eds.), Lisboa, Gradiva, pp. 655-656, 2001.
• “Teorema da incompletude de Gödel”, in Enciclopédia de termos lógico-filosóficos, J. Branquinho & D. Murcho (eds.), Lisboa, Gradiva, pp. 681-684, 2001.
Os elementos do programa de Hilbert, Lisboa, Centro de Filosofia da Universidade de Lisboa, 2004.
• “Um filósofo da evidência”, Boletim (SPM), 55, pp. 91-103, 2006.
• “Consistência da aritmética: A primeira demonstração de Gödel”, in Do Círculo de Viena à filosofia analítica contemporânea, A. Zilhão (ed., org., intro.), Viana do Castelo, Livros da Areia, 2007.
•“Miguel Tamen: Uma entrevista a M.S. Lourenço”, in A teoria do programa. Uma homenagem a Maria de Lourdes Ferraz e a M.S. Lourenço, Lisboa, Programa em Teoria da Literatura, pp. 313-64, 2007.
• “O que foi o construtivismo stricto sensu de Gödel?”, in MSL's webpage, 2008.
• “Sinopse da Gibbs Lecture [de Gödel] I, II, III”, (3 PowerPoint files) , in MSL's webpage, 2008.
• “An outline of Hilbert’s Programme”, in PlanetMath, 2009 (September).
• “Beyond formalism: Gödel’s incompleteness”, in PlanetMath, 2009 (September).
• “From Hilbert’s tenth problem to Gödel’s trichotomy”, in PlanetMath, 2008 (November).
• “Gödel’s beta function”, in PlanetMath, 2008 (December).
• “Hilbert’s epislon-operator”, in PlanetMath, 2008 (December).
• “Interpretation of intuitionistic logic by means of functionals”, in PlanetMath, 2008 (November).
• “Intuitionistic logic”, in PlanetMath, 2008 (October)
• “Logicism”, in PlanetMath, 2008 (September).
• “Mathematical platonism”, in PlanetMath, 2008 (December).
• “Predicativism”, in PlanetMath, 2008 (November).
• “The inclusion of classical into intuitionistic logic”, in PlanetMath, 2008 (November).

MACHADO, Bernadino de Barros [1917-?]
• “Lógica matemática – indicações bibliográficas”, Gazeta de Matemática, 19, pp. 14-16, 1944.

MONTEIRO, António J. A.
• “Sobre o teorema de Gödel”, Ciência (ed. by Associação de Estudantes da Faculdade de Ciências de Lisboa), 1, 2-3, pp. 21-43, 1981.

RUAS, Paulo
• “Dummett e a interpretação intuicionista do teorema de Gödel”, in Crítica (no date).

SANTOS, Ricardo [ homepage ]
• “Lições do argumento da funda”, in I Encontro Nacional de Filosofia Analítica, ed. H. Jales Ribeiro, Faculdade de Letras, Coimbra, pp. 277-288, 2003.

OLIVEIRA, Augusto Franco de [ homepage ]
Alguns aspectos da lógica moderna e suas aplicações: a teoria dos modelos e a análise não-standart, Lisboa, [s.n.], 1968.
Lógica elementar: introdução à lógica matemática, Lisboa, Associação de Estudantes da Faculdade de Ciências da Universidade de Lisboa, 1979-1980.
• “Remark on a theory of classes used by A. Machado”, Portugaliae Mathematica, 39, pp. 295-297, 1980.
Teoria dos conjuntos: intuitiva e axiomática, Lisboa, Escolar Editora, 1982.
• “Lógica e fundamentos I: linguagens, estruturas e teorias elementares”, Textos e notas do CMAF, 31, Lisboa, 1985.
• “Lógica e fundamentos II: computabilidade, incompletude e indecidibilidade”, Textos e Notas do CMAF, 33, Lisboa, 1986.
Fundamentos da matemática não-standard e aplicações lógica-matemáticas. [PhD dissertation in mathematics, 1989.]
Lógica e aritmética: uma introdução informal aos métodos formais, Lisboa, Gradiva, 1991. (Second ed., 1996; third ed., 2010.)
• “Consistência”, in Enciclopédia de termos lógico-filosóficos, J. Branquinho & D. Murcho (eds.), Lisboa, Gradiva, pp. 186-188, 2001.
• “Lógica infinitária”, in Enciclopédia de termos lógico-filosóficos, J. Branquinho & D. Murcho (eds.), Lisboa, Gradiva, pp. 439-440, 2001.
• “Lógica intuicionista”, in Enciclopédia de termos lógico-filosóficos, J. Branquinho & D. Murcho (eds.), Lisboa, Gradiva, pp. 440-442, 2001.
• “Teorema da compacidade”, in Enciclopédia de termos lógico-filosóficos, J. Branquinho & D. Murcho (eds.), Lisboa, Gradiva, p. 676, 2001.
• “Teoremas da impossibilidade: marcos milenários na história da matemática”, Episteme, Ano IV, 10-12, pp. 307-312, 2002.
•“Formalismo hilbertiano vs. pensamento intuitivo”, Boletim (SPM), 52, pp. 1-25, 2005. [Revised version in PDF]
• “Kurt Gödel, Viena”, Boletim (SPM), 55, pp. 25-38, 2006.
Matemática não-standard: introdução com aplicações. Fundação Calouste Gulbenkian, 2007. (In colaboration with Imme P. van den Berg.)
• “Brevíssimo panorama da lógica moderna”, Escola de Verão - Setembro de 2007, N. Franco e S. Vinagre (eds.), Universidade de Évora e SPM, pp. 29-57, 2008 (July).
Sistemas dedutivos, available (PDF) in Oliveira's webpage, 2009 (July).
• “Os lógicos de letras”, Kairos, 1, pp. 121-128, 2010.

PEREIRA, Luís Moniz [ homepage ; Wikipedia ]
• “Gödel e a computabilidade”, Boletim (SPM), 55, pp. 77-90, 2006.

REAL, Luís Neves [1910-1985]
• “Kurt Gödel e os problemas dos fundamentos da matemática e a teoria dos conjuntos”, Gazeta de Matemática, 48, pp.1-8, 1951.

RODRIGUES, João Resina [1930-2010] [ Wikipédia {pt.} ]
• “Kurt Gödel”, Logos: enciclopédia luso-brasileira de filosofia, 2nd. ed., vol. 2, Lisboa, Verbo, pp. 863-864, 1999.

 

{ Updated: April 2013 } About & Contact