算法論
算

算法論　　　suàn fǎ lùn

亦稱“能行性理論”。對一類問題（函數(shù)）的有窮地機械地判定（計算）過程稱為對這類問題（函數(shù)）的算法。算法應(yīng)滿足如下要求：(1)只用有窮多條指令描繪算法，指令可以由人或機器機械地執(zhí)行；(2)如果算法用于某初始材料上有結(jié)果，那么執(zhí)行算法有窮步后會有結(jié)果；(3)如果算法用于某初始材料上沒有結(jié)果，那么算法的執(zhí)行過程永不停止，或得不出結(jié)果。算法論是描繪和處理上述直觀算法的數(shù)學(xué)理論。迄今已建立了不少等價的理論，如遞歸論、圖靈機和遞歸算法論。算法論用于其他數(shù)學(xué)分支后已解決了一些難題，如群論中字的等價性問題的不可判定性；希爾伯特第十問題的算法不可解性。此外在計算機科學(xué)中也有重要應(yīng)用。