BHK释义
維基百科,自由的 encyclopedia
在数理逻辑中,直覺主義邏輯的布勞威爾-海廷-柯爾莫哥洛夫释义(Brouwer–Heyting–Kolmogorov interpretation)或BHK释义是由魯伊茲·布勞威爾、阿蘭德·海廷和独立的由安德雷·柯爾莫哥洛夫提出的。它有时也叫做可实现性释义,因为有关于斯蒂芬·科尔·克莱尼的可实现性理论。
在数理逻辑中,直覺主義邏輯的布勞威爾-海廷-柯爾莫哥洛夫释义(Brouwer–Heyting–Kolmogorov interpretation)或BHK释义是由魯伊茲·布勞威爾、阿蘭德·海廷和独立的由安德雷·柯爾莫哥洛夫提出的。它有时也叫做可实现性释义,因为有关于斯蒂芬·科尔·克莱尼的可实现性理论。