| Property |
Value |
| dbo:abstract
|
- Les ensembles sont d'une importance fondamentale en mathématiques ; en fait, de manière formelle, la mécanique interne des mathématiques (nombres, relations, fonctions, etc.) peut se définir en termes d'ensembles. Il y a plusieurs façons de développer la théorie des ensembles et plusieurs théories des ensembles existent. Par théorie naïve des ensembles, on entend le plus souvent un développement informel d'une théorie des ensembles dans le langage usuel des mathématiques, mais fondée sur les axiomes de la théorie des ensembles de Zermelo ou de Zermelo-Fraenkel avec axiome du choix dans le style du livre Naive Set Theory de Paul Halmos. Une théorie naïve suppose implicitement qu'il n'y a qu'un univers ensembliste, et que les preuves d'indépendance, et de cohérence relative, comme l'indépendance de l'hypothèse du continu, ne sont pas de son ressort. On entend également parfois par théorie naïve des ensembles la théorie des ensembles telle que la concevait et développait son créateur, Georg Cantor, qui n'était pas axiomatisée, et que l'on connaît par ses articles et sa correspondance. Enfin « théorie naïve » désigne parfois une théorie contradictoire à usage pédagogique formée des axiomes d'extensionnalité et de compréhension non restreinte, qui n'a d'autre intérêt que d'introduire les axiomes de la théorie des ensembles, et qui ne doit pas être identifiée à celle de Cantor. (fr)
- Les ensembles sont d'une importance fondamentale en mathématiques ; en fait, de manière formelle, la mécanique interne des mathématiques (nombres, relations, fonctions, etc.) peut se définir en termes d'ensembles. Il y a plusieurs façons de développer la théorie des ensembles et plusieurs théories des ensembles existent. Par théorie naïve des ensembles, on entend le plus souvent un développement informel d'une théorie des ensembles dans le langage usuel des mathématiques, mais fondée sur les axiomes de la théorie des ensembles de Zermelo ou de Zermelo-Fraenkel avec axiome du choix dans le style du livre Naive Set Theory de Paul Halmos. Une théorie naïve suppose implicitement qu'il n'y a qu'un univers ensembliste, et que les preuves d'indépendance, et de cohérence relative, comme l'indépendance de l'hypothèse du continu, ne sont pas de son ressort. On entend également parfois par théorie naïve des ensembles la théorie des ensembles telle que la concevait et développait son créateur, Georg Cantor, qui n'était pas axiomatisée, et que l'on connaît par ses articles et sa correspondance. Enfin « théorie naïve » désigne parfois une théorie contradictoire à usage pédagogique formée des axiomes d'extensionnalité et de compréhension non restreinte, qui n'a d'autre intérêt que d'introduire les axiomes de la théorie des ensembles, et qui ne doit pas être identifiée à celle de Cantor. (fr)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 15575 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
| |
| prop-fr:class
|
- history (fr)
- history (fr)
|
| prop-fr:id
|
- HistTopics/Beginnings_of_set_theory (fr)
- HistTopics/Beginnings_of_set_theory (fr)
|
| prop-fr:isbn
| |
| prop-fr:langue
| |
| prop-fr:lireEnLigne
| |
| prop-fr:nom
|
- Hallett (fr)
- Hallett (fr)
|
| prop-fr:pagesTotales
| |
| prop-fr:prénom
|
- Michael (fr)
- Michael (fr)
|
| prop-fr:title
|
- A history of set theory (fr)
- A history of set theory (fr)
|
| prop-fr:titre
|
- Cantorian Set Theory and Limitation of Size (fr)
- Cantorian Set Theory and Limitation of Size (fr)
|
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:wikiversity
|
- Ensemble (fr)
- Ensemble (fr)
|
| prop-fr:wikiversityTitre
|
- Ensemble (fr)
- Ensemble (fr)
|
| prop-fr:éditeur
| |
| dct:subject
| |
| rdfs:comment
|
- Les ensembles sont d'une importance fondamentale en mathématiques ; en fait, de manière formelle, la mécanique interne des mathématiques (nombres, relations, fonctions, etc.) peut se définir en termes d'ensembles. Il y a plusieurs façons de développer la théorie des ensembles et plusieurs théories des ensembles existent. Par théorie naïve des ensembles, on entend le plus souvent un développement informel d'une théorie des ensembles dans le langage usuel des mathématiques, mais fondée sur les axiomes de la théorie des ensembles de Zermelo ou de Zermelo-Fraenkel avec axiome du choix dans le style du livre Naive Set Theory de Paul Halmos. Une théorie naïve suppose implicitement qu'il n'y a qu'un univers ensembliste, et que les preuves d'indépendance, et de cohérence relative, comme l'indépend (fr)
- Les ensembles sont d'une importance fondamentale en mathématiques ; en fait, de manière formelle, la mécanique interne des mathématiques (nombres, relations, fonctions, etc.) peut se définir en termes d'ensembles. Il y a plusieurs façons de développer la théorie des ensembles et plusieurs théories des ensembles existent. Par théorie naïve des ensembles, on entend le plus souvent un développement informel d'une théorie des ensembles dans le langage usuel des mathématiques, mais fondée sur les axiomes de la théorie des ensembles de Zermelo ou de Zermelo-Fraenkel avec axiome du choix dans le style du livre Naive Set Theory de Paul Halmos. Une théorie naïve suppose implicitement qu'il n'y a qu'un univers ensembliste, et que les preuves d'indépendance, et de cohérence relative, comme l'indépend (fr)
|
| rdfs:label
|
- Naive Mengenlehre (de)
- Naïeve verzamelingenleer (nl)
- Teoria informal de conjunts (ca)
- Teoria ingenua degli insiemi (it)
- Teoría informal de conjuntos (es)
- Théorie naïve des ensembles (fr)
- Наївна теорія множин (uk)
- Naive Mengenlehre (de)
- Naïeve verzamelingenleer (nl)
- Teoria informal de conjunts (ca)
- Teoria ingenua degli insiemi (it)
- Teoría informal de conjuntos (es)
- Théorie naïve des ensembles (fr)
- Наївна теорія множин (uk)
|
| rdfs:seeAlso
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
