打开/关闭菜单
打开/关闭外观设置菜单
打开/关闭个人菜单
未登录
未登录用户的IP地址会在进行任意编辑后公开展示。

主要公开日志

更多操作

所有Googology Wiki公开日志的联合展示。您可以通过选择日志类型、输入用户名(区分大小写)或相关页面(区分大小写)筛选日志条目。

日志
  • 2026年2月28日 (六) 19:16 Z 留言 贡献创建了页面基于翻转性质的大数函数Flip(n,a) (创建页面,内容为“Kirby 描述了一个独立于 PA 的命题“翻转性质”<ref name=":0">Kirby L A S. Flipping properties in arithmetic[J]. The Journal of Symbolic Logic, 1982, 47(2): 416-422.</ref>。本条目介绍基于翻转性质的函数<math>\mathrm{Flip}(n,a)</math> . === 翻转性质 === '''定义 1'''. 设 X 为自然数的有限集,<math>\langle A_n\rangle</math>为 X 的子集构成的一个有限序列。若将<math>\langle A_n\rangle</math>中的某些元…”) 标签可视化编辑