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.

PropertyValue
dbpprop: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).
dbpprop:hasPhotoCollection
dbpprop:reference
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
skos:subject
foaf:page
is dbpprop:redirect of
is owl:sameAs of