《馮·諾伊曼的計算機科學哲學》對計算機邏輯思想的來龍去脈作出了清晰的梳理,在正確把握馮·諾伊曼自動機理論的基本內(nèi)涵的基礎(chǔ)上,從中提煉出科學哲學思想,主要概括為:一是以“畢達哥拉斯主義思想”(宇宙的奧秘在于數(shù)學規(guī)律之中)為導向,構(gòu)想自動機的理論模型,并且與后世的“計算主義思想”(宇宙=一臺巨型計算機)接軌:二是貫徹亞里土多德“程序目的性”(由生物學哲學家邁爾提煉概括出來,并且認定為亞里士多德“目的論”中最精彩的成分)和維納控制論的“現(xiàn)代目的論”思想于邏輯機器之中。 《馮·諾伊曼的計算機科學哲學》還較系統(tǒng)地探討了馮·諾伊曼理論對復雜性研究的貢獻,分析了這些思想對計算機科學以及相關(guān)科學的哲學啟示。
|