算法論
算

算法論　　　suàn fǎ lùn

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