BHK释义
(数学术语)
在数理逻辑中,直觉主义逻辑的布劳威尔-海廷-柯尔莫哥洛夫释义或BHK释义是由鲁伊兹·布劳威尔、阿兰德·海廷和独立的由安德雷·柯尔莫哥洛夫提出的。它有时也叫做可实现性释义,因为有关于斯蒂芬·科尔·克莱尼的可实现性理论。释义精确的陈述一个给定的公式的证明是什么。
知识树
时光轴
论点集
总题库
阅读模式
知识树 创建页面
知识树 创建说明
领域
提 交
数学
词条相关
词条 主页
》
词条 科普
》
词条 事件
》
词条 题库
》
词条 知识
》
加载更多
加载更多
加载更多
加载更多