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

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.2万字4个月前
仙三世:故君几何 连载中
仙三世:故君几何
竹椿萱风
正在预收中,筹备中“你可曾爱我?”“不曾爱过”这一切都是一开始都不可能有的结局,或许那么在结局之中,你还会如当初那般吗?
0.0万字4个月前
逆神记 连载中
逆神记
灭道小妖
帝皇瑞兽三眼金猊王秋秋意外重生,恢复记忆:什么金龙枪,什么黄金圣龙武魂,什么为爱献祭?都是唐山背后操控。那么,接下来,想看她如何逆神灭唐山,......
14.9万字4个月前
穿越星际之种田达人 连载中
穿越星际之种田达人
粟粟丶
系统和宿主的双向奔赴。
8.3万字4个月前
穿越兽世给流浪兽夫们一个家 连载中
穿越兽世给流浪兽夫们一个家
tt周周
于橙橙爬山时无意穿越到兽世,兽世危险重重,在她担忧之际总是屡屡在外面捡到兽夫,他们一个个强壮又帅气,还对她特别好。于橙橙决定,她要给这些兽夫......
4.6万字4个月前
清铭记于心 连载中
清铭记于心
偏舟
沈无眠因过山车故障意外穿越,碰上了一个死不讲理的王爷。好不容易和离后又被赐婚于太子——慕斯亭,他们的感情渐渐变深,系统君却告诉她可以回去了,......
2.3万字4个月前