About: dbpedia-fr:Intuitionnisme

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

About: dbpedia-fr:Intuitionnisme 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	Intuitionnisme (fr) Intuicjonizm (matematyka) (pl) Intuitionism (sv) Intuitionismus (Logik und Mathematik) (de) Intuizionismo (it) Интуиционизм (ru) 直観主義 (数学の哲学) (ja)
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. (fr)
rdfs:seeAlso	http://plato.stanford.edu/entries/intuitionism http://dewey.info/class/143/about http://www.universalis.fr/encyclopedie/intuitionnisme https://www.britannica.com/topic/intuitionism-philosophy-of-mathematics https://www.jstor.org/topic/mathematical-intuitionism http://www.cultureelwoordenboek.nl/filosofie/intuitionisme
sameAs	https://d-nb.info/gnd/4162197-9 http://g.co/kg/m/04xvn http://ma-graph.org/entity/153107464 http://data.bnf.fr/ark:/12148/cb13326571v#about dbr:Intuitionism wikidata:Q10879018 dbpedia-ar:حدسية_(فلسفة_الرياضيات) dbpedia-az:İntuitivizm dbpedia-ca:Intuïcionisme dbpedia-de:Intuitionismus_(Logik_und_Mathematik) dbpedia-eo:Intuiciismo dbpedia-es:Intuicionismo dbpedia-fa:شهودگرایی_ریاضی dbpedia-fi:Intuitionismi dbpedia-ga:Iomasachas_(matamaitic) dbpedia-he:אינטואיציוניזם dbpedia-hr:Intuicionizam dbpedia-hu:Matematikai_intuicionizmus http://hy.dbpedia.org/resource/Ինտուիցիոնիզմ dbpedia-id:Intuisionisme dbpedia-it:Intuizionismo dbpedia-ja:直観主義_(数学の哲学) dbpedia-ka:მათემატიკური_ინტუიციონიზმი dbpedia-ko:직관주의 http://lt.dbpedia.org/resource/Intuityvizmas dbpedia-ms:Intuisionisme dbpedia-nl:Intuïtionisme dbpedia-nn:Intuisjonisme dbpedia-pl:Intuicjonizm_(matematyka) dbpedia-pt:Intuicionismo dbpedia-ru:Интуиционизм dbpedia-sk:Intuicionizmus dbpedia-sr:Интуиционизам dbpedia-sv:Intuitionism dbpedia-tr:Sezgici_matematik dbpedia-uk:Інтуїціонізм http://uz.dbpedia.org/resource/Intuitsionizm dbpedia-zh:直觉主义
Link from a Wikipa... related subject.	dbpedia-pms:Antuissionism
Wikipage page ID	5754678 (xsd:integer)
Wikipage revision ID	187453481 (xsd:integer)
dbo:wikiPageWikiLink	Alan Turing Andrey Kolmogorov dbpedia-fr:Antiréalisme dbpedia-fr:Arend_Heyting Bertrand Russell dbpedia-fr:Bijection category-fr:Intuitionnisme category-fr:Philosophie_de_la_logique category-fr:Philosophie_des_mathématiques dbpedia-fr:Constructivisme_(mathématiques) dbpedia-fr:David_Hilbert dbpedia-fr:Georg_Cantor Georges Reeb Gerhard Gentzen dbpedia-fr:Gottlob_Frege dbpedia-fr:Hilary_Putnam dbpedia-fr:Intuition dbpedia-fr:Jean_Largeault Jean van Heijenoort John von Neumann dbpedia-fr:Kurt_Gödel dbpedia-fr:Leopold_Kronecker dbpedia-fr:Logique_classique dbpedia-fr:Logique_intuitionniste dbpedia-fr:Lois_de_De_Morgan L. E. J. Brouwer Russell's paradox dbpedia-fr:Paul_Benacerraf dbpedia-fr:Paul_Bernays dbpedia-fr:Philosophie_des_mathématiques Presses Universitaires de France Law of excluded middle Que sais-je? Reductio ad absurdum Rudolf Carnap dbpedia-fr:Stephen_Cole_Kleene dbpedia-fr:Théorie_de_la_démonstration dbpedia-fr:Théorie_des_ensembles_de_Zermelo-Fraenkel Valery Glivenko dbpedia-fr:Michael_Dummett dbpedia-fr:Jacques_Harthong
Link from a Wikipage to an external page	https://books.google.fr/books%3Fid=spBmyTWlFQ8C https://books.google.fr/books%3Fid=v4tBTBlU05sC&printsec=frontcover https://web.archive.org/web/20071009030648/http:/moire4.u-strasbg.fr/souv/Int84.htm
page length (characters) of wiki page	15609 (xsd:nonNegativeInteger)

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, 14 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software