Question

1+1为什么等于2？？求解求解释

Answer 1

我想
1+1=2
不能证明，他只能说是一个定率。最原始的定律。

1+1=2
目前还没有人证明出来他为什么
=2

老陈也只证明出
1+2
。就很了不得了。

假设有一天有人证明出来
1+1
不等于
2
这个世界不知道会变成什么样。

当年歌德巴赫写信给欧拉，提出这么两条猜想：

（
1
）任何大于
2
的偶数都能
分成两个素数之和

（
2
）
任何大于
5
的奇数都能分成三个素数之和

很明显，
（
2
）
是一的推论

（
2
）已经被证明，是前苏联著名数学家伊
·
维诺格拉多夫用
“
圆法
”
和他自己创造的
“
三角和法
”
证明了充分大的奇数都可表为三个奇素数之和，就是
著名的三素数定理。这也是目前为止，歌德巴赫猜想最大的突破。

在歌德巴赫
猜想的证明过程中，
还提出过这么个命题：
每一个充分大的偶数，
都可以表为素
因子不超过
m
个与素因子不超过
n
个的两个数之和。这个命题简记为
“m+n”
显
然
“1+1”
正是歌德巴赫猜想的基础命题，
“
三素数定理
”
只是一个很重要的推论。

1973
年，陈景润改进了
“
筛法
”
，证明了
“1+2”
，就是充分大的偶数，都可表示成
两个数之和，
其中一个是素数，
另一个或者是素数，
或者是两个素数的乘积。
陈
景润的这个证明结果被称为
“
陈氏定理
”
是至今为止，歌德巴赫猜想的最高记录
.
最后要证明的是
1+1

给你看一个假设：

用以下的方式界定
0
，
1
和
2 (eg. qv. Quine, Mathematical Logic, Revised Ed.,
Ch. 6, §
43-44)
：

0 := {x: x ={y: ~(y = y)}}

1 := {x: y(yεx.&.x
\
{y}ε0)}

2 := {x: y(yεx.&.x
\
{y}ε1)}

〔比如说，
如果我们从某个属于
1
这个类的分子拿去一个元素的话，
那麽该分子
便会变成
0
的分子。换言之，
1
就是由所有只有一个元素的类组成的类。〕

现在我们一般采用主要由

von Neumann
引入的方法来界定自然数。例如：

0:=
∧
, 1:= {
∧
} = {0} =0
∪
{0},

2:= {
∧
,{
∧
}} = {0,1} = 1
∪
{1}

[
∧为空集
]

一般来说，如果我们已经构作集
n,
那麽它的后继元
(successor) n*
就界定为
n
∪
{n}
。

在一般的集合论公理系统中（如
ZFC
）中有一条公理保证这个构作过程能不断
地延续下去，
并且所有由这构作方法得到的集合能构成一个集合，
这条公理称为
无穷公理
(Axiom of Infinity)(
当然我们假定了其他一些公理
（如并集公理）
已经建
立。

〔注：
无穷公理是一些所谓非逻辑的公理。
正是这些公理使得以
Russell
为代表
的逻辑主义学派的某些主张在最严格的意义下不能实现。〕

跟我们便可应用以下的定理来定义关于自然数的加法。

阅读会员限时特惠 7大会员特权立即尝鲜

定理：命
"|N"
表示由所有自然数构成的集合，那麽我们可以唯一地定义映射
A
：
|Nx|N→|N
，使得它满足以下的条件：

(1)
对于
|N
中任意的元素
x
，我们有
A(x,0) = x
；

(2)
对于
|N
中任意的元素
x
和
y
，我们有
A(x,y*) = A(x,y)*
。

映射
A
就是我们用来定义加法的映射，我们可以把以上的条件重写如下：

(1) x+0 = x
；
(2) x+y* = (x+y)*
。

现在，我们可以证明
"1+1 = 2"
如下：

1+1

= 1+0* (
因为

1:= 0*)

= (1+0)* (
根据条件
(2))

= 1* (
根据条件
(1))

= 2 (
因为

2:= 1*)

〔注：严格来说我们要援用递归定理
(Recursion Theorem)
来保证以上的构作方
法是妥当的，在此不赘。
]

1+ 1= 2"
可以说是人类引入自然数及有关的运算后
"
自然
"
得到的结论。但从十九
世纪起数学家开始为建基于实数系统的分析学建立严密的逻辑基础后，
人们才真
正审视关于自然数的基础问题。
我相信这方面最
"
经典
"
的证明应要算是出现在由
Russell
和
Whitehead
合着的
"Principia Mathematica"
中的那个。

我们可以这样证明
"1+1 = 2"
：

首先，可以推知：

αε1 (∑x)(α={x})

βε2 (∑x)(∑y)(β={x,y}.&.~(x=y))

ξε1+1 (∑x)(∑y)(β={x}
∪
{y}.&.~(x=y))

所以对于任意的集合
γ
，我们有

γε1+1

(∑x)(∑y)(γ={x}
∪
{y}.&.~(x=y))

(∑x)(∑y)(γ={x,y}.&.~(x=y))

γε2

根据集合论的外延公理
(Axiom of Extension)
，我们得到
1+1 = 2

Answer 2

公理，记住就好了

Answer 3