92 篇文章

2003/4/7 下午06:17·紅藥上左身,人人都手痕
"moral science club" HA
補漏 海澎: Πx(Ix→Mix) domain : {吳蘭露}
少年4月10月時 網編姐姐 小弟e mail是 --- 希望你美麗的眼睛,美麗的耳朵,美麗的鼻哥,美麗的嘴巴繼續美麗.
2003/4/7 下午05:29·挑戰李天命最後一次
康慈 偉大的王 康慈 由於您的偉大,盧海澎決定以您的名字為他的大作<綜合邏輯>第一及第二公理命名. 康慈第一公理: 假如康慈是有王的性質,則康慈是王! 康慈第二公理: 假如康慈有所有王的性質,則康慈有王的性質!
2003/4/7 下午05:17·挑戰李天命最後一次
康慈 偉大的王 康慈 同意!您比任何人更高深莫測!由於李天命是人,所以您比李天命更高深莫測!
2003/3/29 下午04:09·何謂"非典型"
兩例 非典型肺炎: SARS (Severe Acute Respiratory Syndrome) 非典型癈柴: SARG (Special Administrative Region Government)
2003/3/24 下午05:29·好主意
非典型 海澎去看醫生 醫生: 有一個好消息和一個壞消息 海澎: 好消息先吧 醫生: 我們決定以你的名字為你的病命名
2003/3/17 下午04:26·好主意
海澎兄 借來看看.. 果然, genius卜卜脆的法身被一群正在攔路的母獅撕破.. 慘不忍睹
2003/3/17 下午04:01·好主意
張海澎 真好..你終於買了.. 告訴我們, 你觀察到甚麼??
2003/3/17 下午03:47·好主意
Play girl 我只有一個電話,, 我不能無條件給你
2003/3/17 下午03:43·好主意
吳蘭露 因為genius 肚餓嘛...
2003/3/17 下午03:38·吳蘭露
楚鳳歌 //你焉知海澎並非女性? 再者,同性之間情投意合,在現代社會亦不足為奇。 // 相信海澎會很有同感
2003/3/17 下午03:36·好主意
play girl 要genius 電話嗎??
2003/3/12 下午05:21·南老師的Links
小花生 大家都話係好site 所以我都話係好site
2003/3/12 下午05:10·Faustus,
小花生 我都無搵佢簽名,, 雖然佢既其他作品都唔錯...但係我覺得佢最正既碟係同Ravi Shankar 既passage.
2003/3/10 下午06:31·好主意
精 由於做同一件事,女人要獲得比由男人做時一半的讚賞的話,必須要做得雙倍的好。 如果有女性要表演才智, 則必須吐出兩倍的精思精言. 吳蘭露說: 原來其實不難
2003/3/10 下午06:10·Faustus,
小花生 我都有去睇philip glass 黎香港果次
2003/3/7 下午09:28·
細細個 講開細路仔創意, 我回想起我細個的創意都是發揮在 "如何唔食亞媽煮既送而又唔被亞媽發現" 這難題上, 因為亞媽有時煮送實在係 好...難食. 方法: 1. 扮唔小心撞倒或倒瀉送 (呢招聽講我 自幼稚園己經識) 2. 靜靜雞將夾俾我既送逐少逐少夾返 轉頭或夾俾我亞妹 3. 含住一大舊送, (要盡量避免舊送與 舌頭接觸), 扮去廁所, 其實係吐左 舊送 4. 靜靜雞將d 比較乾身既送搵d紙包住 然後塞入袋入面 5. 扮肚痛或扮滯 (作辛苦狀) 6. 同亞妹夾計,一個引走亞媽,一個負責 倒送
2003/3/7 下午09:07·
學校 我細都係口多多,上堂成日嘈,雖然成日俾老師罰企罰抄, 但我唔覺俾老師針對 (可能我好彩或我感覺遲鈍). 我非常同意Rayman 同genius的話, 大部分老師都淨係想製造一d, 美其名係"模範學生", 難聽d 就係"考試機器"既學生. Rayman 同genius都可算有幸, 遇著懂得尊重和欣賞你們的老師.
2003/3/6 下午05:42·小 x 想自我膨脹
揣摩 or 生命的光 來, 不要等了, 拯救世人吧!!
2003/3/5 下午05:18·Q版修行
我又試下先 有, 三千世界 無, 阿賴耶識
2003/3/5 下午05:12·李先生思考論証的批判
光的苦心 網友們: 我們要欣賞生命之光的苦心, 他以自己的文字作思考方法的教材, 渡碌碌眾生. 用心之苦, 實在可敬.
差d 睇唔到呢個post sorry..數學狂, 睇到呢個post時己太遲 但怎麼JoeJoneS 成12點還在網上.. 唔係要去飲酒咩??
2003/3/1 下午04:15·紅藥上左身,人人都手痕
採菊 小弟依貓是 theifire@yahoo.com.hk
2003/2/27 下午04:39·紅藥上左身,人人都手痕
係唔係下星期一都有tea食架.. 如果有時間,,我都想黎喎...
2003/2/27 下午04:37·己所不欲
to: 吉爾艾菲斯 小弟未睇過羅生門,,, 羅生門真係咁正??
2003/2/26 下午08:22·我都想知!
偉良 原來如此,謝了 數學狂 你有興趣繼續討論嗎? 我決定放棄了.. 飛雪 你還沒有回答x的domain是什麼..
2003/2/26 下午06:44·我都想知!
又更正 又有筆誤..唉 //所有x, 如果x 能做所有事, 則x 是能的. 你不應一開始便把C 和D 寫進定裡. // 應為 所有x, 如果x 能做所有事, 則x 是全能的. 你不應一開始便把C 和D 寫進定義裡.
2003/2/26 下午06:42·我都想知!
數學狂 //1.請問x的domain是什麼? // 我都想知.. //2.{f1(x),f2(x),...,fn(x)}是否一個Universal Set? // 我都想知..
2003/2/26 下午06:39·我都想知!
飛雪 1. (E)x(E)y [xCy --> -(xDy)] 正統的邏輯語法應該是existential quantifier 用 and 而universal quantifier 用 imply 2. //as an element of (E)[f1(x)^...^fn(x)] // 你的意思為C = fk, D = fj?? 即C 為某個f ,D 為某個f ? 根據你f 的用法, 即f 是某個宇宙狀態.那麼C (創造) 可以說是某個宇宙狀態?或 D (毀滅) 是某個宇宙狀態? 我們可以說創造這過程是於某個宇宙狀態進行,但不是等於說創造等於某個宇宙狀態. 正如我們可以說寫作是於某個心理...閱讀更多
2003/2/26 下午05:59·我都想知!
飛雪 what is the essence of the question?
2003/2/26 下午05:35·我都想知!
奇怪..我打了書名,,但不能顯示 書名: A Concise Introduction to Logic 作者: Hurley
2003/2/26 下午05:34·我都想知!
更正2 太多筆誤,請見諒 參考書目應為hurley
2003/2/26 下午05:25·我都想知!
更正 4 i 應為: i. (A)y[xCy] ^ (A)y[xDy]因為有x 這個變數, 之前的extential quantifier 應該包括(A)y[xCy] ^ (A)y[xDy]. 即: (E)x {[f1(x)^f2(x)^…. ^fn(x)]--> (A)y[xCy] ^ (A)y[xDy]}
2003/2/26 下午05:24·我都想知!
飛雪 1. //(E)x [f(i)x] 即表示x能存在於f(i)x這狀態// 不對, 這"(E)x [f(i)x]" 意思為f(i)存在,不是x 在這狀庇態存在 2. //(E)x [f1(x)^f2(x)^…. ^fn(x)] 可以視作推論的假設// 推論甚麼? 推論全能者存在? 你定義f 為可能的宇宙狀態, 那麼(E)x [f1(x)^f2(x)^…. ^fn(x)]意思為存在著f1 至fn 的宇宙狀態. 3. //然後要探討哪些命題有資格成為{f1(x), f2(x),…. , fn(x)}這集合的elements.// 你不是己經定義了f 為宇宙狀態嗎? 4. 技術上, "(E)x ...閱讀更多
2003/2/26 下午04:24·我都想知!
禱告 石頭呀,石頭, 你可會點頭, 還是我們太強求?
2003/2/26 下午04:18·我都想知!
to 飛雪 你全能的定義不好,例如 1. existential quantifier 應用 and 不是imply 2. (E)x [f1(x)^f2(x)^…. ^fn(x)]意思為有一x 為f1 and f2 and...fn , 這不會是全能的意思吧?
2003/2/25 下午05:54·我都想知!
to 飛雪 你全能的定義不好
2003/2/25 下午05:50·我都想知!
數學肥腫與邏輯無效域 //I think you are trying to prove 邏輯無效域 does not exist// 更正確的說法是我認為”邏輯無效域”這字是沒有意義的. 我們可以理解”數學”這字的意思, 也可以理解”肥腫”的意思, 假如隨便的把這兩個字拼湊在一起成為”數學肥腫”, 便沒有意義, 這不是”數學肥腫”存不存在的問題, 是我們根本不明白這個字的意思. 同樣地, 用最籠統的說法, “邏輯”是指研究思考和推論的學問, 它沒有使我們對經驗世界的知識增加, 只是抽象的運算, 它並不指涉經驗世界的任何事物. “無效域”通常是指在某些規律沒有效力的某些時空. 例如: 中國法律...閱讀更多
2003/2/25 下午04:32·我都想知!
to those who live in 邏輯無效域 1. 我們可以想象生物學無效域, 甚至物理學無效域, 其意即在某一獨特時空裏, 那裏的生物學定律或物理學定律與我們現今世界並不相同. 這類科學無效域是邏輯上可能的. 但甚麼是邏輯無效域? 在某些多值邏輯系統裏的確出現一些違反邏輯定律的情況, 例如在Kleene 的3值邏輯系統裏, 同一律p --> p 失效, 即是在這系統裏p --> p並非必然地真或它並非重言句. 這樣的邏輯系統的出現並非表示邏輯無效域是可能的. 這只表示這類系統違反了我們的理性, 並要被修正, 直致其符合理性. 因此即使不同的邏輯系統可能出現不同的基本邏輯定律失效, 這...閱讀更多
for all x, if x is 張海澎, then x love 吳蘭露
2003/2/13 下午05:06·To 翔
阿圓 我聽過Dave Holland呢個名,但係無聽過佢既作品.我對jazz認識不多,因為jazz並非我杯茶. 如果想買ECM的出品的話,可以去HMV 或monitor,去台灣誠品,或上網訂. 小花生 獻醜了 the wild ones .. ... .... 奏完...^^
2003/2/12 下午04:42·To 翔
film music 不少歐洲文藝電影的配樂都做得非常出色.除了Preisner既<兩生花>之外.仲有其他音樂人如Eleni Karaindrou 都非常不俗. 她做了好幾套Angelopoulos電影的配樂,如 都是由ECM廠牌出品的. 喜歡這類電影配樂的網友可以去 www.ecmrecords.com 看看 香港會比較難買到這類唱片,但台灣誠品書品會有一欄專賣ECM出品的唱片. 按: ECM 是歐洲著名的jazz廠牌,除了jazz,ECM都會賣其他類型音樂如soundtrack, avant-garde
2003/2/10 下午05:20·To 翔
^^ 我識彈the wild ones
2003/2/9 下午05:49·百份百真人真名
^^ 又破殺戒!! 善哉善哉
2003/2/8 下午05:51·To 翔
The Double Life of Veronique 小花生 "The Double Life of Veronique"中文譯名好似係"兩生花"
2003/2/8 下午05:44·To 翔
我都好鍾意呢部戲.
2003/2/8 下午05:37·To 翔
我知道 吳蘭露 首歌係出自<怪誕城之夜> (the nightmare before christmas) 呢首歌係sally唱既 但係有隊band 叫london after midnight 都翻唱過呢首歌..
memory Greek philosopher "do u think memory would remain after death????" yes, if u die one day, i can still remember your post here.
可能我連名都記錯
手塚我只係睇過鐘意<怪醫>,<三眼小子>, <不死鳥>. 三本都係好野,題材特別. 最愛之漫畫 <男兒當入樽>,<烙印戰士>,<幽遊白書> 睇亦舒不如睇笑話, 睇笑話不如睇吳蘭露
香城浪子 吳蘭路 我有睇過香城浪子架,係無線在下午重播好耐之前d電視劇果陣睇架,我記得仲有湯鎮業,同梅艷芳唱主題曲架,我有睇過頭果幾集.都幾好睇..
genius i like your <圓>
2003/1/31 下午04:51·肥羊年大嘉年華
又新年 祝大家新年快樂 大家有咩新年願望? 希望世界和平
2003/1/27 下午06:20·
真善美 真 :: 理性 善 :: 良心 美 :: 感性??
2003/1/27 下午06:16·哈哈~ 抄書先
愚見 佛禪見"無",老莊也見"無".但兩者不盡相同. "從無的觀點看"的"無"字很玄,我想用"空"字可大概把握佛襌的"無"的意思,用"虛"字則可把握老莊的"無". 道家言"無為而無不為",要"無為"才可以"無不為"."無為"即心無定用.當心靜,便可把世界洞察得清清楚楚. 道家不講頓悟,講工夫. "為道日損","損之又損,以至於無為","致虛極,守靜篤"都是道家的修為工夫, "虛"和"靜"是修為的主要目標. 我猜想,襌和道家的最高境界是很類似的,都有"見山是山"的心境,萬物各在其位.心無所依附,靈運無礙.兩者都有"應無所住而生其心"的意味. (另: 謝謝S.C.對我之前的問題的簡單而有力的解答)
2003/1/25 下午07:18·Faustus,
to: 揚揚 喜歡與否是很個人的事,可能我看過原著,所以我很喜歡.不過我很同意的是,<英雄>是本年最差電影.
2003/1/25 下午06:49·扮唔知
數可悲之事 1.有人只喜歡異性,卻不被自己喜歡的異性喜歡. 2.有人只喜歡異性,卻不只被自己喜歡的異性喜歡. 3.有人喜歡所有異性,卻不被異性喜歡. 4.有人不喜歡某異性,卻被自己不喜歡的異性喜歡. 5.有人不喜歡所有異性,卻只被所有異性喜歡. 6.有人不只喜歡異性,卻不被自己喜歡的不只異性喜歡. 小結: 微塵落湖面, 沒有漣漪. 石頭掉深淵, 沒有迴響. 在世界上, 沒有霞彩, 只有一個圓點在奇想.
2003/1/25 下午06:24·扮唔知
東成西就 張國強都講過,若果不能擁有一個人,唯一可做到的就是擁抱一個人
2003/1/25 下午06:22·Faustus,
+ 1 建議在電影一欄加上: the lord of the rings: the 2 towers
2003/1/25 下午06:15·哈哈~ 抄書先
to: 海澎和JoeJoneS 問: 既然基本的數學概念可以被還原為公理集合論, 為何數學不是邏輯的一個分支?
協助同情地了解2 3. 即使某些概念如"人口最多"有一個明確並且可數量化的定義.但使用日常語言時,我們並不一定精確地使用"人口最多"的"第一"這概念. 假設以下排列顯示了人口最多的國家的排列次序: a1 > a2 > .....an-1 >an 當我們說: "a2 是人口最多的國家之一"時,因為a2 是人口第二多的國家.我們會理解為 "a2 是屬於人口很多的國家",但我們不會說: "an-1是人口最多國家之一", 因為an-1是第二人口最少的國家. 這些用法顯示了雖然日常語言精確度並不高,但卻有些模糊的界線. 4. //可能是全中國最暢銷o既樓盤」的誤導性更大,更收宣傳之效,為何不用?不是蠢是...閱讀更多
協助同情地了解 我認為同情地了解這些日常用語的意思即可,不必太認真. 1. 我不知怎樣翻譯"greatest lower bound" 2. "among the most developed countries" 從英文中可見"countries",這是眾數的. 假如我們可以給"發達"一個可以明確的量化的定義,並按這定義給世界上所有國家排名,則我們可以說: x 是世界上最發達的國家. 這時候, "最" 是指"第一" 但問題是, "發達"是模糊的,並沒有公認的可以量化的定義. 所以當我們認為某些國家符合"發達"的條件時,我們會把某幾個國家歸類,稱之為"發達",把某些國家歸類,稱之為"較落後"....閱讀更多
同情地了解 1. 起碼: greatest lower bound 2. 最發達國家之一: among the most developed countries 3. "可能是全中國最暢銷o既樓盤之一": 不是全中國第一暢銷o既樓盤
2003/1/22 下午05:45·東壁
我告訴大家: ~(我告訴大家: 論証沒問題) 張海澎傻痴痴地對吳蘭露說: 您是最好的..
2003/1/21 下午04:18·尋人-和仔
to: 木 不如你試下搵下亞雄, 佢有最多人既電話
2003/1/19 下午04:14·Why Mircrosoft has this question
美 美 向上望, 只見天地之美 向下望, 見眾生之美 左右望, 甚麼都不美, 閉上眼睛, 甚麼都是美.
: - ) 即係康慈
2003/1/13 下午04:38·法輪功
寓言 問東壁: 請問你讀到的是甚麼寓言.
驚世愚言 某日考古學家在死海旁發現一古卷, 有驚世預言: 創世之初, 因人都犯了罪, 人都必要死. 神把人靠出伊甸園前緊急賦予人理性, 好叫人不致於笨得至死. 但在2003年將一有義人出, 神必賜他大恩, 賜他超世智慧, 領導眾人魂歸天國. 神必賜他大權柄, 聖經以他的詮釋作準, 好叫他可以不理科學不理邏輯, 使世人作為他的羊. 人若不從他, 必然笑死, 或嚇死. 神愛世人, 甚至將揣摩賜給他們, 叫他們笑不死, 返得永生.
2003/1/2 下午05:30·符號邏輯書籍
: ) 謝海澎.
回應 回一句: 1."生物怎樣從無性繁殖演化到有性繁殖?" 答: 不知道, 我只知道繁殖機制在越高等的生物中越完善. 2."為什麼只是雙性而不是三性呢?" 答: 在數學計算上,n+1性繁殖會比n性繁殖產生更多組合. 為甚麼生物界只存在雙性繁殖? 我不能肯定, 但我估計可能實際上要3個個體進行交合並成功生產下一代的實際可能性較低, 並且可能雙性繁殖已產生足夠的基因組合以應付生存問題. 3. 我想你另外的問題在Benson的引文中已獲得答案. 回4:21: 4. 當然可以
論 2. 論 (a)創造論定義為: “所有生物是由神創造的” 為甚麼科學家相信進化論? 進化論是科學理論, 因為有證據支持進化論. 創造論不是科學理論, 因為沒有證據支持, (或請有心人舉出證據, 證據不等於引用聖經金句), 並且經驗上不可被否證. (b)請各位回答, 假如創造論是真的, 那麼是否等於說所以生命從古到今都是一樣的, 沒有改變? 答’是’的, 請到(i). 答’不是’, 請到(ii) (i)假如所有生命從古到今都是一樣的, 為甚麼會有新的變種生物出現? 是否這些新的變種都是被新創造的? (ii)假如不是所有生命從古到今都是一樣的, 那麼有哪些生物是被創造的而千古不變的? (c)假...閱讀更多
回應 . 回Allan 及Tony 大體上, 有性生殖能加速演化過程, 因為兩性的交合可以產生不同的基因組合.而無性生殖只可以透過基因特變而改變. 但有性生殖只出現於較高等生物中. 而除了有性生殖, 多倍體(polyploid)(即帶有兩組或以上的染色體)也使有性生殖產生更多可能性. 但實際上, 進行無性繁殖的大多是單細胞生物, 這些相等地較低等的生物, 其遺傳物質較少, 形態簡單, 生命周期較短, 繁殖能力強. 由於基因特變對這類生物影響較大(詳細原因略), 雖然不是每一個特變都會增加其生命力, 但理論上, 只要其中有新個體帶有透過突變而產生有利基因, 在某一環境壓力下, 這新個體帶有強的生...閱讀更多
進化論2 1. 回征服者: "我們早在細菌病毒上看到進化"這是對的. 因為細菌病毒較簡單(遺傳物質較少),所以突變的出現較易使其出現變種,e.g. H5N1感冒病毒.而遺傳物質突變的累積有可能會引起新物種的出現. 但要注意的是,很多時變種不等於新的物種,e.g. H5N1依然是感冒病毒. 但我不能清楚列明介定新物種的標準,但大體上可以這樣理解: "假如個體a與個體b交合並生出有繁殖能力的下一代,則a和b是屬於同一物種. 假如不能生出有繁殖力的下一代,則a和b不是同一物種" 2. 回jacky (a)病毒的起源還沒有一個被普遍接納的理論 (b)雖然沒有證據顯示地球曾經存在著無機物到有機生物的演化...閱讀更多
2002/12/29 下午06:39·紅藥上左身,人人都手痕
to: 海澎 "那就定在一月二日吧,下午六點UL門口見,好嗎?" 好..就這樣決定
進化論 1. 答tony 假說為"對某一現象的解釋" 一般科學理論始於假說,然後我們作觀察或實驗, 假如我們的觀察或實驗証據足夠使我們合理地相信假說符合事實的話, 則我們便會認為這是理論. 我們通常會以兩個準則檢驗假說是否合理: (1). 解釋力: 假說能否合理地解釋某一現象並與其他科學理論沒有不一致. (假如出現不一致, 則可能是假說有錯, 也可能是其他科學理論有錯, 但大體上, 一般被廣泛接納的科學理論錯的可能性相對於新來的假說較小) (2) 預測力: 先從假說推理出預測結果, 然後我們再觀察或實驗得出結果, 假如兩者相符合,則假說含有預測力. 一般科學理論有以上兩個特性. 但以人數十年...閱讀更多
to : 不是複製人的人 "複製人"是甚麼? "複製人"是指透過無性繁殖(cloning)而生產出來的人類. 這不是人類的自然生產過程. 但"複製人"這字帶有多少誤導成分, 因為新生的複製人並不可能與被複製的人完全相同. (完全相同指: 擁有完全同一的DNA, 性格, 記憶) x' = 複製人 x = 原來的人 (1)透過無性繁殖, 雖然x' 與x 的DNA是非常相似. 但兩者的DNA不可能完全相同, 因為DNA 的複製會出錯,產生不可預知的基因變異(mutation) (2)即使DNA原全相同, 也不會產生兩個原全一樣的人, 因為環境也是影響人的重要因素. 正如: 同卵雙胞胎的兩兄弟也會各...閱讀更多
2002/12/28 下午08:36·紅藥上左身,人人都手痕
to: 海澎 我每天都在中大, 食飯日期請擇其一 (1) 2/1 (2) 6/1 (3) 7/1 (4) 8/1 (5) 其他 時間: 由你決定 見面地點: u lib 門口
2002/12/28 下午08:35·符號邏輯書籍
to: 海澎 我每天都在中大, 食飯日期請擇其一 (1) 2/1 (2) 6/1 (3) 7/1 (4) 8/1 (5) 其他 時間: 由你決定 見面地點: u lib 門口
2002/12/28 下午08:19·符號邏輯書籍
《Introduction to Mathematical Logic》 是一本超級強力雞精書
2002/12/26 下午06:35·紅藥上左身,人人都手痕
to: 思方迷 本人也是李生'哲分'課旁聽者. 問題1. '小遊戲'旨在遊戲 試列出'追求'之岐義, 又, 試列出'追求美女'之岐義. 問題2. 例句: '如果太陽從西方升起, 則張海澎是美女' 旨在舉例說明條件句之日常用法與邏輯用法之不同.以上為counterfactual conditional 之一例. 即 ~ p╞ p --> q 可以據此再舉一例: '如果1 + 1 = 3, 則超弦理論成立' (恐怕這句不會被當真吧!) 而 q╞ p --> q 為subjunctive conditional. e.g. '如果超弦理論成立, 則1 + 1 =2' 我舉例旨在請教張海澎將會如何處理...閱讀更多
2002/12/25 下午02:21·紅藥上左身,人人都手痕
to: 分析邏輯 1. 據知海澎將要出邏輯書,有問題想請教. 想請教海澎會怎樣處理條件句的問題. 因為根據條件句的日常用法並不完全相同於條件句的邏輯用法. e.g. q╞ p --> q (1) ~ p╞ p --> q (2) 以上兩式皆附合條件句的邏輯用法, 即(~p or q). 根據日常使用條件句的用法. 例如從(2), ''如果太陽昨天從西邊升起, 則張海澎是美女'' 我們通常不會把這條件句當作是真的,但這卻符合邏輯用法. 請問海澎會怎樣處理'條件句的邏輯用法與日常用法'這問題. 又, 會否在書中使用某些模態邏輯或非經典邏輯以處理關於條件句問題. 2. 小遊戲 這是從我朋友說笑來...閱讀更多
2002/12/5 下午09:43·紅藥上左身,人人都手痕
關於~Ψ的証明 呢個topic真係好hot.. 最衰我唔係經常上網..呢度既討論我成日都miss幾日先可以睇得返 我稔我係度打中文會好d..(雖然我打得比好慢) 1. '先給翔﹕ 9不是來自8的﹐是來自前提2的' 我當然知道9. E(c,a) 並非來自8. ◇A(c,b) 係來自2.Oc&E(c,a) 現在我希望用中文可以較清楚地講一次 我之前想講的是: (i)對於張海澎對Ψ 和 E(z,x)的定義,我們先暫且假定其無問題,然係我們作出推論. a. 假定Ψ,我們由之可以得出◇A(c,b) b. 假定E(z,x),我們可以得出~◇A(c,b) 因此,Ψ 和 E(z,x)有矛盾, 現在重新檢視Ψ ...閱讀更多
2002/12/1 下午07:52·紅藥上左身,人人都手痕
re: 時間旅行不可能之證明 1. I am very glad to see the formal proof of 'time travel is not possible', but i want to point out that this proof is not a valid one. This proof can be divided into 2 parts actually. The first is from Ψ to ◇A(c,b) 3.Ψ 假設 * 4.ΛxΛy(Tx&Ty&∼(x=y)→ Λz(Oz&E(z,x)→◇A(z,y))) * 5.Ta&Tb&∼(a=b)...閱讀更多
2002/11/24 下午03:20·紅藥上左身,人人都手痕
Suggestion of Definition I don't check this newsgroup very often, but i am really surprised by so many reply in discussion. 1. As i have mentioned in my previous post, the common usuage of the term '旅行' is non-sensical in '時間旅行'. What i did perviously is to disprove the proof of logical impossiblili...閱讀更多
2002/11/20 下午09:34·紅藥上左身,人人都手痕
to 張海澎 1. i admit that some term like 全能 are logically impossible, as Dr. Li presented, but this is not the case of 'time travel' quoted '假如你的父親在生你之前到現在來旅行,你將他殺掉,那麼就不會有你。但事實上有你存在。這就產生矛盾。' If i utter a statement 'if your parents did not meet, then u would not exist' but the fact is u exist. so u exis...閱讀更多
2002/11/19 下午08:45·紅藥上左身,人人都手痕
Some notes 1. To reply to the original post, '到過去或未來旅行是邏輯上不可能', but the meaning of logically impossible is misunderstood in the discussion here. lets' give a few examples first, which of the following terms are logically impossible? "time travel"? "travel through wormhole"? "moon travel"? "shenzhen ...閱讀更多
2002/11/18 下午02:57·紅藥上左身,人人都手痕
plz prove the term '時光旅行' (時間旅行?) logically impossible.
2002/11/10 下午06:15·語言有bug?
some complements i)To discuss '語言有bug'..let's take a look into the usuage of common language first. Common languages a not formalized language like logic and maths. And there a many usuage of common languages. (e.g. reportive, imperative. question...)The hope of improving the common language to an i...閱讀更多
2002/10/17 下午06:31·A question on logic.
some comments on Faustus 1)和仔did not say that '1+1=2' cannot be proved. The proof of such proposition may not be done by u or me. But the study of mathematical logic is to provide a precise and adequate understanding of the notion of mathematical proof. Different mathematicians present different axi...閱讀更多