形式体系

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

相关

  • 海格力斯赫拉克勒斯(希腊语:Ηρακλής,Hēraklēs,引申自Hēra“赫拉”和kleos“荣耀”,即赫拉克勒斯被称为赫拉的荣耀,转写:Heracles,音译赫剌克勒斯、海格力斯、海克力士、赫克力士),是
  • 葡糖胺氨基葡萄糖(C6H13NO5)又称葡萄糖胺、葡糖胺或氨基葡糖,是葡萄糖的一个羟基被氨基取代后的化合物。氨基葡萄糖是蛋白质或脂类糖基化反应中的重要前体。氨基葡萄糖衍生物N-乙酰氨
  • 远程医疗远距医疗(英语:Telemedicine,或telehealth),也称为远程医疗,是一种正在发展中的医疗技术,结合电脑、通讯技术、与医疗专业技术,让医师可以与病人远距离互动,达到诊疗及照护的目的。
  • 环状DNA环状DNA是形成闭环并且没有末端的DNA。例子包括:
  • 弓部,为汉字索引里为部首之一,康熙字典214个部首中的第五十七个(三划的则为第二十八个)。就繁体和简体中文中,弓部归于三划部首。弓部通常是从下、左方均可为部字,且无其他部首可
  • 间谍情报间谍卫星又叫军用侦察卫星,其主要用于对使用国家有兴趣的其他国家或是地区进行情报搜集,搜集的情报种类可以包凡军事与非军事的设施与活动,自然资源分布、运输与使用,或者是气象
  • 14发现之旅丛书书目列表是法国加利玛出版社推出的《Découvertes Gallimard》系列丛书中译本一览表。繁体中文版由台湾时报文化首发于1994年,至2006年共出版81册。Découvertes
  • 干燥剂干燥剂是指能除去潮湿物质中水分的物质,常分为两类:化学干燥剂,如硫酸钙和氯化钙等,通过与水结合生成水合物进行干燥;物理干燥剂,如硅胶与活性氧化铝等,通过物理吸附水进行干燥。湿
  • 玩具玩具泛指可用来玩的物品,玩具有不同的材质和游玩形式,可以是自然物体如泥土、石块、树枝、贝壳等;玩具也可以是人工制作,如布偶、卡牌、积木、拼图等。玩具在人类社会中有重要的
  • 量纲量纲,又叫作因次(Fundamental unit),是表示一个物理量由基本量组成的情况。确定若干个基本量后,每个导出量都可以表示为基本量的幂的乘积的形式。引入量纲这一概念可以进行量纲分