BHK解釈
BHK解釈(Brouwer-Heyting-Kolmogorov Interpretation)
ブラウラー-ハイティング-コルゴロフ解釈
構成的数学
はBHK解釈を元にできているらしい
以下の命題は許容されない
LPO(the Limited Principle of Omniscience)、
WLPO(he Weak Limited Principle of Omuniscience)
LLPO(he Lesser Limited Principle of Omniscience)
構成的証明
直観主義論理
参考
『構成的数学の体系と実践』
Brouwer–Heyting–Kolmogorov interpretation - Wikipedia
メモ
BHK interpretation in nLab
Kyoto University Research Information Repository: Classical Brouwer-Heyting-Kolmogorov interpretation
#論理学
#数学