About: dbpedia-fr:Mathématiques     Goto   Sponge   Distinct   Permalink

An Entity of Type : dbo:TopicalConcept, within Data Space : prod-dbpedia.inria.fr associated with source document(s)

AttributesValues
has abstract
  • Les mathématiques (ou la mathématique) sont un ensemble de connaissances abstraites résultant de raisonnements logiques appliqués à des objets divers tels que les ensembles mathématiques, les nombres, les formes, les structures, les transformations, etc. ; ainsi qu'aux relations et opérations mathématiques qui existent entre ces objets. Elles sont aussi le domaine de recherche développant ces connaissances, ainsi que la discipline qui les enseigne. Elles possèdent plusieurs branches telles que : l'arithmétique, l'algèbre, l'analyse, la géométrie, la logique mathématique, les probabilités, etc. Il existe également une certaine séparation entre les mathématiques pures et les mathématiques appliquées. Les mathématiques se distinguent des autres sciences par un rapport particulier au réel car l'observation et l'expérience ne s'y portent pas sur des objets physiques ; les mathématiques ne sont pas une science empirique. Elles sont de nature entièrement intellectuelle, fondées sur des axiomes déclarés vrais ou sur des postulats provisoirement admis. Ces axiomes en constituent les fondements et ne dépendent donc d'aucune autre proposition. Un énoncé mathématique – dénommé généralement, après être validé, théorème, proposition, lemme, fait, scholie ou corollaire – est considéré comme valide lorsque le discours formel qui établit sa vérité respecte une certaine structure rationnelle appelée démonstration, ou raisonnement logicodéductif. Un énoncé qui n'a pas encore fait l'objet d'une démonstration mais qui est néanmoins considéré plausible est appelé conjecture. Bien que les résultats mathématiques soient des vérités purement formelles, ils trouvent des applications dans les autres sciences et dans différents domaines de la technique. C'est ainsi qu'Eugene Wigner parle de « la déraisonnable efficacité des mathématiques dans les sciences de la nature ». (fr)
Faceted Search & Find service v1.16.111 as of Oct 19 2022


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
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, 12 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software