| Property |
Value |
| 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. (fr)
- 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. (fr)
|
| dbo:discoverer
| |
| dbo:isPartOf
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageInterLanguageLink
| |
| dbo:wikiPageLength
|
- 15609 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
|
- 1971 (xsd:integer)
- 1992 (xsd:integer)
|
| prop-fr:annéePremièreÉdition
| |
| prop-fr:isbn
|
- 0 (xsd:integer)
- 2 (xsd:integer)
|
| prop-fr:langue
|
- en (fr)
- fr (fr)
- en (fr)
- fr (fr)
|
| prop-fr:lienAuteur
|
- Jean Largeault (fr)
- Arend Heyting (fr)
- Jean Largeault (fr)
- Arend Heyting (fr)
|
| prop-fr:lieu
|
- Amsterdam (fr)
- Paris (fr)
- Amsterdam (fr)
- Paris (fr)
|
| prop-fr:nom
|
- Largeault (fr)
- Heyting (fr)
- Largeault (fr)
- Heyting (fr)
|
| prop-fr:numéroD'édition
| |
| prop-fr:pagesTotales
|
- 145 (xsd:integer)
- 566 (xsd:integer)
|
| prop-fr:prénom
|
- Jean (fr)
- Arend (fr)
- Jean (fr)
- Arend (fr)
|
| prop-fr:présentationEnLigne
| |
| prop-fr:sousTitre
|
- An Introduction (fr)
- An Introduction (fr)
|
| prop-fr:titre
|
- Intuitionism (fr)
- Intuitionisme et théorie de la démonstration (fr)
- Intuitionism (fr)
- Intuitionisme et théorie de la démonstration (fr)
|
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:éditeur
|
- J. Vrin (fr)
- North-Holland Pub. Co (fr)
- J. Vrin (fr)
- North-Holland Pub. Co (fr)
|
| dct:subject
| |
| 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)
- 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:label
|
- Intuitionnisme (fr)
- Intuicjonizm (matematyka) (pl)
- Intuitionism (sv)
- Intuitionismus (Logik und Mathematik) (de)
- Intuizionismo (it)
- Интуиционизм (ru)
- 直観主義 (数学の哲学) (ja)
- Intuitionnisme (fr)
- Intuicjonizm (matematyka) (pl)
- Intuitionism (sv)
- Intuitionismus (Logik und Mathematik) (de)
- Intuizionismo (it)
- Интуиционизм (ru)
- 直観主義 (数学の哲学) (ja)
|
| rdfs:seeAlso
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:mainArticleForCategory
of | |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is prop-fr:domaine
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
