[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
237: デフォルトの名無しさん [] 2024/04/12(金) 12:03:07.54 ID:Hn7My37C(5/5) AAS
>>230230(5): デフォルトの名無しさん [sage] 2024/04/12(金) 11:00:23.24 ID:n/WEiCkF(1/5) AAS
厳密に求められないからπという記号を用いたわけで
コンピュータで扱う場合はπという記号定数を使えばいいだけ
無限に続くので3.14...を厳密に求めることはできないのは数学もコンピュータも一緒
1がしたいことが何なのかよくわからん
> 1がしたいことが何なのかよくわからん
問題意識を理解できないなら、わざわざいっちょかみすんな
わざわざいらんことして、おまけに無知まで晒してる
究極に恥ずかしいよお前（笑）
238: デフォルトの名無しさん [sage] 2024/04/12(金) 12:29:39.85 ID:Kw0ACNUt(2/7) AAS
スレタイが読めないなら小学校の国語からやり直しｗｗｗ
239: デフォルトの名無しさん [] 2024/04/12(金) 12:33:44.36 ID:l6eD/H9+(1) AAS
モピロン、地球人の開発したAIには、無理
霊的な霊感がないからだ。
Arctan(x) のマクローリン展開式の xに１を
代入して証明するような閃きは、
AIには無理なのである。
その訳は、閃き💡といった宇宙からの霊的な電波を
受信するのは、論理的考えて、
地球のAIには、ソレは、実装されてない。
モピロン、イカの視覚野に電極を、差し込んで
宇宙から霊的波動を受信できるようにすれば
話しは、別だが、シリコンウェーハに
その様な回路はナイだろうから、
それは、証明は、無理だろう。
ていうか、ゲーデルの不完全性定理により
証明問題の全ては証明不可能ぢゃーーー
BY 今日もテキトーな事を呟いてみたー
240: デフォルトの名無しさん [sage] 2024/04/12(金) 12:47:02.55 ID:gi41fiD0(2/5) AAS
26点
長い上に一本調子
デタラメに書いたらいいわけじゃない
241: デフォルトの名無しさん [] 2024/04/12(金) 15:24:27.17 ID:IPp6LTyR(1) AAS
アセンブラは数学か？
242: デフォルトの名無しさん [sage] 2024/04/12(金) 15:32:45.75 ID:n/WEiCkF(2/5) AAS
そういや誰かがすべての言語はチューリング完全とか適当なことかいてたけど
一昔前のcobolはチューリング完全じゃないぞ
チューリング完全は数学をプログラムするための必要条件ではないかな
アセンブラはその意味で資格はあると思われる
243: デフォルトの名無しさん [] 2024/04/12(金) 16:34:45.55 ID:vfJZ59zy(1) AAS
fortranは数学？
244: デフォルトの名無しさん [sage] 2024/04/12(金) 16:40:24.86 ID:gi41fiD0(3/5) AAS
チューリング完全は算法に関する性質
数学そのものではない
245: デフォルトの名無しさん [sage] 2024/04/12(金) 16:41:43.65 ID:gi41fiD0(4/5) AAS
数学は計算だけの学問ではない
246: デフォルトの名無しさん [] 2024/04/12(金) 17:04:34.02 ID:HdjWwBoE(1) AAS
計算 + 証明 = 数学
これは
データ構造 + アルゴリズム = プログラミング
に対応する
247: デフォルトの名無しさん [] 2024/04/12(金) 17:09:52.20 ID:Vyts8CQV(1) AAS
命題 + 証明 = 数学
↑↓
型 + アルゴリズム = プログラミング
248: デフォルトの名無しさん [sage] 2024/04/12(金) 17:20:27.68 ID:n/WEiCkF(3/5) AAS
命題 + 証明
↑↓
型 + プログラム
これはカリーハワード同型対応として知られている
このセットで数学といえるかは俺にはわからない
計算だけが数学ではなくとも計算以外の部分も大体は計算に埋め込めるのではないか？
249: デフォルトの名無しさん [sage] 2024/04/12(金) 17:25:59.28 ID:gi41fiD0(5/5) AAS
カリー・ハワードだろ
構成論理が前提なのわかってるか？
250: デフォルトの名無しさん [sage] 2024/04/12(金) 17:35:07.74 ID:Kw0ACNUt(3/7) AAS
ど素人かよｗｗｗ
命題 + 証明 = 数学
251: デフォルトの名無しさん [sage] 2024/04/12(金) 17:35:49.67 ID:Kw0ACNUt(4/7) AAS
糞論しかやってない素人の戯言
252: デフォルトの名無しさん [sage] 2024/04/12(金) 17:40:09.52 ID:n/WEiCkF(4/5) AAS
直観主義論理ってやつでしょ
253: デフォルトの名無しさん [sage] 2024/04/12(金) 17:44:03.87 ID:Kw0ACNUt(5/7) AAS
40年ぐらい遅れてるｗ
254: デフォルトの名無しさん [sage] 2024/04/12(金) 17:56:16.32 ID:n/WEiCkF(5/5) AAS
構成的論理ならきいたことはあるが構成論理ってなんだよ
255: デフォルトの名無しさん [sage] 2024/04/12(金) 18:32:46.75 ID:Kw0ACNUt(6/7) AAS
糞論しかやってない奴は数学の素人、悲惨
256: デフォルトの名無しさん [] 2024/04/12(金) 19:48:14.69 ID:BGlMGmgy(1) AAS
ラッセルは数学者？
257: デフォルトの名無しさん [sage] 2024/04/12(金) 20:28:26.43 ID:7CYa1WNP(1) AAS
数学は構造の科学、とエロいひとが言ってた。
258: デフォルトの名無しさん [] 2024/04/12(金) 20:41:54.23 ID:HS/aYR/B(1) AAS
レヴィ・ストロース？
259: デフォルトの名無しさん [sage] 2024/04/12(金) 22:22:16.23 ID:Kw0ACNUt(7/7) AAS
水道方式の遠山
260(5): デフォルトの名無しさん [] 2024/04/12(金) 23:55:46.84 ID:lpyrPPhz(1) AAS
>>11(16): デフォルトの名無しさん [] 2024/03/16(土) 19:41:45.98 ID:nuwGv9us(1) AAS
たとえば、プログラミングで
π/4 = 1 - 1/3 + 1/5 - 1/7 + ...
を近似ではなく厳密に確かめるにはどうしたらいいの
人間が証明できるってことは、有限なアルゴリズムに書き換えられると思うんだけど
> たとえば、プログラミングで
>
> π/4 = 1 - 1/3 + 1/5 - 1/7 + ...
>
> を近似ではなく厳密に確かめるにはどうしたらいいの
> 人間が証明できるってことは、有限なアルゴリズムに書き換えられると思うんだけど
人間が証明出来るからって、有限なアルゴリズムに書き換えられるとは限らないんだよなぁ…。
そもそも人間の証明がlimとか使って（仮に無限回繰り返せれば）極限はnになる（だろう）って感じで有限のアルゴリズムじゃない訳で。
261(1): デフォルトの名無しさん [] 2024/04/13(土) 01:56:05.16 ID:GLx3WLPp(1) AAS
>>260
とっくに解決した話題にいちいち間違った指摘をするのは面白いのか？
上下前次1-新書関写板覧索設栞歴
あと 741 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.024s