巨大数探索スレッド12 [無断転載禁止]©2ch.net

[0001 １３２人目の素数さん 2017/01/20(金) 23:38:41.80 ID:cKrQZH+b]

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

前スレ
　http://rio2016.2ch.net/test/read.cgi/math/1448211924/
巨大数研究室
　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/

[0992 １３２人目の素数さん 2017/12/07(木) 23:43:52.95 ID:ufOCXl4V]

ん？？？
たとえばビジービーバー関数は普通に定義域も値域も自然数だけど
疑問の余地があるか？

[0993 １３２人目の素数さん 2017/12/07(木) 23:44:42.72 ID:ufOCXl4V]

自然数すべてに対してちゃんと定義されているよ
少なくともビジービーバー関数は

[0994 １３２人目の素数さん 2017/12/08(金) 12:36:46.95 ID:voUPC2N3]

>>991
定義されていれば定義域はそれで決まる。値域は不明でも構わない。

[0995 １３２人目の素数さん 2017/12/08(金) 12:58:58.39 ID:TcFA1nUC]

>>994
よくわかりません。
値域が不明なのと無いのとは別ではないんでしょうか？

[0996 １３２人目の素数さん 2017/12/08(金) 13:03:28.84 ID:voUPC2N3]

>>995
その通り。

[0997 １３２人目の素数さん 2017/12/08(金) 13:58:18.42 ID:8OCV+PCP]

つまり関数には定義域は与えられていても値域が与えられていなことが考えられる、という主張だろうか？
言語の表現力の問題のような気がする

[0998 １３２人目の素数さん 2017/12/08(金) 14:46:23.96 ID:voUPC2N3]

>>997
＞言語の表現力の問題のような気がする

kwsk

[0999 １３２人目の素数さん 2017/12/08(金) 15:36:46.12 ID:WxsRNW2m]

ひょっとして全域性と全射を取り違えてるだけじゃ…

[1000 １３２人目の素数さん 2017/12/08(金) 16:40:01.48 ID:voUPC2N3]

>>999
？