| Property |
Value |
| dbo:abstract
|
- La logique intuitionniste est une logique qui diffère de la logique classique par le fait que la notion de vérité est remplacée par la notion de preuve constructive. Une proposition telle que « la constante d'Euler-Mascheroni est rationnelle ou la constante d'Euler-Mascheroni n'est pas rationnelle » n'est pas démontrée de manière constructive (intuitionniste) dans le cadre de nos connaissances mathématiques actuelles; car la tautologie classique « P ou non P » (tiers exclu) n'appartient pas à la logique intuitionniste. La logique intuitionniste établit, entre autres, un distinguo entre « être vrai » et « ne pas être faux » (formulation plus faible) car ¬¬P → P n'est pas non plus démontrable en logique intuitionniste. (fr)
- La logique intuitionniste est une logique qui diffère de la logique classique par le fait que la notion de vérité est remplacée par la notion de preuve constructive. Une proposition telle que « la constante d'Euler-Mascheroni est rationnelle ou la constante d'Euler-Mascheroni n'est pas rationnelle » n'est pas démontrée de manière constructive (intuitionniste) dans le cadre de nos connaissances mathématiques actuelles; car la tautologie classique « P ou non P » (tiers exclu) n'appartient pas à la logique intuitionniste. La logique intuitionniste établit, entre autres, un distinguo entre « être vrai » et « ne pas être faux » (formulation plus faible) car ¬¬P → P n'est pas non plus démontrable en logique intuitionniste. (fr)
|
| dbo:thumbnail
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 41396 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
|
- 1992 (xsd:integer)
- 2005 (xsd:integer)
- 2007 (xsd:integer)
- 2009 (xsd:integer)
|
| prop-fr:auteur
|
- Alexandre Miquel (fr)
- Richard Moot et Christian Retoré (fr)
- Étienne Lozes (fr)
- Alexandre Miquel (fr)
- Richard Moot et Christian Retoré (fr)
- Étienne Lozes (fr)
|
| prop-fr:fr
|
- Calcul propositionnel implicationnel (fr)
- Calcul propositionnel implicationnel (fr)
|
| prop-fr:isbn
| |
| prop-fr:langue
| |
| prop-fr:lieu
| |
| prop-fr:nom
|
- Largeault (fr)
- Largeault (fr)
|
| prop-fr:pagesTotales
| |
| prop-fr:prénom
| |
| prop-fr:présentationEnLigne
| |
| prop-fr:titre
|
- Intuitionisme et théorie de la démonstration (fr)
- La "non-non" traduction de Gödel-Kolmogorov (fr)
- Réalisabilité et extraction de programmes (fr)
- TD non non traduction (fr)
- Intuitionisme et théorie de la démonstration (fr)
- La "non-non" traduction de Gödel-Kolmogorov (fr)
- Réalisabilité et extraction de programmes (fr)
- TD non non traduction (fr)
|
| prop-fr:trad
|
- Implicational propositional calculus (fr)
- Implicational propositional calculus (fr)
|
| prop-fr:url
| |
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:éditeur
|
- dbpedia-fr:Université_Bordeaux-I
- J. Vrin (fr)
- Laboratoire Preuves, Programmes et Systèmes de Jussieu (fr)
- Laboratoire Spécification et Vérification — ENS Cachan (fr)
|
| dct:subject
| |
| rdfs:comment
|
- La logique intuitionniste est une logique qui diffère de la logique classique par le fait que la notion de vérité est remplacée par la notion de preuve constructive. Une proposition telle que « la constante d'Euler-Mascheroni est rationnelle ou la constante d'Euler-Mascheroni n'est pas rationnelle » n'est pas démontrée de manière constructive (intuitionniste) dans le cadre de nos connaissances mathématiques actuelles; car la tautologie classique « P ou non P » (tiers exclu) n'appartient pas à la logique intuitionniste. La logique intuitionniste établit, entre autres, un distinguo entre « être vrai » et « ne pas être faux » (formulation plus faible) car ¬¬P → P n'est pas non plus démontrable en logique intuitionniste. (fr)
- La logique intuitionniste est une logique qui diffère de la logique classique par le fait que la notion de vérité est remplacée par la notion de preuve constructive. Une proposition telle que « la constante d'Euler-Mascheroni est rationnelle ou la constante d'Euler-Mascheroni n'est pas rationnelle » n'est pas démontrée de manière constructive (intuitionniste) dans le cadre de nos connaissances mathématiques actuelles; car la tautologie classique « P ou non P » (tiers exclu) n'appartient pas à la logique intuitionniste. La logique intuitionniste établit, entre autres, un distinguo entre « être vrai » et « ne pas être faux » (formulation plus faible) car ¬¬P → P n'est pas non plus démontrable en logique intuitionniste. (fr)
|
| rdfs:label
|
- Logica intuizionista (it)
- Logique intuitionniste (fr)
- Інтуїціоністська логіка (uk)
- 直観主義論理 (ja)
- Logica intuizionista (it)
- Logique intuitionniste (fr)
- Інтуїціоністська логіка (uk)
- 直観主義論理 (ja)
|
| rdfs:seeAlso
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:isPrimaryTopicOf
| |
| 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 | |
