作者flypaper (一直飞)
看板NCKU
标题Re: [问题] 1>0怎麽证明？
时间Sat Jul 4 13:19:04 2020
※ 引述《AllBlack (All Black)》之铭言：
: 安安
: 我学店文组喇
: 突然想到一件事
: 1>0怎麽证明勒？
: 你各位理工肥宅快来证明给我看
: 不然全部回去重修
: 嗯 快
: 在线等
首先我们需要定义三件事情: 0, +1, >
Def. what is 0:
0 = num ({}) (空集合的元素数目)
Def. what is next number:
对一个集合s，如果有一个e并不属於s的任何元素。 则我们有定义:
num (s) + 1 = num (s U {e})。
这概念就像你手中有n种水果，加入了一种你没有的，则你手上有n+1种水果。
Def. what is >:
如果集合 s 有 t 的所有元素 且有 t 没有的要素 则 num(s) > num(t)
以上的定义如果都能接受 则有下列推导:
1. Since {} is empty, num({{}}) > num({})
0 = num({}) < num({{}}) = next_number (num({}))
= next_number (0)
= 1
大概是这样 希望能抛砖引玉
--
※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 114.37.163.137 (台湾)
※ 文章网址: https://webptt.com/cn.aspx?n=bbs/NCKU/M.1593839948.A.628.html
1F：推 AllBlack: 赞 优文 07/04 14:07
2F：推 tibo96033: 感觉很厉害 07/04 14:27
3F：推 saiulbb: 在职业运动 直接喊 1>>0 (戒指数) 07/04 18:01
4F：推 GTR12534: 数学导论真的蛮好玩的 07/04 18:29
5F：→ flypaper: 感觉比戒指 好像nba比较在意 其他像nfl mlb似乎比较少人 07/04 21:17
6F：→ flypaper: 这样讲？ 07/04 21:17
7F：推 zzzz8931: 楼下助教请给分 07/05 20:49
8F：推 AllBlack: 0 07/05 21:20
9F：推 itcz210: 推 07/06 15:40