Loading [MathJax]/extensions/tex2jax.js

0

12
2

文字

分享

0
12
2

科學寶可夢 #80 呆河馬:被大舌貝打通了任督二脈才進化?

Rock Sun
・2017/01/01 ・3134字 ・閱讀時間約 6 分鐘 ・SR值 477 ・五年級

-----廣告,請繼續往下閱讀-----

身為一名訓練師,你真的了解你的寶貝們嗎?寶可夢圖鑑讀熟了沒?

其實圖鑑告訴你的比想像中的還多喔!每個星期周末跟著 R 編一起來上一門訓練師的科學課吧!來跟大家分析這些寶可夢們是如何使用科學力來戰鬥的。

令人匪夷所思的進化過程 #80 呆河馬(或是呆殼獸)

(圖/comic vine gamespot)
圖/comic vine gamespot

大家喜歡寶可夢的原因很多,牠們可愛、是人類忠心的朋友、帶著神奇的超能力,但其中最令人著迷的一點,就是牠們不只會變強,還會進化,誰不想看到自己辛苦培養的寶可夢進化呢?

不過,總是有幾個傢伙進化的方式非常不單純,例如今天要討論的呆河馬。我不是要吐槽他沒有邏輯,這次是要靠著圖鑑敘述,拼湊出呆呆獸的合理進化過程

「呆呆獸在海邊釣食物的時候,被大舌貝咬住尾巴,就變成了呆殼獸。」(紅、綠、火紅)

這個版本的圖鑑內容只是最基本的陳述而已,不過基本上全~部的圖鑑都很明白的表示「呆呆獸+大舌貝=呆河馬」是一件無法爭論的事實。

-----廣告,請繼續往下閱讀-----
giphy-6
裁判~這樣也算?圖/Giphy

甚至還有「呆河馬悠閒地住在海邊,如果尾巴上的大舌貝脫落了就會變回呆呆獸。」(黃);「如果在激烈的對戰中,咬在尾巴上的大舌貝掉下來就會變回呆呆獸。」(金、心金)這類的敘述。等一下,這根本不是進化吧!只不過就是多帶了一個裝飾品就叫進化?

但是大舌貝不只是裝飾品而已,因為很多圖鑑都有寫到:

據說附著在尾巴上的大舌貝,是靠著呆呆獸吃剩的東西生存下去的。」(藍、葉綠)

搞了半天兩者原來是類似共生的關係。

大自然中兩個物種組合在一起生活的例子相當常見,不管是互利、片利還是寄生,例如疣面關公蟹Dorippe frascone)會把海膽背在身上,不只自己受到海膽的保護,海膽也能夠藉此擴散自己的分布(或許牠沒有選擇也說不定);鮣魚則是會附著在鯊魚的身體底下,藉著鯊魚吃剩的殘渣過活,而藤壺鯨魚也有類似的關係;要更恐怖一點我們有縮頭魚虱將魚的舌頭吃掉,自己取而代之的例子。(註1)

-----廣告,請繼續往下閱讀-----
  • 疣面關公蟹與牠的海膽(寶可夢藍星版)

博士們似乎都很清楚咬在尾巴上的就是大舌貝,所以應該是兩個不同的物種,但他們還是要將「呆呆獸 + 大舌貝」一起命名為呆河馬。這就像一隻鯊魚因為下巴黏了一隻鮣魚,就改名成「鮣鯊魚」,或是鯨魚改名叫「藤壺鯨」,如果這真的發生在現實世界,這位博士八成會被學界嘲笑吧!

會讓科學家們逼不得已做出這種抉擇,一定是因為大舌貝對呆呆獸產生了巨大的影響,巨大到呆呆獸本體已經不呆呆獸了(儘管失去了大舌貝他就會被打回原形)。

到底大舌貝對呆呆獸有什麼影響?

首次我們將不只從圖鑑敘述下手,這次連寶可夢的基本體質也要搬出來了~

neoimage_%e5%89%af%e6%9c%ac

