Brouwer-Heyting-Kolmogorovinterpretatie
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. 
Q1166618
wiskundige logica
Concept
Q8078
logische
Concept
Q17737
theorie
Concept
Q395
wiskundige
Concept
Q10879018
intuïtionisme
Concept
Q155887
L. E. J. Brouwer
PER
Q641771
Arend Heyting
PER
Q153224
Andrej Kolmogorov
PER
Q30
Amerikaanse
LOC
Q335148
Stephen Kleene
PER
Q3153567
Brouwer-Heyting-Kolmogorovinterpretatie
Concept
named after
named after
named after
part of
country of citizenship