About: dbpedia-fr:Mathématiques_à

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: dbpedia-fr:Mathématiques_à_rebours Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : fr.dbpedia.org associated with source document(s)

Attributes	Values
rdfs:label	Mathématiques à rebours (fr) Reverse Mathematik (de) 逆数学 (zh)
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)
rdfs:seeAlso	https://ncatlab.org/nlab/show/reverse_mathematics https://www.jstor.org/topic/reverse-mathematics https://www.quora.com/topic/Reverse-Mathematics
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
Wikipage page ID	206539 (xsd:integer)
Wikipage revision ID	129030634 (xsd:integer)
dbo:wikiPageWikiLink	Axiom category-fr:Fondements_des_mathématiques category-fr:Logique_mathématique category-fr:Philosophie_des_mathématiques Harvey Friedman dbpedia-fr:Logique_mathématique dbpedia-fr:Théorème dbpedia-fr:Mathématiques
page length (characters) of wiki page	3167 (xsd:nonNegativeInteger)
dct:subject	category-fr:Fondements_des_mathématiques category-fr:Logique_mathématique category-fr:Philosophie_des_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
prov:wasDerivedFrom	wikipedia-fr:Mathématiques_à_rebours?oldid=129030634&ns=0
foaf:isPrimaryTopicOf	wikipedia-fr:Mathématiques_à_rebours
has 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)
is dbo:wikiPageWikiLink of	dbpedia-fr:Arithmétique_du_second_ordre Axiom dbpedia-fr:Détermination_(théorie_des_ensembles) Foundations of mathematics Harvey Friedman dbpedia-fr:Mathématiques_renversées
is Wikipage redirect of	dbpedia-fr:Mathématiques_renversées
is oa:hasTarget of	De labels Zh labels Wikidata Fr related
is foaf:primaryTopic of	wikipedia-fr:Mathématiques_à_rebours

Faceted Search & Find service v1.16.111 as of Oct 19 2022

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 11 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software