形式体系

✍ dations ◷ 2025-11-29 20:18:31 #形式体系

在逻辑与数学中，一个形式系统（英语：Formal system）是由两个部分组成的，一个形式语言加上一个推理规则或转换规则的集合。大卫·希尔伯特在1921年推动以形式系统来描述数学知识。一个形式系统也许是纯粹抽象地制定出来，只是为了研究其自身。另一方面，也可能是为了描述真实现象或客观现实的领域而设计的。命题逻辑是最简单的形式系统。在数学领域里，形式证明是形式系统的产物，由一些公理与演绎规则组成。定理便是形式证明可能的最后一行结论。这几个步骤总和起来便是数学界通称的形式主义。大卫·希尔伯特创立元数学以作为讨论形式系统的学科。任何用于讨论形式系统的语言称为元语言。元语言也许像普通语言一样自然，或它可能部分形式化，但它通常比起受检验系统的形式语言来得较不正规化。此形式语言称为对象语言，意指问题议论的对象。某些理论学家将形式主义粗略视为形式系统的同义词，但此词也同时指称特定风格的符号，例如保罗·狄拉克的狄拉克符号。在数学中的形式系统由以下要素组成：

相关

细胞细胞（英语：Cell）旧称䏭，是生物体结构和功能的基本单位。它是除了病毒之外所有具有完整生命力的生物的最小单位，也经常被称为生命的积木（病毒仅由DNA/RNA组成，并由蛋白质和脂肪包裹
上流式厌氧污泥床上流式厌氧污泥床反应器（英文：Up-flow Anaerobic Sludge Blanket, UASB）是一种处理污水的厌氧生物方法，于1977年由荷兰Lettinga教授发明。污水自下而上通过UASB。反应器底部有一
恶性鳞状上皮细胞肿瘤鳞状细胞癌（Squamous-cell carcinoma, SCC, SqCC），有时也被称之为表皮样癌（epidermoid carcinoma）或鳞状细胞上皮瘤（squamous cell epithelioma），是一类上皮组织细胞、鳞状细胞产生
致癌基因癌基因，也称为致癌基因（英语：Oncogene）是一类能使正常细胞转化为癌细胞的基因。一般地，癌基因是功能出现异常的原癌基因（英语：Proto-oncogene）。原癌基因一般与细胞的增殖生长相关，功
碱土金属固体、液体、气体碱土金属是指在元素周期表中同属第2族（旧称ⅡA族）的六个金属元素：铍（Be）、镁（Mg）、钙（Ca）、锶（Sr）、钡（Ba）、镭（Ra），其中镭具有放射性。碱土金属都是银白色的、比较软的金
蜕皮激素蜕皮激素或蜕皮甾类激素、蜕皮类固醇（英语：Ecdysteroids）是节肢动物的甾体激素参与调控蜕皮、发育，以及在较小程度上影响生殖。蜕皮激素包括蜕皮酮、20-羟基蜕皮酮、2-脱氧蜕皮
茄目茄目（学名：Solanales）是被子植物真双子叶植物分支下的一个目。花序尾端，萼片合生，花粉通常具有胼胝质本目物种可以合成O-甲基黄酮类，无法合成杨梅黄酮截至2018年，该目下目前已知有
罗德尼·巴克斯特罗德尼·詹姆斯·巴克斯特，FRS FAA（英语：Rodney James Baxter，1940年2月8日－），出生于英国伦敦，澳大利亚物理学家，研究领域为统计力学。
十一酸诺龙十一酸诺龙（英语：Nandrolone undecanoate或 nandrolone undecylate，商品名为Dynabolon、Dynabolin、Psychobolan），分子式C29H46O3，是一种雄激素和同化类固醇（AAS）药物，是19-去甲睾酮1
图灵完全在可计算性理论里，如果一系列操作数据的规则（如指令集、编程语言、细胞自动机）可以用来模拟单带图灵机，那么它是图灵完全的。这个词源于引入图灵机概念的数学家艾伦·图灵。虽然