La paradoja de Orayen

Guillermo Hurtado
La paradoja de Orayen
Eudeba

Páginas: 112
Alto: 16.0 cm.
Ancho: 23.0 cm.
Peso: 0.3 kgs.
Colección: Enciclopedia lógica
ISBN: 9789502312873

Esta colección incluye distintos trabajos que presentan y discuten los principales aspectos de la lógica contemporánea. Moretti y Hurtado nos presentan un resultado paradójico formulado por Orayen, que involucra a las teorías de primer orden, a las teorías de conjuntos y a sus modelos: ¿existe un conjunto D capaz de interpretar una teoría consistente de conjuntos? Orayen nos muestra que D debe ser a la vez una construcción interna (un conjunto del que la teoría hable) y una construcción externa (un conjunto del que la teoría hable) y una construcción externa (un conjunto que sirva de dominio de interpretación de la teoría de modelos). Siendo una construcción interna, la teoría se vuelve inconsistente; siendo una construcción externa, no tenemos una construcción apropiada para interpretar la teoría de conjuntos.