公理化方法的意思、公理化方法的详细解释
公理化方法的解释
从少数不加定义的原始概念和少数不加证明的基本命题(公理)出发,按特定演绎推理规则推导出这一学科中其他命题(定理),并构成一个演绎系统的方法。任何特定的公理化系统都不是绝对严格和完备的。
词语分解
- 公理的解释 ∶依据人类理性和愿望发展起来而共同遵从的道理世界有强权,没有公理啊! ∶经过人类长期反复实践的考验,不需要再加证明的命题如数字中的详细解释.社会上公认的正确道理。《三国志·吴志·张温传》:“竞言 艳
- 方法的解释 古指量度方形的法则 现指为达到某种目的而采取的途径、步骤、手段等科学方法详细解释.测定方形之法。《墨子·天志中》:“中吾矩者谓之方,不中吾矩者谓之不方,是以方与不方,皆可得而知之。此其故何?则方法
网络扩展解释
公理化方法
公理化方法是一种数学推理的方法,其目的是通过建立公理系统来推导出数学定理。在公理化方法中,通过明确一组公理,并基于这些公理进行逻辑推理,得出数学定理。
拆分部首和笔画
公理化方法这个词可以拆分为:“公”、“⺅”和“化”三部分。其中,“公”是部首,表示事物的公共、共同的意思,“⺅”是指事物“人”的意思,“化”即是将事物变成或转变成另一种状态或形式的意思。根据《康熙字典》,公的五笔编码为32412、⺅的五笔编码为112、化的五笔编码为55111。
来源和繁体
公理化方法这个词的来源于西方数学,最早由希尔伯特提出。在繁体字中,公理化方法可以写作「公理化方法」。
古时候汉字写法
根据古时候的汉字写法,《康熙字典》中收录的公的古字形为“兲”,即一个人在两个人之间的形状;⺅的古字形为“亻”,即一个人的形状;化的古字形为“變”,即与现代写法相似。
例句
在几何学中,欧几里得公理化方法被广泛应用。
组词
公理、公理系统、公理化、公理论证、公理集合
近义词
公设方法、公理主义
反义词
经验法、归纳法