阅文小说网 > 都市言情 > 判官的现代生活 > 第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 。

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

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

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

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

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

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

    与此同时,夜羽结束了一天的工作,回到了家中。他走进客厅,看到林云正坐在沙