数学＠ふたば保管庫 [戻る]
 加茂晴美 |
|
あれ？ |
|
ぶっちゃけは引退したのか。 |
|
統語解釈と形式命題論理の混同のネタだね。 懐かしい。 |
|
>ぶっちゃけは引退したのか。 比較的最近ではmixiに 1=0.999... の証明やってた 興味あるんだったら id:14882521 でぐぐれ |
|
「叱られなければ、勉強しない」 の対偶が 「勉強したら、叱られる」 果たしてこれは正しいか？ 命題かどうかの問題では？ |
 >No. 99358 の続き(1)では、他のどんな仮定法を原仮定の対偶としてとるのが正しいか。（叱られてしまってるでない ならば 勉強しているでない）が原の仮定法に潜在する論理形式だから（勉強している ならば 叱られてしまってる）がソレの対偶となる論理形式だ――という事を 日本語の運用に慣れている者は いともたやすく直観する。よって、後者の対偶的論理形式を えげつなくない形に変えた仮定法「勉強しているのなら、叱られてしまってた」を原仮定法の対偶としてとるのが正しい。〈〈このとり方の正しさ〉を承認する手法〉が付け添えた画像に呈示されている。 |
|
>No. 99358 の続き(2) だがしかし、画像に呈示されている〈手法〉は《〈とり方の形式的な正しさ〉を承認する》に逗まって、 《〈とり方の内容的な正しさ〉を承認する》にまでは至らない。なぜかといえば、 《事例の仮定法が表わすタイプの事象の生起は たとえ蓋然性を有つにしても偶然的であるにすぎない》 という事に由って、こうした内容を有つ仮定法の対偶のとり方には〈ソレへの反例が見い出せる可能性〉 いわゆる〈反証可能性〉が有るから。 例えば、つぎのような〈対偶のとり方（⊆直接推理）の事例〉のように： ∀κ［家族κのメンバーは、皆の姓が同一でないなら、κとしての一体感を有ち得ていない。］ ――――――――――――――――――――――――――――――――――――――――――――― ∴ ∀κ［家族κのメンバーは、κとしての一体感を有ち得ているのなら、皆の姓が同一である。］ |
|
頑張ったね。 |
|
無駄だけどね |
|
連投・負荷増大 del |
|
それは符号的で量的ではないので他の要素が無いのしても一般人間社会に当てはめようとするのは危険だと思う。 |
|
壷が重いぞ(ﾟДﾟ)ｺﾞﾙｧ！ しょうがないので今日は早めに来て上げたわよｗ >結局これは正しいんだよな？ >人間原理だもんな 話はがらりと変わるが 例えばもしもッ！キミがこの宇宙に存在していなかったら この宇宙も存在していなかったかもしれない まあそんなことは99.9%なかろう だがこの馬鹿げた理屈ですら、現時点の物理学では「100%絶対に」有り得ないと証明できていない 何故ならキミの自我のメカニズムというものを 現時点の物理学では100%完全には説明できないからだ |
|
つまり「価値」がないどころの話ではなく キミがいなければ宇宙そのものが存在していない可能性が超微レ損といふことだ |
|
ごめんなさい。 やっぱりあなたとは付き合えないの。 |
|
ここにいるような偏屈に配偶者がいたら 配偶者は大変迷惑しているか 配偶者も偏屈かもね |
|
>壷が重いぞ(ﾟДﾟ)ｺﾞﾙｧ！ >しょうがないので今日は早めに来て上げたわよｗ 書いてて恥ずかしくないのかね |
|
人間が居なければエロも存在しないのだ！！ |
|
>だがこの馬鹿げた理屈ですら、現時点の物理学では「100%絶対に」有り得ないと証明できていない 馬鹿ってこの手の言い回しが好きだよな |
|
>だがこの馬鹿げた理屈ですら、現時点の物理学では「100%絶対に」有り得ないと証明できていない 証明する必要がそもそも無い 「100%絶対に」有り得ない事では無いからだ なのになぜ証明したがるのか？ それはおまんこパンツァ！ が馬鹿だからだ もしくはおまんこパンツァ！ が壺でもハブられてるからだ あるいはおまんこパンツァ！ が卑屈なｗで虚勢を張っているからかもしれない でなければおまんこパンツァ！ がおまんこパンツァ！ だからに違いない |
|
書き込みをした人によって削除されました |
|
人間原理を客観的にとらえてみようw |
|
1億円よりもキノコが好きなぐらいじゃないと解けない |
|
その難問は真に驚くべき内容のものだったが この余白はそれを書くには狭すぎる |
|
ストリップ女がおっさんの間に子供が出来る 難問の証明は認められ1億2000万円ゲット おっさんは一躍時の人となる ストリップ女は自分とは不釣り合いと感じ身を引く インタビューを受けるおっさんがカメラに向かってストリップ女にプロポーズ めでたしめでたし 尚、数学問題は話中でおっさんに証明される事が前提なので架空の問題 内容については一切触れられてない |
|
たまに見る設定だがその年齢まで自分の数学の才能に気が付かないのは いくらなんでもファンタジー過ぎる 義務教育もやってなかったのかよ |
|
ファンタジーすねえ でも世界規模で考えたら教育受けられない天才なんて珍しくもないかもねえ |
|
>No.99196 そのおっさんは京都大学卒業で私立高校の数学教諭 趣味は未解決問題の証明 漫画中で日本の高校生で解ける問題なら解けない問題は無いと豪語して 2009年 IMOドイツ大会 第6問を「バッタは苦手だが数学なら得意だ」と言ってあっさり解いている （正答者は565人中3人の難問で、そのうち1人が日本人高校生） |
|
アカポスとれなかったんですかね 受験で才能止まったんですかねえ |
|
数学教師 |
|
勉強が嫌になったんだなｗ わかりやすい |
|
「⑥が存在するならば①と⑥は合同である」 って解答に書いたらどうなる？ |
|
非ユークリッド幾何の可能性が微レ存 |
|
>No.99796 何でも言えてしまうから何を言ったことにもならないんじゃ… |
|
>⑥が存在するならば ちょっと待った 存在するだろ？ なに言ってんだオマエ |
|
は？ 正弦定理で簡単に不在を証明できるが… |
|
と…思った俺は馬鹿だった |
|
>こうゆうの社会人になってから使う職業って何なんだろうな 測量屋? |
|
これそのものではないが 図面と現場を見比べる際にはこういう思考力がけっこう必要 |
|
あるいはもう少し上に以下のようなレスがあるのだが… >コンピューターが本気でやるって表現見てイライラしない奴ってバカとか以前にここに居る資格が無いと思う これは（断定はできないが）流れからしてNo.99749君のレスである確率が高いとは思ふのだが そうだとすると、彼のいふ「こんなところ」が >変態大国ニッポンの中でも屈指の変態が集うふたばぞ？ >ＯＳさえ美少女になる世界のHUTABAぞ！！！１１１！！ こんな場所であっては・・・ 「コンピューターが本気でやるって表現見てイライラするような奴こそここに居る資格が無い」 ことになってしまう！ このような帰結になってしまうのを嫌ってのことであったのか？ |
|
だが、そんなことはどちらでもよろしいｗ 我々はこんなしょうもない揚げ足取りをするためにここまで推理を推し進めてきたワケではないのだ もっと重要なことがあるのだよ！No.99749君ｗ！ それが何かわかるかねッ！？ |
|
今、ここまでの一連の推理をNo.99749君が見ているならば 彼の脳内の中でノルアドレナリンが大量に分泌されているであろうことが 容易に想像できるｗ なぜそんなことが容易に想像できるかわかるかねｗ？ |
|
改めて硫黄！No.99749君ｗッ！ 繰り返すが、キミのレスの内容など私はほとんど興味もないが なぜそんなたわいもないレスをわざわざ消したのかが大変に気になるのだよｗ その理由が「自分が変態であると見られたくない」だとか 「ここに居る資格が無いと思われたくない」とか解釈は色々あろうが ハッキリ言ってどれも「しょーもない理由」であることに違いはあるまいｗ？ しかしこれが「しょーもない理由」であるからこそ！ このことは今のキミの精神状態が非常に悪い傾向だと私は診断せざるを得ないのだよ！ No.99749君ッ！ |
|
言っていることはわかるかね？No.99749君ッ！ 私はキミを心配しているのだよｗ ここは実名を晒しているワケでもあるまい匿名掲示板だぞ？ そんな場所でキミはこんな「しょーもない理由」でまず元のレスを消し、 おそらくキミ自らの正当性を主張するためなのか、あるいは自尊心を守るためなのか まあ真の理由は知ったことではないが、とにかく同じく「しょーもない理由」で 二時間半の時間を隔てた後、万全の理論武装をすべくして書き換えを行った・・・ （まあ不幸にして消す前の元のレスを私に見られてしまったワケだがｗ） |
|
結論を硫黄！No.99749君ッ！ つまりキミ以外の人間にとってはハッキリ言って「しょーもない理由」を キミ自身は「重要な理由」と考えたことに問題がある！ キミにとって、それはワザワザ元のレスを消して証拠隠滅を図り、 万全の理論武装をして装いも新たにレスに書き換える必要があるほどに 重要なことであった このことこそが真の問題なのだよ！ |
|
No.99749君ｗ！ そのような精神状態にある今のキミでは 脳内でどのような物質が分泌されているかまで 我々は容易に推測できてしまうのだよ だから私は上でも言ったのだｗ セロトニンが足りていないと！ 今夜はミルクティーを飲んでゆっくり休みたまへ 診断は以上だよ お大事にね |
|
おまんこパンツァ！って親族の結婚式にも呼ばれないだろうな てか親族にこんなん居たら娘の縁談に影響するよ |
|
連投・負荷増大 del |
|
知能があると自己主張し始めるから工業ロボ程度に止めておいた方がいい |
|
だいたいメンゲレだったら自分で考えろ馬鹿 |
|
今もオーストリアやドイツにはヒトラー姓を名乗る人が いるのだろうか。ある程度普通の姓だと思うのだが・・・ |
|
>ある程度普通の姓だと思うのだが・・・ そうなのかね？ 日本で言えば松平さんくらいの普通度かね？ |
|
ドイツではヒトラー姓は禁止されてなかったっけ？ もともとはチェコの姓をドイツ読みしたものだから ドイツには少なかったしアドルフの親戚はみな改姓した |
|
書き込みをした人によって削除されました |
|
>日本で言えば松平さんくらいの普通度かね？ 松平が普通度の基準になるのかどうか知らんがヒトラーが相当に珍しい苗字だって事は学校で習った 学校行ってない子には酷だろうけど |
 おはよう諸君！ >松平が普通度の基準になるのかどうか知らんがさんをつけろよデコ助野郎！>ヒトラーが相当に珍しい苗字だって事は学校で習った結局どっちなのかね？ある程度普通の姓なのか？それとも相当に珍しいのか？ |