如圖所見,呆呆獸+大舌貝=呆河馬,儘管我實在很納悶尾巴那個怎麼看都不像大舌貝。(註2)

-----廣告,請繼續往下閱讀-----

我想眼尖的人已經看出來一件很弔詭的事了,就是身為呆呆獸的進化體,但呆河馬的體質一點都不像牠的前輩,就算把大舌貝疊加上去,還是有些地方突出的很奇怪,怎麼說呢?

如果我們把呆呆獸和呆河馬的數字做一個簡單的比較我們話發現:

table3

裡面基本上算是顯著成長的數值大概就是「防禦」、「特攻」、「特防」、「速度」這四個。但我們不必把這全部拿來深究,因為其中兩個還算合理。首先是「防禦」,從大舌貝的體質我們知道他最引以為傲的就是防禦,而呆呆獸全身上下可以被稱為弱點(或是有危險?)的地方就是尾巴,現在這個地方蓋上了一層堪稱「能擋住任何攻擊」的大舌貝,我想防禦力會顯著提升相當合理吧。(註3)

另外「速度」顯著成長的原因則能從圖鑑知道:

-----廣告,請繼續往下閱讀-----

「因為大舌貝咬著尾巴,所以不能釣東西吃的呆殼獸只能不情不願的到水裡游泳捕食。」(綠紅藍寶石、始源藍寶石、終極紅寶石)

這一定就是牠速度會提升的原因,儘管是從非常悲劇的 15 變成有點悲劇的 30,但想想看,如果你跑百米的成績從 30 秒進步成 15 秒,這不是非常厲害嗎?(註4)

(圖/Pokémon Wiki - Wikia)
所以呢?圖/Pokémon Wiki – Wikia

現在我們剩下最奇特的兩個體質,就是「特攻」和「特防」。

但什麼是「特攻」和「特防」呢?根據寶可夢百科,這是「針對特殊招式的傷害及防禦高低的數值」,這類招式大概就是像超能力、龍這類虛無飄渺的東西。

我們的呆呆獸、呆河馬本身就具有超能力這個屬性,所以牠們數值應該要很高……嗎?但縱看所有旁邊有寫著「超能力系」的寶可夢,你會發現呆呆獸的「特攻」數值不只不高,還是全第一世代最低的(註5),「特防」也是一整個悲劇,但是進化過後整個就不一樣了。我們可以大膽猜測這是大舌貝從中作梗,不過牠是怎麼辦到的?

-----廣告,請繼續往下閱讀-----

圖鑑中針對這件事給的提示是「當呆呆獸被大舌貝咬到時,好像突然懂了什麼」、「被大舌貝咬到的地方會分泌麻痺毒素」,這裡我還要搬出河馬王的圖鑑敘述「被大舌貝咬在頭上的呆呆獸,智商會一下子大躍進」。首先大家要知道的是,大舌貝的圖鑑裡隻字未提到毒素,它本身的屬性也沒有「毒」,所以靠毒素讓呆呆獸變厲害的理由完全不成立,所以剩下的就是「咬到」和「開竅」之間的關聯,瞬間我好像懂了什麼……

其實我想說這句很久了~
其實我想說這句很久了~

呆呆獸進化成呆河馬是因為被大舌貝刺激到了類似任督二脈之類的東西,逼出了牠的潛能,但是一旦大舌貝掉落,牠就無法繼續了。

一定是這樣的!雖然中間有許多莫名、枝微末節的事留給下面的註解吐槽,不過這下子這毫無邏輯的呆呆獸進化史就有解了(註6),所以各位想要讓你自己的呆呆獸進化的話,不必找大舌貝,找根針刺牠的尾巴,說不定也有一樣的效果喔!

