Re: [问卦] 台湾有多少人可以逻辑清晰的证明1+1=2?

楼主: simonjen (狂)   2015-03-25 01:40:09
※ 引述《carter112233 (不擦屁股)》之铭言:
: Well
: As we know
: 1+1=2的证明常常被用来呛人
: 好像理组都会一样
: 那不讨论歪果人和充斥在肥宅之间的外星人
: 台湾有多少人可以逻辑清楚的证明1+1=2?
严格说起来这根本没有证明~因为1+1真的不一定可以等于2
不过为什么我们还是要学1 + 1 = 2
或者到底什么是1 + 1 = 2?
还记得我们小学的时候~老师是这样说的~
一个苹果和一个苹果在一起就有两个苹果了喔!
(放心小时候不会想到苹果怀孕这一件事!)
所以1 + 1 = 2
这其实就是正解~只是数学家想很严格的来规定到底什么是"+"!
这应该是源自于集合论被发明出来吧!
所以数学家们就开始想用集合论来做这一个东西,
于是乎便开始建构这一件事情~
一开始数学家们先创造了空集合ψ,并说ψ就是0(因为里面没有元素)
再来什么叫做1?数学家就又创造了1 = {ψ}(里面有一个0元素)
那么2呢?数学家又创造了2 = {0,1}(里面有两个元素)
那么任意的自然数n呢?所以数学家就说n = {0,1,2,......,n-1}(里面有n个元素)
那么有了0,1,2......之后,那什么是"+"
这好像太难了~于是乎数学家就先发明了"+1"
所谓的"+1"其实是一个函数+1(n) = n∪{n}翻成白话文就是往后数一个数字!
到底什么是 1 + 1 ?就是叫你从1开始往后数一个数字~
因为1的后面是2,因此 1 + 1 = 2 ,当然你也可以记为 "+1(1)",
接着就可以开始说明什么是"+"了!
所以由以上可以告诉我们~凡是会数数的都可以证明1 + 1 = 2
如果你教会你家喵星人或是汪星人数数那他也可以证明1 + 1 = 2!
好了~所以别再有偏见说文组的不会证明1 + 1 = 2 了!
作者: gg30 ( 芿圈ト 栋 )   2015-03-25 01:41:00
文组不意外
作者: gj942l41l4 (米食主義者)   2015-03-25 01:41:00
跟我想的一样 我文组的^^
作者: ding2599 (gfdgdfgd)   2015-03-25 01:42:00
文组不意外 数学系的快出来
作者: l983 (海边漂来的海波浪)   2015-03-25 01:43:00
这算只开了个头,
作者: belleaya (台中李奥纳多皮卡堺雅人)   2015-03-25 01:46:00
我数学系的 谢谢你唤起了我的回忆
作者: popo103440 (小陈)   2015-03-25 01:48:00
math版第一篇有解答
作者: forbearance (forbearance)   2015-03-25 01:48:00
以文组来讲 各种东西都是符号 看你怎么定义他而已例如水这个东西 我们叫水 英文叫water所以"+"或"1"这几个图案 你都可以自行定义
作者: wotupset (wotupset)   2015-03-25 01:50:00
先证明"1"是整数基本单位 再证明"1"加上一个单位等于"2"这我家汪汪都会证明
作者: belleaya (台中李奥纳多皮卡堺雅人)   2015-03-25 01:54:00
主人刚刚射精
作者: nalaculan (sera)   2015-03-25 02:03:00
前有看A片
作者: CHISN (..)   2015-03-25 02:21:00
一瞬间想到不完备定律
作者: kinki5566 (近畿小子5566)   2015-03-25 02:25:00
作者: dotZu (良牙)   2015-03-25 02:49:00
C++
作者: rick65134   2015-03-25 02:51:00
所以1+1=2根本不能证明 完全是用一堆定义堆叠出来的
作者: darren8221 (鲶鱼)   2015-03-25 02:54:00
math 板第一篇无误 XD
作者: recorriendo (孟新)   2015-03-25 03:25:00
当初是罗素自己搞了一个系统 很难用 1+1=2都要写三页后来又发现这个系统也不能证明很多东西 所以白费功夫不过要注意罗素那年代还没有ZFC集合论 只有康托的素朴集合论 这个集合论是自相矛盾的 其中最大的漏洞就是罗素悖论 所以罗素才会自己搞一个系统现代数学是建构在ZFC集合论上 1+1=2是定义 不用证明
作者: etr19941 (RAY)   2015-03-25 03:42:00
要不要顺便证明为什么1后面一定是2

Links booklink

Contact Us: admin [ a t ] ucptt.com