Lógica & Filosofia
Seminários inoportunos
Este sítio não tem caráter oficial relativamente à Universidade Federal do ABC e tampouco representa os outros professores.
Este Web sítio tem natureza acadêmica e expressa tão-somente as decisões do autor, o primeiro responsável.
Prova de Gödel & temas correlatos
Estudo do livro
(e não restrito apenas ao livro e
superando os equívocos)
Prova de Gödel
E. Nagel e J. R. Newman
(não obstante o conflito entre K. Gödel e E Nagel)
Horário
xxx-feira, xxhsxx - xxhsxx
sala xxx, bloco x
campus Santo André
Kurt Gödel seated in the Mathematics-Natural Sciences Library at Fuld Hall, Institute for Advanced Studiy, Princeton, 1963 (A. Eisenstaedt, Time and Life, Getty Images)
Bibliografia
Algumas referências bibliográficas
BIBLIOGRAFIA BÁSICA
NAGEL, Ernest & NEWMAN, James R. Prova de Gödel. São Paulo, Editora Perspectiva, 1973.
NAGEL, Ernest & NEWMAN, James R. Gödel’s Proof. New York, New York University, 2.e., 2001.
BIBLIOGRAFIA COMPLEMENTAR
BOOLOS, George S.; JEFFREY, Richard C. & BURGESS, John P. Computability and logic. Cambridge, Cambridge University, 4.ed., 2002.
BOOLOS, George S.; JEFFREY, Richard C. & BURGESS, John P. Computabilidade e lógica. São Paulo, UNESP, 2013.
CHURCH, Alonzo. Introduction to mathematical logic. Princeton (New Jersey), Princeton University, 1996.
DAWSON, John W. Logical Dilemmas.: the life and work of Kurt Gödel. Wellesley (Massachusetts), A K Peters, 1997.
FEFERMAN, Solomon et alii (eds). Kurt Gödel: collected works, publications 1929 - 1936 (volume I) . Oxfod, Oxford Universiy, 1986.
van HEIJENOORT, Jean (ed). From Frege to Gödel: a source book in Mathematical Logic, 1879 - 1931. Cambridge (Massachusetts),
Harvard University, 1967.
HENKIN, Leon. "Verdade e demonstrabilidade", in: S. Morgenbesser (ed). Filosofia da ciência. São Paulo, Cultrix, 1979.*
HENKIN, Leon. "Completude", in: S. Morgenbesser (ed). Filosofia da ciência. São Paulo, Cultrix, 1979.*
HINTIKKA, Jaakko. On Gödel. Belmont, Wadsworth, 2000.
HUNTER, Geoffrey. Metalogic: an introduction to metatheory of standard first order logic. Berkeley, University of California, 1996.
KLEENE, Stephen C. Introduction to Metamathematics. Amsterdam/ New York, Noth-Holland, 1996 (1952)
KLEENE, Stephen C. "Computabilidade", in: S. Morgenbesser (ed). Filosofia da ciência. São Paulo, Cultrix, 1979.*
KNEALE, William & KNEALE, Martha. O desenvolvimento da lógica. Lisboa, Fundação Calouste Gulbenkian, 2.ed., 1980.
MOSTERÍN, Jesús (ed). Kurt Gödel: obras completas. Madrid, Alianza Editorial, 2.ed., 2006.
SMITH, Peter. An introduction to Gödel's theorems. Cambridge, Cambridge University, 2007.
TARSKI, Alfred. "Verdade e demonstração", Cadernos de História e Filosofia da ciência, série 3, v. 1, n. 1, jan-jul, 1991, p. 91-123. [bibliografia restrita]
TARSKI, Alfred. ''Sobre alguns conceitos fundamentais da metamatemática'', Princípios, v. 8, n. 01, jul-dez, 2001, p. 187-209. [bibliografia restrita]
TARSKI, Alfred. ''Acerca do conceito de consequência lógica'', Princípios, v. 8, n. 01, jul-dez, 2001, p. 220-233. [bibliografia restrita]
TARSKI, Alfred. A concepção semântica da verdade. São Paulo, UNESP, 2007.
* Agradecemos à editora Cultrix pela autorização que permite a reprodução destes textos. Expressamos nossa gratidão aos autores e às instituições que permitem a realização de cópias de textos e imagens, destinados à utilização em disciplinas e cursos ministrados, os quais não têm por finalidade a atividade comercial e lucrativa.