| Property |
Value |
| dbo:abstract
|
- En logique mathématique, l'interprétation de Brouwer-Heyting-Kolmogorov, ou interprétation BHK, de la logique intuitionniste a été proposée par L. E. J. Brouwer, Arend Heyting et indépendamment par Andreï Kolmogorov. Elle est aussi parfois appelée « interprétation par réalisabilité », pour son lien avec la théorie de la réalisabilité de Stephen Kleene. (fr)
- En logique mathématique, l'interprétation de Brouwer-Heyting-Kolmogorov, ou interprétation BHK, de la logique intuitionniste a été proposée par L. E. J. Brouwer, Arend Heyting et indépendamment par Andreï Kolmogorov. Elle est aussi parfois appelée « interprétation par réalisabilité », pour son lien avec la théorie de la réalisabilité de Stephen Kleene. (fr)
|
| dbo:namedAfter
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 7990 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
|
- 1991 (xsd:integer)
- 2003 (xsd:integer)
|
| prop-fr:fr
|
- arithmétique de Heyting (fr)
- arithmétique de Heyting (fr)
|
| prop-fr:lang
| |
| prop-fr:langue
| |
| prop-fr:site
| |
| prop-fr:titre
|
- Constructivism and Proof Theory (fr)
- History of Constructivism in the Twentieth Century (fr)
- Constructivism and Proof Theory (fr)
- History of Constructivism in the Twentieth Century (fr)
|
| prop-fr:trad
|
- Heyting arithmetic (fr)
- Heyting arithmetic (fr)
|
| prop-fr:url
| |
| prop-fr:wikiPageUsesTemplate
| |
| dct:subject
| |
| rdfs:comment
|
- En logique mathématique, l'interprétation de Brouwer-Heyting-Kolmogorov, ou interprétation BHK, de la logique intuitionniste a été proposée par L. E. J. Brouwer, Arend Heyting et indépendamment par Andreï Kolmogorov. Elle est aussi parfois appelée « interprétation par réalisabilité », pour son lien avec la théorie de la réalisabilité de Stephen Kleene. (fr)
- En logique mathématique, l'interprétation de Brouwer-Heyting-Kolmogorov, ou interprétation BHK, de la logique intuitionniste a été proposée par L. E. J. Brouwer, Arend Heyting et indépendamment par Andreï Kolmogorov. Elle est aussi parfois appelée « interprétation par réalisabilité », pour son lien avec la théorie de la réalisabilité de Stephen Kleene. (fr)
|
| rdfs:label
|
- Brouwer-Heyting-Kolmogorow-Interpretation (de)
- Interprétation de Brouwer-Heyting-Kolmogorov (fr)
- Brouwer-Heyting-Kolmogorow-Interpretation (de)
- Interprétation de Brouwer-Heyting-Kolmogorov (fr)
|
| rdfs:seeAlso
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:homepage
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
