Haskell是一种标准化的，通用的纯函数式编程语言，有惰性求值和强类型系统类型。它的命名源自美国逻辑学家哈斯凯尔·加里，他在数理逻辑方面上的工作使得函数式编程语言有了广泛的基础。在Haskell中，“函数是头等物件”。作为一门函数程式语言，主要控制结构是函数。Haskell语言是1990年在编程语言Miranda的基础上标准化的，并且以Λ演算为基础发展而来。这也是为什么Haskell语言以希腊字母“λ”作为自己的标志。Haskell具有“柯里-霍华德同构”的特征。
阿尔弗雷德·塔斯基，美国籍波兰裔犹太逻辑学家和数学家。塔斯基1939年移居美国，一直任教于加利福尼亚大学伯克利分校。华沙学派成员，广泛涉猎抽象代数、拓扑学、几何学、测度论、数理逻辑、集论和分析哲学等领域，专精于模型论、元数学、代数逻辑。
弗里德里希·路德维希·戈特洛布·弗雷格，著名德国数学家、逻辑学家和哲学家。是数理逻辑和分析哲学的奠基人。
阿兰德·海廷是荷兰数学家和逻辑学家。他是鲁伊兹·布劳威尔在阿姆斯特丹大学的学生之一，他做了很多工作来使直觉主义逻辑立足于成为数理逻辑一部分。海廷为了整编布劳威尔做数学研究的方法而对直觉主义逻辑做了首次形式开发。把布劳威尔的名字包含在BHK释义中很大程度上是出于尊敬，因为布劳威尔在原则上反对直觉主义逻辑的任何形式化。
弗里德里希·路德维希·戈特洛布·弗雷格，著名德国数学家、逻辑学家和哲学家。是数理逻辑和分析哲学的奠基人。
伯特兰·亚瑟·威廉·罗素，第三代罗素伯爵，功绩勋章，皇家学会院士，英国哲学家、数学家和逻辑学家，致力于哲学的大众化、普及化。曾在三一学院、剑桥大学担任哲学教授，他写了许多著作，其中包括经典著作《西方哲学史》。
沃尔特·皮茨，是一位美国逻辑学家和计算神经科学家，和沃伦·麦卡洛克提出人工神经网络。
乌鸦悖论，也叫做亨佩尔的乌鸦或亨佩尔悖论，是1940年代德国逻辑学家卡尔·亨普尔为了说明归纳推理违反直觉而提出的一个悖论。
让·卡瓦耶斯，是法国哲学家、逻辑学家，尤为擅长数学哲学和科学哲学，是法国历史认识论传统的代表人物之一。他还是第二次世界大战期间法国抵抗运动的主要领导者之一，1944年2月17日被盖世太保抓捕，4月4日被枪杀。
Mini wiki
