巨大数論の参考サイト一覧です。
Reference list of Googology in Japan.
巨大数入門 Kindle版 https://www.amazon.co.jp/dp/B01N4KCIJQ
巨大数論(本書)のホームページ http://gyafun.jp/ln/
Large Numbers http://www.mrob.com/pub/math/largenum.html
Kaufman, E. L. et al. (1949). The discrimination of visual number. American Journal of Psychology 62 (4): 498–525. doi:10.2307/1418556
巨大数研究 Wiki - 無量大数 http://ja.googology.wikia.com/wiki/無量大数
無量大数の彼方へ http://www.sf.airnet.ne.jp/~ts/language/largenumber.html
http://www.otani.ac.jp/yomu_page/b_yougo/nab3mq0000000r5r.html
天女が岩をなでたなら http://d.hatena.ne.jp/inyoko/20111015/How_long_is_kalpa2
けし粒はいつなくなる http://d.hatena.ne.jp/inyoko/20111008/How_long_is_kalpa
Universe as an Infant: Fatter Than Expected and Kind of Lumpy (New York Times) http://nyti.ms/YrtRRV
WikiArc: ノート:首楞厳経 http://bit.ly/1b4Myz9 (labo.wikidharma.org)
Kasner, E. and Newman, J. R. (1940) Mathematics and the Imagination. Simon & Schuster, New York.
巨大数研究 Wiki - シャノン数 http://ja.googology.wikia.com/wiki/シャノン数
Shannon, C. (1950) Programming a computer for playing chess. Philosophical Magazine 41 (314)
Hardy, G. H. (1940) Ramanujan: twelve lectures on subjects suggested by his life and work. Cambridge University Press.
篠田正人 (2008) 将棋における実現可能局面数について, IPSJ Symposium Series 2008(11) 116–119.
巨大数研究 Wiki - 阿伽羅 http://ja.googology.wikia.com/wiki/阿伽羅
コンピュータ将棋「あから」 https://www.ipsj.or.jp/event/shogi.html
Number of legal Go positions https://tromp.github.io/go/legal.html
Conway, J. H. and Guy, R. K. (1996) The book of numbers. Copernicus. 訳書『数の本』丸善出版.
高精度計算サイト (CASIO) http://keisan.casio.jp/
Arbitrary Precision Calculator http://apfloat.appspot.com/
http://www.javascripter.net/math/calculators/100digitbigintcalculator.htm
Harrison, E. R. (2000) Cosmology - The Science of the Universe. Cambridge University Press. pp. 481–482.
鈴木真治 (2016)『巨大数』岩波書店
末綱恕一 (1957) 『華厳経の世界』春秋社
Cleary, T. (1993) The flower ornament scripture: a translation of the Avatamsaka Sutra. Shambhala, Colorado, USA.
One to Infinity https://sites.google.com/site/largenumbers/
巨大数研究 Wiki - 過剰数 http://ja.googology.wikia.com/wiki/過剰数
Robin, G. (1984) Grandes valeurs de la fonction somme des diviseurs et hypothse de Riemann. Journal de Mathmatiques Pures et Appliques 63, 187–213.
巨大数研究 Wiki - スキューズ数 http://ja.googology.wikia.com/wiki/スキューズ数
MathWorld - Skewes Number http://mathworld.wolfram.com/SkewesNumber.html
Skewes, S. (1933) On the difference pi(x)-li(x). Journal of the London Mathemetical Society s1-8(4): 277–283. doi:10.1112/jlms/s1-8.4.277
Skewes, S. (1955) On the difference pi(x)–li(x). II. Proceedings of the London Mathematical Society s3-5 (1): 48–70. doi:10.1112/plms/s3-5.1.48
Bays, C. and Hudson, R. H. (2000), A new bound for the smallest x with π(x)>li(x). Mathematics of Computation 69 (231): 1285–1296. doi:10.1090/S0025-5718-99-01104-7
Longest Possible Time http://www.numberphile.com/videos/longest_time.html
Page, D. N. (1994) Information loss in black holes and/or conscious beings? http://arxiv.org/pdf/hep-th/9411193
巨大数研究 Wiki - 永遠の努力 http://ja.googology.wikia.com/wiki/永遠の努力
巨大数研究 Wiki - ベントレー数 http://ja.googology.wikia.com/wiki/ベントレー数
pixiv コミック『寿司 虚空編』 http://comic.pixiv.net/works/1505
鈴木真治 (2016) 『巨大数』岩波書店
Googology Wiki http://googology.wikia.com/
巨大数研究 Wiki http://ja.googology.wikia.com/
巨大数研究 Wiki - 矢印表記 http://ja.googology.wikia.com/wiki/矢印表記
MathWorld - Arrow Notation http://mathworld.wolfram.com/ArrowNotation.html
Knuth, D. E. (1976) Mathematics and Computer Science: Coping with Finiteness. Science 194, 1235–1242. doi:10.1126/science.194.4271.1235
MathWorld - Power Tower http://mathworld.wolfram.com/PowerTower.html
Goodstein, R. L. (1947). Transfinite Ordinals in Recursive Number Theory. Journal of Symbolic Logic 12(4): 123–129. doi:10.2307/2266486
http://ja.googology.wikia.com/wiki/ユーザーブログ:Kyodaisuu/テトレーションの連続関数化
田中一之, 角田法也, 鹿島亮, 菊池誠 (1997) 『数学基礎論講義―不完全性定理とその発展』日本評論社
The Goodstein sequence G(3) https://oeis.org/A215409
田中一之, 角田法也, 鹿島亮, 菊池誠 (1997) 『数学基礎論講義―不完全性定理とその発展』日本評論社
Ackermann, W. (1928) Zum Hilbertschen Aufbau der reellen Zahlen. Mathematische Annalen 99: 118–133. doi:10.1007/BF01459088
Robinson, R. M. (1948) Recursion and double recursion. Bulletin of the American Mathematical Society 54: 987–993. doi:10.1090/S0002-9904-1948-09121-2
MathWorld - Steinhaus-Moser Notation http://mathworld.wolfram.com/Steinhaus-MoserNotation.html
Steinhaus, H. (1983) Mathematical Snapshots. (Galaxy Books) Oxford University Press.
巨大数研究 Wiki - モーザー数 http://ja.googology.wikia.com/wiki/モーザー数
Graham, R. L. and Rothschild, B. L. (1971) Ramsey’s theorem for n-parameter sets. Transactions of the American Mathematical Society 159: 257-292. doi:10.1090/S0002-9947-1971-0284352-8
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
巨大数研究 Wiki - グラハム数 http://ja.googology.wikia.com/wiki/グラハム数
『寿司 虚空編』第1話 http://comic.pixiv.net/viewer/stories/6994
Norris McWhirter et al. (1980) Guiness Book of World Records 1980. p. 193.
Conway, J. H. and Guy, R. K. (1996) The book of Numbers. Copernicus. 訳書『数の本』丸善出版.
巨大数研究 Wiki - チェーン表記 http://ja.googology.wikia.com/wiki/チェーン表記
ニコニコ動画 - 巨大数動画シリーズ http://www.nicovideo.jp/mylist/35451262
巨大数研究 Wiki - チェーン表記 http://ja.googology.wikia.com/wiki/チェーン表記
2ch過去ログ http://www.geocities.co.jp/Technopolis/9946/log/ln023.html
http://ja.googology.wikia.com/wiki/ユーザーブログ:Mikadukim/SS変換の明示的な表記について
『寿司 虚空編』第2話 http://comic.pixiv.net/viewer/stories/6995
2ch過去ログ http://www.geocities.co.jp/Technopolis/9946/log/ln024.html
Twitter @aycabta https://twitter.com/aycabta
巨大数探索スレッド3の過去ログ http://www.geocities.co.jp/Technopolis/9946/log/ln032.html
Togetter: ふぃっしゅ数の計算 http://togetter.com/li/568230
Twitter @aetonal (2015年9月14日) https://twitter.com/aetonal/status/643407430471282688
http://ja.googology.wikia.com/wiki/ユーザーブログ:Mikadukim/ふぃっしゅ数バージョン3の書き換え
巨大数研究 Wiki - Chris Bird http://ja.googology.wikia.com/wiki/Chris_Bird
Chris Bird’s Super Huge Numbers http://mrob.com/users/chrisb/
Hedrondude’s Home Page http://www.polytope.net/hedrondude/home.htm
巨大数研究 Wiki - BEAF http://ja.googology.wikia.com/wiki/BEAF
巨大数研究 Wiki - 配列表記 http://ja.googology.wikia.com/wiki/配列表記
第1回国際巨大数オリンピック http://ja.googology.wikia.com/wiki/スレッド:1793
巨大数研究 Wiki - バードの証明 http://ja.googology.wikia.com/wiki/バードの証明
5変数以上のバードの線形表記がチェーン表記よりも強い証明 http://www.mrob.com/users/chrisb/Proof.pdf
MathWorld - Ordinal Number http://mathworld.wolfram.com/OrdinalNumber.html
他の定義方法もあるが、本書では MathWorld で採用されていて、簡明なこの定義を使って説明する。ZF公理系では順序同型の集合全体を集合として取り扱うことができないという問題はあるものの、型理論やQuineの新基礎集合論ではこの定義も有効であると英語版 Wikipedia には記述されている。
Wikipedia - 順序集合 http://ja.wikipedia.org/wiki/順序集合
数学 Wiki - 整列集合 http://ja.math.wikia.com/wiki/整列集合
Wikipedia - 整列集合 http://ja.wikipedia.org/wiki/整列集合
Wikipedia - 選択公理 http://ja.wikipedia.org/wiki/選択公理
数学 Wiki - 順序型 http://ja.math.wikia.com/wiki/順序型
Wikipedia - 順序型 http://ja.wikipedia.org/wiki/順序型
MathWorld - Order Type http://mathworld.wolfram.com/OrderType.html
Wikipedia - 全単射 http://ja.wikipedia.org/wiki/全単射
Hardy, G.H. (1904) A theorem concerning the infinite cardinal numbers. Quarterly Journal of Mathematics 35: 87–94.
巨大数研究 Wiki - 急増加関数 http://ja.googology.wikia.com/wiki/急増加関数
田中一之, 角田法也, 鹿島亮, 菊池誠 (1997) 『数学基礎論講義―不完全性定理とその発展』日本評論社
Grzegorczyk, A. (1953) Some classes of recursive functions, Rozprawy Matematyczne 4: 1–45.
鈴木真治 (2016)『巨大数』岩波書店
Littlewood, J. E. (1953) A mathematician’s miscellany. Methuen
ボロバシュ (編) 金光 滋 (訳) (1990) 『リトルウッドの数学スクランブル』近代科学社
巨大数研究 Wiki - 緩増加関数 http://ja.googology.wikia.com/wiki/緩増加関数
新井敏康 (2005) 「Hilbertの第2問題に関する証明論の展開」数学 57(2): 113-126. doi:10.11429/sugaku1947.57.113
巨大数研究 Wiki - ドル関数 http://ja.googology.wikia.com/wiki/ドル関数
Goodstein, R. L. (1944). On the restricted ordinal theorem. Journal of Symbolic Logic 9 (2): 33-41. doi:10.2307/2266486
Kirby, L. and Paris, J. (1982) Accessible independence results for Peano arithmetic. Bulletin London Mathematical Society 14(4): 285–293. doi:10.1112/blms/14.4.285
Caicedo, A. (2007) Goodstein’s function. Revista Colombiana de Matemáticas 41 (2): 381–391. http://ref.scielo.org/2c53my
Beklemishev, L. D. The worm principle. Logic Colloquium 2002 (Munster, 2002), 7595, Lecture Notes in Logic, 27, Association for Symbolic Logic, La Jolla, CA., USA, 2006.
巨大数研究 Wiki - BEAF入門 http://ja.googology.wikia.com/wiki/BEAF入門
巨大数研究 Wiki - BEAF http://ja.googology.wikia.com/wiki/BEAF
Exploding Array Function http://www.polytope.net/hedrondude/array.htm
巨大数研究 Wiki - デュラトリ http://ja.googology.wikia.com/wiki/デュラトリ
巨大数研究 Wiki - ゴッパトス http://ja.googology.wikia.com/wiki/ゴッパトス
Googology Wiki - User blog:Deedlit11/Bignum Bakeoff appetizer
Veblen, O. (1908), Continuous increasing functions of finite and transfinite ordinals. Transactions of the American Mathematical Society 9 (3): 280–292 http://dx.doi.org/10.1090/S0002-9947-1908-1500814-9
Takeuti, G. (1960) Ordinal diagrams II. Journal of the Mathematical Society of Japan 12: 385–391. doi:10.2969/jmsj/01240385
八杉満利子 (1974) 「Ordinal Diagram について」数学 26(2): 121–136. doi:10.11429/sugaku1947.26.121
Buchholz, W. (1986) A new system of proof-theoretic ordinal functions. Annals of Pure and Applied Logic 32, 195–207. doi:10.1016/0168-0072(86)90052-7
Rathjen, M. and Weiermann, A. (1993) Proof theoretic investigations of Kruskal’s theorem. Annals of Pure and Applied Logic 60(1), 49–88. doi:10.1016/0168-0072(93)90192-G
Simpson, S. G. (2009) Subsystems of second order arithmetic, Perspectives in Logic (2nd ed.). Cambridge University Press, England.
Ordinal Notation http://web.mit.edu/dmytro/www/other/OrdinalNotation.htm
巨大数探索スレッド 10 http://wc2014.2ch.net/test/read.cgi/math/1384444271/167
巨大数研究 Wiki - ペア数列数 http://ja.googology.wikia.com/wiki/ペア数列数
Buchholz, W. (1987) An independence result for $(\Pi_1^1\)-\(\text{CA})\)+\(\text{BI}$. Annals of Pure and Applied Logic 33 131-155. doi:10.1016/0168-0072(87)90078-9
巨大数研究 Wiki - バード数 http://ja.googology.wikia.com/wiki/バード数
巨大数研究 Wiki - BEAF http://ja.googology.wikia.com/wiki/BEAF
http://googology.wikia.com/wiki/User_blog:Hyp_cos/Idea_for_legion
バシク行列計算機 http://gyafun.jp/ln/basmat.cgi
バシク行列計算機のソースコード http://gyafun.jp/ln/basmat.cgi?ini=s
Steps Toward Infinity! https://stepstowardinfinity.wordpress.com/array/
巨大数研究 Wiki - ローダー数 http://ja.googology.wikia.com/wiki/ローダー数
Gonthier, G. (2008) Formal proof – The four-color theorem. Notices of the American Mathematical Society 55 (11):1382–1393. http://www.ams.org/notices/200811/tx081101382p.pdf
https://u.osu.edu/friedman.8/files/2014/01/EnormousInt.12pt.6_1_00-23kmig3.pdf
http://www.cs.nyu.edu/pipermail/fom/2010-January/014282.html
Cantor’s Attic http://cantorsattic.info
http://www.cs.nyu.edu/pipermail/fom/2009-December/014276.html
MathWorld - Busy Beaver http://mathworld.wolfram.com/BusyBeaver.html
Chu-Carroll, M. C. 著 cocoatomo 訳 (2016) 『グッド・マス : ギークのための数・論理・計算機科学』オーム社
Rado, T. (1962) On non-computable functions. Bell System Technical Journal 41: 877–884. doi:10.1002/j.1538-7305.1962.tb00480.x
Yedidia, A. and Aeronson, S. (2016) A relatively small Turing machine whose behavior is independent of set theory. Complex Systems 25(4). arXiv:1605.04343
Dobrinen, N. L. and Simpson, S. G. (2004) Almost everywhere domination. Journal of Symbolic Logic 69: 914–922.
巨大数研究 Wiki - クサイ関数 http://ja.googology.wikia.com/wiki/クサイ関数
Big Number Duel http://web.mit.edu/arayo/www/bignums.html
Agustin Rayo http://web.mit.edu/arayo/www/
Adam Elga http://www.princeton.edu/~adame/
http://googology.wikia.com/wiki/User_blog:Kyodaisuu/English_description_of_ Fish_numbers
First-order oodle theory http://snappizz.com/foot