This HTML5 document contains 146 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n19http://data.bnf.fr/ark:/12148/cb13326571v#
dbpedia-svhttp://sv.dbpedia.org/resource/
dbpedia-fihttp://fi.dbpedia.org/resource/
dbrhttp://dbpedia.org/resource/
n20http://hy.dbpedia.org/resource/
n55http://dewey.info/class/143/
dbpedia-hrhttp://hr.dbpedia.org/resource/
n15http://fr.dbpedia.org/resource/Modèle:
dbpedia-mshttp://ms.dbpedia.org/resource/
dbpedia-arhttp://ar.dbpedia.org/resource/
dbpedia-hehttp://he.dbpedia.org/resource/
dbpedia-frhttp://fr.dbpedia.org/resource/
dbpedia-pmshttp://pms.dbpedia.org/resource/
n30https://www.britannica.com/topic/
dcthttp://purl.org/dc/terms/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n58https://web.archive.org/web/20071009030648/http:/moire4.u-strasbg.fr/souv/
n45http://g.co/kg/m/
dbpedia-azhttp://az.dbpedia.org/resource/
n40https://d-nb.info/gnd/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
dbpedia-eohttp://eo.dbpedia.org/resource/
dbpedia-gahttp://ga.dbpedia.org/resource/
xsdhhttp://www.w3.org/2001/XMLSchema#
n56http://www.universalis.fr/encyclopedie/
dbpedia-ukhttp://uk.dbpedia.org/resource/
dbpedia-idhttp://id.dbpedia.org/resource/
n44http://ma-graph.org/entity/
prop-frhttp://fr.dbpedia.org/property/
dbohttp://dbpedia.org/ontology/
dbpedia-srhttp://sr.dbpedia.org/resource/
dbpedia-pthttp://pt.dbpedia.org/resource/
dbpedia-huhttp://hu.dbpedia.org/resource/
dbpedia-skhttp://sk.dbpedia.org/resource/
dbpedia-jahttp://ja.dbpedia.org/resource/
n39http://uz.dbpedia.org/resource/
dbpedia-plhttp://pl.dbpedia.org/resource/
dbpedia-dehttp://de.dbpedia.org/resource/
dbpedia-ruhttp://ru.dbpedia.org/resource/
wikidatahttp://www.wikidata.org/entity/
n25http://plato.stanford.edu/entries/
dbpedia-nlhttp://nl.dbpedia.org/resource/
n27https://books.google.fr/
n46http://www.cultureelwoordenboek.nl/filosofie/
dbpedia-ithttp://it.dbpedia.org/resource/
dbpedia-cahttp://ca.dbpedia.org/resource/
provhttp://www.w3.org/ns/prov#
foafhttp://xmlns.com/foaf/0.1/
dbpedia-nnhttp://nn.dbpedia.org/resource/
n37https://www.jstor.org/topic/
wikipedia-frhttp://fr.wikipedia.org/wiki/
dbpedia-zhhttp://zh.dbpedia.org/resource/
n57http://lt.dbpedia.org/resource/
dbpedia-kohttp://ko.dbpedia.org/resource/
dbpedia-trhttp://tr.dbpedia.org/resource/
dbpedia-fahttp://fa.dbpedia.org/resource/
dbpedia-eshttp://es.dbpedia.org/resource/
category-frhttp://fr.dbpedia.org/resource/Catégorie:
owlhttp://www.w3.org/2002/07/owl#
dbpedia-kahttp://ka.dbpedia.org/resource/

Statements

