TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
もし、体育教師が数学の授業をやったら？
ユークリッド幾何学は中学・高校数学から撤廃すべき
現代数学の系譜11 ガロア理論を読む18
【数学者】大類昌俊【総合】 Part4
Michael F. Atiyahがリーマン予想を証明しました。
こんな板復活させなくてよかったのに
角の三等分は可能なのだそうだ
ラマヌジャン、ってナニモノ？
巨大数探索スレッド14
フェルマーの最終定理の簡単な証明
有理数であることも無理数であることも証明できない実数
- 1 ：2016/03/26 〜 最終レス ：2019/04/21
- 真であることも偽であることも証明不可能な命題は確かに存在し、具体的に構成可能である。
では、有理数であることも無理数であることも証明不能な実数は存在するか？ また、具体的に構成可能か。
存在しないとすれば、そのことを示せるか。
- 2 ：
- 具体的に構成可能
https://www.reddit.com/r/math/comments/3baz83/does_there_exist_a_welldefined_real_number_whose/
たぶん期待していたような例ではないと思うけど
- 3 ：
- 既存の独立命題を使わず自然に定義された数はないかと探してみたけど、やっぱり見つからない
- 4 ：
- 有理数であることも無理数であることもまだ証明されてない実数なら、有名なやつがいくつもあるが、
有理数であることも無理数であることも証明できないことが証明されてしまった実数は、私は知らない。
あんのか？
- 5 ：
- 実数の定義が有理数と無理数だ
- 6 ：
- ↑これが数学板の実力です
専門板なのに異常にレベルが低い
せいぜい数学の少しできる高校生レベル
- 7 ：
- >>6
頭悪いなあ
- 8 ：
- 【日本の金正恩】 安倍寛信 【安倍晋三の兄】
三菱商事の核ミサイル担当重役は安倍晋三の実兄、安倍寛信 三菱重工の重役でもあるらしい
これがフクイチで核弾頭ミサイルを製造していた疑惑がある 書けばツイッターで速攻削除されている
https://twitter.com/toka iamada/status/664017453324726272
どうも日本人のレベルの低さというのは、第2次大戦において、ドイツはUFOテクノロジーを完成させていたのに、
日本は戦艦大和で喜んでいたという感じなのです。核兵器自体が今の世界では使いものにならないのです。
宇宙人側からの申し入れは、核の利用と戦争をやめ、宇宙人の存在を公表しなさい、６０年の猶予を与えましよう。
ロシアという大国の首相がね、あれは冗談だよでは済まないですね、しかも２回も言ってるんだからね。
https://www.youtube.com/watch?v=FIRXKetUkq8
火星の人々は地球人よりも小さく、火星には実際、私たちの惑星よりも多くの人々がいます（90億人）。
NASAは、無用な組織とされることを恐れています。マイトレーヤが公に現れるにつれて、UFOが姿を表すでしょう。
【天才！志村どうぶつ園】 なぜ、ハイジは動物と話せるのか？ 【テレパシーによる世界演説】
テレパシーによる世界演説は英国ＢＢＣが放送
https://www.youtube.com/watch?v=6cOvo6n7NOk
マイトレーヤが世界に向かって話をする準備は良好に進行している。この時、初めての本当の身分を明らかにされます。
25分か35分くらいかもしれませんが、歴史上で初めて、世界的規模のテレパシーによる接触が起こるのです。
- 9 ：
- >>5,>>7
なら無理数の定義を述べよ
- 10 ：
- 排中律という超基本的なトートロジーを得意気に掲げて何をしたかったのやら>>5
- 11 ：
- そのような実数は実数全体の殆どを占める。
- 12 ：
- そもそも、そのような数は実数なのですか？
- 13 ：
- 運営乙
- 14 ：
- 超準解析なら超実数の中に有理数でも無理数でもない数がある
- 15 ：
- オイラー定数とか？
- 16 ：
- それは有理数か無理数かわかってない数のことでは？
それならいくつかある
Π＋eとか
- 17 ：
- そのような実数が存在すれば実数の殆どがそれになる
しかし実数の殆どが無理数であることに矛盾する
よつて存在しない
QED.
どうだ？
- 18 ：
- 複素数体の自己同型群の濃度が定まらないことをどうしても理解できない人を見たことがあるけど、それと同類なのかな
- 19 ：
- ２じゃないの？
- 20 ：
- しかしなあ、いくらなんでもｅ＋πが有理数でない事ぐらい、いや代数的数でない事ぐらい証明できてもよさそうなものだよな。有理数になるって言われたらびっくりするもんな。
- 21 ：
- ｅとπが絡んだ数で、ほとんど整数になっちゃうのがいくつかあるから仕方ない。
- 22 ：
- >>5 >>12
高卒だけどいいすか？
ある複素数xに対してx^2>0を証明できたら「xは実数である」と言えるけど、
このとき「xは有理数である」も「xは無理数である」も証明できてないから、
「実数であることはわかるが、有理数とも無理数ともわからない」数は
ありえるんじゃ...?
- 23 ：
- 様相論理の話っすか？
- 24 ：
- 「πの加法公式」
π = √3 + √2,
1/π = √3 - √2,
π + 1/π = 2√3,
π - 1/π = 2√2,
- 25 ：
- >>24
π = √(3-a) + √(2-a),
1/π = √(3-a) - √(2-a),
π + 1/π = 2√(3-a),
π - 1/π = 2√(2-a),
a = 1/137.036
- 26 ：
- >>21
詳しく
- 27 ：
- ￥
>1 ：名無しさん ：2006/04/30(日) 01:41:01 ID:KPnB.CH2
> 迷惑かしらん
>
>5568 ：名無しさん：2016/08/17(水) 18:26:13 ID:???
> うるさい
>
>5569 ：kmath1107★：2016/08/17(水) 21:46:32 ID:???
> 人への念の盗み見による介入を阻め。
>
>5571 ：名無しさん：2016/08/17(水) 23:39:07 ID:???
> うるさい
>
>5576 ：kmath1107★ ：2016/08/18(木) 20:58:14 ID:???
> 人への念の盗み見による介入を阻め。
>
>5577 ：名無しさん ：2016/08/18(木) 21:05:02 ID:???
> >>5575
> うるさい
>
> >>5576
> 賛同致します
>
>5578 ：kmath1107★ ：2016/08/19(金) 08:46:22 ID:???
> 人への念の盗み見による介入を阻め。
>
> Re:>>5577 人への念の盗み見による介入が無くなれば世の不和が無くなるだろう.
>
>5582 ：￥ ◆2VB8wsVUoo ：2016/08/19(金) 08:53:36 ID:???
> 芳雄が理想とし、自ら体現する大学教授とは？
> ０．自分が『お教授である』という利点を徹底活用して、偉そうに振舞う。
> １．年寄りや権威には擦り寄って顔色を窺い、ラクして損しない様にスル。
> ２．難しい分野や困難な研究テーマは徹底して避けて、努力を最小化する。
> ３．高い学歴とか権威を効率的に利用して、自分を飾って偉く見せ掛ける。
> ４．他人に見える部分だけを巧みに繕ってメッキし、人格者のフリをする。
> ５．相手のオツムの質を窺い、シッタカだけで見識がある様に見せ掛ける。
> ６．自分よりも優秀な人間は絶対に敵に回さないでヘラヘラと仲良くする。
> ７．自分から見てダメオツムな野郎は、上から目線で威圧して屈服させる。
> ８．大して中身が無いカラッポ知識を針小棒大に騒ぎ立て、蘊蓄を傾ける。
> ９．自分の大脳が働いてない低能ぶりは、口先で適当に誤魔化して逃げる。
>
> ￥
- 28 ：
- ￥
- 29 ：
- ￥
- 30 ：
- ￥
- 31 ：
- ￥
- 32 ：
- ￥
- 33 ：
- ￥
- 34 ：
- ￥
- 35 ：
- ￥
- 36 ：
- ￥
- 37 ：
- ￥
- 38 ：
- >>26
「ほとんど整数」でググれ
- 39 ：
- >>9
実数:数直線上にある数。
有理数:整数÷整数の形に表現できる数。
無理数:有理数以外の実数。
ただし、私は、5や7とは別人。
- 40 ：
- ￥
>75 :１３２人目の素数さん 2016/09/18(日) 23:36:44.58 ID:ol2qzlaN
>正直
>ネットでみっともないこと一生懸命続けてたらパパが裏で旧関係者とかへのツテ全開で土下座してアカデミックな居場所工面して僕珍にプレゼントしてくれるかも？
>っていう甘ったれた感じしか感じられないんだな
>
>文科省植民地大出身おフランス留学親が教授の毛並みの良さしかアカポスに入りこめた理由がなかった低実績低実力数学愛皆無の見苦しい関西お受験坊やｗ
>
>76 :１３２人目の素数さん 2016/09/18(日) 23:41:47.41 ID:ol2qzlaN
>常磐線でカップ酒で酔っぱらってる茨城土民の低学歴の農家のおっさん並みに
>四国のローカル線でみっともなく酔っぱらって四国の女子専門学校生にしつっこく絡んで
>身を滅ぼした関西お受験ぼうやｗ
>
- 41 ：
- ￥
- 42 ：
- ￥
- 43 ：
- ￥
- 44 ：
- ￥
- 45 ：
- ￥
- 46 ：
- ￥
- 47 ：
- ￥
- 48 ：
- ￥
- 49 ：
- ￥
- 50 ：
- ￥
- 51 ：
- どうせ基礎論や論理学は数学じゃないんだから文系にやらせときゃいいんだよｗ
- 52 ：
- ￥
- 53 ：
- ￥
- 54 ：
- ￥
- 55 ：
- ￥
- 56 ：
- ￥
- 57 ：
- 基礎論スレでトンチンカンなこと言ってた人だ
- 58 ：
- ￥
- 59 ：
- ￥
- 60 ：
- ￥
- 61 ：
- ￥
- 62 ：
- ￥
- 63 ：
- ￥
- 64 ：
- ￥
- 65 ：
- ￥
- 66 ：
- ￥
- 67 ：
- ￥
- 68 ：
- >>1
> では、有理数であることも無理数であることも証明不能な実数は存在するか？
これは無数に存在する
というよりもほとんどすべての実数は有理数とも無理数とも証明できず
いずれかであると証明できる実数のルベーグ測度はゼロである
より分かりやすい言い方をすると、それが有理数であることか無理数であることの何れかを証明できる実数全てを
集めた集合の濃度は全ての自然数（あるいは全ての有理数でも同じ）の成す集合の濃度に等しい
その理由は数学を形式化（記号化）して考えると、何らかの形式的体系での証明は、その形式的体系が
枚挙可能な可算個の記号に基づき公理すべての成す集合が再帰的である
（つまりその体系での論理式が与えられた時その論理式が公理か否かは機械的に判定可能ということ）限りは、
その形式的体系でのありとあらゆる証明（の各々はゲーデル数化の方法で各々固有の自然数に対応する）の成す集合は
全自然数の集合の部分集合に対応し、従ってその全証明の集合は可算無限個の濃度しかないからだ
- 69 ：
- それは正しいが求めるものではないと思う。
計算可能な実数ではあるけど、有理数とも無理数とも証明できないような実数はあるか
というのが>>1の期待してる答えだろう
- 70 ：
- ￥
- 71 ：
- ￥
- 72 ：
- 無理数の定義が構成的でない件について
- 73 ：
- 例えば自然対数のeは無理数だけど
数列(Σ_{k=1}^n 1/k!)_{n∈N}の極限として表せるじゃん
計算可能な有理数の極限として表せる実数が>>1の考える例だろう．（後で調べて分かったけど極限計算可能実数というらしい）
平たく言えば，小数展開した時に任意桁まで表示可能な実数が求められてる例だと思う．
例えばe+πは時間さえかければどの桁までも表示できるよね．
- 74 ：
- ￥
- 75 ：
- ￥
- 76 ：
- ￥
- 77 ：
- ￥
- 78 ：
- ￥
- 79 ：
- ￥
- 80 ：
- ￥
- 81 ：
- ￥
- 82 ：
- ￥
- 83 ：
- ￥
- 84 ：
- ￥
- 85 ：
- ￥
- 86 ：
- ￥
- 87 ：
- ￥
- 88 ：
- R：実数全体
Q：有理数全体
とする
このときQはRの部分集合であることを量化であらわすと
∀x?Q ⇒ ∀x?R
数学と論理学がいつも喧嘩をするのは
Q ⇒ R
というとき(¬Q)∨Rと定める部分だ
また対偶より
(Q ⇒ R) ⇔ (¬R ⇒ ¬Q)
という
それでは論理学のいう定義に従って数を考えてみたい
QがRの部分集合であることをまず具体的な要素は考えない場合をみる
対偶の同値性より
(¬R ⇒ ¬Q)
def.⇔ (¬(¬R))∨(¬Q)
⇒ R∨(¬Q) 二重否定律
⇒ R∪(¬Q) 集合算の定義
一方
(Q ⇒ R)は定義より(¬Q)∨R ⇒ R∪(¬Q) 可換律
たしかに
R∪(¬Q)から元をとることが保証されている
さて実数全体と有理数全体でないものの和集合とは何だろうか
(¬Q)：=複素数全体CのときR⊆CよりR∪(¬Q)=C
(¬Q)：=Rのとき R∪(¬Q)=R
また整数全体Zに対して
Z ⇒ Q と書けるとき
¬Q ⇒ ¬Z
であるから
(¬Q)：=Zと置くことはできない(置いた場合は空集合)
(¬Q)：=自然数全体N のときN⊆RよりR∪(¬Q)=R
したがって
(Q ⇒ R) ⇒ (R∨C)∨(空集合)
が導出された
- 89 ：
- ここから数学として言えることは
N⊆Z⊆Q⊆R⊆C
という数体系に従う限り
部分集合について論理学に云う量化
∀x?Q ⇒ ∀x?R
あるいはその対偶
∃x?R ⇒ ∃x?Q
という記法は採用できない
また対偶や背理法を用いることも危険であることがわかる
空集合はすべての集合の部分集合であることの証明方法
すなわち偽の命題から導出された結論は論証として真である
を用いて数学を行うとすればある部分集合を扱うとき
すべて空集合の元で考えていることになる
それゆえにある数学者は空でないと予め宣言をする
それでは部分集合とは何だろうか
数学はすべてを構成しているわけではない
それが理解できれば部分集合が点のように思えるだろう
- 90 ：
- ＞このときQはRの部分集合であることを量化であらわすと
＞∀x?Q ⇒ ∀x?R
いきなり間違ってる
- 91 ：
- >>89
∃x∈R,p(x)⇒∃x∈Q,p(x)
は、
Q⊆R
より自明に従う。
- 92 ：
- 統計
422 43 ￥ ◆2VB8wsVUoo
233 25 ￥ ◆2VB8wsVUoo , 猫 ◆2VB8wsVUoo
244 30 ￥ ◆2VB8wsVUoo
123 12 ￥ ◆2VB8wsVUoo
231 18 ￥ ◆2VB8wsVUoo
239 24 ￥ ◆2VB8wsVUoo , 猫 ◆2VB8wsVUoo
29 3 ￥ ◆2VB8wsVUoo
133 11 ￥ ◆2VB8wsVUoo
222 15 ￥ ◆2VB8wsVUoo
198 20 ￥ ◆2VB8wsVUoo
- 93 ：
- ★★★数学徒は論理的な考察により客観的に暮らし、日頃から深い学術を志すべき。★★★
￥
- 94 ：
- ￥
- 95 ：
- ￥
- 96 ：
- ￥
- 97 ：
- ￥
- 98 ：
- ￥
- 99 ：
- ￥
- 100 ：
- ￥
100〜のスレッドの続きを読む
33歳数学ど素人だが、フィールズ賞目指すスレ
統計学Part17
分からない問題はここに書いてね422
Putnam Examについて
名古屋】有限会社モトミ食品輸送【トランストラスト2】
【速報】円周率と自然対数の底を足すと超越数になることが証明された【数学】
数学 難易度総合ランキング（偏差値）
現代数学の系譜 工学物理雑談 古典ガロア理論も読む58
現代数学の系譜11 ガロア理論を読む33
【大数】大学への数学 学コン考察
--------------------
【ｲﾅｽﾞﾏｲﾚﾌﾞﾝ】豪炎寺修也10.5【伝説のｽﾄﾗｲｶｰ】
南町田クラスティーナでは買うな！Part2
SDガンダム スカッドハンマーズ Wii肉痛6日目
arsざつだん368(IDなし)
やって良かったスレin喪女板 11
｢ネギま！｣ 出演声優総合スレッド PART52
【Artist】XP-PEN液晶ペンタブレット【+Star Deco】
Firefox userChrome.js greasemonkeyスクリプトｽﾚ41
【KHUχ】キングダムハーツ Union χ Part143 【糞運営法令違反
ナデシコvsアークエンジェル
AURALEE #3
ハゲが絶対に言わない言葉 part.1
【関西】枚方・寝屋川・守口周辺オフ１１
【Poser】RWBY 7【Rooster Teeth】
【キンタマ】銀座TRATTORIA GANZO【死体料理】
齊藤稜駿 Part3
村にピカド─────ンッ！！w
勉強しなくてもいい、学歴不問で稼げる資格教えろよ。医者とか薬剤師とか弁護士とか言うなよ。
▲最強の天部 三面大黒天▲
【四国王者へ！】 聖カタリナ 【愛媛】
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
