递归分析

音义

广训

递归分析（recursive analysis）以递归理论为工具解决有关问题的一种分析。由于数理逻辑的某些方面本身就不可避免地包含着可构造性和能行性概念，因此，递归理论正是为了适应逻辑研究的需要而产生的。例如哥德尔不完全性定理，就可以通过表明句子的可证性是递归可枚举性质，而句子的真理性却不是递归可枚举性质来加以证明。递归理论能用于分析判定问题。希尔伯特第十问题就是一个判定问题，它要求设计一种算法，以对任何给定的丢番都方程（即整系数多项式方程），判定其是否有整数解。通过递归分析，这一问题能得到否定的解答。递归分析还包括不可解问题及其不可解度，计算复杂性，能行描述集合论等多方面的研究。

组词

递 归 分 析

相关

• 三林城
• 什锦果盘
• 何净
• 半光宽鞘茧蜂
• 后轴
• 叶世杰
• 吴玉祥
• 周绍良居士
• 国雅大厦
• 啧啧
• 大孔鮡
• 尹灿熙
• 屠仙
• 川犀草属
• 广翠
• 张洪春
• 张立伟
• 无毛山尖子
• 晶化束带
• 李福寿
• 梁山县气象局
• 毛建军
• 毁木弓背蚁
• 污水养鱼
• 涂塑相纸
• 热电厂
• 深水传说
• 潜艇战
• 点痣
• 牙花
• 王洪华
• 狗非犬
• 白边鮠
• 禁脔
• 秋菱
• 谈扬
• 赤裸的微笑
• 质量要求
• 赵海泉
• 迪士尼游戏
• 邵劲之
• 金原
• 闹花灯
• 雅士利
• 风能资源区划
• 高冠华
• 黄金
• 浙西大龙湾
• 诗婷露雅
• 陆禽