第40章(3/4)

又想到了从逻辑推理的角度来证明。他在笔记本上写下了一系列的逻辑符号和推理过程:

    设命题p(n)表示“1 + n = (n + 1)” 。

    首先证明p(0)成立,即1 + 0 = 0 + 1 。根据加法的交换律(在数学体系中,加法交换律是可以通过公理推导出来的,这里为了简化证明过程,直接使用),1 + 0 = 0 + 1 = 1 ,所以p(0)成立。

    假设p(k)成立,即1 + k = (k + 1) 。

    现在要证明p(k + 1)成立,即1 + (k + 1) = ((k + 1) + 1) 。

    根据加法结合律(同样,加法结合律也是可以通过公理推导出来的),1 + (k + 1) = (1 + k) + 1 。

    因为假设p(k)成立,即1 + k = (k + 1) ,所以(1 + k) + 1 = (k + 1) + 1 。

    所以p(k + 1)成立。

    根据数学归纳法,对于所有自然数n ,p(n)成立。当n = 1时,就得到1 + 1 = 2 。

    林云完成了三种不同方法的证明后,脸上露出了满意的笑容。他拿起手机,将笔记本上密密麻麻的证明过程拍了下来,然后编辑了一条简短的文字说明:“从皮亚诺公理体系、集合论和逻辑推理三个角度证明一加一等于二。”点击发送,这条动态瞬间在网络上传播开来。

    网友们看到这条动态后,瞬间傻眼了。他们原本以为这只是一个简单的问题,却没想到林云给出了如此复杂而又严谨的证明过程。评论区瞬间被各种留言刷爆:

    “大神就是大神,我还以为一加一等于二是天生就成立的,没想到还有这么多证明方法。”

    “这就是国际外交官和国家最高法庭判官的思维吗?太牛了,我完全看不懂。”

    “感觉自己的数学白学了,这么简单的问题居然这么深奥。”

    “林云不愧是我们国家的骄傲,无论是外交还是数学,都这么厉害。”

    与此同时,夜羽结束了一天的工作,回到了家中。他走进客厅,看到林云正坐在沙
本章还未完,请点击下一页继续阅读>>>

人气小说推荐

中国龙组之兵王无双
中国龙组之兵王无双
关于中国龙组之兵王无双:新作品出炉,欢迎大家前往番茄小说阅读我的作品,希望大家能够喜欢,你们的关注是我写作的动力,我会努力讲好每个故事!
谢云飞扬
诸天反派跑路,系统抓我来顶包
诸天反派跑路,系统抓我来顶包
刚刚穿越宝莲灯玉帝,正在审判杨戬……心头有点慌。 突然系统加身,你真是害苦了朕啊! 这年头,诸天反派不惜的玩儿,出去旅游,让我来代练? 代练诸天各种反派,闹腾各种乱七八糟剧情。 将臣,无天,冥王…… 岳不群我是真不行啊,我不要切自己一刀啊! 敢问诸天反派,你是想要杀天绝地,还是洗心革面,做个好人? 哦,我随便做,回来后因果你们担…… 那就……瞎胡闹了哈!
红日灵云
紫微斗数说明书
紫微斗数说明书
关于紫微斗数说明书:这本书的创立就是以白话文的方式讲解紫微斗数,让我们更好的去理解紫微斗数,紫微斗数其实并不深奥,经过大量实战案例我们可以更好的明白以及应用它,让自己能够更好的知道出厂日期以及人生规划。此外本书还将分享一些怎么改运的方法以供大家参考参考。此书向大家分享中医象数疗法,阳宅学,六爻的一些具体学习经验,望大家共勉
界玄
权路征途
权路征途
提拔前夕,老板出事,妻子红杏出墙,欧阳志远人生遭遇重挫,未来一片黑暗,绝望之际,前女友的出现让他意外迎来一片曙光,命运曲线触底反弹……
jiuxiaohonghu
撩倒五个兽夫后,恶毒雌性死遁了
撩倒五个兽夫后,恶毒雌性死遁了
关于撩倒五个兽夫后,恶毒雌性死遁了:死于尸群后,温纾穿进兽世文,成了兽城流落在外的恶毒真千金。作为女主的对照组,原主不仅是个脏兮兮的万人嫌,还到处强抢雄性,以折磨兽人为乐。一睁眼天崩开局,原主欺辱蛇兽,霸王硬上弓不成被毒死;对可怜的雪鸮非打即骂,在部落名声恶臭。温纾两眼一黑,为了扭转命运,决定治好被原主祸害的兽人,远离主角团苟到结局。然而,面对强大的剧情,无论她做什么,似乎都无法改变死局。于是她死遁求生,那些本该恨她入骨的雄性,却都发了疯的找她!————人人都讨厌温纾,却各个口嫌体正直。温柔专情的雪鸮,不远万里的追随,“阿纾,无论你去哪,我都会陪在你身边。”冷漠寡言的黑蛇,近乎偏执的渴望着她的目光;矜贵又傲慢的帝国皇子,在她面前纯情到一撩拨便面红耳赤;桀骜张扬的血兽首领,爱而不得,化身疯批强取豪夺;还有一群性格恶劣的疯子虎视眈眈……
桔子飞飞
快穿:帝王名臣将相,皆是裙下臣
快穿:帝王名臣将相,皆是裙下臣
关于快穿:帝王名臣将相,皆是裙下臣:(快穿+系统+金手指+苏爽+甜宠)苏宁雪在最eo的时候,被系统绑定,开始一场三千世界穿越之旅。汗!每次的开始我都以为是结束。①秦:嬴政喵?系统你说什么?你再说一遍,让谁爱上我?已经默认穿越之旅开始即结束的苏宁雪,悄咪咪的伸出爪爪抚摸自家政哥的腹肌。香~真香~②汉:刘彻谁?谁?谁爱我?你不如让我去死一死!③唐:李世民④三国:诸葛亮⑤魏晋南北朝……
一条爱翻身的咸鱼
豪门盛宠:娇妻引入怀
豪门盛宠:娇妻引入怀
“顾擎川,我能要你的孩子生,也能叫它死!”她吃下打胎药,用最残忍的方式打掉肚子里他和其它女人的孩子,一起搭上的还有那个女人的命!“别再让我看见你,否则我会叫你生不如死!”他狠狠咬破她的唇,鲜血的滋味在彼此舌尖蔓延。两年后再见,她是为了业绩而拼命的小职员,他是公司新上任的大BOSS。“穿这么少,别有居心?”“我没有,我不知道是你……”“那更可恶!说,我该怎么惩罚你?嗯?”===
水沐
和扶弟魔老婆离婚后,我送她全家升天
和扶弟魔老婆离婚后,我送她全家升天
关于和扶弟魔老婆离婚后,我送她全家升天:【先虐后爽+后悔流+绝不原谅】陈枫做梦都没想到,深爱的妻子为了让自己把房子过户给小舅子,竟然残忍的打掉了肚子里的孩子,本以为真爱可平万难,可当知道孩子被打掉的那一刻,陈枫对妻子所有的爱都变成了恨。他发誓要为死去的孩子报仇,要让扶弟魔妻子,让她弟弟,让他们一家付出惨痛的代价……
天生拼搏人