Re: [討論] 又是雞與蛋

看板logic作者yauhh (姚呵呵)時間17年前 (2008/04/30 11:29)推噓2(2推 0噓 1→)

留言3則, 3人參與討論串3/45 (看更多)

※ 引述《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)

推

tnndedward

05/01 00:53, , 1^F

05/01 00:53, 1^F

→

yauhh

05/01 00:59, , 2^F

05/01 00:59, 2^F

推

ooJoo

05/01 18:05, , 3^F

05/01 18:05, 3^F