This HTML5 document contains 100 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dbpedia-dehttp://de.dbpedia.org/resource/
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n9https://global.dbpedia.org/id/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
n12http://www.illc.uva.nl/Research/Publications/Reports/
freebasehttp://rdf.freebase.com/ns/
dbpedia-pthttp://pt.dbpedia.org/resource/
dbpedia-cshttp://cs.dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
dbpedia-frhttp://fr.dbpedia.org/resource/
dbpedia-zhhttp://zh.dbpedia.org/resource/
wikipedia-enhttp://en.wikipedia.org/wiki/
dbchttp://dbpedia.org/resource/Category:
dbphttp://dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbpedia-nlhttp://nl.dbpedia.org/resource/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Negation
dbo:wikiPageWikiLink
dbr:Brouwer–Heyting–Kolmogorov_interpretation
Subject Item
dbr:Constructive_proof
dbo:wikiPageWikiLink
dbr:Brouwer–Heyting–Kolmogorov_interpretation
Subject Item
dbr:Constructive_set_theory
dbo:wikiPageWikiLink
dbr:Brouwer–Heyting–Kolmogorov_interpretation
Subject Item
dbr:Brouwer-Heyting-Kolmogorov
dbo:wikiPageWikiLink
dbr:Brouwer–Heyting–Kolmogorov_interpretation
dbo:wikiPageRedirects
dbr:Brouwer–Heyting–Kolmogorov_interpretation
Subject Item
dbr:Brouwer-Heyting-Kolmogorov_interpretation
dbo:wikiPageWikiLink
dbr:Brouwer–Heyting–Kolmogorov_interpretation
dbo:wikiPageRedirects
dbr:Brouwer–Heyting–Kolmogorov_interpretation
Subject Item
dbr:Brouwer-Heyting-Kolomogorov_interpretation
dbo:wikiPageWikiLink
dbr:Brouwer–Heyting–Kolmogorov_interpretation
dbo:wikiPageRedirects
dbr:Brouwer–Heyting–Kolmogorov_interpretation
Subject Item
dbr:Brouwer–Heyting–Kolmogorov_intuitionistic_logic
dbo:wikiPageWikiLink
dbr:Brouwer–Heyting–Kolmogorov_interpretation
dbo:wikiPageRedirects
dbr:Brouwer–Heyting–Kolmogorov_interpretation
Subject Item
dbr:Andrey_Kolmogorov
dbo:wikiPageWikiLink
dbr:Brouwer–Heyting–Kolmogorov_interpretation
Subject Item
dbr:Ludics
dbo:wikiPageWikiLink
dbr:Brouwer–Heyting–Kolmogorov_interpretation
Subject Item
dbr:BHK_interpretation
dbo:wikiPageWikiLink
dbr:Brouwer–Heyting–Kolmogorov_interpretation
dbo:wikiPageRedirects
dbr:Brouwer–Heyting–Kolmogorov_interpretation
Subject Item
dbr:Brouwer-Heyting-Kolmogorov_intuitionistic_logic
dbo:wikiPageWikiLink
dbr:Brouwer–Heyting–Kolmogorov_interpretation
dbo:wikiPageRedirects
dbr:Brouwer–Heyting–Kolmogorov_interpretation
Subject Item
dbr:Truth_value
dbo:wikiPageWikiLink
dbr:Brouwer–Heyting–Kolmogorov_interpretation
Subject Item
dbr:Type_theory
dbo:wikiPageWikiLink
dbr:Brouwer–Heyting–Kolmogorov_interpretation
Subject Item
dbr:Curry–Howard_correspondence
dbo:wikiPageWikiLink
dbr:Brouwer–Heyting–Kolmogorov_interpretation
Subject Item
dbr:Brouwer
dbo:wikiPageWikiLink
dbr:Brouwer–Heyting–Kolmogorov_interpretation
dbo:wikiPageDisambiguates
dbr:Brouwer–Heyting–Kolmogorov_interpretation
Subject Item
dbr:Brouwer–Heyting–Kolmogorov_interpretation
rdfs:label
Interpretação de Brouwer–Heyting–Kolmogorov Brouwer-Heyting-Kolmogorow-Interpretation Brouwer-Heyting-Kolmogorovinterpretatie Interprétation de Brouwer-Heyting-Kolmogorov BHK释义 Brouwer–Heyting–Kolmogorov interpretation Brouwerova–Heytingova–Kolmogorovova interpretace
rdfs:comment
Die Brouwer-Heyting-Kolmogorow-Interpretation, kurz BHK-Interpretation, ist in der mathematischen Logik eine Interpretation der intuitionistischen Logik, die von L. E. J. Brouwer und Arend Heyting und unabhängig von ihnen von Andrei Kolmogorow vorgeschlagen wurde. Aufgrund ihrer Verbindung zur beweistheoretischen Realisierbarkeit nach Stephen Kleene wird sie auch als Realisierbarkeitsinterpretation bezeichnet. 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. In mathematical logic, the Brouwer–Heyting–Kolmogorov interpretation, or BHK interpretation, of intuitionistic logic was proposed by L. E. J. Brouwer and Arend Heyting, and independently by Andrey Kolmogorov. It is also sometimes called the realizability interpretation, because of the connection with the realizability theory of Stephen Kleene. It is the standard explanation of intuitionistic logic. In de wiskundige logica is de Brouwer-Heyting-Kolmogorovinterpretatie of BHK-interpretatie een logische theorie die de wiskundige stroming van het intuïtionisme onderbouwde. De BHK-interpretatie is opgesteld door L. E. J. Brouwer, Arend Heyting en Andrej Kolmogorov en wordt ook wel de realiseerbaarheidsinterpretatie genoemd, omdat hij sterk aanleunt bij de realiseerbaarheidstheorie van de Amerikaanse wiskundige Stephen Kleene. Em Lógica matemática, a interpretação de Brouwer–Heyting–Kolmogorov, ou interpretação BHK, de Lógica intuicionista foi proposta por L. E. J. Brouwer, Arend Heyting e independentemente por Andrey Kolmogorov. É também chamada às vezes de interpretação de realizabilidade, devido a sua conexão com a teoria de Realizabilidade por Stephen Kleene. Brouwerova–Heytingova–Kolmogorovova interpretace nebo BHK interpretace je v matematické logice interpretace intuicionistické logiky, kterou navrhli Luitzen Egbertus Jan Brouwer a , a nezávisle na nich Andrej Nikolajevič Kolmogorov. Díky spojení s teorií Stephena Kleeneho se někdy nazývá interpretace realizovatelnosti. 在数理逻辑中，直覺主義邏輯的布勞威爾-海廷-柯爾莫哥洛夫释义（Brouwer–Heyting–Kolmogorov interpretation）或BHK释义是由魯伊茲·布勞威爾、阿蘭德·海廷和独立的由安德雷·柯爾莫哥洛夫提出的。它有时也叫做可实现性释义，因为有关于斯蒂芬·科尔·克莱尼的可实现性理论。
dct:subject
dbc:Constructivism_(mathematics) dbc:Dependently_typed_programming dbc:Functional_programming
dbo:wikiPageID
1925846
dbo:wikiPageRevisionID
1095313037
dbo:wikiPageWikiLink
dbr:Logical_system dbc:Constructivism_(mathematics) dbr:Formula_(mathematical_logic) dbr:Law_of_excluded_middle dbr:Bottom_type dbr:Computable_function dbr:L._E._J._Brouwer dbr:Arend_Heyting dbr:Intuitionistic_logic dbr:Induction_on_the_structure dbr:Constructivism_(mathematics) dbr:Stephen_Kleene dbr:Peano_arithmetic dbr:Natural_number dbr:Curry–Howard_correspondence dbr:Law_of_non-contradiction dbr:Andrey_Kolmogorov dbr:Lambda_calculus dbr:Principle_of_explosion dbc:Dependently_typed_programming dbr:Realizability dbr:Gödel's_incompleteness_theorems dbr:Heyting_arithmetic dbr:Mathematical_logic dbc:Functional_programming dbr:Mathematical_induction
dbo:wikiPageExternalLink
n12:ML-1991-05.text.pdf
owl:sameAs
dbpedia-de:Brouwer-Heyting-Kolmogorow-Interpretation n9:2uh2k wikidata:Q3153567 dbpedia-cs:Brouwerova–Heytingova–Kolmogorovova_interpretace freebase:m.066mz1 dbpedia-fr:Interprétation_de_Brouwer-Heyting-Kolmogorov dbpedia-nl:Brouwer-Heyting-Kolmogorovinterpretatie dbpedia-pt:Interpretação_de_Brouwer–Heyting–Kolmogorov dbpedia-zh:BHK释义
dbp:wikiPageUsesTemplate
dbt:Cite_document dbt:Cite_web dbt:Reflist
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. Brouwerova–Heytingova–Kolmogorovova interpretace nebo BHK interpretace je v matematické logice interpretace intuicionistické logiky, kterou navrhli Luitzen Egbertus Jan Brouwer a , a nezávisle na nich Andrej Nikolajevič Kolmogorov. Díky spojení s teorií Stephena Kleeneho se někdy nazývá interpretace realizovatelnosti. Die Brouwer-Heyting-Kolmogorow-Interpretation, kurz BHK-Interpretation, ist in der mathematischen Logik eine Interpretation der intuitionistischen Logik, die von L. E. J. Brouwer und Arend Heyting und unabhängig von ihnen von Andrei Kolmogorow vorgeschlagen wurde. Aufgrund ihrer Verbindung zur beweistheoretischen Realisierbarkeit nach Stephen Kleene wird sie auch als Realisierbarkeitsinterpretation bezeichnet. In mathematical logic, the Brouwer–Heyting–Kolmogorov interpretation, or BHK interpretation, of intuitionistic logic was proposed by L. E. J. Brouwer and Arend Heyting, and independently by Andrey Kolmogorov. It is also sometimes called the realizability interpretation, because of the connection with the realizability theory of Stephen Kleene. It is the standard explanation of intuitionistic logic. Em Lógica matemática, a interpretação de Brouwer–Heyting–Kolmogorov, ou interpretação BHK, de Lógica intuicionista foi proposta por L. E. J. Brouwer, Arend Heyting e independentemente por Andrey Kolmogorov. É também chamada às vezes de interpretação de realizabilidade, devido a sua conexão com a teoria de Realizabilidade por Stephen Kleene. 在数理逻辑中，直覺主義邏輯的布勞威爾-海廷-柯爾莫哥洛夫释义（Brouwer–Heyting–Kolmogorov interpretation）或BHK释义是由魯伊茲·布勞威爾、阿蘭德·海廷和独立的由安德雷·柯爾莫哥洛夫提出的。它有时也叫做可实现性释义，因为有关于斯蒂芬·科尔·克莱尼的可实现性理论。 In de wiskundige logica is de Brouwer-Heyting-Kolmogorovinterpretatie of BHK-interpretatie een logische theorie die de wiskundige stroming van het intuïtionisme onderbouwde. De BHK-interpretatie is opgesteld door L. E. J. Brouwer, Arend Heyting en Andrej Kolmogorov en wordt ook wel de realiseerbaarheidsinterpretatie genoemd, omdat hij sterk aanleunt bij de realiseerbaarheidstheorie van de Amerikaanse wiskundige Stephen Kleene.
prov:wasDerivedFrom
wikipedia-en:Brouwer–Heyting–Kolmogorov_interpretation?oldid=1095313037&ns=0
dbo:wikiPageLength
7774
foaf:isPrimaryTopicOf
wikipedia-en:Brouwer–Heyting–Kolmogorov_interpretation
Subject Item
dbr:Proof_by_contradiction
dbo:wikiPageWikiLink
dbr:Brouwer–Heyting–Kolmogorov_interpretation
Subject Item
dbr:Arend_Heyting
dbo:wikiPageWikiLink
dbr:Brouwer–Heyting–Kolmogorov_interpretation
dbp:knownFor
dbr:Brouwer–Heyting–Kolmogorov_interpretation
dbo:knownFor
dbr:Brouwer–Heyting–Kolmogorov_interpretation
Subject Item
dbr:L._E._J._Brouwer
dbo:wikiPageWikiLink
dbr:Brouwer–Heyting–Kolmogorov_interpretation
dbp:knownFor
dbr:Brouwer–Heyting–Kolmogorov_interpretation
dbo:knownFor
dbr:Brouwer–Heyting–Kolmogorov_interpretation
Subject Item
dbr:Frege's_theorem
dbo:wikiPageWikiLink
dbr:Brouwer–Heyting–Kolmogorov_interpretation
Subject Item
dbr:Sergei_N._Artemov
dbo:wikiPageWikiLink
dbr:Brouwer–Heyting–Kolmogorov_interpretation
Subject Item
wikipedia-en:Brouwer–Heyting–Kolmogorov_interpretation
foaf:primaryTopic
dbr:Brouwer–Heyting–Kolmogorov_interpretation