用户贡献
跳到导航
跳到搜索
- 2026年9月12日 (六) 09:31 差异 历史 +1,679 递归定理 →uniform
- 2026年9月12日 (六) 09:24 差异 历史 -27 递归定理 →带参数的形式
- 2026年9月12日 (六) 09:15 差异 历史 0 递归定理
- 2026年9月12日 (六) 09:14 差异 历史 +3,144 递归定理 →其它形式的第二递归定理
- 2026年9月12日 (六) 09:13 差异 历史 -3,364 递归定理 →推论：SRT 衍生出的若干重要结果
- 2026年9月12日 (六) 09:12 差异 历史 -22 递归定理
- 2026年9月12日 (六) 09:11 差异 历史 +1,225 递归定理 →SRT与自指
- 2026年9月12日 (六) 09:11 差异 历史 -1,223 递归定理 →λ演算视角：与 Y 组合子的关系
- 2026年9月12日 (六) 09:09 差异 历史 0 递归定理
- 2026年9月12日 (六) 09:08 差异 历史 0 递归定理
- 2026年9月12日 (六) 09:06 差异 历史 0 递归定理
- 2026年9月12日 (六) 09:05 差异 历史 +87 递归定理 →推论：SRT 衍生出的若干重要结果
- 2026年9月12日 (六) 08:57 差异 历史 +9,667 递归定理 →λ演算视角：与 Y 组合子的关系
- 2026年9月12日 (六) 08:42 差异 历史 -9,668 递归定理 →推论：SRT 衍生出的若干重要结果
- 2026年9月11日 (五) 09:40 差异 历史 -75 递归定理
- 2026年9月11日 (五) 09:36 差异 历史 +246 递归定理 →一行对角线
- 2026年9月11日 (五) 09:28 差异 历史 +21 递归定理 →一行对角线
- 2026年9月11日 (五) 09:27 差异 历史 +206 递归定理 →证明：一行对角线
- 2026年9月11日 (五) 09:15 差异 历史 -1 递归定理 →Rice定理（1951）
- 2026年9月11日 (五) 09:06 差异 历史 +261 递归定理 →Smullyan 双递归定理（1959, 1961）
- 2026年9月11日 (五) 09:03 差异 历史 +2 递归定理 →Smullyan 双递归定理（1959, 1961）
- 2026年9月11日 (五) 09:00 差异 历史 -361 递归定理 →Smullyan 双递归定理（1959, 1961）
- 2026年9月11日 (五) 08:57 差异 历史 +1,148 递归定理 →Smullyan 双递归定理（1959, 1961）
- 2026年9月11日 (五) 08:31 差异 历史 +12 递归定理 →Smullyan 双递归定理（1959, 1961）
- 2026年9月11日 (五) 08:24 差异 历史 +1 递归定理 →Smullyan 双递归定理（1959, 1961）
- 2026年9月11日 (五) 08:24 差异 历史 +157 递归定理 →Smullyan 双递归定理（1959, 1961）
- 2026年9月11日 (五) 08:21 差异 历史 +5 递归定理 →Smullyan 双递归定理（1959, 1961）
- 2026年9月11日 (五) 08:17 差异 历史 +7 递归定理 →意义：递归定义的"存在性定理"
- 2026年9月11日 (五) 07:03 差异 历史 +20 集体注意力流网络 →社会网络
- 2026年9月11日 (五) 06:58 差异 历史 -2 NIS 当前
- 2026年9月11日 (五) 06:57 差异 历史 +18 新 神经信息挤压器 重定向页面至NIS 当前 标签：新重定向
- 2026年9月11日 (五) 06:55 差异 历史 +8 RealNVP →在 NIS/NIS+ 因果涌现框架中的应用 当前
- 2026年9月11日 (五) 06:43 差异 历史 +15 RealNVP →历史渊源
- 2026年9月11日 (五) 06:41 差异 历史 +4 RealNVP →历史渊源
- 2026年9月11日 (五) 06:39 差异 历史 +19 RealNVP
- 2026年9月11日 (五) 06:36 差异 历史 +87 递归定理 标签：可视化编辑：已切换
- 2026年9月11日 (五) 06:35 差异 历史 -19 递归定理 →通用序数记号系统\omega_1^{CK}
- 2026年9月11日 (五) 06:34 差异 历史 +33 递归定理
- 2026年9月11日 (五) 06:33 差异 历史 +1 递归定理 →超算术集与有效描述集合论
- 2026年9月11日 (五) 06:32 差异 历史 -15 递归定理 →超算术级与有效描述集合论
- 2026年9月11日 (五) 06:31 差异 历史 +33 递归定理 →Rice定理（1951）
- 2026年9月11日 (五) 06:30 差异 历史 +45 递归定理 →自省程序与自省式自改进程序
- 2026年9月11日 (五) 06:28 差异 历史 +49 递归定理 →冯诺伊曼的自复制自动机（1948）
- 2026年9月11日 (五) 06:27 差异 历史 +92 递归定理 →哥德尔第一不完备定理（1931）
- 2026年9月11日 (五) 06:25 差异 历史 +39 递归定理 →Lawvere 不动点定理（1969）
- 2026年9月11日 (五) 06:24 差异 历史 +1 递归定理 →直观图景：程序如何"谈论"自己的代码
- 2026年9月11日 (五) 06:24 差异 历史 +31 递归定理 →直观图景：程序如何"谈论"自己的代码
- 2026年9月10日 (四) 13:29 差异 历史 +26 递归定理 →证明：一行对角线
- 2026年9月10日 (四) 13:28 差异 历史 +110 递归定理 →列表法（Cutland 1980）：把"对角线"画成一张表
- 2026年9月10日 (四) 13:20 差异 历史 +3 递归定理 →Arslanov 完全性判据（1981）