About: Brouwer–Heyting–Kolmogorov interpretation     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : owl:Thing, within Data Space : dbpedia.demo.openlinksw.com associated with source document(s)
QRcode icon
http://dbpedia.demo.openlinksw.com/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FBrouwer%E2%80%93Heyting%E2%80%93Kolmogorov_interpretation&invfp=IFP_OFF&sas=SAME_AS_OFF

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.

AttributesValues
rdfs:label
  • Brouwerova–Heytingova–Kolmogorovova interpretace (cs)
  • Brouwer-Heyting-Kolmogorow-Interpretation (de)
  • Brouwer–Heyting–Kolmogorov interpretation (en)
  • Interprétation de Brouwer-Heyting-Kolmogorov (fr)
  • Brouwer-Heyting-Kolmogorovinterpretatie (nl)
  • Interpretação de Brouwer–Heyting–Kolmogorov (pt)
  • BHK释义 (zh)
rdfs:comment
  • 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. (cs)
  • 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. (de)
  • 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. (en)
  • 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)
  • 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. (nl)
  • 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. (pt)
  • 在数理逻辑中，直覺主義邏輯的布勞威爾-海廷-柯爾莫哥洛夫释义（Brouwer–Heyting–Kolmogorov interpretation）或BHK释义是由魯伊茲·布勞威爾、阿蘭德·海廷和独立的由安德雷·柯爾莫哥洛夫提出的。它有时也叫做可实现性释义，因为有关于斯蒂芬·科尔·克莱尼的可实现性理论。 (zh)
dcterms:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
Link from a Wikipage to an external page
sameAs
dbp:wikiPageUsesTemplate
has abstract
  • 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. (cs)
  • 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. (de)
  • 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. (en)
  • 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)
  • 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. (nl)
  • 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. (pt)
  • 在数理逻辑中，直覺主義邏輯的布勞威爾-海廷-柯爾莫哥洛夫释义（Brouwer–Heyting–Kolmogorov interpretation）或BHK释义是由魯伊茲·布勞威爾、阿蘭德·海廷和独立的由安德雷·柯爾莫哥洛夫提出的。它有时也叫做可实现性释义，因为有关于斯蒂芬·科尔·克莱尼的可实现性理论。 (zh)
prov:wasDerivedFrom
page length (characters) of wiki page
foaf:isPrimaryTopicOf
is Link from a Wikipage to another Wikipage of
is Wikipage redirect of
is Wikipage disambiguates of
is known for of
is known for of
is foaf:primaryTopic of
Faceted Search & Find service v1.17_git139 as of Feb 29 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (378 GB total memory, 52 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software