1001:132人目の素数さん
17/12/05 23:32:32.76 pmkydhzZ.net
確定してるけど
1002:132人目の素数さん
17/12/05 23:59:18.78 sYrEEels.net
なんか俺が計算不可能レベルを屁理屈言ってることになってる?
再帰が意味をなさなくなって、独自性を認められるハードルが高い感じ
1003:132人目の素数さん
17/12/06 00:37:49.90 r+bDCs4z.net
>>974
いくつ?
1004:132人目の素数さん
17/12/06 07:24:26.84 a5+MVP/Q.net
ビジービーバー関数とかラヨ関数とかの計算不可能関数をちゃんと定義されてると考えるか寿司屋の卵焼きと考えるかはその人自身の哲学の問題だから大変よね
1005:132人目の素数さん
17/12/06 13:22:38.34 5xhnDxQ2.net
定義はちゃんとされてる
1006:132人目の素数さん
17/12/06 13:24:33.75 5xhnDxQ2.net
'9' を横に並べて大きな数を表現してる人からすれば
指数表記が反則に見えるのも仕方が無いが
枠を越えないと進歩がない
1007:132人目の素数さん
17/12/06 16:48:56.99 JfLfM3GG.net
googleが将棋とチェスに参入したようだ。巨大数にも加わってほしい。無理か
1008:132人目の素数さん
17/12/06 17:43:32.55 pxQATDEM.net
論理ボンブとして急膨張させる目盛り利用料の嫌がらせソフトウェアジャンルの需要は高い。
1009:132人目の素数さん
17/12/07 16:09:16.21 rVmL7j59.net
<<978
全域性を証明することができない関数に対して、十分な定義がされている
と考えるかどうかってこと
1010:132人目の素数さん
17/12/07 16:32:53.05 rVmL7j59.net
>>982
逆
1011:132人目の素数さん
17/12/07 17:59:15.02 L1njgjdJ.net
>>982
逆
1012:132人目の素数さん
17/12/07 18:32:34.39 Q6aE9F0J.net
補足すると、全域性を証明することができないというのはその関数を作るために対角化した言語で証明できない
という意味であってまったくできないというわけではない
1013:132人目の素数さん
17/12/07 18:56:13.79 L1njgjdJ.net
↑関数と写像の区別がついてない
1014:132人目の素数さん
17/12/07 19:28:19.82 bDhs7sJd.net
>>986
この場合において、函数と写像を区別する必要性って何?
反論したい訳じゃなく、純粋に教えてほしい
1015:132人目の素数さん
17/12/07 19:58:08.80 L1njgjdJ.net
>>987
関数というのは、とにかく定義されていればいい。
1016:132人目の素数さん
17/12/07 20:02:38.09 L1njgjdJ.net
写像というのは、定義域と値域が与えられていないと始まらない。
1017:132人目の素数さん
17/12/07 20:04:30.89 H3oX9IXw.net
なんか新鮮な展開が見られそうだ
1018:132人目の素数さん
17/12/07 23:00:28.20 bDhs7sJd.net
>>989
函数には、定義域や値域は無いんでしょうか?
1019:132人目の素数さん
17/12/07 23:43:52.95 ufOCXl4V.net
ん???
たとえばビジービーバー関数は普通に定義域も値域も自然数だけど
疑問の余地があるか?
1020:132人目の素数さん
17/12/07 23:44:42.72 ufOCXl4V.net
自然数すべてに対してちゃんと定義されているよ
少なくともビジービーバー関数は
1021:132人目の素数さん
17/12/08 12:36:46.95 voUPC2N3.net
>>991
定義されていれば定義域はそれで決まる。値域は不明でも構わない。
1022:132人目の素数さん
17/12/08 12:58:58.39 TcFA1nUC.net
>>994
よくわかりません。
値域が不明なのと無いのとは別ではないんでしょうか?
1023:132人目の素数さん
17/12/08 13:03:28.84 voUPC2N3.net
>>995
その通り。
1024:132人目の素数さん
17/12/08 13:58:18.42 8OCV+PCP.net
つまり関数には定義域は与えられていても値域が与えられていなことが考えられる、という主張だろうか?
言語の表現力の問題のような気がする
1025:132人目の素数さん
17/12/08 14:46:23.96 voUPC2N3.net
>>997
>言語の表現力の問題のような気がする
kwsk
1026:132人目の素数さん
17/12/08 15:36:46.12 WxsRNW2m.net
ひょっとして全域性と全射を取り違えてるだけじゃ…
1027:132人目の素数さん
17/12/08 16:40:01.48 voUPC2N3.net
>>999
?
1028:1001
Over 1000 Thread.net
このスレッドは1000を超えました。
新しいスレッドを立ててください。
life time: 321日 17時間 1分 20秒
1029:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています