首页 >
形式系统
✍ dations ◷ 2025-11-18 13:37:41 #形式系统
在逻辑与数学中,一个形式系统(英语:Formal system)是由两个部分组成的,一个形式语言加上一个推理规则或转换规则的集合。大卫·希尔伯特在1921年推动以形式系统来描述数学知识
。 一个形式系统也许是纯粹抽象地制定出来,只是为了研究其自身。另一方面,也可能是为了描述真实现象或客观现实的领域而设计的。命题逻辑是最简单的形式系统。在数学领域里,形式证明是形式系统的产物,由一些公理与演绎规则组成。定理便是形式证明可能的最后一行结论。这几个步骤总和起来便是数学界通称的形式主义。大卫·希尔伯特创立元数学以作为讨论形式系统的学科。任何用于讨论形式系统的语言称为元语言。元语言也许像普通语言一样自然,或它可能部分形式化,但它通常比起受检验系统的形式语言来得较不正规化。此形式语言称为对象语言,意指问题议论的对象。某些理论学家将形式主义粗略视为形式系统的同义词,但此词也同时指称特定风格的符号,例如保罗·狄拉克的狄拉克符号。在数学中的形式系统由以下要素组成:
相关
- 病毒性肺炎由病毒感染所引起肺炎的即病毒性肺炎。病毒是肺炎两种主要病因之一,另一种为细菌性肺炎;而少见的引起肺炎的病因为真菌(fungi)和寄生生物(parasites)。病毒性肺炎的症状包括:发烧、
- 蛋白质亚基蛋白质亚基(又称:蛋白质次单元,英语:Protein subunit)、蛋白亚基或亚基蛋白在结构生物学中是指参与组成蛋白质复合物(寡聚体或多聚体)的单个蛋白质分子。一个蛋白质亚基就是一条多
- 法语法语在美国是一个少数族群语言,根据2010年的统计资料,大约207万五岁以上的美国人口在家中使用法语,使法语成为在美国第四多人使用的语言,仅次于英语、西班牙语、汉语(含方言)。法
- 美国国家科学院期刊《美国国家科学院院刊》(英语:Proceedings of the National Academy of Sciences of the United States of America,通常简称为 PNAS;PNAS USA)是美国国家科学院的官方学术周刊。
- 水土流失水土流失(也被称为侵蚀作用或土壤侵蚀)是自然界的一种现象,是指地球的表面不断受到风、水、冰融等外力的磨损,地表土壤及母质、岩石受到各种破坏和移动、堆积过程以及水本身的损
- 芝麻芝麻(学名:Sesamum indicum),别名胡麻、脂麻、油麻,是胡麻科胡麻属植物。虽然它的近亲在非洲出现,但品种的自然起源仍然未知。它遍布世界上的热带地区。在温带地区也有种植,比如中
- 呼吸的生理学呼吸(respiration)在生理学上,是指氧从空气传送到生物组织,以及二氧化碳从生物组织传送回空气的过程。生理学上的呼吸和生物化学中的呼吸,生物化学中的呼吸是指呼吸作用,在细胞之
- 固体固体是物质存在的一种状态,是四种基本物质状态之一。与液体和气体相比,固体有固定的体积及形状,形状也不会随着容器形状而改变。固体的质地较液体及气体坚硬,固体的原子之间有紧
- 针对医生的暴力医闹,指借炒作医疗纠纷而获得非法利益者,是中国大陆医界的热词。发起医闹者可能为患者、患者亲属、受雇于患方以非法获利为目的的组织或个人,有调查报告称其中医闹组织发起的医
- 干细胞治疗干细胞疗法是通过利用对干细胞进行体外分离、培养、定向诱导分化等,能够培养出一种全新的、正常的、更年轻的细胞、组织、器官等。通过特殊的移植技术移植到体内,代替那些正常
