克里斯·鳥(英語:Chris Bird)是一位英國數學家,他幫助喬納森·鮑爾斯開發BEAF,並建造與其類似的記號——鳥數陣記號。他證明了五個或以上的線性數陣,其成長率遠遠超過鏈式箭號表示法。[1]
鳥建構了自己的數陣記號,並延伸到巴赫曼-霍華德序。[2]後來,他開發了新版本,增長率達到\(\psi_0(\Omega_{\omega})\)。[3]2014年,他再度更新記號,這次增長率進一步達到\(\vartheta(\Omega_\Omega)\)。
鳥擁有數學碩士學位,並患有亞斯伯格綜合症(屬於自閉症光譜)。
來源[]
外部連結[]
參見[]