能行性和一般递归 正文 数理逻辑、数学和计算机理论科学所研究的一个重要课题。数学中很多定理，尤其是存在性定理往往不是能行的，如虽然已经证明了某某方程有根，但却无法求出其根，甚至无法求得比较精确的近... [阅读全文]
Copyright © 2005-2009 hudong.com Ltd. All Rights Reserved. 互动在线 版权所有
