數學是一種「發明」還是「發現」?

數學是一種「發明」還是「發現」?
圖靈當年為破解納粹德軍密碼而建造的機器(重建版本)。Photo Credit: Alessia Pierdomenico / REUTERS / 達志影像

我們想讓你知道的是

在各領域都如此有用的數學,是人類發明的工具?還是人類發現的寶藏?

撰文:利維歐(Mario Livio)
翻譯:翁秉仁

重點提要

  • 最深刻的謎團往往存在於我們最習以為常的事物。大多數人從不曾細思科學家為何用數學來描述並解釋世界,但究竟為何如此?
  • 數學概念的發展雖然純粹是基於抽象的理由,卻能解釋真實現象。正如物理學家魏格納所言,如此好用的數學「是我們既不能理解也不配擁有的美好禮物。」
  • 謎團之一是:數學是發明(人類心智的創造)還是發現(獨立於我們的存在物)?作者認為兩者皆是。

大多數人認為數學有用是理所當然,像是科學家以數學公式來描述次原子事件、工程師用數學計算太空船的路徑。我們接受最先由伽利略倡議的觀點:數學是科學的語言,其文法可以解釋實驗結果,甚至預測奇特的現象。

數學驚人的威力處處可見,譬如蘇格蘭物理學家馬克士威(James Clark Maxwell)的著名方程組,他的四個算式不只總結了1860年代所有已知的電磁現象,並且預示了無線電波的存在,比德國物理學家赫茲(Heinrich Hertz)偵測到它還早了20年。

極少語言這麼有效率,能將具有價值的眾多材料,如此簡潔、精確又清楚地表達出來。愛因斯坦曾反思說:「數學做為人類思想的產物,獨立於經驗之外,怎麼可能和現實世界配合得如此天衣無縫?」

身為一位理論天文物理學家,我在每一個工作環節都會遇到「數學不合理的有效性」(unreasonable effectiveness of mathematics),這是1960年諾貝爾物理獎得主魏格納(Eugene Wigner)的用語。不論我是在研究哪些前身恆星系統會爆炸成Ia型超新星,或者計算太陽最終變成紅巨星時地球的命運,我所使用的工具或發展的模型都是數學。數學掌握自然世界的不可思議特質,讓我始終著迷。在10年前,我對這個課題有了更深刻的想法。

數學家、物理學家、哲學家、認知科學家,早已為這個謎團的核心議題,爭論了數百年。數學到底是如愛因斯坦所相信的,是一組發明出來的工具?還是數學確實存在於某個抽象的場域,而我們只是發現其中的真理?許多著名數學家,包括希爾伯特(David Hilbert)、康托(Georg Cantor),還有暱稱為布爾巴基(Bourbaki)的一群數學家,他們相信愛因斯坦的看法,相關的思想學派稱為形式主義(Formalism)。但是另一群傑出的思想家,包括哈地(Godfrey Harold Hardy)、彭羅斯(Roger Penrose)、哥德爾(Kurt Godel)則持對立的看法,這個思想學派稱為柏拉圖主義(Platonism)

這項數學本質的爭論延續至今,似乎仍然很難解答。不過我相信,這是因為我們過度簡單的二分法提問「數學是發現還是發明?」,反而忽略了比較複雜的可能性:發明和發現都扮演了重要的角色。我認為兩者合起來才能解釋數學為什麼這麼有用。雖然消除發明與發現的對立性,並不能全然解釋數學不合理的有效性,但針對這個影響深遠的問題,即使是不完整的一小步,仍算有所進展。

本文獲《科學人雜誌》、《科學人粉絲團》授權刊登,原文刊載於此

相關文章︰

責任編輯:朱家儀
核稿編輯:楊之瑜


猜你喜歡


挖掘雲端開放架構優勢!Amazon EKS高可用性叢集快速部署容器

挖掘雲端開放架構優勢!Amazon EKS高可用性叢集快速部署容器

我們想讓你知道的是

