Non-well-founded set theories are variants of axiomatic set theory which allow sets to contain themselves and otherwise violate the rule of well-foundedness. In non-well-founded set theories, the foundation axiom of ZFC is replaced by axioms implying its negation.
| Property | Value |
|---|
| dbpedia-owl:abstract
|
- Non-well-founded set theories are variants of axiomatic set theory which allow sets to contain themselves and otherwise violate the rule of well-foundedness. In non-well-founded set theories, the foundation axiom of ZFC is replaced by axioms implying its negation. The theory of non-well-founded sets has been applied in the logical modelling of non-terminating computational processes in computer science, linguistics and natural language semantics, philosophy (work on the Liar Paradox), and in a different setting, non-standard analysis.
- Em ZFC sem o axioma da regularidade, a possibilidade de infundados conjuntos surgem. Estes conjuntos, se existem, são também chamados hiperconjuntos. Claramente, se A ∈ A, então A é um hiperconjunto. Em 1988, Peter Aczel publicou um trabalho influente, Non-Well-Founded Sets (Conjuntos Não-Bem-Fundados). A teoria dos hiperconjuntos tem sido aplicada à ciência computacional (processamento algébrico e semântica limite), linguística (teoria da situação), e filosofia (trabalho sobre o paradoxo de Liar).
|
| dbpedia-owl:wikiPageExternalLink
| |
| dcterms:subject
| |
| rdf:type
| |
| rdfs:comment
|
- Non-well-founded set theories are variants of axiomatic set theory which allow sets to contain themselves and otherwise violate the rule of well-foundedness. In non-well-founded set theories, the foundation axiom of ZFC is replaced by axioms implying its negation.
- Em ZFC sem o axioma da regularidade, a possibilidade de infundados conjuntos surgem. Estes conjuntos, se existem, são também chamados hiperconjuntos. Claramente, se A ∈ A, então A é um hiperconjunto. Em 1988, Peter Aczel publicou um trabalho influente, Non-Well-Founded Sets (Conjuntos Não-Bem-Fundados).
|
| rdfs:label
|
- Non-well-founded set theory
- Hiperconjunto
|
| owl:sameAs
| |
| foaf:page
| |
| is dbpedia-owl:wikiPageDisambiguates
of | |
| is dbpedia-owl:wikiPageRedirects
of | |
| is owl:sameAs
of | |
| is foaf:primaryTopic
of | |
