| Property |
Value |
| dbo:abstract
|
- En el ámbito de las matemáticas, la lógica y la filosofía de las matemáticas, se llama impredicativa a toda definición autorreferencial, es decir, a toda definición de un objeto en la que se cuantifica sobre el conjunto al que este objeto pertenece o en la que se define un conjunto haciendo referencia a él mismo. No existe convenio acerca de lo que diferencia lo predicativo de lo impredicativo. Las definiciones predicativas son las que tratan a los objetos de manera estratificada o ramificada (véase Teoría de tipos), y en este caso se cuantifica sobre variables de un nivel estrictamente inferior al del tipo en el que se efectúa la definición. Un ejemplo representativo es el de la . La Paradoja de Russell es un ejemplo de una construcción impredicativa: el conjunto de todos los conjuntos que no se contienen a sí mismos. Entonces podemos afirmar que este conjunto pertenece a sí mismo si y solo si no se pertenece a sí mismo. La menor cota superior de un conjunto es otro ejemplo claro de definición impredicativa, ya que definimos a este objeto como el elemento del conjunto que es mayor o igual que todos los demás. Está claro que estamos haciendo referencia al conjunto al cual pertenece tal objeto, y por tanto esta definición es impredicativa. (es)
- En el ámbito de las matemáticas, la lógica y la filosofía de las matemáticas, se llama impredicativa a toda definición autorreferencial, es decir, a toda definición de un objeto en la que se cuantifica sobre el conjunto al que este objeto pertenece o en la que se define un conjunto haciendo referencia a él mismo. No existe convenio acerca de lo que diferencia lo predicativo de lo impredicativo. Las definiciones predicativas son las que tratan a los objetos de manera estratificada o ramificada (véase Teoría de tipos), y en este caso se cuantifica sobre variables de un nivel estrictamente inferior al del tipo en el que se efectúa la definición. Un ejemplo representativo es el de la . La Paradoja de Russell es un ejemplo de una construcción impredicativa: el conjunto de todos los conjuntos que no se contienen a sí mismos. Entonces podemos afirmar que este conjunto pertenece a sí mismo si y solo si no se pertenece a sí mismo. La menor cota superior de un conjunto es otro ejemplo claro de definición impredicativa, ya que definimos a este objeto como el elemento del conjunto que es mayor o igual que todos los demás. Está claro que estamos haciendo referencia al conjunto al cual pertenece tal objeto, y por tanto esta definición es impredicativa. (es)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
| |
| dbo:wikiPageRevisionID
| |
| prop-es:authorLink
|
- Bertrand Russell (es)
- Bertrand Russell (es)
|
| prop-es:doi
| |
| prop-es:first
| |
| prop-es:journal
|
- Proc. London Math. Soc. (es)
- Proc. London Math. Soc. (es)
|
| prop-es:last
|
- Russell (es)
- Russell (es)
|
| prop-es:pages
| |
| prop-es:title
|
- On Some Difficulties in the Theory of Transfinite Numbers and Order Types (es)
- On Some Difficulties in the Theory of Transfinite Numbers and Order Types (es)
|
| prop-es:volume
| |
| prop-es:year
| |
| dct:subject
| |
| rdfs:comment
|
- En el ámbito de las matemáticas, la lógica y la filosofía de las matemáticas, se llama impredicativa a toda definición autorreferencial, es decir, a toda definición de un objeto en la que se cuantifica sobre el conjunto al que este objeto pertenece o en la que se define un conjunto haciendo referencia a él mismo. No existe convenio acerca de lo que diferencia lo predicativo de lo impredicativo. (es)
- En el ámbito de las matemáticas, la lógica y la filosofía de las matemáticas, se llama impredicativa a toda definición autorreferencial, es decir, a toda definición de un objeto en la que se cuantifica sobre el conjunto al que este objeto pertenece o en la que se define un conjunto haciendo referencia a él mismo. No existe convenio acerca de lo que diferencia lo predicativo de lo impredicativo. (es)
|
| rdfs:label
|
- Impredicatividad (es)
- Impredicatividad (es)
|
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is owl:sameAs
of | |
| is foaf:primaryTopic
of | |