企業如何在 Amazon EKS(Elastic Kubernetes Services)上使用 GitLab 創建自動化部署,減輕人力負擔,提升專案服務運作效率?

所謂現代化智慧 IT,所有工程師最希望的境界,莫過於只要輕鬆點幾下設定,系統就會自動跑起來,管理者再也不用隨時待命在機台旁邊,從此工作悠哉又快樂!儘管這樣情境還沒到來,但隨著敏捷式開發的流行,除了 DevOps 人員,有越來越多開發者將 CI/CD 概念融入到工作流程當中,例如從 build code、執行 unit test、到部署應用程式。

透過 AWS 增加雲端技能 在組織發揮影響力

上述種種反覆步驟自動化執行,也就能提昇服務品質、主動通知開發人員以減輕人力負擔,讓專案服務能持續運作。

其中,GitLab 是執行 CI/CD 常用的工具之一,也是開發者使用程式碼儲存庫的地方。為了讓 GitLab Runner 在雲端快速實踐 CI/CD,《AWS 開發者系列》透過影片分享,如何在 Amazon EKS(Elastic Kubernetes Services)上使用 GitLab 創建自動化部署。

以下節錄工作坊影音內容,幫助開發者快速理解如何運用 Amazon EKS 的高可用性且安全的叢集,將修補、部署節點、更新等關鍵任務,全部做到自動化設定。同時影片也會示範 Amazon EKS 搭配 GitLab 如何展開自動部署,幫助工程團隊實踐 CI/CD 價值。

Amazon EKS 對容器管理輕鬆簡單、維運省時省力

容器化服務越來越興盛,當容器(Container)越來越多,在複雜的微服務(Microservice)系統環境之下,運維團隊的管理成本可能相對會增加不少,為了有效調度容器部署, 導入Kubernetes 無疑是近年企業熱門的話題之一。

建構 Kubernetes Cluster 流主要可區分兩大塊,一是安排容器調度的Control Plane、另一則是容器運行時需要用到的 Worker Node。

Control Plane 裡面涵蓋有儲存狀態的 ETCD、CoController manager 、Scheduler 的調度管理、甚至是操作時進行互動的 APIServer,若是自己創建 的 Kubernetes Cluster ,需要自己安裝這些元件,後續仍需要對 Control Plane 進行相關管理、維護、升級工作。為了減少上述 Components 的繁複維護,在透過 AWS EKS 代管的 Kubernete Control Plane 部可以獲得以下三大好處。

Amazon EKS 一鍵式部署,展現三大優勢

第一,Amazon EKS代管的 Control Plane實踐了跨AZ的高可用部署,使用者不需要擔心單一節點故障的風險。

第二,Amazon EKS 支持至少四個 Kubernetes版本,持續跟進每季 CNCF 的發佈,同時 EKS 也完全符合上游 CNCF 規範。

第三,部署 Amazon EKS 之後,可直接使用 AWS 平台上現成的服務工具,在安全性管理、網路設定方面,可以做到無縫整合。

最後 AWS 台灣解決方案架構師也提到,若想在容器環境進行 CI/CD 及應用程式的管理,可以進一步透過 IaC 整合部署 Amazon EKS 叢集,透過使用 Console、把 EKS 變成 Cloudformation 的模板、使用 AWS 所開發出來的 eksctl.io、或指令是採用 AWS CDK 可以讓開發者用自身熟悉的語言,在 AWS 平台整合 CI/CD 工具進行維運及部署 EKS。

打造第一個在 AWS 上的應用程式

了解 Amazon EKS 整合 GitLab ,獲得三面向價值

對開發者而言,想把 Amazon EKS 整合到 CI/CD 工具之一的 GitLab 平台上,可以看到那些實際的優勢?

在 DevOps 開發者示範工作坊當中,GitLab 資深解決方案架構師指出,GitLab 使用到 Kubernetes 技術,主要有三種搭配方法,包含 GitLab Server、GitLab Runner、以及創建 Deployment Environment。

