[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
132(1): 2024/03/26(火)17:42:12.34 ID:0A2fpKMf(1) AAS
>>126 日本語おかしい
152: 2024/03/29(金)14:56:43.34 ID:hQjfrr6D(1) AAS
>>149
ガイジか？
ゲーデルの不完全性定理はそんなことについて言及してないぞ
196: 2024/04/02(火)00:59:03.34 ID:7CSC2sWO(2/2) AAS
>>173
背理法って推論規則の一つでしかないから他の推論規則を使って導けるものじゃないんじゃないの
証明をプログラミングでやるって、命題論理の変換で真か偽になる変換方法の組み合わせを見つけるってことでしょ
人間がなかなか納得しがたいロジックでもプログラミングしたらはっきりする、わけじゃなくて、
なかなか納得しがたいロジックでも間違いがなければ論理に間違いはないので証明されたとする、という根本は変わらなくて
論理の変換をプログラムで行なえても不思議ではないと思うけどな
記号論理学を大学1年のときにとったけどそれぐらいの基礎すらなかったら証明、公理系、推論規則、あたりの概念がめちゃくちゃになってるんじゃないか？
498(1): 2024/05/03(金)16:09:54.34 ID:NI13qzeL(1) AAS
半単純リー代数の分類も知らぬザコめが
689: 2024/11/18(月)20:13:02.34 ID:uqz705Or(8/8) AAS
>>687
こいついつまで同じ間違いを主張し続けるんだろう
わざとなのかな
849: 01/16(木)03:23:35.34 ID:DBY13IoQ(1/2) AAS
形式論理とかまじで役に立たんからな
896: 01/25(土)11:31:31.34 ID:wB2yLAW7(1) AAS
新商品を作ることにより今後の支障がなくなるといつから錯覚していた
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.041s