[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
195: 2024/04/02(火)00:37 ID:7CSC2sWO(1/2) AAS
>>162 >>164
その場合はコンピュータじゃなくて理論計算機科学とかだな、比較対象がおかしい。
数学史とか数学基礎論とか少しでもなんか読んでみ、今の数学はそういう思想だから
その調子じゃヒルベルトプログラムもブルバキも何にも知らないだろ
>>180
いやあるだろ…停止性問題とか知らないの…？
こんなん数学科でもなくてもCS学科でもなくても
趣味でWikipedia読んでれば知れる雑学だぞ
196: 2024/04/02(火)00:59 ID:7CSC2sWO(2/2) AAS
>>173
背理法って推論規則の一つでしかないから他の推論規則を使って導けるものじゃないんじゃないの
証明をプログラミングでやるって、命題論理の変換で真か偽になる変換方法の組み合わせを見つけるってことでしょ
人間がなかなか納得しがたいロジックでもプログラミングしたらはっきりする、わけじゃなくて、
なかなか納得しがたいロジックでも間違いがなければ論理に間違いはないので証明されたとする、という根本は変わらなくて
論理の変換をプログラムで行なえても不思議ではないと思うけどな
記号論理学を大学1年のときにとったけどそれぐらいの基礎すらなかったら証明、公理系、推論規則、あたりの概念がめちゃくちゃになってるんじゃないか？
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.041s