推 tnndedward:在雞還沒出現前，就已經有恐龍蛋了... 05/01 00:53
→ yauhh:所以要抽象化,不要再管甚麼蛋了,全都混在一起作親子丼 05/01 00:59
推 ooJoo:老闆來一份 ~ 05/01 18:05
※ 引述《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)