[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋4 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
956(1): 2022/11/09(水)06:06 ID:KNLaRzNx(3/7) AAS
ちなみに箱が離散的ではなく連続的に配置された関数版もあり
で、連続関数に制限したとしても、９９個の決定番号の最大値Dに対して
D+ε以上を全部開ける（ε>0）とすれば問題ない
（連続性からf(D)の値を推定する方法をこれで排除できる）
ちなみに解析関数に制限するのはNG
ベキ級数展開されたらわかっちゃうからｗ
957: 2022/11/09(水)06:07 ID:KNLaRzNx(4/7) AAS
1はグダグダいってるが
そもそも決定番号が分かってないから
問題外
958: 2022/11/09(水)06:10 ID:KNLaRzNx(5/7) AAS
決定番号は∞にならない
勝手にNをN∪{N}とコンパクト化するのはNG（嘲）
959: 2022/11/09(水)06:13 ID:KNLaRzNx(6/7) AAS
>>949
＞人間にとって、「知る」という概念は
＞本質的に「構成的な手続きによってそこに到達する」という
＞ニュアンスを含んでいるので、
その言い訳では、１００個の有理数の無限小数展開の問題は排除できない
完全に構成的に代表が選べるから
（注：無限列だから、循環節か否か判断できない、とかいうのはNG
それ言い出すとそもそも無限列扱えないｗ）
960: 2022/11/09(水)06:15 ID:KNLaRzNx(7/7) AAS
>>944
＞「選択函数の値の利用」というのは
＞選択公理の使い方として極めて異例なのでは？
異例だからダメ、とはいえない
961: 2022/11/09(水)12:39 ID:DZgSW3Qq(1) AAS
>>944
選択関数が存在する以上、定義域の任意の元に対する関数値は定まっている。(そうでなければ選択関数が存在するとは言えない)
その値を使って何が悪いと？
962: 2022/11/09(水)22:13 ID:v4oHq1u9(1) AAS
>>944
＞「選択函数の値の利用」というのは
＞選択公理の使い方として極めて異例なのでは？
極めて異例？ どういうこと？
「任意の実数列{a_n}について、○○」という言明で {a_n}は選択関数で a_nは選択関数の値なんだけど
963: 2022/11/11(金)23:01 ID:y1xng6Rh(1/2) AAS
解法は成立してるし、出題列が定数であれば「自明」
とは初期の頃から言われている通り。
でも、1か月程前に考えているとふと「ん？」というスポットに入った。
それだけのことです。
964(1): 2022/11/11(金)23:36 ID:y1xng6Rh(2/2) AAS
セタぼんはどうせ将棋もヘボなんだろう。
AIに将棋を教えて貰っていると、人間の思考なんて
穴だらけだというのは分かる。
読んでると思っても読めてない。
仮に1手で3種類の有力変化があるとして
2手で9通り=大体10通りと考えて
16手程度の変化でも1億に達してしまう。
だから、読み切れるわけがない。
「名人は最善手を読んでるから、省略できるんだ」
という説はあったが、それも只の伝説だった。
省3
965: 2022/11/12(土)09:49 ID:r4QYDURa(1/17) AAS
>>964
そもそも将棋の駒の動かし方も知らなそうｗ
966: 2022/11/12(土)09:51 ID:r4QYDURa(2/17) AAS
AIとか性懲りもなく書き続ける時点で
数学のこと何もわかってない白痴とわかる
967: 2022/11/12(土)09:51 ID:r4QYDURa(3/17) AAS
数学の何たるかを分かってたら
そもそもAIの話なんか絶対しない
無意味だから
968: 2022/11/12(土)09:52 ID:r4QYDURa(4/17) AAS
ヒトが理解するために行う学問で
AIによる証明とかやっても無意味
969: 2022/11/12(土)09:52 ID:r4QYDURa(5/17) AAS
AIにやらせる意味があるのは
なんでできるか理解する必要がないものｗ
970: 2022/11/12(土)09:53 ID:r4QYDURa(6/17) AAS
例えば人がなぜ自転車に乗れるか理解する必要はない
だからAIにやらせる意味がある
971: 2022/11/12(土)09:55 ID:r4QYDURa(7/17) AAS
リーマン予想はもし成り立つとすればなぜ成り立つのか理解したいもの
だからAIが訳の分からん大量の推論の結果証明に成功したとしても
その証明がヒトが読めるものでなければ意味がない
972: 2022/11/12(土)09:56 ID:r4QYDURa(8/17) AAS
四色定理の証明に拒否反応を示す数学者が多々いたのは
その証明が理解する意味があると思えるものでなかったからだろう
973(1): 2022/11/12(土)09:57 ID:r4QYDURa(9/17) AAS
将棋は、人がAIに勝てなくなったら
児戯としてはともかく
競技としては廃れそうな気がする
馬鹿馬鹿しいから
974: 2022/11/12(土)09:58 ID:r4QYDURa(10/17) AAS
という意味で、数学板でAIの話をするのは大体馬鹿素人ｗ
975: 2022/11/12(土)09:58 ID:r4QYDURa(11/17) AAS
素人は数学でオチコボレたから、
数学者に嫉妬し憎悪してる
サルってみっともないなｗ
上下前次1-新書関写板覧索設栞歴
あと 27 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.012s