計算機科學認識論又是什麼呢?進來了解一下吧!
2023-01-08由 漫天愛科技 發表于 農業
多莉羊是幾倍體
儘管名稱中有
“科學”一詞,但關於計算機科學是否是一門科學、數學或工程學科存在爭議。
艾倫
·紐威爾
和
赫伯特
·西蒙
在
1975 年爭論過,
計算機科學是一門經驗學科。我們可以稱它為一門實驗科學,但就像天文學、經濟學和地質學一樣,它的一些獨特的觀察和經驗形式並不符合狹隘的實驗方法的刻板印象。儘管如此,它們都是實驗。製造的每臺新機器都是一次實驗。實際建造機器向自然提出了一個問題。我們透過觀察執行中的機器並透過所有可用的分析和測量手段對其進行分析來傾聽答案。
此後有人認為,計算機科學可以歸類為經驗科學,因為它利用經驗測試來評估
程式的正確性
,但是在定義計算機科學的定律和定理(如果存在的話)和定義計算機科學實驗的性質。將計算機科學歸類為工程學科的支持者認為,計算系統可靠性的研究方式與
土木工程
中的橋樑和航空
航天工程
中的飛機相同。他們還爭辯說,雖然經驗科學觀察當前存在的事物,但計算機科學觀察可能存在的事物,雖然科學家從觀察中發現規律,但計算機科學中還沒有找到適當的規律,而是關注創造現象。
將計算機科學歸類為數學學科的支持者認為,計算機程式是數學實體的物理實現,程式可以透過數學
形式方法進行
演繹推理
。
(
在
計算機科學
中,
形式化方法
是
數學
上嚴格的技術,用於
軟體
和
硬體
系統的
規範
、開發和
驗證。
在軟體和硬體設計中使用形式化方法的動機是期望與其他工程學科一樣,執行適當的數學分析可以有助於設計的可靠性和穩健性。
)
計算機科學家
Edsger W。 Dijkstra
(
Edsger Wybe Dijkstra
1930 年 5 月 11 日 - 2002 年 8 月 6 日)是荷蘭
計算機科學家
、
程式設計師
、
軟體工程師
、
系統科學家
和科學
散文家
。
1972年獲得
圖靈獎
1984 年至 2000 年
,他在德克薩斯大學奧斯汀分校
擔任斯倫貝謝計算機科學百年紀念
首領
,以表彰他對開發程式語言的基本貢獻。
)
和
Tony Hoare
(
Tony Hoare
生於
1934 年 1 月 11 日)是一位英國
計算機科學家,他對
程式語言
、
演算法
、
作業系統
、
形式驗證
和
併發
做出了基礎性貢獻。
他的工作在
1980 年為他贏得了
圖靈獎
,通常被認為是計算機科學領域的最高榮譽。
將計算機程式的指令視為數學語句,並將程式語言的形式語義解釋為數學
公理系統
。
想了解更多計算機知識,歡迎評論區留言!!