[過去ﾛｸﾞ]
「数学」をプログラミングするには (1002ﾚｽ)
「数学」をプログラミングするには http://mevius.5ch.net/test/read.cgi/tech/1710585705/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
必死ﾁｪｯｶｰ(本家)
(べ)
自ID
ﾚｽ栞
あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
888: デフォルトの名無しさん [sage] 2025/01/24(金) 08:08:50.30 ID:wJVzGCxN 自力で証明するよりも他者の言質を取るというか契約が成立することにより安全が保証される という思考に人類は依存しすぎている 半導体は自作できないかもしれないが数学は紙媒体でもできる http://mevius.5ch.net/test/read.cgi/tech/1710585705/888
892: デフォルトの名無しさん [sage] 2025/01/24(金) 11:22:58.16 ID:wJVzGCxN 振舞いを自動化しろと言われるのと判断は人間の責任っていうのは 振舞いと判断を区別すれば矛盾しないんだけど 「証明する」というのは振舞いか判断かさっぱり分からんから矛盾だという批判がある http://mevius.5ch.net/test/read.cgi/tech/1710585705/892
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
1.362s*