12 relações: Alonzo Church, Annals of Mathematics, Cálculo lambda, Haskell Curry, Lógica, Lógica combinatória (sistemas digitais), Lógica matemática, Lista de paradoxos, Matemática, Paradoxo de Curry, Paradoxo de Richard, Stephen Kleene.
Alonzo Church
Alonzo Church (Washington, DC, 14 de junho de 1903 — Hudson (Ohio), 8 de novembro de 1995) foi um matemático estadunidense.
Novo!!: Paradoxo Kleene-Rosser e Alonzo Church · Veja mais »
Annals of Mathematics
Annals of Mathematics, abreviado como Ann.
Novo!!: Paradoxo Kleene-Rosser e Annals of Mathematics · Veja mais »
Cálculo lambda
Na lógica matemática e na ciência da computação, lambda cálculo, também escrito como cálculo-λ é um sistema formal que estuda funções recursivas computáveis, no que se refere a teoria da computabilidade, e fenômenos relacionados, como variáveis ligadas e substituição.
Novo!!: Paradoxo Kleene-Rosser e Cálculo lambda · Veja mais »
Haskell Curry
Haskell Brooks Curry (Millis, 12 de setembro de 1900 – State College, 1 de setembro de 1982) foi um matemático estadunidense.
Novo!!: Paradoxo Kleene-Rosser e Haskell Curry · Veja mais »
Lógica
Lógica (do grego λογική logos) tem dois significados principais: discute o uso de raciocínio em alguma atividade e é o estudo normativo, filosófico do raciocínio válido.
Novo!!: Paradoxo Kleene-Rosser e Lógica · Veja mais »
Lógica combinatória (sistemas digitais)
Na teoria de circuitos digitais, lógica combinatória é um tipo de lógica digital que é implementada via circuitos booleanos, em que a saída é uma função pura exclusivamente da entrada atual.
Novo!!: Paradoxo Kleene-Rosser e Lógica combinatória (sistemas digitais) · Veja mais »
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.
Novo!!: Paradoxo Kleene-Rosser e Lógica matemática · Veja mais »
Lista de paradoxos
Aqui segue-se uma lista de paradoxos conhecidos pela humanidade.
Novo!!: Paradoxo Kleene-Rosser e Lista de paradoxos · Veja mais »
Matemática
problemas matemáticos Matemática (dos termos gregos: μάθημα, transliterado máthēma, 'ciência', conhecimento' ou 'aprendizagem; e μαθηματικός, transliterado mathēmatikós, 'inclinado a aprender') é a ciência do raciocínio lógico e abstrato, que estuda quantidades (teoria dos números), espaço e medidas (geometria), estruturas, variações e estatística.
Novo!!: Paradoxo Kleene-Rosser e Matemática · Veja mais »
Paradoxo de Curry
Paradoxo de Curry é um paradoxo que ocorre na teoria dos conjuntos ingênua ou lógicas ingênuas, e permite a derivação de uma sentença arbitrária de uma sentença auto-referente e algumas regras de dedução lógica aparentemente inócuas. É assim denominado em referência ao lógico Haskell Curry.
Novo!!: Paradoxo Kleene-Rosser e Paradoxo de Curry · Veja mais »
Paradoxo de Richard
Em lógica, o Paradoxo de Richard é uma antinomia semântica da teoria dos conjuntos e linguagem natural primeiro descrita pelo matemático francês Jules Richard durante 1905.
Novo!!: Paradoxo Kleene-Rosser e Paradoxo de Richard · Veja mais »
Stephen Kleene
Stephen Cole Kleene (Hartford, — Madison) foi um matemático estadunidense.
Novo!!: Paradoxo Kleene-Rosser e Stephen Kleene · Veja mais »