Paradoxo de Kleene-Rosser - Kleene–Rosser paradox
Em matemática , o paradoxo Kleene-Rosser é um paradoxo que mostra que certos sistemas de lógica formal são inconsistentes , em particular a versão de Haskell Curry 's lógica combinatória introduzido em 1930, e Alonzo Church ' original s cálculo lambda , introduzido em 1932 1933, ambos originalmente concebidos como sistemas de lógica formal. O paradoxo foi exibido por Stephen Kleene e JB Rosser em 1935.
O paradoxo
Kleene e Rosser foram capazes de mostrar que ambos os sistemas são capazes de caracterizar e enumerar suas funções teóricas numéricas comprovadamente totais e definíveis, o que lhes permitiu construir um termo que essencialmente replica o paradoxo de Richard na linguagem formal.
Curry mais tarde conseguiu identificar os ingredientes cruciais dos cálculos que permitiram a construção desse paradoxo, e usou isso para construir um paradoxo muito mais simples, agora conhecido como paradoxo de Curry .
Veja também
Referências
- Andrea Cantini, " A inconsistência de certas lógicas formais ", na entrada Paradoxes and Contemporary Logic da Stanford Encyclopedia of Philosophy (2007).
- Kleene, SC e Rosser, JB (1935). “A inconsistência de certas lógicas formais”. Annals of Mathematics . 36 (3): 630–636. doi : 10.2307 / 1968646 .
 |
Este artigo relacionado à lógica matemática é um esboço . Você pode ajudar a Wikipedia expandindo-a . |