About: dbpedia-fr:Interprétation_de_Brouwer-Heyting-Kolmogorov

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

About: dbpedia-fr:Interprétation_de_Brouwer-Heyting-Kolmogorov Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : prod-dbpedia.inria.fr associated with source document(s)

Attributes	Values
rdfs:label	Brouwer-Heyting-Kolmogorow-Interpretation (de) Interprétation de Brouwer-Heyting-Kolmogorov (fr)
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)
rdfs:seeAlso	https://ncatlab.org/nlab/show/Brouwer-Heyting-Kolmogorov_interpretation
sameAs	http://g.co/kg/m/066mz1 dbr:Brouwer–Heyting–Kolmogorov_interpretation wikidata:Q3153567 dbpedia-cs:Brouwerova–Heytingova–Kolmogorovova_interpretace dbpedia-de:Brouwer-Heyting-Kolmogorow-Interpretation dbpedia-nl:Brouwer-Heyting-Kolmogorovinterpretatie dbpedia-pt:Interpretação_de_Brouwer–Heyting–Kolmogorov dbpedia-zh:BHK释义
Wikipage page ID	6438803 (xsd:integer)
Wikipage revision ID	189094464 (xsd:integer)
dbo:wikiPageWikiLink	Andrey Kolmogorov Identity function dbpedia-fr:Arend_Heyting dbpedia-fr:Arithmétique Peano axioms category-fr:Constructivisme category-fr:Programmation_fonctionnelle dbpedia-fr:Constructivisme_(mathématiques) Curry–Howard correspondence dbpedia-fr:Déduction_naturelle Natural number Computable function dbpedia-fr:Formule_(mathématiques) Structural induction Lambda calculus dbpedia-fr:Logique_intuitionniste dbpedia-fr:Logique_mathématique L. E. J. Brouwer dbpedia-fr:Négation_logique Principle of explosion Law of noncontradiction Law of excluded middle Mathematical induction dbpedia-fr:Réalisabilité dbpedia-fr:Stephen_Cole_Kleene dbpedia-fr:Système_formel dbpedia-fr:Théorie_de_la_complexité_(informatique_théorique) Gödel's incompleteness theorems
Link from a Wikipage to an external page	http://staff.science.uva.nl/~anne/ http://staff.science.uva.nl/~anne/%7Curl=http:/staff.science.uva.nl/~anne/hhhist.pdf http://staff.science.uva.nl/~anne/eolss.pdf
page length (characters) of wiki page	7990 (xsd:nonNegativeInteger)
dct:subject	category-fr:Constructivisme category-fr:Programmation_fonctionnelle
foaf:homepage	http://staff.science.uva.nl/~anne/%7Curl=http:/staff.science.uva.nl/~anne/hhhist.pdf
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:Lien dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Traduction/Référence dbpedia-fr:Modèle:Lien_Web
prov:wasDerivedFrom	wikipedia-fr:Interprétation_de_Brouwer-Heyting-Kolmogorov?oldid=189094464&ns=0
prop-fr:année	1991 (xsd:integer) 2003 (xsd:integer)
prop-fr:fr	arithmétique de Heyting (fr)
prop-fr:lang	en (fr)
prop-fr:langue	en (fr)
prop-fr:site	http://staff.science.uva.nl/~anne/ http://staff.science.uva.nl/~anne/%7Curl=http:/staff.science.uva.nl/~anne/hhhist.pdf
prop-fr:titre	Constructivism and Proof Theory (fr) History of Constructivism in the Twentieth Century (fr)
prop-fr:trad	Heyting arithmetic (fr)
prop-fr:url	http://staff.science.uva.nl/~anne/eolss.pdf
foaf:isPrimaryTopicOf	wikipedia-fr:Interprétation_de_Brouwer-Heyting-Kolmogorov
named after	Andrey Kolmogorov dbpedia-fr:Arend_Heyting L. E. J. Brouwer
has 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)
is dbo:wikiPageWikiLink of	dbpedia-fr:Implication_(logique) dbpedia-fr:Logique_intuitionniste
is oa:hasTarget of	De labels Wikidata Fr related
is foaf:primaryTopic of	wikipedia-fr:Interprétation_de_Brouwer-Heyting-Kolmogorov

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