遞歸函數(shù)的哲學(xué)意義及其演進(jìn)歷史
作者：張寅生 中國科學(xué)技術(shù)信息研究所、貴州民族大學(xué); 北京100038
摘要：遞歸函數(shù)的根本特征在于其逐步計(jì)算和分解計(jì)算，即通過某函數(shù)帶入到（返回，即“遞歸”）自身或另一個(gè)函數(shù)的變量來求解被帶入函數(shù)。這個(gè)定義是歷史上逐步定型化的，其定型的過程始終保持了其這一原始意義，但其函數(shù)的形式是逐步嚴(yán)格化的，其類型是逐步擴(kuò)大的。當(dāng)前，普遍地接受的“遞歸函數(shù)”即指哥德爾于1934年定義的“廣義遞歸函數(shù)（一般遞歸函數(shù)）”，包括 μ -遞歸函數(shù)、阿克曼遞歸函數(shù)以及在邏輯上可能出現(xiàn)的其他遞歸函數(shù)；廣義遞歸函數(shù)在外延上與下列概念具有邏輯等值意義：遞歸函數(shù)、能行可計(jì)算函數(shù)、 λ -可定義函數(shù)、圖靈可計(jì)算函數(shù)——這些函數(shù)都是廣義遞歸函數(shù)的不同側(cè)面的反映。
注：因版權(quán)方要求，不能公開全文，如需全文，請(qǐng)咨詢雜志社。
貴州民族大學(xué)學(xué)報(bào)·哲學(xué)社會(huì)科學(xué)版雜志
貴州民族大學(xué)學(xué)報(bào)·哲學(xué)社會(huì)科學(xué)版雜志， 雙月刊，本刊重視學(xué)術(shù)導(dǎo)向，堅(jiān)持科學(xué)性、學(xué)術(shù)性、先進(jìn)性、創(chuàng)新性，刊載內(nèi)容涉及的欄目：世居民族與貴州文化、民族學(xué)與社會(huì)學(xué)、多民族文學(xué)論壇、邏輯、文化與認(rèn)知、法學(xué)等。于1981年經(jīng)新聞總署批準(zhǔn)的正規(guī)刊物。
- 省級(jí)期刊
- 1個(gè)月內(nèi)審核
