[過去ﾛｸﾞ] 【下から来る】柄谷行人を解体する81【AIﾌｧｼｽﾞﾑ】 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
42(1): 2024/12/02(月)20:56 ID:0(42/1000) AAS
>一意性が成立しない、ということを証明するのも、また証明。
そしてこれが最も重要な数学的証明である。
だから、証明という言葉には一意性の概念が必然的に付随しているんだよ。ゲーデルの不完全性定理の証明もそうした一意性のことを指している。あらゆる定理が一意的なのは明らか
44: 2024/12/02(月)21:01 ID:0(44/1000) AAS
>>42
> >一意性が成立しない、ということを証明するのも、また証明。
>
> そしてこれが最も重要な数学的証明である。
>
> だから、証明という言葉には一意性の概念が必然的に付随しているんだよ。ゲーデルの不完全性定理の証明もそうした一意性のことを指している。あらゆる定理が一意的なのは明らか
ハイ、もう言ってることが全部デタラメｗ
省6
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.028s