本次示範教學會主要聚焦在 GitLab Runner 如何採取 Auto-scaled 方式進行 Build、Test、Package Apps;以及在 Deployment Environment 運用 Kubernetes 技術,做到 Auto Deploy、Review App。

正因為 Amazon EKS 能夠在 DevOps 過程提供所需要的彈性計算資源,幫助開發者在 GitLab 平台上面獲得以下三個層次的優勢:

  • 在 GitLab 內建的部署工作流程當中,自動生成整套 CI/CD 最佳實踐腳本。
  • Review App 過程,從 Merge Request 中可直接訪問應用程式 /App 的 UI 介面,並且根據 Git branch 名稱、專案名稱,自動生成 Review App 的 URL,以及在 Merge 前的最後防線進行 Approval 檢查。
  • 加速 CI/CD 流水線,GitLab Runner 運行時候還可藉由 Amazon EKS Cluster 進行 Auto-scaled 的支援。

Amazon EKS 整合 GitLab ,需要兩大流程

影片最後,GitLab 資深解決方案架構師示範如何把 Amazon EKS 整合至 GitLab 執行 Auto Deploy,主要可分為兩大區塊流程,第一部分聚焦在 Amazon EKS cluster 的設置,第二部分則執行 Auto Deploy 設置。

第一塊可拆分為四個階段,首先教學怎麼創建 EC2 節點的 EKS cluster,第二階段示範把 EKS Cluster 連接到開發者的 GitLab Instance、Group 或 Project,下一步則使用 Cluster Management Project Template 創建一個 Cluster Management Project,以及最後一階段透過 Cluster Management Project 自帶的 Helm Chart,安裝在 Cluster 所需要的內建 App。

第二塊執行 Auto Deploy 設置,針對需要部署的 App 創建一個 GitLab Project,接著再把 gitlab-ci.yml 添加到 Project,並從 Web IDE 選擇及導入 Auto Deploy 的 CI 模版,讓 GitLab 自動生成最佳實踐的整套流水線。

幫助開發者更了解 Amazon EKS 整合 GitLab 的 QA 系列

Q:使用 Amazon EKS 之後,如何更有效率或優化資源去配置 Worker Node 的機器數量,以及如何有效空管開發維運的成本?

A:Kubernetes 除了本身有 HPA(Horizontal Pod Autoscaling)可根據使用程度自動調整資源流量,另外也能延伸使用 AWS Auto Scaling 方案,針對可擴展資源去設定自動擴展管理。另外在成本管控,雖然 Amazon EKS 會收取額外管理費用,但可透過 AWS 平台的 Calculato r計算每個 EKS 的價格,你會發現自動化部署及管理的費用,相對工程師人力的成本更加便宜。

Q:越來越多客戶考慮把現有 Application 變成容器部署,大多是爲了加快部署的效率,那麼變成容器模式之後,對 CI/CD 的工作流程有什麽影響嗎?

A:運用容器技術最直接的效果,可以讓應用程式的環境更一致化,例如 testing 環節、stage production,讓容器避開一些差異問題。至於 CD 部分要 delivery 一些 usage 不太一樣的時候,容器會幫忙做配置,所以 CI/CD 對容器的效益是相輔相成的。

Q: 客戶在開發流程漸漸會把 Infrastructure 變成代碼或文檔,是不是可以把程式碼跟現有的應用程式的 CI/CD 流水線整合在一起,達到一套完整的 CI/CD 部署流程?

A:觀察目前市場作法,主要分成兩個階段去做整體部署。如果規模比較小的團隊,會把 Infrastructure 代碼跟 App 代碼分開,在管理上會比較靈活;如果企業規模比較大,會有另外一個 Infrastructure 團隊來控制部署事情,這種情况之下,APP 的項目會生成一個 APP package,主要做到 delivery 這個階段爲止。而 Infrastructure 的項目會指定把需要版本的文檔,部署到他們的 Kubernetes Cluster。

填寫表單 找到適合的快速上雲服務與工具!


猜你喜歡