16/06/04 20:10:37.37 CtkyGlEO.net
>>378-379 関連
URLﾘﾝｸ(en.wikipedia.org)
Brouwer?Heyting?Kolmogorov interpretation
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.
Contents
1 The interpretation
2 Examples
3 What is absurdity?
4 What is a function?
5 References