递归理论，Frank Stephan著，细致讲解了一些基本结果和递归理论的证明方法

[复制链接]

字体大小: 正常放大

madio

3万主题	1307 听众	5万积分

TA的每日心情

	奋斗 2021-5-1 20:26

签到天数: 2013 天

[LV.Master]伴坛终老

自我介绍: 数学中国站长

群组: 数学建模培训课堂1

群组: 数学中国美赛辅助报名

群组: Matlab讨论组

群组: 2013认证赛A题讨论群组

群组: 2013认证赛C题讨论群组

电梯直达

1^#

发表于 2020-7-21 08:02 |只看该作者 |倒序浏览

|招呼Ta 关注Ta |邮箱已经成功绑定

递归理论处理的是关于自然子集的基本概念、数字（或其他著名的可数域）可以有效地定义，以及如何定义如此定义的集合是复杂的。基本概念是递归和递归可数集，但递归理论中研究的集合世界远远不止这些这些东西。概念与丢番图集相联系，通过函数定义
递归和图灵机器。虽然有些概念非常古老，但是直到Matiyasevich的伟大结果，丢番图和r.e.集是相同的这幅画完全被理解了。本讲座概述了基本结果和递归理论中的证明方法。