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

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://www.bjxsw.cc),接着再看更方便。

相关小说

归魂渊 连载中
归魂渊
冰霜之间
有花无叶,有叶无花,永生永世,无法相见,生生不息,轮回不止,悲剧之爱,曼珠沙华。
3.8万字5个月前
勿入混圈 连载中
勿入混圈
段筱玖
女主段筱筱的作死之路
0.2万字5个月前
幻境……春 连载中
幻境……春
绘离
(一个作者幻想出来的美好世界…)收录了三个稿件,会出现霉运体质。
0.2万字5个月前
重生之绝色御灵师 连载中
重生之绝色御灵师
知沐若雨
社畜若南汐在做饭时被自己炸死重生到异世。还没有来得及高兴发现自己重生成一个婴儿还被追杀。未来还有一个更大的秘密在等着她去探寻……
29.5万字2周前
巷来巷往 连载中
巷来巷往
139***084_7062947698
2.2万字1周前
凤隐山河 连载中
凤隐山河
二酱紫
《凤隐山河》讲述现代法医林锦书穿越架空王朝。凭借刑侦技术破解《璇玑录》死局的故事。当她腕间赤凤纹引发时空裂隙,竟发现镇北王世子谢珩的“尸体”......
2.7万字1周前