递归论

递归论是数理逻辑的四大分支之一,创立于20世纪30年代,它的产生源于解决数学中的判定问题。从20世纪50年代...

2018.10