About: http://fr.dbpedia.org/resource/Mathématiques_à

Les mathématiques à rebours sont une branche des mathématiques qui pourrait être définie simplement par l'idée de « remonter aux axiomes à partir des théorèmes », contrairement au sens habituel (des axiomes vers les théorèmes). Un peu plus précisément, il s'agit d'évaluer la robustesse logique d'un ensemble de résultats mathématiques usuels en déterminant exactement quels axiomes sont nécessaires et suffisants pour les prouver.

Property	Value
dbo:abstract	Les mathématiques à rebours sont une branche des mathématiques qui pourrait être définie simplement par l'idée de « remonter aux axiomes à partir des théorèmes », contrairement au sens habituel (des axiomes vers les théorèmes). Un peu plus précisément, il s'agit d'évaluer la robustesse logique d'un ensemble de résultats mathématiques usuels en déterminant exactement quels axiomes sont nécessaires et suffisants pour les prouver. (fr) Les mathématiques à rebours sont une branche des mathématiques qui pourrait être définie simplement par l'idée de « remonter aux axiomes à partir des théorèmes », contrairement au sens habituel (des axiomes vers les théorèmes). Un peu plus précisément, il s'agit d'évaluer la robustesse logique d'un ensemble de résultats mathématiques usuels en déterminant exactement quels axiomes sont nécessaires et suffisants pour les prouver. (fr)
dbo:wikiPageID	206539 (xsd:integer)
dbo:wikiPageLength	3167 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID	129030634 (xsd:integer)
dbo:wikiPageWikiLink	dbpedia-fr:Axiome category-fr:Fondements_des_mathématiques category-fr:Logique_mathématique category-fr:Philosophie_des_mathématiques dbpedia-fr:Harvey_Friedman dbpedia-fr:Logique_mathématique dbpedia-fr:Théorème dbpedia-fr:Mathématiques
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:Langue dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Traduction/Référence dbpedia-fr:Modèle:Ébauche
dct:subject	category-fr:Fondements_des_mathématiques category-fr:Logique_mathématique category-fr:Philosophie_des_mathématiques
rdfs:comment	Les mathématiques à rebours sont une branche des mathématiques qui pourrait être définie simplement par l'idée de « remonter aux axiomes à partir des théorèmes », contrairement au sens habituel (des axiomes vers les théorèmes). Un peu plus précisément, il s'agit d'évaluer la robustesse logique d'un ensemble de résultats mathématiques usuels en déterminant exactement quels axiomes sont nécessaires et suffisants pour les prouver. (fr) Les mathématiques à rebours sont une branche des mathématiques qui pourrait être définie simplement par l'idée de « remonter aux axiomes à partir des théorèmes », contrairement au sens habituel (des axiomes vers les théorèmes). Un peu plus précisément, il s'agit d'évaluer la robustesse logique d'un ensemble de résultats mathématiques usuels en déterminant exactement quels axiomes sont nécessaires et suffisants pour les prouver. (fr)
rdfs:label	Mathématiques à rebours (fr) Reverse Mathematik (de) 逆数学 (zh) Mathématiques à rebours (fr) Reverse Mathematik (de) 逆数学 (zh)
rdfs:seeAlso	https://ncatlab.org/nlab/show/reverse_mathematics https://www.jstor.org/topic/reverse-mathematics https://www.quora.com/topic/Reverse-Mathematics
owl:sameAs	dbr:Reverse_mathematics wikidata:Q2005236 dbpedia-de:Reverse_Mathematik dbpedia-it:Matematica_inversa dbpedia-ja:逆数学 dbpedia-tr:Tersine_matematik dbpedia-zh:逆数学 http://g.co/kg/m/01w5v1 http://ma-graph.org/entity/127753061
prov:wasDerivedFrom	wikipedia-fr:Mathématiques_à_rebours?oldid=129030634&ns=0
foaf:isPrimaryTopicOf	wikipedia-fr:Mathématiques_à_rebours
is dbo:wikiPageRedirects of	dbpedia-fr:Mathématiques_renversées
is dbo:wikiPageWikiLink of	dbpedia-fr:Arithmétique_du_second_ordre dbpedia-fr:Axiome dbpedia-fr:Détermination_(théorie_des_ensembles) dbpedia-fr:Fondements_des_mathématiques dbpedia-fr:Harvey_Friedman dbpedia-fr:Mathématiques_renversées
is oa:hasTarget of	tag-fr:DeFrResource tag-fr:ZhFrResource tag-fr:WdtFrResource
is foaf:primaryTopic of	wikipedia-fr:Mathématiques_à_rebours

About: http://fr.dbpedia.org/resource/Mathématiques_à_rebours