巨大数論:参考サイト

巨大数論の参考サイト一覧です。
Reference list of Googology in Japan.


  1. 巨大数入門 Kindle版 https://www.amazon.co.jp/dp/B01N4KCIJQ

  2. 巨大数論(本書)のホームページ http://gyafun.jp/ln/

  3. Large Numbers http://www.mrob.com/pub/math/largenum.html

  4. Kaufman, E. L. et al. (1949). The discrimination of visual number. American Journal of Psychology 62 (4): 498–525. doi:10.2307/1418556

  5. 巨大数研究 Wiki - 無量大数 http://ja.googology.wikia.com/wiki/無量大数

  6. 無量大数の彼方へ http://www.sf.airnet.ne.jp/~ts/language/largenumber.html

  7. http://www.otani.ac.jp/yomu_page/b_yougo/nab3mq0000000r5r.html

  8. 天女が岩をなでたなら http://d.hatena.ne.jp/inyoko/20111015/How_long_is_kalpa2

  9. けし粒はいつなくなる http://d.hatena.ne.jp/inyoko/20111008/How_long_is_kalpa

  10. Universe as an Infant: Fatter Than Expected and Kind of Lumpy (New York Times) http://nyti.ms/YrtRRV

  11. WikiArc: ノート:首楞厳経 http://bit.ly/1b4Myz9 (labo.wikidharma.org)

  12. http://ja.googology.wikia.com/wiki/エディントン数

  13. http://ja.googology.wikia.com/wiki/ビギンティリオン

  14. http://ja.googology.wikia.com/wiki/センティリオン

  15. http://ja.googology.wikia.com/wiki/グーゴル

  16. Kasner, E. and Newman, J. R. (1940) Mathematics and the Imagination. Simon & Schuster, New York.

  17. http://graphics.stanford.edu/~dk/google_name_origin.html

  18. 巨大数研究 Wiki - シャノン数 http://ja.googology.wikia.com/wiki/シャノン数

  19. Shannon, C. (1950) Programming a computer for playing chess. Philosophical Magazine 41 (314)

  20. Hardy, G. H. (1940) Ramanujan: twelve lectures on subjects suggested by his life and work. Cambridge University Press.

  21. 篠田正人 (2008) 将棋における実現可能局面数について, IPSJ Symposium Series 2008(11) 116–119.

  22. 巨大数研究 Wiki - 阿伽羅 http://ja.googology.wikia.com/wiki/阿伽羅

  23. コンピュータ将棋「あから」 https://www.ipsj.or.jp/event/shogi.html

  24. Number of legal Go positions https://tromp.github.io/go/legal.html

  25. Conway, J. H. and Guy, R. K. (1996) The book of numbers. Copernicus. 訳書『数の本』丸善出版.

  26. http://ja.googology.wikia.com/wiki/ミリリオン

  27. 高精度計算サイト (CASIO) http://keisan.casio.jp/

  28. Arbitrary Precision Calculator http://apfloat.appspot.com/

  29. http://www.javascripter.net/math/calculators/100digitbigintcalculator.htm

  30. http://ja.googology.wikia.com/wiki/砂粒を数えるもの

  31. Harrison, E. R. (2000) Cosmology - The Science of the Universe. Cambridge University Press. pp. 481–482.

  32. http://ja.googology.wikia.com/wiki/不可説不可説転

  33. 鈴木真治 (2016)『巨大数』岩波書店

  34. 末綱恕一 (1957) 『華厳経の世界』春秋社

  35. Cleary, T. (1993) The flower ornament scripture: a translation of the Avatamsaka Sutra. Shambhala, Colorado, USA.

  36. http://iteror.org/big/book/ch1/ch1_7.html

  37. http://ja.googology.wikia.com/wiki/グーゴルプレックス

  38. http://ja.googology.wikia.com/wiki/Sbiis_Saibian

  39. http://ja.googology.wikia.com/wiki/ハイパーE表記

  40. One to Infinity https://sites.google.com/site/largenumbers/

  41. http://ja.googology.wikia.com/wiki/宇宙論の巨大数

  42. 巨大数研究 Wiki - 過剰数 http://ja.googology.wikia.com/wiki/過剰数

  43. Robin, G. (1984) Grandes valeurs de la fonction somme des diviseurs et hypothse de Riemann. Journal de Mathmatiques Pures et Appliques 63, 187–213.

  44. https://oeis.org/A004394

  45. 巨大数研究 Wiki - スキューズ数 http://ja.googology.wikia.com/wiki/スキューズ数

  46. MathWorld - Skewes Number http://mathworld.wolfram.com/SkewesNumber.html

  47. 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

  48. 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

  49. 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

  50. Hypercalc http://www.mrob.com/pub/perl/hypercalc.html

  51. http://ja.googology.wikia.com/wiki/宇宙論の巨大数

  52. Longest Possible Time http://www.numberphile.com/videos/longest_time.html

  53. Page, D. N. (1994) Information loss in black holes and/or conscious beings? http://arxiv.org/pdf/hep-th/9411193

  54. https://twitter.com/astrophys_tan/status/391928927012134912

  55. 巨大数研究 Wiki - 永遠の努力 http://ja.googology.wikia.com/wiki/永遠の努力

  56. http://www.polytope.net/hedrondude/foreverendeavor.htm

  57. 巨大数研究 Wiki - ベントレー数 http://ja.googology.wikia.com/wiki/ベントレー数

  58. pixiv コミック『寿司 虚空編』 http://comic.pixiv.net/works/1505

  59. http://ja.googology.wikia.com/wiki/巨大数探索スレッド

  60. 巨大数研究室 http://www.geocities.co.jp/Technopolis/9946/

  61. http://www.slideshare.net/DoomKobayashi/presentations

  62. 鈴木真治 (2016) 『巨大数』岩波書店

  63. Googology Wiki http://googology.wikia.com/

  64. 巨大数研究 Wiki http://ja.googology.wikia.com/

  65. 巨大数研究 Wiki - 矢印表記 http://ja.googology.wikia.com/wiki/矢印表記

  66. MathWorld - Arrow Notation http://mathworld.wolfram.com/ArrowNotation.html

  67. Knuth, D. E. (1976) Mathematics and Computer Science: Coping with Finiteness. Science 194, 1235–1242. doi:10.1126/science.194.4271.1235

  68. MathWorld - Power Tower http://mathworld.wolfram.com/PowerTower.html

  69. http://ja.googology.wikia.com/wiki/テトレーション

  70. Goodstein, R. L. (1947). Transfinite Ordinals in Recursive Number Theory. Journal of Symbolic Logic 12(4): 123–129. doi:10.2307/2266486

  71. http://ja.googology.wikia.com/wiki/ハイパー演算子

  72. http://ja.googology.wikia.com/wiki/ペンテーション

  73. http://ja.googology.wikia.com/wiki/トリトリ

  74. http://ja.googology.wikia.com/wiki/ギャゴル

  75. http://ja.googology.wikia.com/wiki/ヘキセーション

  76. http://ja.googology.wikia.com/wiki/ユーザーブログ:Kyodaisuu/テトレーションの連続関数化

  77. http://ja.googology.wikia.com/wiki/グッドスタイン数列

  78. http://mathworld.wolfram.com/GoodsteinSequence.html

  79. 田中一之, 角田法也, 鹿島亮, 菊池誠 (1997) 『数学基礎論講義―不完全性定理とその発展』日本評論社

  80. The Goodstein sequence G(3) https://oeis.org/A215409

  81. 田中一之, 角田法也, 鹿島亮, 菊池誠 (1997) 『数学基礎論講義―不完全性定理とその発展』日本評論社

  82. http://ja.googology.wikia.com/wiki/アッカーマン関数

  83. Ackermann, W. (1928) Zum Hilbertschen Aufbau der reellen Zahlen. Mathematische Annalen 99: 118–133. doi:10.1007/BF01459088

  84. 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

  85. http://ja.googology.wikia.com/wiki/スタインハウス・モーザー表記

  86. MathWorld - Steinhaus-Moser Notation http://mathworld.wolfram.com/Steinhaus-MoserNotation.html

  87. Steinhaus, H. (1983) Mathematical Snapshots. (Galaxy Books) Oxford University Press.

  88. 巨大数研究 Wiki - モーザー数 http://ja.googology.wikia.com/wiki/モーザー数

  89. 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

  90. 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

  91. 巨大数研究 Wiki - グラハム数 http://ja.googology.wikia.com/wiki/グラハム数

  92. 『寿司 虚空編』第1話 http://comic.pixiv.net/viewer/stories/6994

  93. Norris McWhirter et al. (1980) Guiness Book of World Records 1980. p. 193.

  94. Conway, J. H. and Guy, R. K. (1996) The book of Numbers. Copernicus. 訳書『数の本』丸善出版.

  95. 巨大数研究 Wiki - チェーン表記 http://ja.googology.wikia.com/wiki/チェーン表記

  96. ニコニコ動画 - 巨大数動画シリーズ http://www.nicovideo.jp/mylist/35451262

  97. http://ja.googology.wikia.com/wiki/巨大数探索スレッド

  98. http://ja.googology.wikia.com/wiki/多変数アッカーマン関数

  99. http://peterhurford.com/

  100. 巨大数研究 Wiki - チェーン表記 http://ja.googology.wikia.com/wiki/チェーン表記

  101. http://ja.googology.wikia.com/wiki/ふぃっしゅ数

  102. http://ja.googology.wikia.com/wiki/巨大数探索スレッド

  103. 2ch過去ログ http://www.geocities.co.jp/Technopolis/9946/log/ln023.html

  104. http://ja.googology.wikia.com/wiki/ふぃっしゅ数バージョン1

  105. http://ja.googology.wikia.com/wiki/ユーザーブログ:Mikadukim/SS変換の明示的な表記について

  106. 『寿司 虚空編』第2話 http://comic.pixiv.net/viewer/stories/6995

  107. 2ch過去ログ http://www.geocities.co.jp/Technopolis/9946/log/ln024.html

  108. Twitter @aycabta https://twitter.com/aycabta

  109. https://github.com/aycabta/fish-number

  110. https://github.com/aycabta/ackermann

  111. https://github.com/aycabta/arrow-notation

  112. https://github.com/aycabta/chained-arrow-notation

  113. 巨大数探索スレッド3の過去ログ http://www.geocities.co.jp/Technopolis/9946/log/ln032.html

  114. Togetter: ふぃっしゅ数の計算 http://togetter.com/li/568230

  115. Twitter @aetonal (2015年9月14日) https://twitter.com/aetonal/status/643407430471282688

  116. http://ja.googology.wikia.com/wiki/ふぃっしゅ数バージョン2

  117. http://ja.googology.wikia.com/wiki/ふぃっしゅ数バージョン3

  118. http://ja.googology.wikia.com/wiki/ユーザーブログ:Mikadukim/ふぃっしゅ数バージョン3の書き換え

  119. 巨大数研究 Wiki - Chris Bird http://ja.googology.wikia.com/wiki/Chris_Bird

  120. Chris Bird’s Super Huge Numbers http://mrob.com/users/chrisb/

  121. http://ja.googology.wikia.com/wiki/Jonathan_Bowers

  122. Hedrondude’s Home Page http://www.polytope.net/hedrondude/home.htm

  123. 巨大数研究 Wiki - BEAF http://ja.googology.wikia.com/wiki/BEAF

  124. 巨大数研究 Wiki - 配列表記 http://ja.googology.wikia.com/wiki/配列表記

  125. 第1回国際巨大数オリンピック http://ja.googology.wikia.com/wiki/スレッド:1793

  126. http://googology.wikia.com/wiki/User_blog:Wythagoras/Results_of_the_First _International_Googological_Olympiad

  127. 巨大数研究 Wiki - バードの証明 http://ja.googology.wikia.com/wiki/バードの証明

  128. 5変数以上のバードの線形表記がチェーン表記よりも強い証明 http://www.mrob.com/users/chrisb/Proof.pdf

  129. MathWorld - Ordinal Number http://mathworld.wolfram.com/OrdinalNumber.html

  130. 他の定義方法もあるが、本書では MathWorld で採用されていて、簡明なこの定義を使って説明する。ZF公理系では順序同型の集合全体を集合として取り扱うことができないという問題はあるものの、型理論やQuineの新基礎集合論ではこの定義も有効であると英語版 Wikipedia には記述されている。

  131. Wikipedia - 順序集合 http://ja.wikipedia.org/wiki/順序集合

  132. 数学 Wiki - 整列集合 http://ja.math.wikia.com/wiki/整列集合

  133. Wikipedia - 整列集合 http://ja.wikipedia.org/wiki/整列集合

  134. Wikipedia - 選択公理 http://ja.wikipedia.org/wiki/選択公理

  135. 選択公理 http://alg-d.com/math/ac/

  136. 数学 Wiki - 順序型 http://ja.math.wikia.com/wiki/順序型

  137. Wikipedia - 順序型 http://ja.wikipedia.org/wiki/順序型

  138. MathWorld - Order Type http://mathworld.wolfram.com/OrderType.html

  139. Wikipedia - 全単射 http://ja.wikipedia.org/wiki/全単射

  140. http://www.proofwiki.org/wiki/Definition:Cantor_Normal_Form

  141. http://ja.googology.wikia.com/wiki/ハーディー階層

  142. Hardy, G.H. (1904) A theorem concerning the infinite cardinal numbers. Quarterly Journal of Mathematics 35: 87–94.

  143. 巨大数研究 Wiki - 急増加関数 http://ja.googology.wikia.com/wiki/急増加関数

  144. 田中一之, 角田法也, 鹿島亮, 菊池誠 (1997) 『数学基礎論講義―不完全性定理とその発展』日本評論社

  145. Grzegorczyk, A. (1953) Some classes of recursive functions, Rozprawy Matematyczne 4: 1–45.

  146. 鈴木真治 (2016)『巨大数』岩波書店

  147. Littlewood, J. E. (1953) A mathematician’s miscellany. Methuen

  148. ボロバシュ (編) 金光 滋 (訳) (1990) 『リトルウッドの数学スクランブル』近代科学社

  149. 巨大数研究 Wiki - 緩増加関数 http://ja.googology.wikia.com/wiki/緩増加関数

  150. http://mathworld.wolfram.com/PeanosAxioms.html

  151. 新井敏康 (2005) 「Hilbertの第2問題に関する証明論の展開」数学 57(2): 113-126. doi:10.11429/sugaku1947.57.113

  152. 巨大数研究 Wiki - ドル関数 http://ja.googology.wikia.com/wiki/ドル関数

  153. http://ja.googology.wikia.com/wiki/ふぃっしゅ数バージョン5

  154. Goodstein, R. L. (1944). On the restricted ordinal theorem. Journal of Symbolic Logic 9 (2): 33-41. doi:10.2307/2266486

  155. 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

  156. Caicedo, A. (2007) Goodstein’s function. Revista Colombiana de Matemáticas 41 (2): 381–391. http://ref.scielo.org/2c53my

  157. http://ja.googology.wikia.com/wiki/原始数列数

  158. http://ja.googology.wikia.com/wiki/ユーザー:BashicuHyudora

  159. http://ja.googology.wikia.com/wiki/ベクレミシェフの虫

  160. 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.

  161. http://ja.googology.wikia.com/wiki/2重リストアッカーマン関数

  162. http://ja.googology.wikia.com/wiki/多重リストアッカーマン関数

  163. 巨大数研究 Wiki - BEAF入門 http://ja.googology.wikia.com/wiki/BEAF入門

  164. 巨大数研究 Wiki - BEAF http://ja.googology.wikia.com/wiki/BEAF

  165. http://ja.googology.wikia.com/wiki/配列次元演算子

  166. Exploding Array Function http://www.polytope.net/hedrondude/array.htm

  167. 巨大数研究 Wiki - デュラトリ http://ja.googology.wikia.com/wiki/デュラトリ

  168. 巨大数研究 Wiki - ゴッパトス http://ja.googology.wikia.com/wiki/ゴッパトス

  169. Googology Wiki - User blog:Deedlit11/Bignum Bakeoff appetizer

  170. 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

  171. http://ja.googology.wikia.com/wiki/オメガ収束点

  172. http://ja.googology.wikia.com/wiki/チャーチ・クリーネ順序数

  173. Takeuti, G. (1960) Ordinal diagrams II. Journal of the Mathematical Society of Japan 12: 385–391. doi:10.2969/jmsj/01240385

  174. 八杉満利子 (1974) 「Ordinal Diagram について」数学 26(2): 121–136. doi:10.11429/sugaku1947.26.121

  175. http://ja.googology.wikia.com/wiki/竹内・フェファーマン・ブーフホルツ順序数

  176. 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

  177. 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

  178. Simpson, S. G. (2009) Subsystems of second order arithmetic, Perspectives in Logic (2nd ed.). Cambridge University Press, England.

  179. Ordinal Notation http://web.mit.edu/dmytro/www/other/OrdinalNotation.htm

  180. 巨大数探索スレッド 10 http://wc2014.2ch.net/test/read.cgi/math/1384444271/167

  181. 巨大数研究 Wiki - ペア数列数 http://ja.googology.wikia.com/wiki/ペア数列数

  182. http://ja.googology.wikia.com/wiki/サブキュービックグラフ数

  183. http://mathworld.wolfram.com/Robertson-SeymourTheorem.html

  184. http://ja.googology.wikia.com/wiki/ブーフホルツのヒドラ

  185. 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

  186. 巨大数研究 Wiki - バード数 http://ja.googology.wikia.com/wiki/バード数

  187. 巨大数研究 Wiki - BEAF http://ja.googology.wikia.com/wiki/BEAF

  188. http://googology.wikia.com/wiki/User_blog:Hyp_cos/Idea_for_legion

  189. http://ja.googology.wikia.com/wiki/ミーミーミーロッカプーワ・ウンパ

  190. http://ja.googology.wikia.com/wiki/バシク行列システム

  191. バシク行列計算機 http://gyafun.jp/ln/basmat.cgi

  192. バシク行列計算機のソースコード http://gyafun.jp/ln/basmat.cgi?ini=s

  193. http://ja.googology.wikia.com/wiki/R関数シリーズ

  194. http://ja.googology.wikia.com/wiki/強配列表記

  195. Steps Toward Infinity! https://stepstowardinfinity.wordpress.com/array/

  196. http://djm.cc/dmoews.html

  197. 巨大数研究 Wiki - ローダー数 http://ja.googology.wikia.com/wiki/ローダー数

  198. https://www.linkedin.com/in/ralph-loader-55934025

  199. 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

  200. http://homepages.ihug.co.nz/~suckfish/

  201. http://ja.googology.wikia.com/wiki/超越整数

  202. https://u.osu.edu/friedman.8/files/2014/01/EnormousInt.12pt.6_1_00-23kmig3.pdf

  203. http://ja.googology.wikia.com/wiki/階層内階層基数

  204. http://ja.googology.wikia.com/wiki/有限約束ゲーム

  205. http://cs.nyu.edu/pipermail/fom/2009-September/014007.html

  206. http://ja.googology.wikia.com/wiki/欲張りクリーク列

  207. http://www.cs.nyu.edu/pipermail/fom/2010-January/014282.html

  208. Cantor’s Attic http://cantorsattic.info

  209. http://www.cs.nyu.edu/pipermail/fom/2009-December/014276.html

  210. http://ja.googology.wikia.com/wiki/ビジービーバー関数

  211. MathWorld - Busy Beaver http://mathworld.wolfram.com/BusyBeaver.html

  212. Chu-Carroll, M. C. 著 cocoatomo 訳 (2016) 『グッド・マス : ギークのための数・論理・計算機科学』オーム社

  213. Rado, T. (1962) On non-computable functions. Bell System Technical Journal 41: 877–884. doi:10.1002/j.1538-7305.1962.tb00480.x

  214. 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

  215. Dobrinen, N. L. and Simpson, S. G. (2004) Almost everywhere domination. Journal of Symbolic Logic 69: 914–922.

  216. 巨大数研究 Wiki - クサイ関数 http://ja.googology.wikia.com/wiki/クサイ関数

  217. http://ja.googology.wikia.com/wiki/ふぃっしゅ数バージョン4

  218. Big Number Duel http://web.mit.edu/arayo/www/bignums.html

  219. Agustin Rayo http://web.mit.edu/arayo/www/

  220. Adam Elga http://www.princeton.edu/~adame/

  221. ラヨ数 http://ja.googology.wikia.com/wiki/ラヨ数

  222. http://ja.googology.wikia.com/wiki/ふぃっしゅ数バージョン7

  223. http://googology.wikia.com/wiki/User_blog:Kyodaisuu/English_description_of_ Fish_numbers

  224. http://ja.googology.wikia.com/wiki/ビッグフット

  225. First-order oodle theory http://snappizz.com/foot

  226. http://ja.googology.wikia.com/wiki/リトルビッゲドン


巨大数論
Googology in Japan