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

**１３２人目の素数さん** · 2017/01/20(金) 23:38:41.80

**１３２人目の素数さん** · 2017/12/05(火) 18:44:53.07

グッドスタイン数列の収束速度をもっと遅くしたいなぁ
何かいい方法ないだろうか

**１３２人目の素数さん** · 2017/12/05(火) 20:06:47.79

>>970
理解できてない証拠

**１３２人目の素数さん** · 2017/12/05(火) 21:47:52.92

ビジービーバーも嫌いじゃないけどね。
そろそろΣ(5)とかΣ(6)を確定させてほしいもんだ。

**１３２人目の素数さん** · 2017/12/05(火) 23:32:32.76

確定してるけど

**１３２人目の素数さん** · 2017/12/05(火) 23:59:18.78

なんか俺が計算不可能レベルを屁理屈言ってることになってる？

再帰が意味をなさなくなって、独自性を認められるハードルが高い感じ

**１３２人目の素数さん** · 2017/12/06(水) 00:37:49.90

>>974
いくつ？

**１３２人目の素数さん** · 2017/12/06(水) 07:24:26.84

ビジービーバー関数とかラヨ関数とかの計算不可能関数をちゃんと定義されてると考えるか寿司屋の卵焼きと考えるかはその人自身の哲学の問題だから大変よね

**１３２人目の素数さん** · 2017/12/06(水) 13:22:38.34

定義はちゃんとされてる

**１３２人目の素数さん** · 2017/12/06(水) 13:24:33.75

'9' を横に並べて大きな数を表現してる人からすれば
指数表記が反則に見えるのも仕方が無いが
枠を越えないと進歩がない

**１３２人目の素数さん** · 2017/12/06(水) 16:48:56.99

googleが将棋とチェスに参入したようだ。巨大数にも加わってほしい。無理か

**１３２人目の素数さん** · 2017/12/06(水) 17:43:32.55

論理ボンブとして急膨張させる目盛り利用料の嫌がらせソフトウェアジャンルの需要は高い。

**１３２人目の素数さん** · 2017/12/07(木) 16:09:16.21

<<978
全域性を証明することができない関数に対して、十分な定義がされている
と考えるかどうかってこと

**１３２人目の素数さん** · 2017/12/07(木) 16:32:53.05

>>982
逆

**１３２人目の素数さん** · 2017/12/07(木) 17:59:15.02

>>982
逆

**１３２人目の素数さん** · 2017/12/07(木) 18:32:34.39

補足すると、全域性を証明することができないというのはその関数を作るために対角化した言語で証明できない
という意味であってまったくできないというわけではない

**１３２人目の素数さん** · 2017/12/07(木) 18:56:13.79

↑関数と写像の区別がついてない

**１３２人目の素数さん** · 2017/12/07(木) 19:28:19.82

>>986
この場合において、函数と写像を区別する必要性って何？
反論したい訳じゃなく、純粋に教えてほしい

**１３２人目の素数さん** · 2017/12/07(木) 19:58:08.80

>>987
関数というのは、とにかく定義されていればいい。

**１３２人目の素数さん** · 2017/12/07(木) 20:02:38.09

写像というのは、定義域と値域が与えられていないと始まらない。

**１３２人目の素数さん** · 2017/12/07(木) 20:04:30.89

なんか新鮮な展開が見られそうだ

**１３２人目の素数さん** · 2017/12/07(木) 23:00:28.20

>>989
函数には、定義域や値域は無いんでしょうか？

**１３２人目の素数さん** · 2017/12/07(木) 23:43:52.95

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

**１３２人目の素数さん** · 2017/12/07(木) 23:44:42.72

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

**１３２人目の素数さん** · 2017/12/08(金) 12:36:46.95

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

**１３２人目の素数さん** · 2017/12/08(金) 12:58:58.39

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

**１３２人目の素数さん** · 2017/12/08(金) 13:03:28.84

>>995
その通り。

**１３２人目の素数さん** · 2017/12/08(金) 13:58:18.42

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

**１３２人目の素数さん** · 2017/12/08(金) 14:46:23.96

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

kwsk

**１３２人目の素数さん** · 2017/12/08(金) 15:36:46.12

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

**１３２人目の素数さん** · 2017/12/08(金) 16:40:01.48

>>999
？

**1001** · Over 1000

このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 321日 17時間 1分 20秒