BHK是什么啊？
2019-09-06
在数理逻辑中，直觉逻辑的 Brouwer-Heyting-Kolmogorov 释义或 BHK 释义是由 L. E. J. Brouwer、Arend Heyting 和独立的由安德雷·柯尔莫哥洛夫提出的。
它有时也叫做可实现性释义，因为有关于斯蒂芬·科尔·克莱尼的可实现性理论。
大家都在看
本站系本网编辑转载，转载目的在于传递更多信息，并不代表本网赞同其观点和对其真实性负责。如涉及作品内容、版权和其它问题，请在30日内与本网联系，我们将在第一时间删除内容！本站文章版权归原作者所有，内容为作者个人观点。本站只提供参考并不构成任何投资及应用建议。本站拥有对此声明的最终解释权。