Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Brouwer–Heyting–Kolmogorov_interpretation> ?p ?o }
Showing triples 1 to 56 of
56
with 100 triples 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 wikiPageExternalLink eolss.pdf.
- Brouwer–Heyting–Kolmogorov_interpretation wikiPageExternalLink ML-1991-05.text.pdf.
- Brouwer–Heyting–Kolmogorov_interpretation wikiPageID "1925846".
- Brouwer–Heyting–Kolmogorov_interpretation wikiPageLength "6809".
- Brouwer–Heyting–Kolmogorov_interpretation wikiPageOutDegree "24".
- Brouwer–Heyting–Kolmogorov_interpretation wikiPageRevisionID "664250913".
- Brouwer–Heyting–Kolmogorov_interpretation wikiPageWikiLink Andrey_Kolmogorov.
- Brouwer–Heyting–Kolmogorov_interpretation wikiPageWikiLink Arend_Heyting.
- Brouwer–Heyting–Kolmogorov_interpretation wikiPageWikiLink Category:Constructivism_(mathematics).
- Brouwer–Heyting–Kolmogorov_interpretation wikiPageWikiLink Category:Dependently_typed_programming.
- Brouwer–Heyting–Kolmogorov_interpretation wikiPageWikiLink Category:Functional_programming.
- Brouwer–Heyting–Kolmogorov_interpretation wikiPageWikiLink Computable_function.
- Brouwer–Heyting–Kolmogorov_interpretation wikiPageWikiLink Constructivism_(mathematics).
- Brouwer–Heyting–Kolmogorov_interpretation wikiPageWikiLink Curry–Howard_correspondence.
- Brouwer–Heyting–Kolmogorov_interpretation wikiPageWikiLink Formal_system.
- Brouwer–Heyting–Kolmogorov_interpretation wikiPageWikiLink Formula_(mathematical_logic).
- Brouwer–Heyting–Kolmogorov_interpretation wikiPageWikiLink Gxc3xb6dels_incompleteness_theorems.
- Brouwer–Heyting–Kolmogorov_interpretation wikiPageWikiLink Heyting_arithmetic.
- Brouwer–Heyting–Kolmogorov_interpretation wikiPageWikiLink Induction_on_the_structure.
- Brouwer–Heyting–Kolmogorov_interpretation wikiPageWikiLink Intuitionistic_logic.
- Brouwer–Heyting–Kolmogorov_interpretation wikiPageWikiLink L._E._J._Brouwer.
- Brouwer–Heyting–Kolmogorov_interpretation wikiPageWikiLink Lambda_calculus.
- Brouwer–Heyting–Kolmogorov_interpretation wikiPageWikiLink Law_of_excluded_middle.
- Brouwer–Heyting–Kolmogorov_interpretation wikiPageWikiLink Law_of_non-contradiction.
- Brouwer–Heyting–Kolmogorov_interpretation wikiPageWikiLink Law_of_noncontradiction.
- Brouwer–Heyting–Kolmogorov_interpretation wikiPageWikiLink Logical_system.
- Brouwer–Heyting–Kolmogorov_interpretation wikiPageWikiLink Mathematical_induction.
- Brouwer–Heyting–Kolmogorov_interpretation wikiPageWikiLink Mathematical_logic.
- Brouwer–Heyting–Kolmogorov_interpretation wikiPageWikiLink Peano_arithmetic.
- Brouwer–Heyting–Kolmogorov_interpretation wikiPageWikiLink Peano_axioms.
- Brouwer–Heyting–Kolmogorov_interpretation wikiPageWikiLink Principle_of_explosion.
- Brouwer–Heyting–Kolmogorov_interpretation wikiPageWikiLink Realizability.
- Brouwer–Heyting–Kolmogorov_interpretation wikiPageWikiLink Stephen_Cole_Kleene.
- Brouwer–Heyting–Kolmogorov_interpretation wikiPageWikiLink Stephen_Kleene.
- Brouwer–Heyting–Kolmogorov_interpretation wikiPageWikiLink Structural_induction.
- Brouwer–Heyting–Kolmogorov_interpretation wikiPageWikiLink Well-formed_formula.
- Brouwer–Heyting–Kolmogorov_interpretation wikiPageWikiLinkText "BHK interpretation".
- Brouwer–Heyting–Kolmogorov_interpretation wikiPageWikiLinkText "Brouwer–Heyting–Kolmogorov interpretation".
- Brouwer–Heyting–Kolmogorov_interpretation wikiPageWikiLinkText "Brouwer–Heyting–Kolmogorov".
- Brouwer–Heyting–Kolmogorov_interpretation hasPhotoCollection Brouwer–Heyting–Kolmogorov_interpretation.
- Brouwer–Heyting–Kolmogorov_interpretation wikiPageUsesTemplate Template:Cite_paper.
- 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 "Brouwer–Heyting–Kolmogorov 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 Interpretação_de_Brouwer–Heyting–Kolmogorov.
- Brouwer–Heyting–Kolmogorov_interpretation sameAs m.066mz1.
- Brouwer–Heyting–Kolmogorov_interpretation sameAs Q3153567.
- Brouwer–Heyting–Kolmogorov_interpretation sameAs Q3153567.
- Brouwer–Heyting–Kolmogorov_interpretation sameAs BHK释义.
- Brouwer–Heyting–Kolmogorov_interpretation wasDerivedFrom Brouwer–Heyting–Kolmogorov_interpretation?oldid=664250913.
- Brouwer–Heyting–Kolmogorov_interpretation isPrimaryTopicOf Brouwer–Heyting–Kolmogorov_interpretation.