数学者「やだ等しィ…等しい!(定理の発見)」「真じゃった!(証明)」 [522087641]
■ このスレッドは過去ログ倉庫に格納されています
遺伝子と環境に恵まれた一部の数学者以外は「これもうだめだな」ってなり研究諦めるらしい
https://5ch.net/ 一度受けたスレを何度も何度も
どんだけ嬉しかったんだよ知恵遅れ スレタイ自体はうまいと思うけど、何回も立てると全くの無価値になるな
残念だ あぁ~ 真じゃった=死んじゃった かあ
なるほどねぇ~ kaya sa kasamaang palad pumanaw naman 達磨大師の命日は10月5日だし面倒くさいからここと合わせよう 公理主義って選手が突然審判になってルール変えちゃうみたいなインチキだよね
とは思う 証明できるということと真であるということは違う概念だけど、数学者でもあんまり使い分けしてない >>33
命題が論理的に正しいのが真だぞ
したがって前提が偽の命題でも真になり得る >>34
論理的に正しいと真であるは|=
証明できるは|-
じゃなかったか? >>34
真とか偽とかいうのは集合論を使ってストラクチャを定めることによって初めて生まれる概念で、証明できるというのは公理と推論規則から導かれるということ
ただ、完全性定理によってある程度同一視することはできる ■ このスレッドは過去ログ倉庫に格納されています