ラヨ数
↑ このイベントは、計算能力理論、無限序数、高次言語、表現システムの表現限界、そして数学と哲学の間の領域について興味を持つ学生を集める目的で行われた。2人の哲学者、MIT准教授アグスティン・ラヨとプリンストン大学准教授Adam Elgaの間でどちらがより巨大な有限数(the largest finite number)を作れるかを競った。
↑ 巨大数決闘当日対決の終盤ホワイトボードにまず書かれた定義はThe smallest number bigger than any number that can be named by an expression in the language of first order set-theory with less than a googol (10) symbols.(和訳:一階述語論理による集合論の言葉でグーゴル(10)個未満の記号を使った式で指定できるどの様な数より大きい最小の数)であり直ぐに上記の定義文に改められた。
↑ "決闘"には"Primitive semantic vocabulary is not allowed."(原始意味論語彙は許されない)というルールがあった。