| Property |
Value |
| dbo:abstract
|
- Le paradoxe de Richard est le paradoxe suivant, qui apparaît lorsqu'une théorie des ensembles n'est pas suffisamment formalisée : « Si l'on numérote tous les nombres réels définissables en un nombre fini de mots, alors on peut construire, en utilisant l'argument de la diagonale de Cantor un nombre réel hors de cette liste. Pourtant ce nombre a été défini en un nombre fini de mots. » Son auteur, le mathématicien français Jules Richard, professeur au lycée de Dijon, le décrivit dans une lettre au directeur de la Revue générale des Sciences Pures et Appliquées. Ce dernier décida de la publier, sous forme d'un court article, dans le numéro du 30 juin 1905 de cette revue. Il a joué un rôle important dans les recherches sur les fondements des mathématiques, en particulier au début du XXe siècle, et a suscité depuis sa publication en 1905 de nombreux commentaires. (fr)
- Le paradoxe de Richard est le paradoxe suivant, qui apparaît lorsqu'une théorie des ensembles n'est pas suffisamment formalisée : « Si l'on numérote tous les nombres réels définissables en un nombre fini de mots, alors on peut construire, en utilisant l'argument de la diagonale de Cantor un nombre réel hors de cette liste. Pourtant ce nombre a été défini en un nombre fini de mots. » Son auteur, le mathématicien français Jules Richard, professeur au lycée de Dijon, le décrivit dans une lettre au directeur de la Revue générale des Sciences Pures et Appliquées. Ce dernier décida de la publier, sous forme d'un court article, dans le numéro du 30 juin 1905 de cette revue. Il a joué un rôle important dans les recherches sur les fondements des mathématiques, en particulier au début du XXe siècle, et a suscité depuis sa publication en 1905 de nombreux commentaires. (fr)
|
| dbo:namedAfter
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 7716 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
|
- 1905 (xsd:integer)
- 1967 (xsd:integer)
|
| prop-fr:auteur
| |
| prop-fr:isbn
| |
| prop-fr:langue
| |
| prop-fr:lieu
|
- Cambridge (fr)
- Cambridge (fr)
|
| prop-fr:lireEnLigne
|
- https://gallica.bnf.fr/ark:/12148/bpt6k17080b/f545.item|titre chapitre=Les Principes des mathématiques et le problème des ensembles (fr)
- https://gallica.bnf.fr/ark:/12148/bpt6k17080b/f545.item|titre chapitre=Les Principes des mathématiques et le problème des ensembles (fr)
|
| prop-fr:pagesTotales
| |
| prop-fr:passage
| |
| prop-fr:titre
|
- Revue générale des sciences pures et appliquées (fr)
- A source Book in Mathematical Logic 1879-1931 (fr)
- Revue générale des sciences pures et appliquées (fr)
- A source Book in Mathematical Logic 1879-1931 (fr)
|
| prop-fr:tome
| |
| prop-fr:volume
| |
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:éditeur
|
- Harvard Univ. Press (fr)
- Harvard Univ. Press (fr)
|
| dct:subject
| |
| rdfs:comment
|
- Le paradoxe de Richard est le paradoxe suivant, qui apparaît lorsqu'une théorie des ensembles n'est pas suffisamment formalisée : « Si l'on numérote tous les nombres réels définissables en un nombre fini de mots, alors on peut construire, en utilisant l'argument de la diagonale de Cantor un nombre réel hors de cette liste. Pourtant ce nombre a été défini en un nombre fini de mots. » (fr)
- Le paradoxe de Richard est le paradoxe suivant, qui apparaît lorsqu'une théorie des ensembles n'est pas suffisamment formalisée : « Si l'on numérote tous les nombres réels définissables en un nombre fini de mots, alors on peut construire, en utilisant l'argument de la diagonale de Cantor un nombre réel hors de cette liste. Pourtant ce nombre a été défini en un nombre fini de mots. » (fr)
|
| rdfs:label
|
- Paradoja de Richard (es)
- Paradosso di Richard (it)
- Paradoxa de Richard (ca)
- Paradoxe de Richard (fr)
- Paradoxo de Richard (pt)
- Richard's paradox (en)
- Richards Paradox (de)
- Парадокс Ришара (ru)
- リシャールのパラドックス (ja)
|
| rdfs:seeAlso
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:knownFor
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is prop-fr:renomméPour
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
