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