註解:

  1. 這邊無法確定到底兩者是怎樣子的共生模式,但大概不會是寄生。呆呆獸的圖鑑中說道因為他的尾巴有甜味,平時靠尾巴釣魚,但久了會吸引來大舌貝。大舌貝靠著殘渣生存,而呆呆獸似乎除了進化之外什麼都沒得到,由於進化不是生活所需,所以我猜應該算片利吧。
  2. 不只長得不像,我懷疑這跟本是不一樣的物種!從體重來看,呆呆獸 36 公斤,大舌貝 4 公斤,但是呆河馬重達 78 公斤!!!多的 38 公斤哪裡來的?某種程度上大舌貝大概也進化了,但進化之後的大舌貝有不一樣的能力、名字和體重啊!真奇怪。
  3. 不只是寶可夢,綜觀遊戲、卡通電影世界有很多這種「能XXXX世界上任何東西」的敘述,我想這正確來說應該要改成「能XXXX實驗室裡任何東西」,我想這些研究者實驗室應該沒有核彈~
  4. 提到速度,呆呆獸有一個很有趣的特性大家應該知道,就是牠「如果被攻擊要 5 秒鐘才會感覺到痛處」(紅、藍)。呆呆獸身高 120 公分,從照片判斷牠的尾巴大概有 80 公分,所以如果牠的尾巴被攻擊,要過 5 秒鐘才會傳到大腦,那就表示牠的神經傳導速度是時速 1.44 公里…..這太慢了吧!連老人家散步都可能比牠的神經傳導速度快,為什麼牠沒絕種啊?
  5. 第二低的是索利普(催眠貘),而且只比呆呆獸高 3 點而已,但是人家的特防能力還相當高,當隻呆呆獸真是辛苦……
  6. 我覺得剩下最大的疑問就是牠尾巴上的到底是什麼?怎麼看都不是大舌貝啊!不同物種理所當然有不同形狀,但是正常的大舌貝、呆河馬尾巴上的大舌貝、河馬王頭上的大舌貝根本就是不同的生物啊,甚至還有 Mega 進化把整隻呆呆獸吃掉,到底誰是主體啊?

參考資料:

