| Property |
Value |
| dbo:abstract
|
- En toute généralité, la résolution d'un problèmes non résolus en mathématiques est relative au cadre axiomatique dans lequel on se place. Pour exemples on peut prouver plus en logique classique qu'en logique intuitionniste et aussi plus dans la théorie des ensembles usuelle que dans la théorie arithmétique. Par exemple le théorème de Goodstein s'exprime dans le langage de l'arithmétique et est démontré être indécidable dans la théorie arithmétique, alors qu'il est un théorème de la théorie des ensembles. Le célèbre dernier théorème de Fermat, qui lui aussi s'exprime dans le langage de l'arithmétique, est résolu en théorie des ensembles, mais on ne sait pas s'il est résoluble ou non dans la théorie arithmétique. Ce qui suit est donc une liste de problèmes non résolus en mathématiques standard, soit en logique classique avec la théorie des ensembles usuelle. (fr)
- En toute généralité, la résolution d'un problèmes non résolus en mathématiques est relative au cadre axiomatique dans lequel on se place. Pour exemples on peut prouver plus en logique classique qu'en logique intuitionniste et aussi plus dans la théorie des ensembles usuelle que dans la théorie arithmétique. Par exemple le théorème de Goodstein s'exprime dans le langage de l'arithmétique et est démontré être indécidable dans la théorie arithmétique, alors qu'il est un théorème de la théorie des ensembles. Le célèbre dernier théorème de Fermat, qui lui aussi s'exprime dans le langage de l'arithmétique, est résolu en théorie des ensembles, mais on ne sait pas s'il est résoluble ou non dans la théorie arithmétique. Ce qui suit est donc une liste de problèmes non résolus en mathématiques standard, soit en logique classique avec la théorie des ensembles usuelle. (fr)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 8084 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
|
- 1991 (xsd:integer)
- 1999 (xsd:integer)
- 2004 (xsd:integer)
- 2009 (xsd:integer)
- 2013 (xsd:integer)
|
| prop-fr:annéePremièreÉdition
|
- 1981 (xsd:integer)
- 1991 (xsd:integer)
- 2004 (xsd:integer)
|
| prop-fr:auteur
| |
| prop-fr:collection
|
- Unsolved Problems in Intuitive Mathematics (fr)
- Unsolved Problems in Intuitive Mathematics (fr)
|
| prop-fr:fr
|
- conjecture de Lehmer (fr)
- coloration totale (fr)
- conjecture de reconstruction (fr)
- conjecture de Lehmer (fr)
- coloration totale (fr)
- conjecture de reconstruction (fr)
|
| prop-fr:isbn
| |
| prop-fr:langue
| |
| prop-fr:lieu
|
- New York (fr)
- New York (fr)
|
| prop-fr:lireEnLigne
| |
| prop-fr:numéroDansCollection
|
- 1 (xsd:integer)
- 2 (xsd:integer)
|
| prop-fr:pagesTotales
|
- 142 (xsd:integer)
- 333 (xsd:integer)
- 352 (xsd:integer)
- 437 (xsd:integer)
|
| prop-fr:titre
|
- Unsolved Problems in Number Theory (fr)
- Erdős on Graphs: His Legacy of Unsolved Problems (fr)
- Unsolved Problems in Mathematical Systems and Control Theory (fr)
- Unsolved Problems in Geometry (fr)
- Old and New Unsolved Problems in Plane Geometry and Number Theory (fr)
- Unsolved Problems in Number Theory (fr)
- Erdős on Graphs: His Legacy of Unsolved Problems (fr)
- Unsolved Problems in Mathematical Systems and Control Theory (fr)
- Unsolved Problems in Geometry (fr)
- Old and New Unsolved Problems in Plane Geometry and Number Theory (fr)
|
| prop-fr:trad
|
- Lehmer's conjecture (fr)
- Reconstruction conjecture (fr)
- Total coloring (fr)
- Lehmer's conjecture (fr)
- Reconstruction conjecture (fr)
- Total coloring (fr)
|
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:éditeur
| |
| dct:subject
| |
| rdfs:comment
|
- En toute généralité, la résolution d'un problèmes non résolus en mathématiques est relative au cadre axiomatique dans lequel on se place. Pour exemples on peut prouver plus en logique classique qu'en logique intuitionniste et aussi plus dans la théorie des ensembles usuelle que dans la théorie arithmétique. Par exemple le théorème de Goodstein s'exprime dans le langage de l'arithmétique et est démontré être indécidable dans la théorie arithmétique, alors qu'il est un théorème de la théorie des ensembles. (fr)
- En toute généralité, la résolution d'un problèmes non résolus en mathématiques est relative au cadre axiomatique dans lequel on se place. Pour exemples on peut prouver plus en logique classique qu'en logique intuitionniste et aussi plus dans la théorie des ensembles usuelle que dans la théorie arithmétique. Par exemple le théorème de Goodstein s'exprime dans le langage de l'arithmétique et est démontré être indécidable dans la théorie arithmétique, alors qu'il est un théorème de la théorie des ensembles. (fr)
|
| rdfs:label
|
- Відкриті математичні питання (uk)
- قائمة المسائل غير المحلولة في الرياضيات (ar)
- Danh sách vấn đề mở trong toán học (vi)
- Olösta matematiska problem (sv)
- Problemi irrisolti in matematica (it)
- Problèmes non résolus en mathématiques (fr)
- Ungelöste Probleme der Mathematik (de)
- Открытые математические проблемы (ru)
- 未解决的数学问题 (zh)
- Відкриті математичні питання (uk)
- قائمة المسائل غير المحلولة في الرياضيات (ar)
- Danh sách vấn đề mở trong toán học (vi)
- Olösta matematiska problem (sv)
- Problemi irrisolti in matematica (it)
- Problèmes non résolus en mathématiques (fr)
- Ungelöste Probleme der Mathematik (de)
- Открытые математические проблемы (ru)
- 未解决的数学问题 (zh)
|
| rdfs:seeAlso
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:isPartOf
of | |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
