这是本卷19章的进化版,姑且可以叫做“新hydra”
事先定义一个计算器或计数器:φ(0)=hydra,φ(1)=新hydra,……
阿列夫一是非递归的,递归<<非递归
递归的底层被称之为“可计算”,可计算=可以枚举的=人能拿的出来的
对于人类来说,别说阿列夫一了,别看现在数学界里阿列夫零里各种序数研究的这么欢乐,但实际上我们就连阿列夫零都还是两眼抹黑
这是本卷19章的进化版,姑且可以叫做“新hydra”
遇见你就荡漾:第61章 我的荣幸 发表于 2020-08-25 22:03:27事先定义一个计算器或计数器:φ(0)=hydra,φ(1)=新hydra,……
逆天:77 死了 发表于 2022-02-05 10:08:12阿列夫一是非递归的,递归<<非递归
清酒系美男:[番外5.小娇妻炼成记] 发表于 2020-12-08 01:14:07递归的底层被称之为“可计算”,可计算=可以枚举的=人能拿的出来的
种田领主,遗迹与不科学召唤:暂停说明 发表于 2020-07-27 14:40:44对于人类来说,别说阿列夫一了,别看现在数学界里阿列夫零里各种序数研究的这么欢乐,但实际上我们就连阿列夫零都还是两眼抹黑
当兵:从军校开始:第六十二章 洪灾,请战书! 求鲜 发表于 2021-11-23 00:01:21