[過去ログ] 巨大数探索スレッド12 [無断転載禁止]©2ch.net (1002レス)
上下前次1-新
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
1(1): 2017/01/20(金)23:38 ID:cKrQZH+b(1/3) AAS
大きな実数を探索するスレッドです。
前スレ
2chスレ:math
巨大数研究室
外部リンク:www.geocities.co.jp
巨大数 (Wikipedia)
外部リンク:ja.wikipedia.org
ふぃっしゅっしゅ氏の巨大数論PDF
外部リンク:gyafun.jp
たろう氏のまとめ
省5
983: 2017/12/07(木)16:32 ID:rVmL7j59(2/2) AAS
>>982
逆
984: 2017/12/07(木)17:59 ID:L1njgjdJ(1/4) AAS
>>982
逆
985: 2017/12/07(木)18:32 ID:Q6aE9F0J(1) AAS
補足すると、全域性を証明することができないというのはその関数を作るために対角化した言語で証明できない
という意味であってまったくできないというわけではない
986(1): 2017/12/07(木)18:56 ID:L1njgjdJ(2/4) AAS
↑関数と写像の区別がついてない
987(1): 2017/12/07(木)19:28 ID:bDhs7sJd(1/2) AAS
>>986
この場合において、函数と写像を区別する必要性って何?
反論したい訳じゃなく、純粋に教えてほしい
988: 2017/12/07(木)19:58 ID:L1njgjdJ(3/4) AAS
>>987
関数というのは、とにかく定義されていればいい。
989(1): 2017/12/07(木)20:02 ID:L1njgjdJ(4/4) AAS
写像というのは、定義域と値域が与えられていないと始まらない。
990: 2017/12/07(木)20:04 ID:H3oX9IXw(1) AAS
なんか新鮮な展開が見られそうだ
991(1): 2017/12/07(木)23:00 ID:bDhs7sJd(2/2) AAS
>>989
函数には、定義域や値域は無いんでしょうか?
992: 2017/12/07(木)23:43 ID:ufOCXl4V(1/2) AAS
ん???
たとえばビジービーバー関数は普通に定義域も値域も自然数だけど
疑問の余地があるか?
993: 2017/12/07(木)23:44 ID:ufOCXl4V(2/2) AAS
自然数すべてに対してちゃんと定義されているよ
少なくともビジービーバー関数は
994(1): 2017/12/08(金)12:36 ID:voUPC2N3(1/4) AAS
>>991
定義されていれば定義域はそれで決まる。値域は不明でも構わない。
995(1): 2017/12/08(金)12:58 ID:TcFA1nUC(1) AAS
>>994
よくわかりません。
値域が不明なのと無いのとは別ではないんでしょうか?
996: 2017/12/08(金)13:03 ID:voUPC2N3(2/4) AAS
>>995
その通り。
997(1): 2017/12/08(金)13:58 ID:8OCV+PCP(1) AAS
つまり関数には定義域は与えられていても値域が与えられていなことが考えられる、という主張だろうか?
言語の表現力の問題のような気がする
998: 2017/12/08(金)14:46 ID:voUPC2N3(3/4) AAS
>>997
>言語の表現力の問題のような気がする
kwsk
999(1): 2017/12/08(金)15:36 ID:WxsRNW2m(1) AAS
ひょっとして全域性と全射を取り違えてるだけじゃ…
1000: 2017/12/08(金)16:40 ID:voUPC2N3(4/4) AAS
>>999
?
1001(1): 1001 Over 1000 Thread AAS
このスレッドは1000を超えました。
新しいスレッドを立ててください。
life time: 321日 17時間 1分 20秒
1002(1): 1002 Over 1000 Thread AAS
5ちゃんねるの運営はプレミアム会員の皆さまに支えられています。
運営にご協力お願いいたします。
───────────────────
《プレミアム会員の主な特典》
★ 5ちゃんねる専用ブラウザからの広告除去
★ 5ちゃんねるの過去ログを取得
★ 書き込み規制の緩和
───────────────────
会員登録には個人情報は一切必要ありません。
月300円から匿名でご購入いただけます。
省4
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.009s