巴列卡諾數

巴列卡諾數（英語：Rayo's number），又名“拉約數”，巴列卡諾數是阿古斯丁·巴列卡諾（Agustín Rayo）在2007年所創造並命名的大數。

基本介紹

• 中文名：巴列卡諾數
• 外文名：Rayo's number
• 別名：拉約數
• 創造者：古斯丁·巴列卡諾

定義

巴列卡諾數（Rayo's number）指一階邏輯中用n個字元所能表示出的最大數，其表達式如下：

取個體域為n個字元集

歷史

巴列卡諾數（Rayo's number）在2007年時比其他任何數都大。無論是葛立恆數、TREE（3）、SSCG（3）等，都遠小於巴列卡諾數。巴列卡諾數定義於麻省理工學院在2007年1月26日舉辦的一場“大數戰鬥”

但2013年出現的Fish number 7打破了巴列卡諾數的記錄，然後2014年10月出現了更大的Big FOOT，2017年1月5號出現的Little Bigeddon打破了Big FOOT的記錄，2017年3月27號，Little Bigeddon的創造者Emlightened創造了更大的Sasquatch (Big Bigeddon)，是當前的記錄保持者。