算法与其产生的一些数学.pdfVIP

算法及其產生的一些數學 楊東屏 李昂生 摘要: 本文討論 由算法 (algorithm) 的精確定義而產生的與算法和遞歸 (recursiveness) 有關的, 判定性 (decidability) 問題、 可計算性 (computability) 理論、 計算複雜性 (com- putational complexity)、 遞歸論 (recursion theory) 和遞歸數學等數學研究的基本成果和 問題。 算法是數學裡的一個重要概念, 它對數 公 元 七 世 紀 時 印 度 人 佈 拉 馬 古 佈 塔 學的發展起了重要作用, 也對電子計算機的 (Brahmagupta) 給出了判定二元一次不定 發展起了重要作用。 這裡我們介紹一下有關 方程式 ax + by = c 是否有解的算法, 這算 算法的一些問題。 法在當時是很難的, 因為它包含求 a 和 b 的 什麼是算法? 算法是為解決一類數學問 最大公因數的算法, 用 a 和 b 的最大公因數 是否可以整除 c 來判定 ax + by = c 有整數 題的統一方法。 它是由有窮多條規則 成, 可 解。 以機械地執行。 對有解的輸入數據, 可以在有 大約生活在公元 780 到 850 之間 窮步內進行完算法過程並給出答案。 的阿拉伯著名數學穆罕莫德以佈穆薩阿爾 例如求兩個代數式的最大公因式的輾轉 哥裡茲米 (Mohammed ibn Musa al- 相除法, 又稱歐幾理德算法 (Euclidean), 就 Khowˆarizmˆı), 他給出了今天大家熟悉的 自 是一個很好的算法的例子。 現在人們使用電 然數上運算的算法規則。 他還給出了二次方 子計算機時編寫的程序, 也是算法的例子。 程式根式解的算法。 由於他在算法上的貢獻 早在公元前三世紀, 古代中國和希臘的 很重要, 英文算法一詞 Algorithm 即由他的 數學家就在尋求各類數學問題的算法。 中國 名字轉化而來。 古代也用類似輾轉相除方法求兩個 自然數的 在阿拉伯人影響下, 西班牙人萊芒德盧 最大公因數。 利 (R. Lully, 1235-1315) 提出要找推斷出 1 2 數學傳播 十八卷一期 民 83 年 3 月 真理的算法, 並希望選出機器來實現這種算 生一切科學真理的算法。 他的想法用今天的 法。 他的想法雖然不能被同代人接受, 但是對 話來說就是建立謂詞演算並給出謂詞演算命 後世影響很大。 題可證性的判定算法。 這樣他創造了數理邏 在 盧 利 的 影 響 下 卡丹 諾 (Cardan, 輯, 後來在許多數學家的努力下有了今天的 1501-1576) 和法拉里 (Ferrari, 1522-1565) 完善的謂詞演算系統。 給出