Principles of Mathematical Logic
"Principles of Mathematical Logic" é a tradução Americana de 1950[1] da segunda edição de 1938 do clássico texto de David Hilbert e Wilhelm Ackermann, Grundzüge der theoretischen Logik,[2] sobre lógica matemática elementar. A primeira de edição de 1928 é o primeiro texto elementar claramente embasado no formalismo agora conhecido como lógica de primeira-ordem. Hilbert e Ackermann também formalizaram a lógica de primeira-ordem de forma que posteriormente atingiu um status de canônico. A lógica de primeira-ordem está no centro do formalismo da lógica matemática, e é pressuposta por muitas abordagens contemporâneas da aritmética de Peano e quase todas as abordagens da teoria axiomática de conjuntos.
A edição de 1928 inclui uma declaração clara do Entscheidungsproblem (Problema de decisão) para a lógica de primeira-ordem, e também pergunta se a lógica é Completa(i.e., se todas as verdades semânticas da lógica de primeira-ordem são teoremas derivados dos axiomas e regras da lógica de primeira-ordem). O primeiro problema recebeu uma resposta negativa por Alonzo Church em 1936. O segundo recebeu uma resposta positiva por Kurt Gödel em 1929.
O texto também tocou nas áreas de teoria dos conjuntos e álgebra relacional como forma de ir além da lógica de primeira-ordem. A notação contemporânea da lógica deve mais a este texto do que à notação de Principia Mathematica, muito popular no mundo da língua inglesa.
Notas[editar | editar código-fonte]
- ↑ Curry, Haskell B. (1953). «Review: Grundzüge der theoretischen Logik (3rd edition)» (PDF). Bull. Amer. Math. Soc. 59 (3): 263–267. doi:10.1090/s0002-9904-1953-09701-4
- ↑ Langford, C. H (1930). «Review of Grundzüge der theoretischen Logik by D. Hilbert and W. Ackermann» (PDF). Bull. Amer. Math. Soc. 36 (1): 22–25. doi:10.1090/s0002-9904-1930-04859-4
Referências[editar | editar código-fonte]
- David Hilbert e Wilhelm Ackermann (1928). Grundzüge der theoretischen Logik (Princípios da Lógica Matemática). Springer-Verlag, ISBN 0-8218-2024-9. Este texto passou por quatro edições alemães, a última em 1972.
- Hendricks, Neuhaus, Petersen, Scheffler e Wansing (eds.) (2004). A lógica de primeira ordem revisitada. Logotipos Verlag, ISBN 3-8325-0475-3. Actas do workshop, FOL-75, comemora o 75º aniversário da publicação de Hilbert e Ackermann (1928).