形式系统

✍ dations ◷ 2024-07-05 10:40:14 #形式系统

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

相关

土壤土壤（德语：Boden，英语：soil）是一种自然体，由数层不同厚度的土层（德语：Bodenhorizont，英语：soil horizon）所构成，主要成分是矿物质。土壤和母质（岩石）的差异主要是表现在形态特征或物理、化
流感病毒甲型流行性感冒病毒属(Influenzavirus A) 乙型流行性感冒病毒属(Influenzavirus B) 丙型流行性感冒病毒属(Influenzavirus C)流行性感冒病毒，简称流感病毒，是一种造成人类及动
第十一版国际疾病分类人体解剖学 - 人体生理学组织学 - 胚胎学人体寄生虫学 - 免疫学病理学 - 病理生理学细胞学 - 营养学流行病学 - 药理学 - 毒理学国际疾病分类第十一版（简称ICD-11），或称
领鞭毛虫门领鞭毛虫纲（学名：Choanoflagellate）是一种原生生物，是单细胞或群体。拥有一根鞭毛，形态类似于淡水海绵的群体，表面的酪氨酸激酶受体也类似于海绵，被认为是动物的姐妹群。领鞭毛虫的
英国广播公司英国广播公司（英语：British Broadcasting Corporation；缩写：BBC），是英国一家独立运作的公共媒体，亦是全球最大的新闻媒体（按照雇员人数），资金主要来自于英国国民所缴纳的电视牌照费。B
罗素的茶壶对宗教的批评 · 自由思想反教权主义 · 反宗教虚构宗教罗素的茶壶（英语：Russell's teapot）或称天体茶壶（英语：Celestial Teapot）、宇宙中的茶壶（英语：Cosmic Teapot），是由哲学家伯特
古典时代古典时代（或称为古典时期、古典古代、古风时期，英语：Classical antiquity）是对希腊罗马世界（英语：Greco-Roman world）（以地中海为中心，包括古希腊和古罗马等一系列文明）的长期文化史的
羧酸.mw-parser-output ruby>rt,.mw-parser-output ruby>rtc{font-feature-settings:"ruby"1}.mw-parser-output ruby.large{font-size:250%}.mw-parser-output ruby.larger{fon
达雷尔·伊萨达雷尔·伊萨（Darrell Issa；1953年11月1日－）是美国的一位政治人物。2013年至2019年间，他是加利福尼亚州第49选举区选出的美国众议院议员。他的党籍是共和党。伊萨曾经是一位商人
脐肚脐、脐，俗称肚脐眼，中医称之为“神阙”，从本质上来说是胎儿出生后，脐带脱落后留下的疤痕。肚脐位于髂前上棘水平的腹部正中线上，直径约为1.0至2.0公分。它通常可以是一个小凹陷