基于翻转性质的大数函数Flip(n,a)：修订历史

2026年2月28日 (星期六)

• 当前之前 19:172026年2月28日 (六) 19:17 Z 留言 贡献 小 2,100字节 +22 无编辑摘要 标签：可视化编辑
• 当前之前 19:162026年2月28日 (六) 19:16 Z 留言 贡献 2,078字节 +2,078 创建页面，内容为“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>中的某些元…” 标签：可视化编辑