作者yauhh (姚呵呵)
看板logic
标题Re: [讨论] 又是鸡与蛋
时间Wed Apr 30 11:29:47 2008
※ 引述《luciferii (路西瓜)》之铭言：
...
: --
:
※ 发信站: 批踢踢实业坊(ptt.cc)
: ◆ From: 61.228.90.245
: 推 yauhh:我认同你的说法 04/30 00:51
: 推 MicroB:鸡和鸡蛋是比喻吧 从演化论来说就失去逻辑上比喻的观点了 04/30 07:40
: → MicroB:如果A存在B才能由A产生 而A又一定要由B而来 已知如今AB皆在 04/30 07:42
: → MicroB:请问先有A还是先有B呢? 04/30 07:44
你说出那个感觉了,想想看:
GAMMA |- A -> B
GAMMA |- B -> A
从以上二件,要推出
GAMMA\{A,B} |- A
先存在,或
GAMMA\{A,B} |- B
存在.
或者是说,是 A 或 B 哪个 open assumption 先存在,
该增加哪些叙述?
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 59.112.226.13
※ 编辑: yauhh 来自: 59.112.226.13 (04/30 11:31)
1F：推 tnndedward:在鸡还没出现前，就已经有恐龙蛋了... 05/01 00:53
2F：→ yauhh:所以要抽象化,不要再管甚麽蛋了,全都混在一起作亲子丼 05/01 00:59
3F：推 ooJoo:老板来一份 ~ 05/01 18:05