-----廣告,請繼續往下閱讀-----
  1. Pokemon Database
  2. 維基百科(共生縮頭魚虱疣面關公蟹費尼斯·蓋吉
  3. 5 amazing symbiotic animal relationships you didn’t know about
-----廣告,請繼續往下閱讀-----
文章難易度
Rock Sun
64 篇文章 ・ 962 位粉絲
前泛科學的實習編輯,曾經就讀環境工程系,勉強說專長是啥大概是水汙染領域,但我現在會說沒有專長(笑)。也對太空科學和科普教育有很大的興趣,陰陽錯差下在泛科學越寫越多空想科學類的文章。多次在思考自己到底喜歡什麼,最後回到了原點:我喜歡科學,喜歡科學帶給人們的驚喜和歡樂。 "我們只想盡我們所能找出答案,勤奮、細心、且有條理,那就是科學精神。 不只有穿實驗室外袍的人能玩科學,只要是想用心了解這個世界的人,都能玩科學" - 流言終結者

0

1
0

文字

分享

0
1
0
ECU: 汽車大腦的演化與挑戰
鳥苷三磷酸 (PanSci Promo)_96
・2025/07/02 ・3793字 ・閱讀時間約 7 分鐘

-----廣告,請繼續往下閱讀-----

本文與 威力暘電子 合作,泛科學企劃執行。

想像一下,當你每天啟動汽車時,啟動的不再只是一台車,而是一百台電腦同步運作。但如果這些「電腦」突然集體當機,後果會有多嚴重?方向盤可能瞬間失靈,安全氣囊無法啟動,整台車就像失控的高科技廢鐵。這樣的「系統崩潰」風險並非誇張劇情,而是真實存在於你我日常的駕駛過程中。

今天,我們將深入探討汽車電子系統「逆天改運」的科學奧秘。究竟,汽車的「大腦」—電子控制單元(ECU),是如何從單一功能,暴增至上百個獨立系統?而全球頂尖的工程師們,又為何正傾盡全力,試圖將這些複雜的系統「砍掉重練」、整合優化?

第一顆「汽車大腦」的誕生

時間回到 1980 年代,當時的汽車工程師們面臨一項重要任務:如何把汽油引擎的每一滴燃油都壓榨出最大動力?「省油即省錢」是放諸四海皆準的道理。他們發現,關鍵其實潛藏在一個微小到幾乎難以察覺的瞬間:火星塞的點火時機,也就是「點火正時」。

如果能把點火的精準度控制在「兩毫秒」以內,這大約是你眨眼時間的百分之一到千分之一!引擎效率就能提升整整一成!這不僅意味著車子開起來更順暢,還能直接省下一成的油耗。那麼,要如何跨過這道門檻?答案就是:「電腦」的加入!

-----廣告,請繼續往下閱讀-----

工程師們引入了「微控制器」(Microcontroller),你可以把它想像成一顆專注於特定任務的迷你電腦晶片。它能即時讀取引擎轉速、進氣壓力、油門深度、甚至異常爆震等各種感測器的訊號。透過內建的演算法,在千分之一秒、甚至微秒等級的時間內,精準計算出最佳的點火角度,並立刻執行。

從此,引擎的性能表現大躍進,油耗也更漂亮。這正是汽車電子控制單元(ECU)的始祖—專門負責點火的「引擎控制單元」(Engine Control Unit)。

汽車電子控制單元的始祖—專門負責點火的「引擎控制單元」(Engine Control Unit)/ 圖片來源:shutterstock

ECU 的失控暴增與甜蜜的負荷

第一顆 ECU 的成功,在 1980 年代後期點燃了工程師們的想像:「這 ECU 這麼好用,其他地方是不是也能用?」於是,ECU 的應用範圍不再僅限於點火,燃油噴射量、怠速穩定性、變速箱換檔平順度、ABS 防鎖死煞車,甚至安全氣囊的引爆時機……各種功能都交給專屬的 ECU 負責 。

然而,問題來了:這麼多「小電腦」,它們之間該如何有效溝通?

-----廣告,請繼續往下閱讀-----

為了解決這個問題,1986 年,德國的博世(Bosch)公司推出了一項劃時代的發明:控制器區域網路(CAN Bus)。你可以將它想像成一條專為 ECU 打造的「神經網路」。各個 ECU 只需連接到這條共用的線路上,就能將訊息「廣播」給其他單元。

更重要的是,CAN Bus 還具備「優先通行」機制。例如,煞車指令或安全氣囊引爆訊號這類攸關人命的重要訊息,絕對能搶先通過,避免因資訊堵塞而延誤。儘管 CAN Bus 解決了 ECU 之間的溝通問題,但每顆 ECU 依然需要獨立的電源線、接地線,並連接各種感測器和致動器。結果就是,一輛汽車的電線總長度可能達到 2 到 4 公里,總重量更高達 50 到 60 公斤,等同於憑空多載了一位乘客的重量。

另一方面,大量的 ECU 與錯綜複雜的線路,也讓「電子故障」開始頻繁登上汽車召回原因的榜首。更別提這些密密麻麻的線束,簡直是設計師和維修技師的惡夢。要檢修這些電子故障,無疑讓人一個頭兩個大。

大量的 ECU 與錯綜複雜的線路,也讓「電子故障」開始頻繁登上汽車召回原因的榜首。/圖片來源:shutterstock

汽車電子革命:從「百腦亂舞」到集中治理

到了2010年代,汽車電子架構迎來一場大改革,「分區架構(Zonal Architecture)」搭配「中央高效能運算(HPC)」逐漸成為主流。簡單來說,這就像在車內建立「地方政府+中央政府」的管理系統。

-----廣告,請繼續往下閱讀-----

可以想像,整輛車被劃分為幾個大型區域,像是車頭、車尾、車身兩側與駕駛艙,就像數個「大都會」。每個區域控制單元(ZCU)就像「市政府」,負責收集該區所有的感測器訊號、初步處理與整合,並直接驅動該區的馬達、燈光等致動器。區域先自理,就不必大小事都等中央拍板。

而「中央政府」則由車用高效能運算平台(HPC)擔任,統籌負責更複雜的運算任務,例如先進駕駛輔助系統(ADAS)所需的環境感知、物體辨識,或是車載娛樂系統、導航功能,甚至是未來自動駕駛的決策,通通交由車輛正中央的這顆「超級大腦」執行。

乘著這波汽車電子架構的轉型浪潮中, 2008 年成立的台灣本土企業威力暘電子,便精準地切入了這個趨勢,致力於開發整合 ECU 與區域控制器(Domain Controller)功能的模組化平台。他們專精於開發電子排檔、多功能方向盤等各式汽車電子控制模組。為了確保各部件之間的溝通順暢,威力暘提供的解決方案,就像是將好幾個「分區管理員」的職責,甚至一部分「超級大腦」的功能,都整合到一個更強大的硬體平台上。

這些模組不僅擁有強大的晶片運算能力,可同時支援 ADAS 與車載娛樂,還能兼容多種通訊協定,大幅簡化車內網路架構。如此一來,車廠在追求輕量化和高效率的同時,也能顧及穩定性與安全性。

-----廣告,請繼續往下閱讀-----
2008 年威力暘電子致力於開發整合 ECU 與區域控制器(Domain Controller)功能的模組化平台 /圖片來源:shutterstock

萬無一失的「汽車大腦」:威力暘的四大策略

然而,「做出來」與「做好」之間,還是有差別。要如何確保這顆集結所有功能的「汽車大腦」不出錯?具體來說,威力暘電子憑藉以下四大策略,築起其產品的可靠性與安全性:

  1. AUTOSAR : 導入開放且標準化的汽車軟體架構 AUTOSAR。分為應用層、運行環境層(RTE)和基礎軟體層(BSW)。就像在玩「樂高積木」,ECU 開發者能靈活組合模組,專注在核心功能開發,從根本上提升軟體的穩定性和可靠性。
  2. V-Model 開發流程:這是一種強調嚴謹、能在早期發現錯誤的軟體開發流程。就像打勾 V 字形般,左側從上而下逐步執行,右側則由下而上層層檢驗,確保每個階段的安全要求都確實落實。
  3. 基於模型的設計 MBD(Model-Based Design) 威力暘的工程師們會利用 MatLab®/Simulink® 等工具,把整個 ECU 要控制的系統(如煞車),用數學模型搭建起來,然後在虛擬環境中進行大量的模擬和測試。這等於在實體 ECU 誕生前,就能在「數位雙生」世界中反覆演練、預先排除設計缺陷,,並驗證安全機制是否有效。
  4. Automotive SPICE (ASPICE) : ASPICE 是國際公認的汽車軟體「品質管理系統」,它不直接評估最終 ECU 產品本身的安全性,而是深入檢視團隊在軟體開發的「整個過程」,也就是「方法論」和「管理紀律」是否夠成熟、夠系統化,並只根據數據來評估品質。

既然 ECU 掌管了整輛車的運作,其能否正常運作,自然被視為最優先項目。為此,威力暘嚴格遵循汽車業中一本堪稱「安全聖經」的國際標準:ISO 26262。這套國際標準可視為一本針對汽車電子電氣系統(特別是 ECU)的「超嚴格品管手冊」和「開發流程指南」,從概念、設計、測試到生產和報廢,都詳細規範了每個安全要求和驗證方法,唯一目標就是把任何潛在風險降到最低

有了上述這四項策略,威力暘確保其產品從設計、生產到交付都符合嚴苛的安全標準,才能通過 ISO 26262 的嚴格檢驗。

然而,ECU 的演進並未就此停下腳步。當ECU 的數量開始精簡,「大腦」變得更集中、更強大後,汽車產業又迎來了新一波革命:「軟體定義汽車」(Software-Defined Vehicle, SDV)。

-----廣告,請繼續往下閱讀-----

軟體定義汽車 SDV:你的愛車也能「升級」!

未來的汽車,會越來越像你手中的智慧型手機。過去,車輛功能在出廠時幾乎就「定終身」,想升級?多半只能換車。但在軟體定義汽車(SDV)時代,汽車將搖身一變成為具備強大運算能力與高速網路連線的「行動伺服器」,能夠「二次覺醒」、不斷升級。透過 OTA(Over-the-Air)技術,車廠能像推送 App 更新一樣,遠端傳送新功能、性能優化或安全修補包到你的車上。

不過,這種美好願景也將帶來全新的挑戰:資安風險。當汽車連上網路,就等於向駭客敞開潛在的攻擊入口。如果車上的 ECU 或雲端伺服器被駭,輕則個資外洩,重則車輛被遠端鎖定或惡意操控。為了打造安全的 SDV,業界必須遵循像 ISO 21434 這樣的車用資安標準。

威力暘電子運用前面提到的四大核心策略,確保自家產品能符合從 ISO 26262 到 ISO 21434 的國際認證。從品質管理、軟體開發流程,到安全認證,這些努力,讓威力暘的模組擁有最高的網路與功能安全。他們的產品不僅展現「台灣智造」的彈性與創新,也擁有與國際大廠比肩的「車規級可靠度」。憑藉這些實力,威力暘已成功打進日本 YAMAHA、Toyota,以及歐美 ZF、Autoliv 等全球一線供應鏈,更成為 DENSO 在台灣少數核准的控制模組夥伴,以商用車熱系統專案成功打入日系核心供應鏈,並自 2025 年起與 DENSO 共同展開平台化量產,驗證其流程與品質。

毫無疑問,未來車輛將有更多運作交由電腦與 AI 判斷,交由電腦判斷,比交由人類駕駛還要安全的那一天,離我們不遠了。而人類的角色,將從操作者轉為監督者,負責在故障或斷網時擔任最後的保險。透過科技讓車子更聰明、更安全,人類甘願當一個「最弱兵器」,其實也不錯!

-----廣告,請繼續往下閱讀-----
-----廣告,請繼續往下閱讀-----
文章難易度

討論功能關閉中。

0

1
1

文字

分享

0
1
1
替晶片打造數學工具的喬治.布爾(George Boole)
數感實驗室_96
・2024/06/01 ・561字 ・閱讀時間約 1 分鐘

本文由 國立臺灣師範大學 委託,泛科學企劃執行。 

煮湯時看到調理包背面寫著「加水且加入鹽巴或味精,就大功告成了」。

這句話該怎麼解讀呢?邏輯思維好的人可能很快就能反應過來,意思是加水是必須的,鹽巴和味精至少要加一個。當然,兩者都加也行,但似乎不太健康。

你可能會說:「煮湯時誰會想那麼多?這太哲學了!」其實,19 世紀有位數學家將邏輯建立在數學而非哲學之上,他的貢獻深深影響了現代電腦的運算。他就是我們今天的主角——喬治.布爾(George Boole)。

-----廣告,請繼續往下閱讀-----

在工作會議中,清晰的邏輯思維能幫助我們有條理地表達觀點,並迅速理解他人的意見;程式設計中,邏輯是核心,透過布林代數和邏輯運算,電腦能根據條件執行不同的任務,在智慧家電中利用邏輯閘判斷多個輸入條件來控制輸出結果。

因此,布爾提出的這一套邏輯思維與布林代數,不僅在學術領域至關重要,更是日常生活中不可或缺的工具。

更多、更完整的內容,歡迎上數感實驗室 Numeracy Lab 的 youtube 頻道觀看完整影片,並開啟訂閱獲得更多有趣的資訊!

-----廣告,請繼續往下閱讀-----

討論功能關閉中。

數感實驗室_96
76 篇文章 ・ 50 位粉絲
數感實驗室的宗旨是讓社會大眾「看見數學」。 數感實驗室於 2016 年 4 月成立 Facebook 粉絲頁,迄今超過 44,000 位粉絲追蹤。每天發布一則數學文章,內容包括介紹數學新知、生活中的數學應用、或是數學和文學、藝術等跨領域結合的議題。 詳見網站:http://numeracy.club/ 粉絲專頁:https://www.facebook.com/pg/numeracylab/

0

1
0

文字

分享

0
1
0
跳脫古典數學邏輯!直覺主義的興起——《大話題:邏輯》
大家出版_96
・2023/04/08 ・1479字 ・閱讀時間約 3 分鐘

非古典邏輯:直覺主義

布勞威爾 (1881 – 1966)是最早脫離所謂「古典邏輯」系統的學者之一。他反對弗雷格和羅素將數學化約為邏輯的構想,認為數學根基於我們對某些基本數學物件(如數字和直線)的「直覺」,因此他的學說便稱為「直覺主義」。

直覺主義。圖/大話題:邏輯

惡魔論證

布勞威爾主要將焦點擺在無限集合和序列上,例如所有正數的集合和無理數(如 π 和)小數點後的數字形成的序列等等。他的論證大致如下:

我邏輯上能證明 666 這個序列一定會出現在任何無理數(如 π)的擴張裡。因為若主張 666 不在裡面,就代表 666 不出現在 π 的小數點後數字的任何地方,但這一點在數學上是無法證明的。就算世界上所有白紙都寫滿π的小數點後數字,還是有無限多的數字沒檢查到。

惡魔論證。圖/大話題:邏輯。

直覺邏輯的興起

雖然布勞威爾只想證明有些數學證明的方式和邏輯證明不同,但有些人發現他的論證也能用來證明某些數學領域的邏輯和其他數學領域不同,甚至有些人還據以建構出一套邏輯系統,並嘗試證明這套邏輯適用於所有數學領域。這套系統就叫「直覺邏輯」。

直覺邏輯系統。圖/大話題:邏輯。

直覺主義 v.s. 歸謬法

直覺邏輯有一個關鍵特點,就是不能用萊布尼茲的歸謬法。歸謬法是先假設某個數學陳述的否定為真,然後導出矛盾,進而證明該陳述為真。但要從「某事的否定為假」推導出「某事為真」就得仰賴排中律,因此在某些數學領域裡,歸謬法並不符合數學應該運作的方式,也就是從公理推導出數學語句。

-----廣告,請繼續往下閱讀-----
直覺邏輯與歸謬法互相對立。圖/大話題:邏輯。

直覺主義的數學熱潮

上述問題在 1930 年代引發了一波新的數學熱潮,不少學者嘗試用直覺邏輯替一些常用的基本數學陳述找到證明,也確實找到了不少。

數學系和哲學系紛紛成立,新的學術領域也隨之誕生。就連希爾伯特的方法明明是直覺邏輯的對手,也被加以改造,只使用得到認可的直覺主義程序。直到這股風潮引起了哥德爾的注意。

儘管後來學者對這場爭辯的興趣削弱了一些,但「唯有構造性證明才能確保一個陳述句為真」的基本看法至今仍然得到不少邏輯學家、數學家、科學家和哲學家支持。

許多人試著用直覺邏輯替數學陳述找證明。圖/大話題:邏輯。

處理未來陳述句的老問題

大約同一時期,波蘭數學家盧卡西維茨(1897 – 1956)1920 年提出的構想勾起了一些學者的興趣。此前十多年,這個構想從來不曾在波蘭以外的地區引起多大反應。盧卡西維茨當時想解決的,是從亞里斯多德到羅素都面對過的老問題。

-----廣告,請繼續往下閱讀-----

編按:「如何判斷大笨鐘一千年後會遇上大雪」這句話的真值?

未來陳述句是邏輯無法確認之事。圖/大話題:邏輯。

——本文摘自《大話題:邏輯》,2023 年 3 月,大家出版出版,未經同意請勿轉載。

-----廣告,請繼續往下閱讀-----
大家出版_96
14 篇文章 ・ 11 位粉絲
名為大家,在藝術人文中,指「大師」的作品;在生活旅遊中,指「眾人」的興趣。