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

新页面

更多操作
新页面
隐藏注册用户 | 显示机器人 | 显示重定向
最新 | 最旧) 查看( | 较旧50条)(20 | 50 | 100 | 250 | 500

2025年7月7日 (星期一)

2025年7月6日 (星期日)

2025年7月5日 (星期六)

  • 20:482025年7月5日 (六) 20:48 商集历史 | 编辑[766字节] 虚妄之幻留言 | 贡献 (商集和划分,无交的定义) 标签可视化编辑
  • 20:322025年7月5日 (六) 20:32 可构造宇宙历史 | 编辑[1,406字节] 虚妄之幻留言 | 贡献 (可构造宇宙) 标签可视化编辑
  • 19:412025年7月5日 (六) 19:41 BMS分析历史 | 编辑[932字节] YukinaKNK留言 | 贡献 (创建页面,内容为“目前使用的OCF为M型,后续补充BOCF 注:<math>\eta_0</math>后的<math>\theta,\iota,\kappa,\lambda</math>为个人找规律得出的,没有被公认不要乱用 ==== 1:单行BMS(PrSS) ==== <math>\varnothing=0</math> <math>(0)=1</math> <math>(0)(0)=2</math> <math>(0)(0)(0)=3</math> <math>(0)(1)=(0)(0)(0)(0)(0)...=\omega</math> <math>(0)(1)(0)=\omega+1</math> <math>(0)(1)(0)(0)=\omega+2</math> <math>(0)(1)(0)(1)=\omega\times2</math> <…”) 标签可视化编辑
  • 04:232025年7月5日 (六) 04:23 Bignum Bakeoff历史 | 编辑[5,994字节] Phyrion留言 | 贡献 (创建页面,内容为“'''Bignum Bakeoff'''是由David Moews于2001年12月举办的大数编程竞赛。 比赛的目标是编写一个不超过 512 个字符(忽略空格)的 C 程序,该程序能够从main()函数返回尽可能大的数字。 === 详细规则<ref><nowiki>https://djm.cc/bignum-rules-posted.txt</nowiki></ref> === # 程序必须使用 C90 编写,即 1990 年 C 标准 ANSI/ISO 9899-1990,并遵守以下约束: (a) 禁止使用浮点常量、<code>float…”) 标签可视化编辑
  • 03:002025年7月5日 (六) 03:00 燃烧数历史 | 编辑[7,271字节] Apocalypse留言 | 贡献 (创建页面,内容为“'''燃烧数(Fusible number)''',是一系列序型为<math>\varepsilon_0</math>的正有理数。 === 定义 === 考虑以下的数学问题:一个人处于一个封闭的房间之中。他想要测量一段时间,但是房间之中没有钟表,只有一系列恰好能够在一小时内燃尽的绳索。这些绳索的燃烧速度是不均匀的,因此不能通过其长度来判断时间,但是可以通过将其两端全部点燃的方式测量一…”) 标签可视化编辑:已切换
  • 01:482025年7月5日 (六) 01:48 Loader 数历史 | 编辑[9,093字节] Phyrion留言 | 贡献 (创建页面,内容为“'''Loader数'''是Ralph Loader的C语言程序'''Loader.c'''的输出,它在2001年的Bignum Bakeoff比赛中获得第一名。 === 定义 === Loader.c的源代码如下:<syntaxhighlight lang="c" line="1"> #define R { return #define P P ( #define L L ( #define T S (v, y, c, #define C ), #define X x) #define F );} int r, a; P y, X R y - ~y << x; } Z (X R r = x % 2 ? 0 : 1 + Z (x / 2 F L X R x / 2 >> Z (x F #define U = S(4,13,-4, T t) { int…”) 标签可视化编辑

2025年7月4日 (星期五)

2025年7月3日 (星期四)

2025年7月2日 (星期三)

  • 23:432025年7月2日 (三) 23:43 良序历史 | 编辑[2,823字节] Z留言 | 贡献 (创建页面,内容为“== 偏序集 == 如果一个非空集合A上定义的一个二元关系<math>\leq</math>满足 # 自反性:<math>\forall a \in A,a \leq a</math> # 反对称性:<math>\forall a,b \in A,(a \leq b \& b \leq a)\Rightarrow a = b</math> # 传递性:<math>\forall a,b,c \in A,(a \leq b \& b \leq c)\Rightarrow a \leq c</math> 我们就称这个二元关系为集合上的一个'''偏序''',集合称为'''偏序集''',记作<math>(A,\leq)</math> == 良序集…”) 标签可视化编辑
  • 22:352025年7月2日 (三) 22:35 序数表历史 | 编辑[17,891字节] Z留言 | 贡献 (创建页面,内容为“本条目列举出一些有名字的序数,它们大多在googology中具有重大意义 需要注意的是,它们的命名很多来自googology爱好者而非专业数学研究者。 == 序数表 == {| class="wikitable" |+ |- ! 缩写 !! 英文全称 !! 常规表示方法(BOCF等) !! BMS/Y |- | FTO || First Transfinite Ordinal || ω || BMS(0)(1) |- | LAO || Linar Array Ordinal || ω^ω || BMS(0)(1)(2) |- | SCO || Small Cantor Ordinal || φ(1,0) || BMS…”) 标签可视化编辑
  • 17:542025年7月2日 (三) 17:54 序数记号历史 | 编辑[3,036字节] Z留言 | 贡献 (创建页面,内容为“序数记号是大数数学最常用的表示序数的方法。它是一种用有限的符号系统表示序数的数学工具,其核心是建立序数到表达式构成的集合的双射。PrSSBMSY序列等都是序数记号。 == 基本构成 == 序数记号由三部分构成:'''表达式集''','''展开规则''','''极限表达式''' 表达式集是序数记号定义的一部分,对于一个序数记号,…”) 标签可视化编辑
  • 01:302025年7月2日 (三) 01:30 初等序列系统历史 | 编辑[5,478字节] QWQ-bili留言 | 贡献 (创建页面,内容为“<div style="word-wrap: break-word;text-wrap: pretty;color: var(--color-subtle);font-style: italic;width:Fit-content;padding:1rem 1rem 2rem 1rem;border-left:solid #00000030 5px;background-color:var(--color-surface-2)">PrSS虽然结构简单,但是却是目前已知的最强大的递归核心的基础。<br /><span style='float:right'><del>——</del>曹知秋</span></div> '''<big><math>Primative\ Sequence\ System</math></big> <math>\text{(初等序列系统…”)
  • 01:292025年7月2日 (三) 01:29 链式箭头记号历史 | 编辑[2,617字节] Phyrion留言 | 贡献 (创建页面,内容为“康威链”) 标签可视化编辑
  • 00:052025年7月2日 (三) 00:05 Veblen 函数历史 | 编辑[8,442字节] Phyrion留言 | 贡献 (创建页面,内容为“'''Veblen函数(别名:<math>\varphi</math>函数)'''是一个<math>\rm Ord\rightarrow Ord</math>的序数函数,由美国数学家Oswald Veblen定义。”) 标签可视化编辑 最初创建为“Veblen函数”

2025年7月1日 (星期二)

2025年6月30日 (星期一)

2025年6月29日 (星期日)

  • 18:392025年6月29日 (日) 18:39 基数历史 | 编辑[5,920字节] 虚妄之幻留言 | 贡献 (基数的定义) 标签可视化编辑
  • 16:172025年6月29日 (日) 16:17 序数历史 | 编辑[14,838字节] Phyrion留言 | 贡献 (创建页面,内容为“'''序数'''是自然数的推广。 ==== 定义 ==== 一个序数<math>\alpha</math>被定义为所有比它“更小”的序数的集合,即<math>\alpha=\{ \beta|\beta < \alpha \}</math>。 <math>0=\varnothing=\{\}</math> <math>1=\{ 0\}</math> <math>2=\{0,1\}</math> <math>3=\{0,1,2\}</math> <math>1048576=\{0,1,2,3,...,1048575\}</math> 序数<math>\alpha</math>的'''后继'''被定义为<math>\alpha+1=\alpha\cup \{\alpha\}</math>。它也是所有''…”) 标签可视化编辑
  • 05:212025年6月29日 (日) 05:21 高德纳箭头历史 | 编辑[8,160字节] QWQ-bili留言 | 贡献 (创建页面,内容为“'''高德纳箭头'''('''Knuth's up-arrow notation''', 别称"上箭头记号"),一种满足'''右结合律'''的二元运算。其定义如下: * <math>a \uparrow b = a^{b}</math> * <math>a \uparrow^{c} 1 = a</math> * <math>a \uparrow^{c+1} b+1 = a \uparrow^{c} ( a \uparrow^{c+1} b)</math> 其中,<math>a,b,c</math>均为'''正整数''',<math>a \uparrow^{c} b = a\ \underbrace{ \uparrow\uparrow\cdots\uparrow }_{c}\ b</math>. ===== 性质 =====…”) 标签可视化编辑:已切换

2025年6月27日 (星期五)

2025年6月25日 (星期三)

2025年6月24日 (星期二)

最新 | 最旧) 查看( | 较旧50条)(20 | 50 | 100 | 250 | 500