| Property |
Value |
| dbo:abstract
|
- En mathématiques, la longueur d'une démonstration dépend du langage (naturel ou formel) dans lequel elle est rédigée, ainsi que des résultats préliminaires sur lesquels elle s'appuie. Des résultats inattendus de la théorie de la démonstration, comme le théorème d'accélération de Gödel, montrent que des énoncés simples peuvent avoir des démonstrations très longues, et qui dépendent considérablement du système d'axiomes choisis ; si les mathématiciens ont une préférence pour les « démonstrations élégantes » (qui sont souvent les plus courtes possibles), dans la seconde moitié du XXe siècle, certaines résultats importants ont néanmoins fait l'objet de démonstrations, parfois assistées par ordinateur, d'une longueur exceptionnelle. (fr)
- En mathématiques, la longueur d'une démonstration dépend du langage (naturel ou formel) dans lequel elle est rédigée, ainsi que des résultats préliminaires sur lesquels elle s'appuie. Des résultats inattendus de la théorie de la démonstration, comme le théorème d'accélération de Gödel, montrent que des énoncés simples peuvent avoir des démonstrations très longues, et qui dépendent considérablement du système d'axiomes choisis ; si les mathématiciens ont une préférence pour les « démonstrations élégantes » (qui sont souvent les plus courtes possibles), dans la seconde moitié du XXe siècle, certaines résultats importants ont néanmoins fait l'objet de démonstrations, parfois assistées par ordinateur, d'une longueur exceptionnelle. (fr)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 36735 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
|
- 1998 (xsd:integer)
- 2011 (xsd:integer)
- 2015 (xsd:integer)
|
| prop-fr:fr
|
- Boolean Pythagorean triples problem (fr)
- conjecture d'irrégularité d'Erdős (fr)
- Boolean Pythagorean triples problem (fr)
- conjecture d'irrégularité d'Erdős (fr)
|
| prop-fr:id
|
- Krantz 2011 (fr)
- Krantz 2011 (fr)
|
| prop-fr:journal
| |
| prop-fr:langue
| |
| prop-fr:lienAuteur
|
- Jean-Paul Delahaye (fr)
- Jean-Paul Delahaye (fr)
|
| prop-fr:lieu
|
- Paris (fr)
- Berlin, New York (fr)
- Paris (fr)
- Berlin, New York (fr)
|
| prop-fr:lireEnLigne
| |
| prop-fr:nom
| |
| prop-fr:numéro
|
- 402 (xsd:integer)
- 452 (xsd:integer)
|
| prop-fr:passage
| |
| prop-fr:prénom
|
- Jean-Paul (fr)
- Pavel (fr)
- Jean-Paul (fr)
- Pavel (fr)
|
| prop-fr:résumé
| |
| prop-fr:texte
|
- problème de bicoloration (fr)
- problème de bicoloration (fr)
|
| prop-fr:titre
|
- Comment vérifier les longues démonstrations (fr)
- Du rêve à la réalité des preuves (fr)
- Handbook of proof theory (fr)
- The proof is in the pudding. The changing nature of mathematical proof (fr)
- Comment vérifier les longues démonstrations (fr)
- Du rêve à la réalité des preuves (fr)
- Handbook of proof theory (fr)
- The proof is in the pudding. The changing nature of mathematical proof (fr)
|
| prop-fr:titreChapitre
|
- Chapitre 8 : The Lengths of Proofs (fr)
- Chapitre 8 : The Lengths of Proofs (fr)
|
| prop-fr:trad
|
- ±1-sequence#Erd.C5.91s_discrepancy_problem (fr)
- ±1-sequence#Erd.C5.91s_discrepancy_problem (fr)
|
| prop-fr:url
| |
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:éditeur
| |
| dct:subject
| |
| rdfs:comment
|
- En mathématiques, la longueur d'une démonstration dépend du langage (naturel ou formel) dans lequel elle est rédigée, ainsi que des résultats préliminaires sur lesquels elle s'appuie. Des résultats inattendus de la théorie de la démonstration, comme le théorème d'accélération de Gödel, montrent que des énoncés simples peuvent avoir des démonstrations très longues, et qui dépendent considérablement du système d'axiomes choisis ; si les mathématiciens ont une préférence pour les « démonstrations élégantes » (qui sont souvent les plus courtes possibles), dans la seconde moitié du XXe siècle, certaines résultats importants ont néanmoins fait l'objet de démonstrations, parfois assistées par ordinateur, d'une longueur exceptionnelle. (fr)
- En mathématiques, la longueur d'une démonstration dépend du langage (naturel ou formel) dans lequel elle est rédigée, ainsi que des résultats préliminaires sur lesquels elle s'appuie. Des résultats inattendus de la théorie de la démonstration, comme le théorème d'accélération de Gödel, montrent que des énoncés simples peuvent avoir des démonstrations très longues, et qui dépendent considérablement du système d'axiomes choisis ; si les mathématiciens ont une préférence pour les « démonstrations élégantes » (qui sont souvent les plus courtes possibles), dans la seconde moitié du XXe siècle, certaines résultats importants ont néanmoins fait l'objet de démonstrations, parfois assistées par ordinateur, d'une longueur exceptionnelle. (fr)
|
| rdfs:label
|
- Longueur d'une démonstration (fr)
- Longueur d'une démonstration (fr)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