|
>結局どっちなのかね？ >ある程度普通の姓なのか？それとも相当に珍しいのか？ 学校に行ってない子は自分で調べるって事が出来ない |
|
関係ないけど マルコポーロが佐藤さん並みに良くある名前だとか何とかみたいな話思い出した |
|
>おはよう諸君！ お前は目覚めるな |
|
なんぞこれｗ |
|
今は、歴史的文脈以外では「可能無限」という言葉をほぼ使うことがなくなった訳だけれど、２０世紀始め頃の可能無限と実無限に関わる議論において、無限を定式化する方法論としてどこまで考えるのかという争いと混乱があった時期の話。 ここで「素朴な可能無限」としてリカージョンをみとめ、（集合・類の要素としては）実無限要素の排除のことだとして、単純にリカージョンで無限をとらえる発想を「その後の可能無限」としよう。 「素朴な可能無限」派は、先の標準的な自然数の集合Nのように、その要素のどれをとっても有限（任意有限）だが、ペアノの公理のリカージョンによってどの要素にも必ず「後者」と呼ばれる要素があり、これによってＮの要素の個数（？）は無限であるというところまでは認めている。 |
|
そこで、自然数の要素に自然数全体の個数（濃度）と対等な要素を含めない述語論理のモデルでどのあたりまで数学がうまく埋め込まれるのかということを考えた。 それによって、数学の中から実無限を表面に出さないで（少なくとも集合の要素として超限的なものを排除して）論じることができるという期待を抱いた。 ところが、「素朴な可能無限」の立場で標準的一階ペアノ算術モデルでは先の任意有限と実無限の一つでもある可算無限をある意味区別できない。 したがって、実無限を排除するどころか無数に実無限による超限的リカージョンを生みだし、しかも「素朴な可能無限」の立場からはその実無限と任意有限を区別できないということがわかった。 |
|
書き込みをした人によって削除されました |
|
つまり、「素朴な可能無限」の立場では、実無限を排除したくても、仮に紛れ込んでいたとしても区別が付かない。 そして、ゲーデル、スコーレム、ヘンキン、ボレルなどの仕事のあと、可能無限と実無限の発想はより適切な述語に置き換えられていく。 順序数の概念や、リカージョンや、到達可能・不能、などその延長に広がっていった。これらを「その後の可能無限」の子孫と考えることができるかもしれない。 |
|
スレッドを立てた人によって削除されました |
|
書き込みをした人によって削除されました |
|
超限的リカージョンとは超限帰納法や超限順序数などのことだよ。 標準一階ペアノ算術モデルの中では、仮にωという超限数が紛れていても入っていなくても矛盾無いモデルが有り（相対的無矛盾に）この場合それぞれが同型ではないモデルとして2つになる。 そしてその範囲では仮にωが標準的自然数の要素ではないと示そうとしても、一気に（どんなに大きな）n個の証拠を提示することができるが無限の証拠は集められない。 大雑把に言えばそういうこと。 二階以上では、論理的自由変数同士の「対応」が定まるので、任意有限と可算無限、更には非可算無限も存在が示せる。 |
|
でも、２階以上にして、リカージョン（再起性？）を設定した瞬間にゲーデルが発動して、真とも偽とも言えない命題が同時に発生するんだろ？確か。 だったら、そもそもリカージョンの設定自体がおかしいとまでは言わないが、微妙な行為だったんじゃないの？ |
|
だから二階以上なら一階ペアノ算術：PA（1）のモデルで上手く定義できなかった超限的要素を区別できる程度に定義できるのよ。 |
|
わからんｗ |
| [0] [1] [2] |