[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
15: デフォルトの名無しさん [sage] 2024/03/18(月) 08:21:20.80 ID:PIvrnI/y(1) AAS
数==数では背理法が使いにくいが
集合==集合は背理法や不等号の価値がまるで渡米したIT創業者みたいになる
141(2): デフォルトの名無しさん [] 2024/03/28(木) 08:12:08.80 ID:WD+w6k7S(1) AAS
意識は非可換だってどこかで聞いたな
現代数学は可換理論しか扱えないが、量子力学は非可換だから、意識＝量子力学ってことになる
意識が非決定論なのは量子力学では状態が重ね合わせであることに起因する
したがって意識の問題を解決するには量子コンピュータが必須となる
271: デフォルトの名無しさん [sage] 2024/04/14(日) 12:01:14.80 ID:QAXXGiIt(1) AAS
>>260260(5): デフォルトの名無しさん [] 2024/04/12(金) 23:55:46.84 ID:lpyrPPhz(1) AAS
>>1
> たとえば、プログラミングで
>
> π/4 = 1 - 1/3 + 1/5 - 1/7 + ...
>
> を近似ではなく厳密に確かめるにはどうしたらいいの
> 人間が証明できるってことは、有限なアルゴリズムに書き換えられると思うんだけど
人間が証明出来るからって、有限なアルゴリズムに書き換えられるとは限らないんだよなぁ…。
そもそも人間の証明がlimとか使って（仮に無限回繰り返せれば）極限はnになる（だろう）って感じで有限のアルゴリズムじゃない訳で。
多分これって数列がある値に収束することを示すには無限に計算する以外に方法がないって思い込んでるのでは
人間が有限回のステップで証明できてる時点で有限のアルゴリズムだよ
280: デフォルトの名無しさん [sage] 2024/04/14(日) 20:24:59.80 ID:CaUwpcFN(6/12) AAS
極限とは位相空間のある点の近傍にある番号から先の有向族が入ることである
362: デフォルトの名無しさん [sage] 2024/04/16(火) 21:23:49.80 ID:fFCD5orj(2/2) AAS
ブレイクスルーのたびに歴史の断絶があるのは面倒だから
数学に期待されることはおそらく断絶を阻止すること
450: デフォルトの名無しさん [sage] 2024/04/25(木) 17:48:35.80 ID:JREeyAkZ(2/2) AAS
スレチ
546: デフォルトの名無しさん [] 2024/05/08(水) 04:41:16.80 ID:ecR8cuQ+(1) AAS
プリズム通してみたらexplicitだった
972: デフォルトの名無しさん [sage] 2025/02/13(木) 19:48:04.80 ID:4b3jmnmv(1) AAS
カムパ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.047s