[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
15: 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: 2024/04/14(日)12:01:14.80 ID:QAXXGiIt(1) AAS
>>260
多分これって数列がある値に収束することを示すには無限に計算する以外に方法がないって思い込んでるのでは
人間が有限回のステップで証明できてる時点で有限のアルゴリズムだよ
280: 2024/04/14(日)20:24:59.80 ID:CaUwpcFN(6/12) AAS
極限とは位相空間のある点の近傍にある番号から先の有向族が入ることである
362: 2024/04/16(火)21:23:49.80 ID:fFCD5orj(2/2) AAS
ブレイクスルーのたびに歴史の断絶があるのは面倒だから
数学に期待されることはおそらく断絶を阻止すること
450: 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: 02/13(木)19:48:04.80 ID:4b3jmnmv(1) AAS
カムパ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.044s