形式系统

✍ dations ◷ 2024-11-05 16:30:04 #形式系统

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

相关

囊肿性纤维化囊肿性纤维化（英语：cystic fibrosis，缩写作 CF），亦称为囊性纤维化、囊肿性纤维变性、囊肿纤维症、纤维性囊肿或囊纤维变性，是一种常见的遗传疾病，此病症最常影响肺脏，但也常发生于胰
肾上腺哺乳类动物中，肾上腺是呈三角形的内分泌腺体，位于肾脏上方，因而得名。其主要功能为通过合成皮质类甾醇和邻苯二酚胺（例如皮质醇和肾上腺素）来调控身体对压力产生的反应。人体中，肾
尿素尿素是由碳、氮、氧和氢组成的有机化合物，又称脲（与尿同音）。其化学式为 CON2H4、(NH2)2CO 或 CN2H4O，分子质量60，国际非专利药品名称为 Carbamide（碳酰胺）。外观是无色晶体或粉末，
失温症失温症（Hypothermia，源自希腊文“ὑποθερμία”），又称低温症、低体温症。描述当人体核心温度低于35.0 °C（95.0 °F）时的现象。失温症的症状取决于温度，轻度失温可能造成发
单一性伴侣单一性伴侣指在当前状态下，只与固定一人有性关系。即只有一个性伴侣。与多重性伴侣相对。一般来说，单配偶制是透过法律或道德约束的方式维持单一性伴侣。
内阁议长：南希·裴洛西（民主党）多数党领袖（英语：Party leaders of the United States House of Representatives）：斯坦利·霍耶（民主党）少数党领袖（英语：Party leaders of the United Sta
建筑美国对建筑学的贡献之一为摩天大楼。那些大胆直线成为了它资本家能量的标志。新建筑技术和电梯的发明带来新的可能性。在1884年第一座摩天大楼矗立在伊利诺伊州芝加哥市内。
塞利农特塞利农特(希腊语：Σελινοΰς, 意大利语：Selinunte)--一座位于意大利西西里岛南岸的古代城市，该城由希腊人在公元前628年创建。塞利农特是西西里岛南岸的一座重要的城市，公
截肢截肢是指因为创伤、疾病或手术而切断人体的一部分，被截肢的人就会被称为截肢者。截肢主要分为腿部截肢及手部截肢。人们要截肢可能是因为患上食肉菌、医疗事故、食物中毒、糖
高离氨酸血症高离氨酸血症是一种遗传病，其会导致发展迟缓、癫痫、脑麻痹、身材短小等。亦有可能有关节松弛、智能迟缓、周期性呕吐、肌肉张力低下、昏睡、腹泻以及发展迟缓等。此遗传病的