La théorie des ensembles non bien fondés est une variante de la théorie axiomatique des ensembles qui permet aux ensembles de s'appartenir les uns aux autres sans limite. Autrement dit, c'est une théorie des ensembles qui viole l'axiome de fondation. Plus précisément, dans la théorie des ensembles non bien fondés, l'axiome de fondation de ZFC est remplacé par un axiome impliquant sa négation.

Property Value
dbo:abstract
  • La théorie des ensembles non bien fondés est une variante de la théorie axiomatique des ensembles qui permet aux ensembles de s'appartenir les uns aux autres sans limite. Autrement dit, c'est une théorie des ensembles qui viole l'axiome de fondation. Plus précisément, dans la théorie des ensembles non bien fondés, l'axiome de fondation de ZFC est remplacé par un axiome impliquant sa négation. L'étude des ensembles non-bien-fondés a été initiée par Demetrius Mirimanoffdans une série d'articles qu'il a publié en français entre 1917 et 1920 et dans lesquels il énonce une distinction entre des suites bien fondées et des suites non bien fondées ; cependant il ne fait pas recours à un axiome de bonne fondation. Alors que plusieurs axiomatiques pour les ensembles non bien fondés ont été proposées par la suite, aucune n'a trouvé d'application jusqu'à ce que Peter Aczel propose sa théorie des hyper-ensembles en 1988. La théorie des ensembles non-bien-fondés permet d'offrir des modèles pour la non-terminaison des calculs de processus en informatique (algèbre de processus), pour la linguistique et pour la sémantique du langage naturel. De plus elle a des applications en philosophie (paradoxe du menteur ) et en analyse non standard. (fr)
  • La théorie des ensembles non bien fondés est une variante de la théorie axiomatique des ensembles qui permet aux ensembles de s'appartenir les uns aux autres sans limite. Autrement dit, c'est une théorie des ensembles qui viole l'axiome de fondation. Plus précisément, dans la théorie des ensembles non bien fondés, l'axiome de fondation de ZFC est remplacé par un axiome impliquant sa négation. L'étude des ensembles non-bien-fondés a été initiée par Demetrius Mirimanoffdans une série d'articles qu'il a publié en français entre 1917 et 1920 et dans lesquels il énonce une distinction entre des suites bien fondées et des suites non bien fondées ; cependant il ne fait pas recours à un axiome de bonne fondation. Alors que plusieurs axiomatiques pour les ensembles non bien fondés ont été proposées par la suite, aucune n'a trouvé d'application jusqu'à ce que Peter Aczel propose sa théorie des hyper-ensembles en 1988. La théorie des ensembles non-bien-fondés permet d'offrir des modèles pour la non-terminaison des calculs de processus en informatique (algèbre de processus), pour la linguistique et pour la sémantique du langage naturel. De plus elle a des applications en philosophie (paradoxe du menteur ) et en analyse non standard. (fr)
dbo:wikiPageID
  • 10483153 (xsd:integer)
dbo:wikiPageLength
  • 8047 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 191251324 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:alignement
  • droite (fr)
  • droite (fr)
prop-fr:largeur
  • 220 (xsd:integer)
prop-fr:légende
  • Une suite infinie d'ensembles qui se contiennent les uns les autres] (fr)
  • Une suite infinie d'ensembles qui se contiennent les uns les autres] (fr)
prop-fr:wikiPageUsesTemplate
dct:subject
rdfs:comment
  • La théorie des ensembles non bien fondés est une variante de la théorie axiomatique des ensembles qui permet aux ensembles de s'appartenir les uns aux autres sans limite. Autrement dit, c'est une théorie des ensembles qui viole l'axiome de fondation. Plus précisément, dans la théorie des ensembles non bien fondés, l'axiome de fondation de ZFC est remplacé par un axiome impliquant sa négation. (fr)
  • La théorie des ensembles non bien fondés est une variante de la théorie axiomatique des ensembles qui permet aux ensembles de s'appartenir les uns aux autres sans limite. Autrement dit, c'est une théorie des ensembles qui viole l'axiome de fondation. Plus précisément, dans la théorie des ensembles non bien fondés, l'axiome de fondation de ZFC est remplacé par un axiome impliquant sa négation. (fr)
rdfs:label
  • Théorie des ensembles non bien fondés (fr)
  • Théorie des ensembles non bien fondés (fr)
rdfs:seeAlso
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:isPartOf of
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of