形式系统

✍ dations ◷ 2025-01-23 01:11:48 #形式系统

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

相关

ICTV国际病毒分类委员会（International Committee on Taxonomy of Viruses (ICTV)）系一个对病毒进行生物学分类和命名并制定相关标准的组织。国际病毒分类委员会已制定了一套病毒
克雷伯氏菌属克雷伯氏菌属（学名：Klebsiella）是肠杆菌目肠杆菌科的一属，为革兰氏阴性菌，杆状，其中包括了人类感染症常见的克雷伯氏肺炎菌(Klebsiella pneumoniae)。克雷伯氏菌属的命名，是纪念德
肠胃道消化系统（英语：digestive system）是多细胞生物用以进食、消化食物、获取能量和营养、排遗剩余废物的一组器官，其主要功能为摄食、消化、吸收、同化和排遗。其中有关排遗的部分，也
VisItVisIt是一个开源型交互式并行可视化与图形分析工具，用于查看科学数据。利用VisIt，可以可视化二维几何模型以及三维空间结构化和非结构化网格之中所定义的标量场和矢量场。在设
食品安全食品安全是一门跨学科领域，专门探讨在食品加工、存储及销售等步骤中，各方能如何保障食品卫生与食用安全、降低疾病隐患及防范食物中毒。探讨者透过科学方法对于可能造成消费者
National Defense University美国国防大学（英语：National Defense University，缩写：NDU)，为美国国防部支持的高等教育机构，提供国防战略方面的高阶培训、教育、研究。现任校长为格雷格·马丁(Gregg F. Martin)
防腐剂防腐剂（英语：Preservative）是指天然或合成的化学成分，用于加入食品、药品、颜料、生物标本等，以延迟微生物生长或化学变化引起的腐败。亚硝酸盐及二氧化硫是常用的防腐剂之一。下
艾福特爱尔福特（德语：Erfurt），又译埃尔福特，是德国中部的一个城市。它是图林根州的首府，并是一个有196,500人口的制造业中心。爱尔福特东北100公里是莱比锡，向西113公里是卡塞尔和向西北1
四天工作制四天工作制是一种工作场所或学校使其雇员或学生每星期上班或上学四天而非传统的五天的一种安排。这种安排既有可能是因为弹性工作制，亦有可能是为了减少成本。2008年，美国犹他
头昏目眩头重脚轻（Lightheadedness）也称为头昏目眩，是头晕时常见，令人不悦的感觉，常伴随着可能会昏倒的感觉。头重脚轻的感觉可能是短期或长期的，偶尔也可能是慢性病。当时也可能会出现所