Paradoxo de Skolem: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
m Página marcada como sem categoria (usando FastButtons) |
m adicionou Categoria:Teoria dos modelos; removeu {{sem cat}} usando HotCat |
||
Linha 1:
Na [[matemática lógica]] e na [[filosofia]] , '''O paradoxo de Skolem''' é uma aparente contradição que surge a partir do [[Teorema de Löwenheim-Skolem]]. [[Thoralf Skolem]] (1922) foi o primeiro a discutir os aspectos aparentemente contraditórios do teorema, e descobrir a relatividade das noções dos conjuntos teóricos hoje conhecida como não-absoluto. Embora não seja uma real [[antinomia]] como [[o paradoxo de Russell]], o resultado normalmente é chamado de [[paradoxo]], e foi descrito como "um estado paradoxal das coisas" por Skolem (1922: p. , 295).
Linha 80:
* [http://boole.stanford.edu/skolem Vaughan Pratt's celebration of his academic ancestor Skolem's 120th birthday]
* [http://www.webcitation.org/query?url=http://uk.geocities.com/frege%40btinternet.com/cantor/skolem_moore.htm&date=2009-10-25+04:16:47 Extract from Moore's discussion of the paradox(broken link)]
[[Categoria:Teoria dos modelos]]
| |||