フォークマン数 (Folkman's number) は矢印表記で \(2 \uparrow\uparrow\uparrow (2^{901})\) と書くことができる。フォークマンは、グラフ理論の証明にこれだけの頂点を持つグラフを用いたとされる[1][2]。なお、F.ル・リヨネ『何だ、この数は?』[3]ではフォークマン数が10↑↑6とされており[4]、理論の発展とともにフォークマン数の見積もりが小さくなった可能性がある。
フォークマン数は、\(3 \uparrow\uparrow\uparrow\uparrow 3\)よりも小さい[5]。
参考文献[]
- ↑ Gardner, M. (1977) "Mathematical games: In which joining sets of points leads into diverse (and diverting) paths" Scientific American 237(5), 18-28. doi:10.1038/scientificamerican1177-18.
- ↑ Sbiis Saibian's Ultimate Large Numbers List
- ↑ F.ル・リヨネ『何だ、この数は?』(訳:滝沢清、1989年、東京書籍)
- ↑ Wikipedia:数の比較
- ↑ Folkman's Number