[過去ﾛｸﾞ]
「数学」をプログラミングするには (1002ﾚｽ)
「数学」をプログラミングするには http://mevius.5ch.net/test/read.cgi/tech/1710585705/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
260: デフォルトの名無しさん [] 2024/04/12(金) 23:55:46.84 ID:lpyrPPhz >>1 > たとえば、プログラミングで > > π/4 = 1 - 1/3 + 1/5 - 1/7 + ... > > を近似ではなく厳密に確かめるにはどうしたらいいの > 人間が証明できるってことは、有限なアルゴリズムに書き換えられると思うんだけど 人間が証明出来るからって、有限なアルゴリズムに書き換えられるとは限らないんだよなぁ…。 そもそも人間の証明がlimとか使って（仮に無限回繰り返せれば）極限はnになる（だろう）って感じで有限のアルゴリズムじゃない訳で。 http://mevius.5ch.net/test/read.cgi/tech/1710585705/260
261: デフォルトの名無しさん [] 2024/04/13(土) 01:56:05.16 ID:GLx3WLPp >>260 とっくに解決した話題にいちいち間違った指摘をするのは面白いのか？ http://mevius.5ch.net/test/read.cgi/tech/1710585705/261
265: デフォルトの名無しさん [] 2024/04/13(土) 10:13:07.54 ID:4ahnOas7 >>260 馬鹿文系 http://mevius.5ch.net/test/read.cgi/tech/1710585705/265
268: デフォルトの名無しさん [sage] 2024/04/14(日) 08:43:54.27 ID:FeJRZdQr このスレで解決されたって意味ではないのでは? >>260の指摘なんて常識的なことだし http://mevius.5ch.net/test/read.cgi/tech/1710585705/268
271: デフォルトの名無しさん [sage] 2024/04/14(日) 12:01:14.80 ID:QAXXGiIt >>260 多分これって数列がある値に収束することを示すには無限に計算する以外に方法がないって思い込んでるのでは 人間が有限回のステップで証明できてる時点で有限のアルゴリズムだよ http://mevius.5ch.net/test/read.cgi/tech/1710585705/271
274: デフォルトの名無しさん [sage] 2024/04/14(日) 17:09:16.02 ID:43rPFQyJ >>260 まず「極限はnになる」の基礎となる理論から調べたら？ εδ論法は理解してる？ http://mevius.5ch.net/test/read.cgi/tech/1710585705/274
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.038s