Subject Item
dbpedia-fr:Intuitionnisme
rdfs:label
Intuitionismus (Logik und Mathematik) Intuicjonizm (matematyka) Intuitionism Интуиционизм Intuitionnisme Intuizionismo 直観主義 (数学の哲学)
rdfs:comment
L'intuitionnisme est une philosophie des mathématiques que L. E. J. Brouwer a élaborée au début du XXe siècle. Pour Brouwer, les mathématiques sont une libre création de l'esprit humain et tous les objets qu'elles manipulent doivent être accessibles à l'intuition. L'intuitionnisme a pour conséquence une profonde remise en cause des mathématiques, notamment en refusant l'infini actuel : un nombre réel ne peut être représenté comme une suite infinie de décimales qu'à la condition de disposer d'un moyen effectif de calculer chacune de ces décimales ; on parle alors de réel constructif.
rdfs:seeAlso
n25:intuitionism n30:intuitionism-philosophy-of-mathematics n37:mathematical-intuitionism n46:intuitionisme n55:about n56:intuitionnisme
owl:sameAs
dbpedia-ka:მათემატიკური_ინტუიციონიზმი dbpedia-az:İntuitivizm dbpedia-hu:Matematikai_intuicionizmus dbpedia-ga:Iomasachas_(matamaitic) dbpedia-uk:Інтуїціонізм dbpedia-id:Intuisionisme dbpedia-sv:Intuitionism dbpedia-sk:Intuicionizmus dbpedia-he:אינטואיציוניזם dbpedia-it:Intuizionismo n19:about n20:Ինտուիցիոնիզմ dbpedia-ko:직관주의 dbpedia-es:Intuicionismo dbpedia-pt:Intuicionismo dbpedia-ca:Intuïcionisme dbpedia-ar:حدسية_(فلسفة_الرياضيات) dbpedia-nl:Intuïtionisme dbpedia-fa:شهودگرایی_ریاضی dbpedia-zh:直觉主义 dbpedia-ru:Интуиционизм dbpedia-sr:Интуиционизам dbpedia-fi:Intuitionismi n39:Intuitsionizm n40:4162197-9 dbpedia-hr:Intuicionizam wikidata:Q10879018 dbpedia-de:Intuitionismus_(Logik_und_Mathematik) n44:153107464 n45:04xvn dbpedia-eo:Intuiciismo dbpedia-tr:Sezgici_matematik dbpedia-ms:Intuisionisme dbpedia-ja:直観主義_(数学の哲学) dbr:Intuitionism dbpedia-pl:Intuicjonizm_(matematyka) n57:Intuityvizmas dbpedia-nn:Intuisjonisme
dbo:wikiPageInterLanguageLink
dbpedia-pms:Antuissionism
dbo:wikiPageID
5754678
dbo:wikiPageRevisionID
187453481
dbo:wikiPageWikiLink
dbpedia-fr:Georg_Cantor dbpedia-fr:Gottlob_Frege dbpedia-fr:Jean_Largeault dbpedia-fr:Hilary_Putnam dbpedia-fr:Constructivisme_(mathématiques) dbpedia-fr:Paradoxe_de_Russell category-fr:Intuitionnisme dbpedia-fr:Georges_Reeb dbpedia-fr:Raisonnement_par_l'absurde dbpedia-fr:Luitzen_Egbertus_Jan_Brouwer dbpedia-fr:Philosophie_des_mathématiques dbpedia-fr:Valery_Glivenko dbpedia-fr:Théorie_de_la_démonstration dbpedia-fr:Jean_van_Heijenoort dbpedia-fr:Gerhard_Gentzen dbpedia-fr:Théorie_des_ensembles_de_Zermelo-Fraenkel dbpedia-fr:Leopold_Kronecker dbpedia-fr:Bijection dbpedia-fr:Logique_classique dbpedia-fr:Andreï_Kolmogorov dbpedia-fr:Principe_du_tiers_exclu dbpedia-fr:Jacques_Harthong dbpedia-fr:Presses_universitaires_de_France dbpedia-fr:Antiréalisme dbpedia-fr:Kurt_Gödel dbpedia-fr:Arend_Heyting category-fr:Philosophie_des_mathématiques dbpedia-fr:Rudolf_Carnap category-fr:Philosophie_de_la_logique dbpedia-fr:John_von_Neumann dbpedia-fr:Logique_intuitionniste dbpedia-fr:Intuition dbpedia-fr:Paul_Bernays dbpedia-fr:Stephen_Cole_Kleene dbpedia-fr:David_Hilbert dbpedia-fr:Paul_Benacerraf dbpedia-fr:Que_sais-je_%3F dbpedia-fr:Lois_de_De_Morgan dbpedia-fr:Alan_Turing dbpedia-fr:Michael_Dummett dbpedia-fr:Bertrand_Russell
dbo:wikiPageExternalLink
n27:books%3Fid=spBmyTWlFQ8C n27:books%3Fid=v4tBTBlU05sC&printsec=frontcover n58:Int84.htm
dbo:wikiPageLength
15609
dct:subject
category-fr:Philosophie_des_mathématiques category-fr:Philosophie_de_la_logique category-fr:Intuitionnisme
prop-fr:wikiPageUsesTemplate
n15:ISBN n15:Références n15:Portail n15:Autre n15:Ouvrage n15:P. n15:2nd-en n15:2nde n15:SEP n15:Ébauche n15:Commentaire_biblio n15:XXe_siècle n15:En
prov:wasDerivedFrom
wikipedia-fr:Intuitionnisme?oldid=187453481&ns=0
prop-fr:année
1971 1992
prop-fr:annéePremièreÉdition
1956
prop-fr:isbn
0 2
prop-fr:langue
fr en
prop-fr:lienAuteur
Jean Largeault Arend Heyting
prop-fr:lieu
Amsterdam Paris
prop-fr:nom
Largeault Heyting
prop-fr:pagesTotales
145 566
prop-fr:prénom
Arend Jean
prop-fr:présentationEnLigne
n27:books%3Fid=spBmyTWlFQ8C
prop-fr:sousTitre
An Introduction
prop-fr:titre
Intuitionisme et théorie de la démonstration Intuitionism
prop-fr:éditeur
J. Vrin North-Holland Pub. Co
prop-fr:numéroD'édition
3
foaf:isPrimaryTopicOf
wikipedia-fr:Intuitionnisme
dbo:discoverer
dbpedia-fr:Luitzen_Egbertus_Jan_Brouwer
dbo:abstract
L'intuitionnisme est une philosophie des mathématiques que L. E. J. Brouwer a élaborée au début du XXe siècle. Pour Brouwer, les mathématiques sont une libre création de l'esprit humain et tous les objets qu'elles manipulent doivent être accessibles à l'intuition. L'intuitionnisme a pour conséquence une profonde remise en cause des mathématiques, notamment en refusant l'infini actuel : un nombre réel ne peut être représenté comme une suite infinie de décimales qu'à la condition de disposer d'un moyen effectif de calculer chacune de ces décimales ; on parle alors de réel constructif. Sur le plan logique l'intuitionnisme n'accepte pas le raisonnement par l'absurde ou le tiers exclu pour la raison que ces principes permettent de démontrer des propriétés de façon non constructive : par exemple si on veut démontrer l'existence d'un nombre réel satisfaisant une certaine propriété, on peut raisonner par l'absurde, supposer qu'un tel réel n'existe pas, en déduire une contradiction et conclure que donc un tel réel existe, mais cette démonstration ne donne aucune indication sur la façon dont on pourrait calculer ce réel. Pour un intuitionniste on a juste démontré que l'existence d'un tel réel n'est pas contradictoire, mais pas que ce réel existe. La logique intuitionniste a été développée par Valery Glivenko, Arend Heyting, Kurt Gödel et Andreï Kolmogorov et formalise les principes logiques sur lesquels s'appuie l'intuitionnisme. L'intuitionnisme est souvent considéré comme une forme de constructivisme, avec lequel il a beaucoup en commun, mais il s'en écarte quand, comme c'est le cas pour l'intuitionnisme originel de Brouwer, il conduit à des énoncés mathématiques valides qui ne le sont pas classiquement. La logique intuitionniste, elle, ne permet de démontrer que des énoncés valides en logique classique.
dbo:isPartOf
dbpedia-fr:Philosophie_des_mathématiques dbpedia-fr:Crise_des_fondements