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.

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, and in a different setting, non-standard analysis. (en)
  • 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 (Não-Bem-Fundados-Conjuntos). A teoria dos hiperconjuntos tem sido aplicada à ciência computacional, linguística, e filosofia (trabalho sobre o paradoxo de Liar). (pt)
dbpprop:hasPhotoCollection
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. (en)
  • 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 (Não-Bem-Fundados-Conjuntos). (pt)
rdfs:label
  • Non-well-founded set theory (en)
  • Hiperconjunto (pt)
owl:sameAs
skos:subject
foaf:page
is dbpprop:redirect of
is owl:sameAs of