克里斯·鸟(英语:Chris Bird)是一位英国数学家,他帮助乔纳森·鲍尔斯开发BEAF,并建造与其类似的记号——鸟数阵记号。他证明了五个或以上的线性数阵,其成长率远远超过链式箭号表示法。[1]
鸟建构了自己的数阵记号,并延伸到巴赫曼-霍华德序。[2]后来,他开发了新版本,增长率达到\(\psi_0(\Omega_{\omega})\)。[3]2014年,他再度更新记号,这次增长率进一步达到\(\vartheta(\Omega_\Omega)\)。
鸟拥有数学硕士学位,并患有亚斯伯格综合症(属于自闭症光谱)。
来源[]
外部链接[]
参见[]