首页 >
形式系统
✍ dations ◷ 2025-06-07 06:50:52 #形式系统
在逻辑与数学中,一个形式系统(英语:Formal system)是由两个部分组成的,一个形式语言加上一个推理规则或转换规则的集合。大卫·希尔伯特在1921年推动以形式系统来描述数学知识
。 一个形式系统也许是纯粹抽象地制定出来,只是为了研究其自身。另一方面,也可能是为了描述真实现象或客观现实的领域而设计的。命题逻辑是最简单的形式系统。在数学领域里,形式证明是形式系统的产物,由一些公理与演绎规则组成。定理便是形式证明可能的最后一行结论。这几个步骤总和起来便是数学界通称的形式主义。大卫·希尔伯特创立元数学以作为讨论形式系统的学科。任何用于讨论形式系统的语言称为元语言。元语言也许像普通语言一样自然,或它可能部分形式化,但它通常比起受检验系统的形式语言来得较不正规化。此形式语言称为对象语言,意指问题议论的对象。某些理论学家将形式主义粗略视为形式系统的同义词,但此词也同时指称特定风格的符号,例如保罗·狄拉克的狄拉克符号。在数学中的形式系统由以下要素组成:
相关
- 横膈膜在哺乳动物的解剖学中,横膈膜(英语:Thoracic diaphragm)是一层骨骼肌薄膜,延展及肋骨底部。横膈膜将胸腔与腹腔相分隔,并对呼吸执行重要功能。解剖学中的膈膜(英语:Diaphragm)也可以
- 甲亢性周期性麻痹1甲状腺毒性周期性麻痹症(英语:Thyrotoxic periodic paralysis,简称TPP)是一种因甲状腺机能亢进引起的病况,特征是病发时会有肌肉无力(英语:Muscle weakness)的症状。症状发作时一般
- 胰腺炎胰脏炎(英语:Pancreatitis)也称为胰腺炎,指的是胰脏的发炎。胰脏是身体里的一个大型器官,位置在胃后方,功能有分泌消化酵素等等。 胰脏炎有两种,分别是急性(英语:Acute_pancreatitis)
- 初级预防初级预防 亦称一级预防 (预防医学)乃明显不同于次级或第三级预防的概念。主要意涵有三方面,提升个人高层次的潜能、幸福感或协助相关环境改变的促进性活动或方案,维持或转变个人
- 左氧氟沙星左氧氟沙星(英语:Levofloxacin),常见商品名Levaquin,为一种氟喹诺酮类广谱(英语:broad-spectrum antibiotic)抗细菌药。本品可用于治疗细菌性的鼻窦炎、肺炎、泌尿道感染、慢性前列
- 生殖腺生殖腺是人和动物产生生殖细胞和分泌性激素的器官。低等动物又称“生殖巢”,即精巢和卵巢的总称;高等动物雄性的生殖腺是睾丸,雌性的生殖腺是卵巢。人类在青春期后睾丸产生精子
- 子宫内膜异位症子宫内膜异位症(Endometriosis)属于妇科疾病,指的是本当存在于子宫内的内膜组织却在子宫外的其他地方生长,多数会在卵巢、输卵管以及子宫附近的组织,少数的情况也可能发生在身体
- 瘫痪瘫痪是指一个或多个肌肉群的肌肉功能丧失。而在受影响的区域,也可能会有感觉丧失的情况。瘫痪的原因一般是神经系统受损,尤其是脊髓的部位。其他主要原因包括中风、外伤、小儿
- 音乐治疗音乐治疗(Music therapy),是利用乐音、节奏对生理疾病或心理疾病的患者进行治疗的一种方法。主要是针对在身、心方面“有需要”进行治疗的个案,针对其“需要治疗”的部分,进行“
- 奥克拉荷马州坐标:35°30′N 98°00′W / 35.5°N 98°W / 35.5; -98俄克拉荷马州(切罗基语:ᎠᏍᎦᏯ ᎩᎦᎨᏱ,转写: Asgaya gigageyi,或者ᎣᎦᎳᎰᎹ(音译自英语);波泥语:Uukuhuúwa;卡育加语:Ga