猫史档案馆

救命，这题怎么解？

用户:原力开发查看:4 回复:19 评论:4 创建时间:2024-07-23T10:35:08

这是一道坦斯因爱都解不出来的题：1+1=？

真的太难了，想这道题的时候千万别带脑子，否则会冒烟！

证明1+1=2?

顶啊

顶啊

顶啊

 1 + 1
= S(0) + 1  （根据自然数的公理）
= S(0 + 1)  （根据加法定义 2）
= S(1)      （根据加法定义 1）
= 2         （根据自然数的公理）

顶啊

x0=0

xy⁺=x+xy

1=λ.sλ.zsz，2=λ.sλ.zs(sz)，3=λ.sλ.zs(s(sz))

顶啊

顶啊

顶啊

顶啊

(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)}

v=1+0

d=x+1

v+d=2

如果想不出来，很正常，注意脑子的健康发育才是关键！

1+1=(100+100)/100

=1100100+1100100

=11001000/1100100=10=2

center_image 我开的浅色主题

答案：114514