║誰是對手 誰在交手
圖文/台灣星火
距明年的總統、副總統、立法委員選舉只剩最後三十餘天。許多原表面看不出來的佈局,隨著時間的逼進一一開始浮出水面。有的事情直接明朗化,如「阿扁就是挺英」。有的事情雖然脈絡已逐漸清晰,但可能直到投票前都難以蓋棺論定。在這種前提下,沒有被政黨綁架的自由人,投票行為最後可能是取決於無數事件的心證累積。
然而在現今的台灣,要形成清晰的心證是非常不容易的事。2020台灣選舉這一局原本就詭譎紛亂。國民黨在不分區大喇喇的排出促統陣容。新黨則毫不避諱的甘為中共代言人。民進黨則轉為舊時期的國民黨,把神主牌換成了「中華民國」。一干台派小黨不論新舊都被英陣營收編。用封建的具體作為力圖鞏固中央,卻繼續拿台灣意識當口號催眠選民。真正還在強調台灣、及台灣人主體性的政黨,似乎只剩下至今仍然被打得鼻青臉腫的喜樂島聯盟。
除此之外。境外勢力的干預和角力似乎也逐漸浮上枱面。在共諜王強(護照名)向澳洲媒體揭露中國滲透台灣社會,並影響民主選舉的事件才方興未艾之際。被王強揭露的共諜組織首腦向心夫婦居然就剛好在台灣。在出境前遭到留滯。從王強此人被高調(照片、影片都經過專業包裝)曝光的方式、供詞空泛引起真假論證、到向心夫婦如此巧合的被拘留。綜合判斷上不能排除一個假設:這有可能是一次希望引起台灣境內國安動作的佈局。而微妙處就在於,是誰在主導?
追究論文門至深的童文薰律師、和挺英不遺餘力的范世平教授,二個立場不同的人都把此事帶向五眼聯盟。《童溫層》節目甚至曾經直言,美國將自台北法案後開啟直接治理台灣的時代。如果認同《五眼聯盟》這個說法的脈落,美國的介入就成為可能。那接下來的發展就更耐人尋味了。
就在這個敏感的時間點。北檢「毋枉毋縱」的從蔡明福收線,起訴楊蕙如。在澳洲王強引發的「中共網軍」風波中,掀起一股「本土網軍」的討論聲量。國民黨如獲強援,聲討四起。這時機就和「王強一講,向心夫婦就剛好在台灣」一樣巧合。並證實了民進黨長期利用網軍操作輿論風向。這讓原本在澳洲共諜案又撿到槍的蔡英文陣營,頓時慌了手腳。從總統以降一律切割與楊蕙如的淵源。卻又不斷地被找出反證。現在又是在網路上試圖滅火、轉移焦點。形成「用網軍澄清沒有網軍」的荒謬現象。在我個人看來,這種應對方式是「關西機場事件」的再一次重演。
先說明前題。我無意指控北檢養案。對於承辦此案件的范孟珊檢察官勇於追究真相的作為我個人非常肯定。我也認同北檢聲稱證據周全就起訴的秉公處理原則。我想強調的是,如果把「中共已滲透台灣」設為前提。那就必需有基本心防:『真正成功的滲透,就是讓知情者以外的對象,在不疑有它的前題下,直覺式做出符合戰略目標的行為』。其主要執行的方式,就是順勢利用台灣發生的各種社會、政治事件。破壞倫理、引發衝突、製造對立,最後從中得利。而蔡英文政府一直都呈現被操弄的狀態。
回顧關西機場事件始末:
➤9月5日
當天下午四點左右,中國《觀察者網》報導表示,「中方和日方協調後,日方同意用專車把人送到機場外圍,再由中方派出的15輛巴士把這些中國遊客載走送到市區。」
—————————————
幾乎同時,中國微博上的討論卻變成「中國駐大阪領事館派15輛大巴進入關西機場,把受困的中國遊客載走」。
—————————————
➤9月6日
錯誤的微博討論被刻意渲染為「中國駐大阪領事館派15輛巴士到關西機場,且中國人可先上車。」、「台灣人若自稱中國人,才可以上車」的報導。此報導被轉入PTT旅日版,台灣人被「點火」。
—————————————
同日晚間。PTT帳號GuRuGuRu發表親身經歷。「指責駐日辦事處對他尋求協助的要求冷言以對。又眼看著中國旅客排成人龍陸續被載離,心灰意冷」。但PTT眾多郷民陸續質疑其內容真實度,隨後遭到刪文。
—————————————
➤台灣媒體名嘴、國民黨公職大肆撻伐駐日辦室處。
➤9月7日,idcc發文幫謝長廷申冤。解釋了部份真相。但直指駐大阪辦事處為黨國餘孽,用詞強烈。
➤idcc發文後數小時。謝長廷首次針對關西機場事件在臉書發文。除表達與idcc雷同的實際真相外。責備駐大阪辦室處的處理不當,外交部要查處。
➤駐日代表處和駐大阪辦室處的究責爭議延燒。台灣人在網軍風向下殺紅了眼。14日,駐大阪辦事處處長蘇啟誠自縊輕生。
從現在已知的具體事實來看。蔡英文政府當時的應對落入邪道。被誤導後的洶湧民意、和國民黨及統派名嘴的凌厲攻勢,嚇得只想趕快滅火或轉移焦點。楊蕙如轄下的網軍雖然澄清了部份謠言。但是卻刻意挑起駐大阪辦事處成為另一個「輿論集火區」。最後導致無辜的外交官自責輕生。
中共點火,台灣人上當,朝野衝突,無視真相,最後引火焚身。台灣蔡英文政府對超限戰術的蹣頇無知,對真相原則的輕視怠慢,其責任絕不是「有沒有養網軍」這麼簡單。而台灣人也不要忘了,很多人都在此一事件中或多或少的被煽動,成了被操弄的對象,成了戕害自己國家官員的幫兇。在楊蕙如被起訴後。蔡英文政府又是用同樣的手法在試圖滅火。執行的還是網軍。台灣人還看不出來嗎?台灣人還要跟風嗎?
誰是對手?誰在交手?這個案例我個人總結三個要點:
1.真相才是絕對客觀的存在,心證要在真相的基礎上。
➤台灣人要有正被超限戰操弄的「戰識感」。
➤民進黨、國民黨都不是對抗中共的那塊料。
https://www.facebook.com/756033754574779/posts/1352421151602700?d=n&sfns=mo
「反證法ptt」的推薦目錄:
- 關於反證法ptt 在 吳祥輝 Brian Wu Facebook 的最讚貼文
- 關於反證法ptt 在 吳祥輝 Brian Wu Facebook 的最佳解答
- 關於反證法ptt 在 特急件小周的人渣文本 Facebook 的最佳貼文
- 關於反證法ptt 在 Re: [請益] 反證法- 看板logic - 批踢踢實業坊 的評價
- 關於反證法ptt 在 [其他] 一個邏輯問題 - PTT 熱門文章Hito 的評價
- 關於反證法ptt 在 Re: [請益] 反證法- logic | PTT職涯區 的評價
- 關於反證法ptt 在 Re: [請益] 反證法- logic | PTT Web 的評價
- 關於反證法ptt 在 Re: [請益] 反證法- PTT看板logic - 乾飯人 的評價
- 關於反證法ptt 在 薛丁格的貓ptt 的評價
- 關於反證法ptt 在 幾何原本ptt 的評價
- 關於反證法ptt 在 數獨技巧ptt 的評價
- 關於反證法ptt 在 Re: [解題] 用反證法證明- 看板tutor | PTT職涯區 的評價
- 關於反證法ptt 在 Re: [問卦] 小三數學 - PTT推薦 的評價
- 關於反證法ptt 在 [其他] 邏輯跟證明- math | PTT學習區 的評價
- 關於反證法ptt 在 [漫畫] 理科生墜入情網故嘗試證明- 番外10 SuperSg PTT批踢踢 ... 的評價
- 關於反證法ptt 在 最大質數證明在PTT/Dcard完整相關資訊 - 萌寵公園 的評價
- 關於反證法ptt 在 最大質數證明在PTT/Dcard完整相關資訊 - 萌寵公園 的評價
- 關於反證法ptt 在 歸謬樹枝法在PTT/Dcard完整相關資訊| 星星公主-2022年6月 的評價
- 關於反證法ptt 在 歸謬樹枝法在PTT/Dcard完整相關資訊| 星星公主-2022年6月 的評價
- 關於反證法ptt 在 Re: [閒聊] 所以實務上如果抓到奇樂真的可以定罪嗎? - c_chat 的評價
- 關於反證法ptt 在 Re: [轉錄][討論] 十萬月薪的口試題目- 看板Inference | PTT遊戲區 的評價
- 關於反證法ptt 在 證明題寫法在PTT/Dcard完整相關資訊 - 媽媽最愛你 的評價
- 關於反證法ptt 在 證明題寫法在PTT/Dcard完整相關資訊 - 媽媽最愛你 的評價
- 關於反證法ptt 在 [閒聊] 科幻小說其實非常難寫| C_Chat 看板 - My PTT 的評價
- 關於反證法ptt 在 [問題] 數獨求解- 益智遊戲 的評價
- 關於反證法ptt 在 [問卦] 有繁星制度失敗的證明? - PTT八卦政治 的評價
- 關於反證法ptt 在 Re: [閒聊] 所以實務上如果抓到奇樂真的可以定罪嗎? - PTT評價 的評價
- 關於反證法ptt 在 i88娛樂城ptt-陳學冬 - 大樂透539-台灣彩券 的評價
- 關於反證法ptt 在 [閒聊] 所以實務上如果抓到奇樂真的可以定罪嗎?- 看板C_Chat 的評價
- 關於反證法ptt 在 【微積】大一基礎極限證明- Math板 的評價
- 關於反證法ptt 在 正反論證題目在PTT/Dcard完整相關資訊 - 你不知道的歷史故事 的評價
- 關於反證法ptt 在 正反論證題目在PTT/Dcard完整相關資訊 - 你不知道的歷史故事 的評價
- 關於反證法ptt 在 英國著名數學家邁克爾·阿蒂亞去世一文回顧他的貢獻成就 的評價
- 關於反證法ptt 在 [閒聊] 所以實務上如果抓到奇樂真的可以定罪嗎? - 看板C_Chat 的評價
- 關於反證法ptt 在 Re: [問題]電+熱吳銘士中題目- TransPhys - BFPTT 的評價
- 關於反證法ptt 在 [錄取] Purdue 2017 FALL 統計Statistics Ph.D. - PTT生活政治八卦 的評價
- 關於反證法ptt 在 CH7. 數學與邏輯推理(3)反證法Part3 / 徐惠莉 - YouTube 的評價
- 關於反證法ptt 在 人工智能基础教程 - 第 182 頁 - Google 圖書結果 的評價
- 關於反證法ptt 在 基礎數論: - 第 513 頁 - Google 圖書結果 的評價
- 關於反證法ptt 在 離散數學: - 第 291 頁 - Google 圖書結果 的評價
反證法ptt 在 吳祥輝 Brian Wu Facebook 的最佳解答
║誰是對手 誰在交手
圖文/台灣星火
距明年的總統、副總統、立法委員選舉只剩最後三十餘天。許多原表面看不出來的佈局,隨著時間的逼進一一開始浮出水面。有的事情直接明朗化,如「阿扁就是挺英」。有的事情雖然脈絡已逐漸清晰,但可能直到投票前都難以蓋棺論定。在這種前提下,沒有被政黨綁架的自由人,投票行為最後可能是取決於無數事件的心證累積。
然而在現今的台灣,要形成清晰的心證是非常不容易的事。2020台灣選舉這一局原本就詭譎紛亂。國民黨在不分區大喇喇的排出促統陣容。新黨則毫不避諱的甘為中共代言人。民進黨則轉為舊時期的國民黨,把神主牌換成了「中華民國」。一干台派小黨不論新舊都被英陣營收編。用封建的具體作為力圖鞏固中央,卻繼續拿台灣意識當口號催眠選民。真正還在強調台灣、及台灣人主體性的政黨,似乎只剩下至今仍然被打得鼻青臉腫的喜樂島聯盟。
除此之外。境外勢力的干預和角力似乎也逐漸浮上枱面。在共諜王強(護照名)向澳洲媒體揭露中國滲透台灣社會,並影響民主選舉的事件才方興未艾之際。被王強揭露的共諜組織首腦向心夫婦居然就剛好在台灣。在出境前遭到留滯。從王強此人被高調(照片、影片都經過專業包裝)曝光的方式、供詞空泛引起真假論證、到向心夫婦如此巧合的被拘留。綜合判斷上不能排除一個假設:這有可能是一次希望引起台灣境內國安動作的佈局。而微妙處就在於,是誰在主導?
追究論文門至深的童文薰律師、和挺英不遺餘力的范世平教授,二個立場不同的人都把此事帶向五眼聯盟。《童溫層》節目甚至曾經直言,美國將自台北法案後開啟直接治理台灣的時代。如果認同《五眼聯盟》這個說法的脈落,美國的介入就成為可能。那接下來的發展就更耐人尋味了。
就在這個敏感的時間點。北檢「毋枉毋縱」的從蔡明福收線,起訴楊蕙如。在澳洲王強引發的「中共網軍」風波中,掀起一股「本土網軍」的討論聲量。國民黨如獲強援,聲討四起。這時機就和「王強一講,向心夫婦就剛好在台灣」一樣巧合。並證實了民進黨長期利用網軍操作輿論風向。這讓原本在澳洲共諜案又撿到槍的蔡英文陣營,頓時慌了手腳。從總統以降一律切割與楊蕙如的淵源。卻又不斷地被找出反證。現在又是在網路上試圖滅火、轉移焦點。形成「用網軍澄清沒有網軍」的荒謬現象。在我個人看來,這種應對方式是「關西機場事件」的再一次重演。
先說明前題。我無意指控北檢養案。對於承辦此案件的范孟珊檢察官勇於追究真相的作為我個人非常肯定。我也認同北檢聲稱證據周全就起訴的秉公處理原則。我想強調的是,如果把「中共已滲透台灣」設為前提。那就必需有基本心防:『真正成功的滲透,就是讓知情者以外的對象,在不疑有它的前題下,直覺式做出符合戰略目標的行為』。其主要執行的方式,就是順勢利用台灣發生的各種社會、政治事件。破壞倫理、引發衝突、製造對立,最後從中得利。而蔡英文政府一直都呈現被操弄的狀態。
回顧關西機場事件始末:
➤9月5日
當天下午四點左右,中國《觀察者網》報導表示,「中方和日方協調後,日方同意用專車把人送到機場外圍,再由中方派出的15輛巴士把這些中國遊客載走送到市區。」
—————————————
幾乎同時,中國微博上的討論卻變成「中國駐大阪領事館派15輛大巴進入關西機場,把受困的中國遊客載走」。
—————————————
➤9月6日
錯誤的微博討論被刻意渲染為「中國駐大阪領事館派15輛巴士到關西機場,且中國人可先上車。」、「台灣人若自稱中國人,才可以上車」的報導。此報導被轉入PTT旅日版,台灣人被「點火」。
—————————————
同日晚間。PTT帳號GuRuGuRu發表親身經歷。「指責駐日辦事處對他尋求協助的要求冷言以對。又眼看著中國旅客排成人龍陸續被載離,心灰意冷」。但PTT眾多郷民陸續質疑其內容真實度,隨後遭到刪文。
—————————————
➤台灣媒體名嘴、國民黨公職大肆撻伐駐日辦室處。
➤9月7日,idcc發文幫謝長廷申冤。解釋了部份真相。但直指駐大阪辦事處為黨國餘孽,用詞強烈。
➤idcc發文後數小時。謝長廷首次針對關西機場事件在臉書發文。除表達與idcc雷同的實際真相外。責備駐大阪辦室處的處理不當,外交部要查處。
➤駐日代表處和駐大阪辦室處的究責爭議延燒。台灣人在網軍風向下殺紅了眼。14日,駐大阪辦事處處長蘇啟誠自縊輕生。
從現在已知的具體事實來看。蔡英文政府當時的應對落入邪道。被誤導後的洶湧民意、和國民黨及統派名嘴的凌厲攻勢,嚇得只想趕快滅火或轉移焦點。楊蕙如轄下的網軍雖然澄清了部份謠言。但是卻刻意挑起駐大阪辦事處成為另一個「輿論集火區」。最後導致無辜的外交官自責輕生。
中共點火,台灣人上當,朝野衝突,無視真相,最後引火焚身。台灣蔡英文政府對超限戰術的蹣頇無知,對真相原則的輕視怠慢,其責任絕不是「有沒有養網軍」這麼簡單。而台灣人也不要忘了,很多人都在此一事件中或多或少的被煽動,成了被操弄的對象,成了戕害自己國家官員的幫兇。在楊蕙如被起訴後。蔡英文政府又是用同樣的手法在試圖滅火。執行的還是網軍。台灣人還看不出來嗎?台灣人還要跟風嗎?
誰是對手?誰在交手?這個案例我個人總結三個要點:
1.真相才是絕對客觀的存在,心證要在真相的基礎上。
➤台灣人要有正被超限戰操弄的「戰識感」。
➤民進黨、國民黨都不是對抗中共的那塊料。
https://www.facebook.com/756033754574779/posts/1352421151602700?d=n&sfns=mo
反證法ptt 在 特急件小周的人渣文本 Facebook 的最佳貼文
我看了一堆鄉民留言,無限跳針,我再推一篇Q&A好了,阿你看不懂,我就不會鳥你。
Q1:你就被噓到爆阿,你這些反應都是被噓到爆啊!
噓到爆?爆你老木啦!
數據我講幾次了?
我這邊隨便一篇就一千多讚,你PTT一篇是有多少個id噓?算給我看啊!
我渣誌那篇淨讚應該六千,你PTT的那篇轉文是有多少個id噓?
300?400?500?600?
今年不是五倍年,我也算你五倍啦!五倍是3000,剛好是我算你們的總數,去給我弄一篇3000個噓來呀!
就算3000也比6000小啦! 這叫噓到爆?
難道3000比6000大?小學沒畢業是不是?畢業證書要不要剪掉,全部重讀?不是理組?幼稚園有理組喔?
「不公平,你要來PTT!」
靠夭PTT大還是臉書大?你們這麼行,應該江山萬里情,臉書你也行呀!臉書一樣可以噓爆啊,之前夏林清的怒不是比讚多,那就是噓爆啊!來啊,你就來我邊篇篇怒啊!大怒神怒到爆嘛!
怕被釣魚?你不是說釣魚是假的,是輸了就騙說釣魚,那怕個刁?
Q2:你不是說要打爆蘇美?文章咧?
打你老林啦!
我那篇渣誌的就是什麼都有的戰文呀!那篇就把你列組列宗全家都打爆了啦!
「你那篇比阿苗弱!」
你叫阿苗來評論一下我那篇呀!你們不是很會叫阿苗來這裡來那裡?叫阿苗評論一下啊!不是很會叫阿苗?
「蘇美有回……」
回你個頭啦!問他A,他講B,一秒變美食部落客,隔天會不會變美妝試用客,下週變摩鐵滑入師?話都他在講,你還真以為他回的算贏哦?
戰文輸贏看專業啦!比什麼讚和噓,哪裡是真贏?讚和噓就是球迷數而已,就和在那邊一萬人喊「扁咚扁咚,揮棒落空!」結果打者下一球全壘打,還不是全場惦惦。
要戰我那篇,理組的看不懂,就找文組朋友來幫忙戰,讓看得出對手可怕程度的人告訴你狀況。沒朋友?
去找夏林清呀!去找夏教的嘛,那全都文組,又很痛恨我,叫他們來幫忙戰呀!
不然找國民黨,還有黃士修啊,他不也戰神?一神還有一神神。
三千個人擠不出一篇像樣的,好一堆八卦院大學士。
Q3. 你輸了就說是實驗,那論文呢?
實你老森啦!
大學讀太久是不是?實驗做太爽不想畢業是不是?我哪裡說在做實驗?
我是說我在釣魚啦!抓數據啦!外面也有業界叫社群分析,但我不用這個詞,釣魚聽起來比較溫馨。
有數據就要寫論文?你是論文寫不夠是不是?
我們數據撈出來,要嘛,就交給上面或別人參考,看他怎麼用。要嘛,就?
就自己出手殺掉呀!
怎樣?魚都撈了不殺來吃喔?放生喔?當我海濤喔?
過去國民黨都是撈出來就宰了,大家笑呵呵,現在撈到你,就不要不要,有道德爭議?
對啊,有道德爭議啊,但不用這招,哪能糾出你們這些歧視女人的傢伙?不用賤招,哪抓得到賤人?
言論自由?對啊,你有言論自由,我也有幹你的自由。
不爽去告我呀,違反哪條法?個資法?媽的全都公開資訊,還是自己丟到我這邊的。
或是違反「證明被釣的人是白痴」法?天主,這我有罪。
我這招不會隨便對人用,像我就不會對同性戀用,因為他們是受迫的群體。你們咧?我還撈到有月薪十幾萬等級的,弱勢咧,受迫咧。
除此之外還有很多小問題,都從這些延伸,不回了。我看最屌的一個問題是「你講的故事太複雜,我不信。」
阿里個巴巴咧,就你的世界最簡單,「女人有錢就可以幹啦!」是不是,你的世界是不是這麼簡單?
大人的世界就是這麼複雜!雞歪的複雜!自己本來不想玩,卻被自己人凹出來玩,結果還被自己人捅。老咖噌卡好,這就是大人的世界!大人都懂,就你小人不懂!
講到這我又火了,這次我最幹的不是猴子智商的鄉民,而是所謂進步力量那些捅我刀的。你們的智力最好看不出來我在做什麼事,還和鄉民一起玩,在背後打我槍嘛。捅我很好玩是不是?躺著捅,趴著捅,還是小渣好捅!
這麼好玩,接下來我就把鄉民隨便清一清,專心來關切你們這些進步中青年。
反證法ptt 在 [其他] 一個邏輯問題 - PTT 熱門文章Hito 的推薦與評價
然後再進一步來說以往我們常用的反證法是不是就用的太魯莽了呢? 試證P=>Q為真然後我們毫不猶豫的就從P'=>Q'為假這個角度去證那如果事實上P<=>Q呢? ... <看更多>
反證法ptt 在 Re: [請益] 反證法- logic | PTT職涯區 的推薦與評價
Re: [請益] 反證法. 看板 Logic. 作者 Favonia. 時間 04-03 ... 反證法: ~~A -> A 6. ... 發信站: 批踢踢實業坊(ptt.cc) ◇ From: 140.112.30.39. ‣ 返回logic 看板 ... ... <看更多>
反證法ptt 在 Re: [請益] 反證法- 看板logic - 批踢踢實業坊 的推薦與評價
最近在找一些資料,意外發現這篇幾年前的文章,覺得很有趣
就回了一下。
※ 引述《yauhh (喲)》之銘言:
: ※ 引述《sarsenwen (畢業就好)》之銘言:
: : 證明質數有無限多個
: : 就是先假設質數有有限個
: : 然後進行推理 推到矛盾的結論
: : 但為什麼"得到矛盾"可以推到"質數有無限多個"
: : 中間似乎有過程跳躍
: : 我想知道怎麼跳躍的?
: : 也就是怎麼證明"反証法"可行?
: 以普通的想法,反證法是定義一個前提 P, 然後推導過程中搞出個矛盾,
: 最簡單的是搞出 ~P, 因為 P 跟 ~P 都存在所以不成立. 於是 P 不可為前提.
: *反過來說*, ~P 是前提. 這「反過來說」的跳躍應該不大.
這個「反過來說」之所以成立,我覺得跟排中原理比較有關。
(邏輯系統牽一髮而動全身,感覺很難定義什麼叫做跟某某原理有
關... orz)正如 intontu 所說,古典邏輯如果用一般的自然演繹
系統寫出來,反証法的基礎之一是排中原理。爆炸原理不一定每個
邏輯系統都成立一樣,同樣的,排中原理也不是每個系統都成立。
事實上 Hilbert 和 Brouwer 在很久以前就為了相關哲學問題
吵過架。如果硬要用邏輯系統寫下他們想法的差異,Hilbert 的系
統有排中原理,而 Brouwer 沒有;反證法在 Brouwer 所提倡的思
考方法中是不成立的。現在數學是 Hilbert 的想法得勢,也因此
我們能用簡單的真值等等來理解邏輯。
對了,就我所知 Brouwer 派的邏輯系統大都還是有爆炸原理
的。爆炸原理和排中原理是不同的事情。
由於這個版的文章大都是古典零階和一階邏輯加上等號,所以
我猜大家對於 Hilbert 提倡的想法相當熟悉。Brouwer 派發展去
向可以參考構造邏輯。這兩人在哲學上的爭論我不知道要怎麼簡短
地講清楚 lol
補兩個八卦:
(1) 據說 Bishop(應該算 Brouwer 派)為「根號二是無理數」
提供了完全沒用反證法的證明。
(2) 對版上常用的古典零階或一階邏輯,Goedel 有完備定理,
而 Goedel 的不完備定理無法發動。這篇討論舉的例子通常
需要先定義整數;如果真的這樣,Goedel 的不完備定理才
有登場的空間 xD
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.30.39
※ 編輯: Favonia 來自: 140.112.30.39 (12/25 23:33)
https://en.wikipedia.org/wiki/%C3%96
※ 編輯: Favonia 來自: 140.112.30.39 (12/25 23:53)
... <看更多>
相關內容