0001１３２人目の素数さん垢版 | 大砲2017/07/17(月) 21:32:48.47ID:Lm/u9+QC 大学で習う数学に関する質問を扱うスレ ・質問する前に教科書や参考書を読むなりググるなりして ・ただの計算は http://wolframalpha.com ・数式の表記法は http://mathmathmath.dote ra.net ・質問のマルチポストは非推奨 ・煽り、荒らしはスルー 関連スレ 分からない問題はここに書いてね428 [無断転載禁止]©2ch.net http://rio2016.2ch.net/test/read.cgi/math/1498222858/ ※前スレ 大学学部レベル質問スレ 7単位目 http://rio2016.2ch.net/test/read.cgi/math/1478741231/ 大学以上質問スレッド [無断転載禁止]©2ch.net http://rio2016.2ch.net/test/read.cgi/math/1483665011/
0764１３２人目の素数さん垢版 | 大砲2017/11/01(水) 18:31:19.71ID:cAIwuqBU 直観主義論理でも {x | ¬ x ∈ x} の存在から矛盾を導くことはできます。 やってみましょう。 R = {x | ¬ x ∈ x} とおく。 すなわち、 (*) x ∈ R ⇔ ¬ x ∈ x である。 特に、x = R の場合を考えると、 (**) R ∈ R ⇔ ¬ R ∈ R まず、R ∈ R と仮定すると (**) より ¬ R ∈ R が得られ、 仮定と矛盾する。 R ∈ R を仮定して矛盾が導かれたので、 ¬ R ∈ R が成り立つ。 これに (**) を適用すると、R ∈ R が得られる。 R ∈ R と ¬ R ∈ R がともに成り立つので、矛盾する。 縮約規則がない論理では {x | ¬ x ∈ x} の存在から 矛盾を導くことができない。
0799１３２人目の素数さん垢版 | 大砲2017/11/05(日) 16:46:14.26ID:+DTTDbQg ウルフラムアルファでエグザクトソリューションが出なくて、いくらネット調べても近似解しか見つからない微分方程式ってまだ解析解出てないってことだよね？
0842１３２人目の素数さん垢版 | 大砲2017/11/10(金) 16:15:48.14ID:QjNpnwPL 「任意の(0 2)テンソルCに対して C^αβ = A^αB^β となるテンソルA, Bが存在する」 って言えるでしょうか？ ちなみに逆の 「A、Bを任意の反変ベクトルとするとき C^αβ = A^αB^β で構成されるCは(0 2)テンソルである」 は成り立たつのが分かってます よろしくお願いします
