巨大数探索スレッド13

[0001 １３２人目の素数さん 2017/12/08(金) 22:59:03.88 ID:8DbvNjq1]

大きな実数を探索するスレッドです。

前スレ
　http://rio2016.5ch.net/test/read.cgi/math/1484923121/
巨大数研究室
　http://www.geocities.co.jp/Technopolis/9946/
巨大数 (Wikipedia)
　http://ja.wikipedia.org/wiki/%E5%B7%A8%E5%A4%A7%E6%95%B0
ふぃっしゅっしゅ氏の巨大数論PDFと書籍
　http://gyafun.jp/ln/
たろう氏のまとめ
　http://gyafun.jp/ln/archive/7-571.txt
Dmytro Taranovsky の順序数表記
　http://web.mit.edu/dmytro/www/other/OrdinalNotation.htm
巨大数研究Wiki
　http://ja.googology.wikia.com/wiki/

[0431 １３２人目の素数さん 2018/03/26(月) 23:12:20.84 ID:mhpZXbRa]

全く違うというほど違わないと思うが。
計算可能なら定義可能だろう。

[0432 １３２人目の素数さん 2018/03/26(月) 23:26:44.84 ID:mhpZXbRa]

対偶を取れば、定義可能でないなら計算可能でない、だな