[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
224: 2024/04/08(月)10:39 ID:x8JElEGO(1) AAS
ポエム
225: 2024/04/08(月)13:34 ID:26k+W4+v(1) AAS
イマジンだけに
226: 2024/04/11(木)12:56 ID:m6RJM+fq(1) AAS
All the People
227: 2024/04/11(木)12:59 ID:M3s07OXs(1) AAS
暇人
228: 2024/04/11(木)19:06 ID:SHJQNyIp(1) AAS
不完全性定理は公理的集合論から証明できないならPythonとかJavaには欠陥があるってことじゃん
てことは今後はnginxとPostgreSQLが無きゃ食っていけなくなる？SQLは三値だから完全だろ？
229: 2024/04/12(金)06:59 ID:gi41fiD0(1/5) AAS
30点
もっとサイコ感ださないと
230(5): 2024/04/12(金)11:00 ID:n/WEiCkF(1/5) AAS
厳密に求められないからπという記号を用いたわけで
コンピュータで扱う場合はπという記号定数を使えばいいだけ
無限に続くので3.14...を厳密に求めることはできないのは数学もコンピュータも一緒
1がしたいことが何なのかよくわからん
231: 2024/04/12(金)11:40 ID:bVCDZJf2(1) AAS
>>230
「数学をプログラミングするには」って書いてあるじゃん
232: 2024/04/12(金)11:41 ID:Kw0ACNUt(1/7) AAS
#define final constant π;
233: 2024/04/12(金)11:44 ID:Hn7My37C(1/5) AAS
>>230
> 厳密に求められないから
πは厳密に求まるが
1/3 = 0.33... は割り切れないから求まらないとか思ってる文系くんかな？（笑）
234: 2024/04/12(金)11:50 ID:Hn7My37C(2/5) AAS
> πという記号定数を使えばいいだけ
馬鹿かな
πって置いただけで、どうやってこれが無理数であることや、4arctan(1)と等しいことが確定するんだ？（笑）
235: 2024/04/12(金)11:52 ID:Hn7My37C(3/5) AAS
>>230
君、国語力が低すぎて文章を理解できないから、
数学の教科書もなんとなくで読んで来たんでしょ？
学問に向いてないよ、君（笑）
236: 2024/04/12(金)11:56 ID:Hn7My37C(4/5) AAS
>>230
で、こいつ次は、
「厳密にもとまらないというのは、10進数で有限桁で表せないという意味で言った」
とか言い訳するんだろうなあｗｗｗｗ
237: 2024/04/12(金)12:03 ID:Hn7My37C(5/5) AAS
>>230
> 1がしたいことが何なのかよくわからん
問題意識を理解できないなら、わざわざいっちょかみすんな
わざわざいらんことして、おまけに無知まで晒してる
究極に恥ずかしいよお前（笑）
238: 2024/04/12(金)12:29 ID:Kw0ACNUt(2/7) AAS
スレタイが読めないなら小学校の国語からやり直しｗｗｗ
239: 2024/04/12(金)12:33 ID:l6eD/H9+(1) AAS
モピロン、地球人の開発したAIには、無理
霊的な霊感がないからだ。
Arctan(x) のマクローリン展開式の xに１を
代入して証明するような閃きは、
AIには無理なのである。
その訳は、閃き💡といった宇宙からの霊的な電波を
受信するのは、論理的考えて、
地球のAIには、ソレは、実装されてない。
モピロン、イカの視覚野に電極を、差し込んで
宇宙から霊的波動を受信できるようにすれば
話しは、別だが、シリコンウェーハに
その様な回路はナイだろうから、
それは、証明は、無理だろう。
ていうか、ゲーデルの不完全性定理により
証明問題の全ては証明不可能ぢゃーーー
BY 今日もテキトーな事を呟いてみたー
240: 2024/04/12(金)12:47 ID:gi41fiD0(2/5) AAS
26点
長い上に一本調子
デタラメに書いたらいいわけじゃない
241: 2024/04/12(金)15:24 ID:IPp6LTyR(1) AAS
アセンブラは数学か？
242: 2024/04/12(金)15:32 ID:n/WEiCkF(2/5) AAS
そういや誰かがすべての言語はチューリング完全とか適当なことかいてたけど
一昔前のcobolはチューリング完全じゃないぞ
チューリング完全は数学をプログラムするための必要条件ではないかな
アセンブラはその意味で資格はあると思われる
243: 2024/04/12(金)16:34 ID:vfJZ59zy(1) AAS
fortranは数学？
244: 2024/04/12(金)16:40 ID:gi41fiD0(3/5) AAS
チューリング完全は算法に関する性質
数学そのものではない
245: 2024/04/12(金)16:41 ID:gi41fiD0(4/5) AAS
数学は計算だけの学問ではない
246: 2024/04/12(金)17:04 ID:HdjWwBoE(1) AAS
計算 + 証明 = 数学
これは
データ構造 + アルゴリズム = プログラミング
に対応する
247: 2024/04/12(金)17:09 ID:Vyts8CQV(1) AAS
命題 + 証明 = 数学
↑↓
型 + アルゴリズム = プログラミング
248: 2024/04/12(金)17:20 ID:n/WEiCkF(3/5) AAS
命題 + 証明
↑↓
型 + プログラム
これはカリーハワード同型対応として知られている
このセットで数学といえるかは俺にはわからない
計算だけが数学ではなくとも計算以外の部分も大体は計算に埋め込めるのではないか？
249: 2024/04/12(金)17:25 ID:gi41fiD0(5/5) AAS
カリー・ハワードだろ
構成論理が前提なのわかってるか？
250: 2024/04/12(金)17:35 ID:Kw0ACNUt(3/7) AAS
ど素人かよｗｗｗ
命題 + 証明 = 数学
251: 2024/04/12(金)17:35 ID:Kw0ACNUt(4/7) AAS
糞論しかやってない素人の戯言
252: 2024/04/12(金)17:40 ID:n/WEiCkF(4/5) AAS
直観主義論理ってやつでしょ
253: 2024/04/12(金)17:44 ID:Kw0ACNUt(5/7) AAS
40年ぐらい遅れてるｗ
上下前次1-新書関写板覧索設栞歴
あと 749 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.022s