Índice
19 relações: Alfred Tarski, Argumento de diagonalização de Cantor, Aritmética de Robinson, Autorreferência, Axiomas de Peano, Função computável, Função recursiva primitiva, George Boolos, Kurt Gödel, Lógica de primeira ordem, Lógica matemática, Número natural, Raymond Smullyan, Rudolf Carnap, Sentença (lógica matemática), Teorema da indefinibilidade de Tarski, Teorema da recursividade de Kleene, Teoremas da incompletude de Gödel, Teoria da computabilidade.
- Lemas (matemática)
Alfred Tarski
Alfred Tarski (Varsóvia, na época Império Russo, atualmente Polônia, — Berkeley, Estados Unidos) foi um lógico, matemático e filósofo polonês.
Ver Lema da diagonal e Alfred Tarski
Argumento de diagonalização de Cantor
Uma ilustração do argumento da diagonalização de Cantor (na base 2) para a existência de conjuntos incontáveis. A sequência na parte inferior não pode ocorrer em nenhum lugar na enumeração das sequências anteriores. Um conjunto infinito pode ter a mesma cardinalidade como um subconjunto de si próprio, como a representada bijeção ''f''(''x'').
Ver Lema da diagonal e Argumento de diagonalização de Cantor
Aritmética de Robinson
Na matemática, a Aritmética de Robinson, ou Q, é um fragmento finitamente axiomatizado da Aritmética de Peano (AP), estabelecida pela primeira vez por Raphael Mitchel Robinson (1950).
Ver Lema da diagonal e Aritmética de Robinson
Autorreferência
Autorreferência é um fenômeno em língua natural ou linguagem formal que consiste de uma oração ou fórmula que refere-se a si mesma diretamente ou através de alguma oração ou fórmula intermediária, ou por meio de alguma codificação.
Ver Lema da diagonal e Autorreferência
Axiomas de Peano
Em lógica matemática, os axiomas de Peano, também conhecidos como os axiomas de Dedekind-Peano ou postulados de Peano, são um conjunto de axiomas para os números naturais apresentado pelo matemático italiano do século XIX Giuseppe Peano.
Ver Lema da diagonal e Axiomas de Peano
Função computável
Funções computáveis são os objetos básicos de estudo na teoria da computabilidade.
Ver Lema da diagonal e Função computável
Função recursiva primitiva
As funções recursivas primitivas são definidas através do uso da recursão primitiva e da Composição como operações centrais.
Ver Lema da diagonal e Função recursiva primitiva
George Boolos
George Stephen Boolos (Nova Iorque, 4 de setembro de 1940 – Cambridge (Massachusetts), 27 de maio de 1996) foi um filósofo, logicista e matemático norte-americano, professor do Instituto de Tecnologia de Massachusetts.
Ver Lema da diagonal e George Boolos
Kurt Gödel
Kurt Friedrich Gödel (Brünn, 28 de abril de 1906 — Princeton, 14 de janeiro de 1978) foi um filósofo, matemático e lógico austríaco, naturalizado norte-americano.
Ver Lema da diagonal e Kurt Gödel
Lógica de primeira ordem
A lógica de primeira ordem (LPO), conhecida também como cálculo de predicados de primeira ordem (CPPO), é um sistema lógico que estende a lógica proposicional (lógica sentencial) e que é estendida pela lógica de segunda ordem.
Ver Lema da diagonal e Lógica de primeira ordem
Lógica matemática
A lógica matemática é uma subárea da matemática que explora as aplicações da lógica formal para a matemática.
Ver Lema da diagonal e Lógica matemática
Número natural
Um número natural é um número inteiro não negativo \. Em alguns contextos, número natural é definido como um número inteiro positivo, sendo também o zero considerado como um número natural (mesmo não sendo positivo e sim nulo/neutro): \.
Ver Lema da diagonal e Número natural
Raymond Smullyan
Raymond Merrill Smullyan (Far Rockaway, 25 de maio de 1919 – 6 de fevereiro de 2017) foi um matemático estadunidense, pianista, lógico, filósofo taoísta e mágico.
Ver Lema da diagonal e Raymond Smullyan
Rudolf Carnap
Rudolf Carnap (Ronsdorf, Wuppertal, — Santa Mônica) foi um filósofo alemão que trabalhou na Europa central antes de 1935 e nos Estados Unidos posteriormente.
Ver Lema da diagonal e Rudolf Carnap
Sentença (lógica matemática)
Em lógica matemática, uma sentença de uma lógica de predicados é uma fórmula bem formada com valor booleano e sem variáveis livres.
Ver Lema da diagonal e Sentença (lógica matemática)
Teorema da indefinibilidade de Tarski
Teorema da indefinibilidade de Tarski, declarado e provado por Alfred Tarski em 1936, é um importante resultado limitativo em lógica matemática, os fundamentos da matemática, e em semântica formal.
Ver Lema da diagonal e Teorema da indefinibilidade de Tarski
Teorema da recursividade de Kleene
Em teoria da computabilidade, o teorema da recursão de Kleene é um par de resultados fundamentais sobre a aplicação de funções computáveis para suas próprias descrições.
Ver Lema da diagonal e Teorema da recursividade de Kleene
Teoremas da incompletude de Gödel
Os teoremas da incompletude de Gödel são dois teoremas da lógica matemática que estabelecem limitações inerentes a quase todos os sistemas axiomáticos, exceto aos mais triviais.
Ver Lema da diagonal e Teoremas da incompletude de Gödel
Teoria da computabilidade
A teoria da computabilidade, também chamada de teoria da recursão, é um ramo da lógica matemática que foi originado na década de 1930 com o estudo das funções computáveis e do grau de Turing.
Ver Lema da diagonal e Teoria da computabilidade