Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Brouwer–Heyting–Kolmogorov_interpretation> ?p ?o. }
Showing items 1 to 17 of
17
with 100 items per page.
- Brouwer–Heyting–Kolmogorov_interpretation abstract "In mathematical logic, the Brouwer–Heyting–Kolmogorov interpretation, or BHK interpretation, of intuitionistic logic was proposed by L. E. J. Brouwer, 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.".
- Brouwer–Heyting–Kolmogorov_interpretation wikiPageID "1925846".
- Brouwer–Heyting–Kolmogorov_interpretation wikiPageRevisionID "603346483".
- Brouwer–Heyting–Kolmogorov_interpretation subject Category:Constructivism_(mathematics).
- Brouwer–Heyting–Kolmogorov_interpretation subject Category:Dependently_typed_programming.
- Brouwer–Heyting–Kolmogorov_interpretation subject Category:Functional_programming.
- Brouwer–Heyting–Kolmogorov_interpretation comment "In mathematical logic, the Brouwer–Heyting–Kolmogorov interpretation, or BHK interpretation, of intuitionistic logic was proposed by L. E. J. Brouwer, 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.".
- Brouwer–Heyting–Kolmogorov_interpretation label "BHK释义".
- Brouwer–Heyting–Kolmogorov_interpretation label "Brouwer-Heyting-Kolmogorovinterpretatie".
- Brouwer–Heyting–Kolmogorov_interpretation label "Brouwer–Heyting–Kolmogorov interpretation".
- Brouwer–Heyting–Kolmogorov_interpretation label "Interprétation de Brouwer-Heyting-Kolmogorov".
- Brouwer–Heyting–Kolmogorov_interpretation sameAs Brouwer%E2%80%93Heyting%E2%80%93Kolmogorov_interpretation.
- Brouwer–Heyting–Kolmogorov_interpretation sameAs Interprétation_de_Brouwer-Heyting-Kolmogorov.
- Brouwer–Heyting–Kolmogorov_interpretation sameAs Brouwer-Heyting-Kolmogorovinterpretatie.
- Brouwer–Heyting–Kolmogorov_interpretation sameAs Q3153567.
- Brouwer–Heyting–Kolmogorov_interpretation sameAs Q3153567.
- Brouwer–Heyting–Kolmogorov_interpretation wasDerivedFrom Brouwer–Heyting–Kolmogorov_interpretation?oldid=603346483.