TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
数学板の荒らし
数論幾何
   0.99999……は1ではない その10
テストスレ
数学の本 第88巻
ルジャンドル予想を証明したかもしれない
●●● 「無限」とはどういうことなのか? ●●●
□□□□□□□□□□□□   朝日生命 2
♂♂♂♂♂♂♂♂♂♂♂♂   星質 3
高校数学は暗記科目
4 :
直観主義では(¬(A∧B))→((¬A)∨(¬B))は示せないですが、その対偶の
(¬((¬A)∨(¬B)))→(¬¬(A∧B))を示すことは出来ました。
でも(¬∃x¬A)→(¬¬∀xA)は示せないようです。(もし直観主義で
示せる人がいるなら証明を教えてくれるとうれしいです。)
直観主義では本当に(¬∃x¬A)→(¬¬∀xA)が示せないのなら、
直観主義では∀x¬¬Aと¬∀xAを同時に仮定しても矛盾しない
ことになりますが、なんか不思議な気がします。ここらへんを
うまく説明できる人はいるでしょうか。

現代数学の系譜 工学物理雑談 古典ガロア理論も読む65
邪馬台国畿内説の角度
志村逝く
                ピンク・スライム
【生保・損保】アクチュアリー資格試験スレ【年金】
現代数学の系譜 カントル 超限集合論2
数学者になりたいけど無理そうだったらAIに携わる仕事に就きたい場合数学科は良い選択ですか?
Michael F. Atiyahがリーマン予想を証明しました。
数学用語に「夜の」って入れるとエロくなる
微分幾何学スレ
--------------------
【AM4】AMD Ryzen3 2200G/Ryzen5 2400Gpart2【ワ無】
フォークリフトのスレ2
YABAIについて
富山のPAN
【アンチ】谷亮子選手応援スレ【禁止】柔道
サウスパークに逝こうぜ!58
12歳。 ここたま等
【NMB48】石塚朱莉応援スレ★23【あんちゅ】
ヘタレ嫌 煙 猿
Rei Part2
【節約命!】チェンマイBライフ@Urban_B_Lifeの末路2【月3万円生活】
【Vita】サガ スカーレット グレイス攻略スレ2 [無断転載禁止]©2ch.net
ラグビーヲタ「サッカーより男らしいでしょ?面白いでしょ?」ワイサッカーファン「
日本の自動車ドライバーはマナー悪すぎじゃない?
結婚したがらない男性が増えている Part756
【応援】🐬電脳少女シロ謀反マンのスレ16🐴【フリートーク】
プリキュアシリーズ数字議論スレッド165
【畑健二郎】トニカクカワイイ 10
【FEH】ファイアーエムブレムヒーローズpart3035
医者「7〜8時間寝なさい!」 (ヽ´ん`)「目が覚めるんです。昼間に超眠くなる。」  [571598972]
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