数学ってプログラミングに似てない？

1 名前:ひみつの名無しさん投稿日時:2021/02/08(月) 23:46:17.883 ID:lVx8Gifxp: 似てるよな？
2 名前:ひみつの名無しさん投稿日時:2021/02/08(月) 23:46:40.051 ID:EX847OQ50: クズだわ
3 名前:ひみつの名無しさん投稿日時:2021/02/08(月) 23:47:03.536 ID:Re4FIorMr: 気持ちは分かるけど似てない
4 名前:ひみつの名無しさん投稿日時:2021/02/08(月) 23:47:07.874 ID:PCIdfWVz0: どの辺が？
5 名前:ひみつの名無しさん投稿日時:2021/02/08(月) 23:47:17.846 ID:HFNEtdsO0: プログラミングは文学らしい
数学と文学は似ている
6 名前:ひみつの名無しさん投稿日時:2021/02/08(月) 23:47:38.365 ID:lSmHFvwe0: 漸化式とかその辺りなら
7 名前:ひみつの名無しさん投稿日時:2021/02/08(月) 23:47:50.062 ID:GTiJaf4+0: 式を書くだけで計算はやってくれるから似てない
8 名前:ひみつの名無しさん投稿日時:2021/02/08(月) 23:47:52.691 ID:lVx8Gifxp: 文字か数字かだけの違いで基本的に同じだろ
9 名前:ひみつの名無しさん投稿日時:2021/02/08(月) 23:48:07.607 ID:Uvczl/zo0: 数学の考えを落とし込めように作られてるからな
10 名前:ひみつの名無しさん投稿日時:2021/02/08(月) 23:48:31.454 ID:YdImXVvp0: プログラミングが数学に似てるイメージ
11 名前:ひみつの名無しさん投稿日時:2021/02/08(月) 23:48:56.642 ID:nnig/gvT0: 問題を解くだけなのか問題を考えるのか問題を生み出すのか
12 名前:ひみつの名無しさん投稿日時:2021/02/08(月) 23:50:18.270 ID:MO6d0Bpy0: 数学をやるときいちいち公理的集合論に基づくことを要求するのは
全部アセンブリでOSを書けと言っていることに等しいみたいな煽り文句好き
13 名前:ひみつの名無しさん投稿日時:2021/02/08(月) 23:59:40.662 ID:amgRFuzha: 数学ってのは極論したら記号操作だからな
チューリングマシンだよ
14 名前:ひみつの名無しさん投稿日時:2021/02/09(火) 00:02:22.842 ID:Qoo54CLj0: ゲーデル数だっけ？あれあからさまにプログラミングだよな
計算理論の初期の成果だから当たり前か
15 名前:ひみつの名無しさん投稿日時:2021/02/09(火) 00:06:55.177 ID:Qoo54CLj0: ゲーデルもすごいしチューリングもすごいけど覇権を握って欲しいのはチャーチのラムダ計算ではある
16 名前:ひみつの名無しさん投稿日時:2021/02/09(火) 00:07:50.432 ID:mMlo7dKh0: 数学からプログラミングのアルゴリズムを作り出している
17 名前:ひみつの名無しさん投稿日時:2021/02/09(火) 00:12:20.234 ID:Qoo54CLj0: とはいえ高校数学や大学初年次数学から直接演繹できるアルゴリズムというのはあまりないのではないか
離散数学なんて呼ばれているが各分野の寄せ集め感が強くイマイチ盛り上がりに欠ける
18 名前:ひみつの名無しさん投稿日時:2021/02/09(火) 00:15:05.044 ID:U1SEC3G7d: ラムダ計算に比べたらチューリングマシンなんて技巧でしかないからな
19 名前:ひみつの名無しさん投稿日時:2021/02/09(火) 00:19:52.249 ID:Qoo54CLj0: Knuthのコンピュータの数学第2版の和訳が出たのに多くのプログラマは気づいていないと思われるが
現代から見ると話題が偏っており挑戦することに深い意義がないように思う
Lehmanらが書いているMathematics for Computer Scienceのほうがバランス感覚がよいのではないかタダで読めるし
20 名前:ひみつの名無しさん投稿日時:2021/02/09(火) 00:28:55.595 ID:7IFwjjCod: どこで読める？
22 名前:ひみつの名無しさん投稿日時:2021/02/09(火) 00:38:23.407 ID:6f1z8nXId: ㌧クス
23 名前:ひみつの名無しさん投稿日時:2021/02/09(火) 01:32:14.658 ID:UB9jF6Eo0: 音楽に似てる
24 名前:ひみつの名無しさん投稿日時:2021/02/09(火) 02:13:32.167 ID:f+NhSRCfr: 関数型なら
25 名前:ひみつの名無しさん投稿日時:2021/02/09(火) 02:17:41.175 ID:dWaLVpC+0: プログラムが数学に似てるとか言ってるのは
学生の勘違い