BHK解釈
BHK解釈(Brouwer-Heyting-Kolmogorov Interpretation)
ブラウラー-ハイティング-コルゴロフ解釈
LPO(the Limited Principle of Omniscience)
構成的数学
はBHK解釈を元にできているらしい
構成的証明
直観主義論理
参考
『構成的数学の体系と実践』
Brouwer–Heyting–Kolmogorov interpretation - Wikipedia
#論理学
#数学