类型论

✍ dations ◷ 2025-04-04 06:47:18 #类型论

在最广泛的层面上，类型论（英语：type theory）是关注把实体分类到叫做类型的搜集中的数学和逻辑分支。在这种意义上，它与类型的形而上学概念有关。现代类型论在部分上是响应罗素悖论而发明的，并在伯特兰·罗素和阿弗烈·诺夫·怀海德的《数学原理》中起到重要作用。在计算机科学分支中的编程语言理论中，类型论提供了设计分析和研究类型系统的形式基础。实际上，很多计算机科学家使用术语“类型论”来称呼对编程语言的类型语言的形式研究，尽管有些人把它限制于对更加抽象的形式化如有类型lambda演算的研究。

相关

原虫传染原虫传染是指由以前归类于原生动物界的生物引起的寄生虫病。传统上统称为“原生动物”的物种彼此之间并不密切相关，只有表面上的相似性（如都是真核生物和单细胞生物，具有移动性
异常球菌-栖热菌门本分类名称尚未确定，目前根据伯杰氏手册暂称为异常球菌-栖热菌门。本门包括一些能抵抗严酷环境的球状细菌，分为两个目。异常球菌目只有一个属，异常球菌属（Deinococcus），包括几个耐
贝氏定理贝叶斯定理（英语：Bayes' theorem）是概率论中的一个定理，描述在已知一些条件下，某事件的发生概率。比如，如果已知某癌症与寿命有关，使用贝叶斯定理则可以通过得知某人年龄，来更加准确
杯状细胞杯状细胞（goblet cells）是一种上皮细胞，主要功能为分泌黏液，协助其表面所在的润滑。在身体内，杯状细胞能在气管、支气管、小肠、大肠、上眼睑等处发现：在气管内，负责分泌使气管湿润
盖亚假说盖亚假说（英语：Gaia hypothesis）是由詹姆斯·洛夫洛克（James Lovelock）在1972年提出的一个假说。“地球整个表面，包括所有生命（生物圈），构成一个自我调节的整体，这就是我所说的盖亚。
农业经济学农业经济学（英语：Agricultural economics），简称农经学，是一门关注农业生产及粮食分配的应用经济学。农经学关注土地利用（英语：land use），着重于最大限度地提高作物产量（英语：crop yield
电子排布电子排布，或称电子排序、电子构型，指电子在原子、分子或其他物理结构中的每一层电子层上的排序及排列形态。正如其他基本粒子，电子遵从量子物理学，而不是一般的经典物理学；电子也
神话希腊神话（希腊语：ἡ Ἑλληνικὴ Μυθολογία），是原本语出古希腊人的一系列神话故事。这些神话讲述了宇宙的由来和本质，涉及各色神明、英雄及神秘生物，还谈及希腊人自
五百人会议五百人会议（Boule），又译作五百人议事会，是古希腊城邦雅典的民主政制的核心，它的职责是落实公民大会的决策，是一个总司一切事务的行政组织，为前6世纪晚期克利斯提尼改革时创立的机构
路得路得记（希伯来语：.mw-parser-output .script-hebrew,.mw-parser-output .script-Hebr{font-size:1.15em;font-family:"Ezra SIL","Ezra SIL SR","Keter Aram Tsova","Taamey A