首页 >
严谨
✍ dations ◷ 2025-04-04 07:14:14 #严谨
数学上,严谨不同于生活中的严谨,它指数学系统(尤指公理系统)的完备性和相容性。完备性指公理数量不多不少正好可以推导出这门学科的全部结论;自洽性指公理系统内不存在悖论(即既是真又是假的命题)。比如绝对几何学加上第五公设就成为欧式几何,或者加上第五公设的反命题就成为非欧几何,但后两者并不满足完备性要求,只有绝对几何学才是度量几何类中的完备系统。自洽性与哥德尔不完备定理并不矛盾,前者断言不存在既真又假的命题,而后者断言存在既不可证明又不可证伪的命题,就好比第五公设之于度量几何,连续统假设之于集合论,选择公理之于ZF系统。
相关
- 经济学方法经济学方法(Economic Methodology),一般指研究或者应用经济学时采用的各类方法。主要包括数学方法、计量方法、历史方法、公理化与形式化方法等等。一般回归分析 - 时间序列分
- 硫血红蛋白血症硫血红蛋白为一种血红蛋白的变体,本身呈绿色,当它形成后便不能转回正常的血红蛋白。即使很少分量的硫血红蛋白在血液中存在,亦会造成发绀。其出现是罕见的现象,硫化氢(或硫离子)和
- 巴甫洛夫实验经典条件反射(英语:classical conditioning,又称巴甫洛夫条件反射、反应条件反射、alpha条件反射),是一种关联性学习。伊万·彼得罗维奇·巴甫洛夫将这种产生条件反射行为的学习
- .gp.gp为法国海外属地瓜德罗普国家及地区顶级域(ccTLD)的域名。A .ac .ad .ae .af .ag .ai .al .am .ao .aq .ar .as .at .au .aw .ax .az B .ba .bb .bd .be .bf .bg .bh
- 月虹月虹,又叫黑夜彩虹、黑虹。顾名思义,即月光折射产生的彩虹。由于月光微弱,所以明亮的白天无法用肉眼看到,故只见于昏暗的时候,如夜晚。且由于月照亮度较小的关系,月虹也通常较为朦
- 平和县平和县位于中国福建省南部,是漳州市下辖的一个县。辖10个镇、5个乡:小溪镇、山格镇、文峰镇、南胜镇、坂仔镇、安厚镇、大溪镇、霞寨镇、九峰镇、芦溪镇、五寨乡、国强乡、崎
- PTEN1D5R, 2KYL· phosphatidylinositol-3-phosphatase activity · phosphoprotein phosphatase activity · protein serine/threonine phosphatase activity · protein t
- 露体露体癖(英语:exhibitionism)或阴部显露欲是指偏好在公共或半公共场合对不知情者曝露身体中通常不会暴露的部分的行为,例如暴露乳房、臀部或阴茎。这种行为的动机可能是自身欲望
- 蛋鸡鸡(学名:Gallus gallus domesticus),是原鸡属原鸡中被人类驯化后而成的亚种,家鸡最初被驯化成为家禽的目的是提供廉价优质的动物蛋白质食品,是家畜及家禽中数量最多,分布也最广的。
- 激活物酶激活剂是与酶结合并增加其活性的分子。 它们与酶抑制剂相反。这些分子通常参与控制代谢的酶的别构调节(Allosteric regulation )。以这种方式起作用的酶激活剂的实例是2,6