数学联邦政治世界观
超小超大

0=1莱茵哈特基数(数学构造)

0=1莱茵哈特基数构造:x>0 当x≥1,f(x)=(x+1)lnx-x+1, f’(x)=(x+1)*1/x+lnx-1=1/x+1nx,因为x≥1,则lnx≥0,1/x>0,所以f’(x)>0, 所以f(x)在[1,+oo)上递增, 则f(x) ≥f(1)=0-1+1=0,又(x-1)≥0 所以(x-1)f(x)≥0.当1>x>0,f(x)=(x+1)lnx-x+1, f’(x)=(x+1)*1x+lnx-1=1/x

在集合论中0=1的意思

是不一致证明的典范例子。

根据哥德尔定理,初等算术系统可能是不一致的,倘若初等算术不一致,则你能在其中找到一个有限长度的0=1的证明。

在一致性强度的证明当中通常都是以证明不存在0=1的证明为主。

一类大基数假设被冠以0=1类则在于这类假设会导致存在一个已被发现的0=1的证明,注意,是已被发现。

根据哥德尔定理,一致性强度越强,并不意味着就越安全越可靠,反倒是越危险越接近不一致,比如远比初等算术要强的ZFC就远比初等算术更可能不一致,而那些更强的大基数假设,只能说是尚未发现0=1的证明。

所以,对于一个非标准的算术模型中的见证0=1的非标准自然数,你也可以称这样的自然数为0=1类基数。

数学联邦政治世界观提示您:看后求收藏(同人小说网http://tongren.me),接着再看更方便。

相关小说

无限流:梦魇的序章 连载中
无限流:梦魇的序章
槐央池
星云逸×林景然[双楠主]“想要逃离梦魇,就需要一个信念。”“如果在梦境中迷失光明,天上的星星无疑是最好的明灯。”某一年某一月某一天,星云逸无......
0.8万字5个月前
重生:糊豆的顶流指南 连载中
重生:糊豆的顶流指南
绻知
【娱乐圈+美食+升级流爽文】    因为公司的打压,春黛没能在选秀节目中出道,人气一落千丈成为无人问津的糊豆。命运给她重来的机会和神秘的梦境......
10.1万字5个月前
无有流浪 连载中
无有流浪
夜葵
无有回家第二部
44.7万字5个月前
为已而活 连载中
为已而活
默然 ℡
傅卿卿再次身亡,魂魄被迫离开原主。她在攻略男主陆宇辰的第三次失败后,颓废的回到了系统空间。“欢迎宿主回归,请宿主确认最后的复活点。”机械的声......
10.3万字5个月前
摆脱NPC身份后,我俩在无限流中杀疯了 连载中
摆脱NPC身份后,我俩在无限流中杀疯了
浮木散
(已完结)冷峻反骨的指挥官(NPC)×话多傲娇的ASD战队队长炸毁D级星球中一个待“审核”的小星球后,谢桉成功被星际联合组织的指挥官逮捕了。......
11.5万字5个月前
我的脑洞天马行空 连载中
我的脑洞天马行空
激流暗涌
随便写写,喜欢的可以自己搬
0.6万字5个月前