A demonstração ontológica de Gödel é um argumento formal para a existência de Deus pelo matemático e filósofo Kurt Gödel (1906-1978). É uma linha de pensamento...

teorema, Gödel desenvolveu uma técnica agora conhecida como numeração de Gödel, que codifica expressões formais como números naturais. Gödel também mostrou...

consistente. O primeiro teorema da incompletude de Gödel apareceu primeiro em 1931 como “Teorema VI” no artigo de Gödel chamado On Formally Undecidable Propositions...

denominada hipótese; b é denominada tese. A demonstração da tese é fundamentada pela hipótese, por uma sequência de passos lógicos. Se a hipótese for falsa...

da história, junto de Aristóteles, Frege e Kurt Gödel. Tarski descrevia-se como "um matemático (e também um lógico e, talvez, de certa forma, um filósofo)"...

Amsterdam: North Holland (Elsevier)  HEIJENOORT, Jean van (1967). From Frege to Gödel: a source book in mathematical logic, 1879−1931 (em inglês). Cambridge,...

Principles of Theoretical Logic de Hilbert e Ackermann quando a completude foi claramente enunciada. Em todo caso, Kurt Gödel primeiro provou esta completude...

exemplo de uma prova absoluta de sucesso de Consistência oferecida por Ernest Nagel e James R. Newman na prova de Gödel de 1958. Eles também observaram...

mostrando assim que lambda-definibilidade é equivalente ao conceito de recursividade de Gödel-Herbrand. O cálculo-lambda, como sistema elaborado por Church...

tese epistemológica, mas também como tese ontológica, fazendo dele uma versão contemporânea de idealismo. Um de seus mais representativos proponentes é...

de modo que, graças a essa possibilidade, a prova direta do teorema de incompletude de Gödel foi realizada em seguida. Gödel usou um procedimento de codificação...

declaração de apoio para mostrar que é verdade que "Um homem nascido no Recife vai ser legalmente um cidadão brasileiro." Refutação: Demonstrações reconhecendo...

produzir novas maneiras de demonstrar sua existência. Dentre muitos, destacam-se René Descartes, Alvin Plantinga, Kurt Gödel e, especialmente, Leibniz...

1861-1947), a teoria das descrições de Russell, aos teoremas de incompletude de Kurt Gödel (1906-1978) , e a teoria da verdade de Alfred Tarski (1901-1983), é...

frases na reunião anual de 1930 da Sociedade Alemã de Cientistas e Físicos, Kurt Gödel, em uma mesa redonda durante a Conferência de Epistemologia, anunciou...

outras áreas, em especial para o estudo da teoria dos modelos, teoria da demonstração, teoria dos conjuntos e teoria da recursão. Lógica clássica, também conhecida...

(1878-1956) corrigiu a demonstração como parte de sua dissertação de Ph.D. Sua obra Schröder (1877) era uma exposição concisa das ideias de Boole sobre álgebra...

destacados de matemáticos que se reconhecem platônicos como Gottlob Frege, Bertrand Russell, A. N. Whitehead, Heinrich Scholz, Kurt Gödel, Alonzo Church...

computabilidade Demonstração construtiva Finitism Lógica do Diálogo Intuicionismo Teoria dos tipos intuicionista Tradução tirada da Enciclopédia de Stanford de Filosofia[1]...

{\mbox{diam}}(F_{n})<d(x,y)} , um absurdo. É utilizado na demonstração do teorema da categoria de Baire. «Set theory: with an introduction to real point...

sucintas. Agora ampliaremos nossa lista de regras de inferência, além de fazer suas respectivas demonstrações. α ⊢ α {\displaystyle \alpha \vdash \alpha...

infinito, o que afeta as demonstrações dos resultados, tais como o Löwenheim–Skolem theorem, que foi declarado sob a suposição de que apenas modelos normais...

de Peirce) Outro relacionamento é dado pela tradução negativa de Gödel-Gentzen, que apresenta uma forma de traduzir sentenças da lógica clássica de primeira...

solução do problema de Halting e na prova do primeiro teorema da incompletude de Kurt Gödel. Cantor escreveu sobre a conjectura de Goldbach em 1894. Entre...