用户贡献
2026年9月12日 (星期六)
递归定理
uniform
+1,679
递归定理
带参数的形式
-27
递归定理
无编辑摘要
递归定理
其它形式的第二递归定理
+3,144
递归定理
推论：SRT 衍生出的若干重要结果
-3,364
递归定理
无编辑摘要
-22
递归定理
SRT与自指
+1,225
递归定理
λ演算视角：与 Y 组合子的关系
-1,223
递归定理
无编辑摘要
递归定理
无编辑摘要
递归定理
无编辑摘要
递归定理
推论：SRT 衍生出的若干重要结果
+87
递归定理
λ演算视角：与 Y 组合子的关系
+9,667
递归定理
推论：SRT 衍生出的若干重要结果
-9,668
2026年9月11日 (星期五)
递归定理
无编辑摘要
-75
递归定理
一行对角线
+246
递归定理
一行对角线
+21
递归定理
证明：一行对角线
+206
递归定理
Rice定理（1951）
-1
递归定理
Smullyan 双递归定理（1959, 1961）
+261
递归定理
Smullyan 双递归定理（1959, 1961）
+2
递归定理
Smullyan 双递归定理（1959, 1961）
-361
递归定理
Smullyan 双递归定理（1959, 1961）
+1,148
递归定理
Smullyan 双递归定理（1959, 1961）
+12
递归定理
Smullyan 双递归定理（1959, 1961）
+1
递归定理
Smullyan 双递归定理（1959, 1961）
+157
递归定理
Smullyan 双递归定理（1959, 1961）
+5
递归定理
意义：递归定义的"存在性定理"
+7
集体注意力流网络
社会网络
+20
NIS
无编辑摘要
-2
神经信息挤压器
重定向页面至NIS
RealNVP
在 NIS/NIS+ 因果涌现框架中的应用
+8
RealNVP
历史渊源
+15
RealNVP
历史渊源
+4
RealNVP
无编辑摘要
+19
递归定理
无编辑摘要
+87
递归定理
通用序数记号系统\omega_1^{CK}
-19
递归定理
无编辑摘要
+33
递归定理
超算术集与有效描述集合论
+1
递归定理
超算术级与有效描述集合论
-15
递归定理
Rice定理（1951）
+33
递归定理
自省程序与自省式自改进程序
+45
递归定理
冯诺伊曼的自复制自动机（1948）
+49
递归定理
哥德尔第一不完备定理（1931）
+92
递归定理
Lawvere 不动点定理（1969）
+39
递归定理
直观图景：程序如何"谈论"自己的代码
+1
递归定理
直观图景：程序如何"谈论"自己的代码
+31