圏論信者VS基礎論信者VS数学者
レス数が1000を超えています。これ以上書き込みはできません。
0001132人目の素数さん
2010/10/25(月) 19:04:28これらは、スレッドのタイトルと無関係な議論が繰り返され、
本来の話題を阻害しています。
圏や不完全性定理が言及される場合、このスレッドのURLをはって誘導して下さい。
0002132人目の素数さん
2010/10/25(月) 19:41:160003132人目の素数さん
2010/10/25(月) 20:22:33****************************************************
南堂久史さんの区体論
http://hp.vector.co.jp/authors/VA011700/math/welc.htm
****************************************************
日本の圏論の伝道者、檜山氏のサイトおよびブログ
http://d.hatena.ne.jp/m-hiyama/
http://www.chimaira.org/docs/indexCategoryTheory.htm
****************************************************
基礎論研究者とりマセさんのブログ
http://d.hatena.ne.jp/tri_iro/20050411
****************************************************
集合論研究者くるるさんのブログ
http://d.hatena.ne.jp/kururu_goedel/
****************************************************
--ウィキペディア--
圏論
http://ja.wikipedia.org/wiki/%E5%9C%8F%E8%AB%96
数学基礎論
http://ja.wikipedia.org/wiki/%E6%95%B0%E5%AD%A6%E5%9F%BA%E7%A4%8E%E8%AB%96
****************************************************
オンラインで入手できる数理論理学・数学基礎論のテキスト
http://klapaucius.web.fc2.com/logic/online-textbooks.html
0004132人目の素数さん
2010/10/25(月) 20:23:43--2ちゃんねる過去ログ--
高次元圏論の胡散臭さ
http://logsoku.com/thread/kamome.2ch.net/math/1237587505/
なんで圏論なんてもんがあんのよ?
http://mimizun.com/log/2ch/math/1057731708/
圏論 / カテゴリー論 / Category Theory 2
http://mimizun.com/log/2ch/math/1089645233/
圏論 / カテゴリー論 / Category Theory 3
http://www.unkar.org/read/science6.2ch.net/math/1156976472
基礎論なぜなにスレッド
http://cheese.2ch.net/math/kako/970/970523340.html
基礎論なぜなにスレッド その{φ,{φ}}
http://cheese.2ch.net/math/kako/1014/10141/1014140987.html
基礎論なぜなにスレッド その{φ,{φ},{φ,{φ}}}
http://yomi.mobi/read.cgi/science2/science2_math_1043049229
選択公理、Zornの補題
http://cheese.2ch.net/math/kako/1011/10113/1011351649.html
数理論理学で有名な教授
http://cheese.2ch.net/math/kako/1007/10075/1007564373.html
数学基礎論の質問スレッド
http://mimizun.com/log/2ch/math/1097659610/
数学基礎論の質問スレッド その2
http://mimizun.com/log/2ch/math/1143943264/
数学基礎論の質問スレッド その3
http://www.unkar.org/read/science6.2ch.net/math/1170584559
数学基礎論の質問スレッド その4
http://logsoku.com/thread/kamome.2ch.net/math/1207899938/
数学基礎論の質問スレッド その5
http://logsoku.com/thread/science6.2ch.net/math/1244375946/
数学基礎論・数理論理学のスレッド その6
http://logsoku.com/thread/kamome.2ch.net/math/1265884076/
0005132人目の素数さん
2010/10/25(月) 20:24:460006132人目の素数さん
2010/10/25(月) 20:58:20全然違うけど。
0007132人目の素数さん
2010/10/25(月) 21:28:200008132人目の素数さん
2010/10/25(月) 21:42:140009132人目の素数さん
2010/10/26(火) 00:54:250010132人目の素数さん
2010/10/26(火) 00:55:330011132人目の素数さん
2010/10/26(火) 00:56:510012132人目の素数さん
2010/10/26(火) 07:36:09ゲーデルは数学を破壊した。
0013132人目の素数さん
2010/10/26(火) 09:11:410014132人目の素数さん
2010/10/26(火) 10:00:460015132人目の素数さん
2010/10/26(火) 21:18:050016132人目の素数さん
2010/10/26(火) 23:11:09・圏論はHaskellなどのプログラミング言語と関係している。
・圏論は集合論にとって代わり数学の基礎となる。
・圏論によって宇宙が記述される。
・圏論によって第三種永久機関が発見される
0017132人目の素数さん
2010/10/26(火) 23:28:09この板は猫のせいでまともに数学の知識あるやつがいなくなったな。
001816
2010/10/26(火) 23:36:13マクレーンの圏論の基礎も読んでいる。
竹内外史の層圏トポスも。
それでも数学の知識がないといえるか?
0019132人目の素数さん
2010/10/27(水) 00:36:560020132人目の素数さん
2010/10/27(水) 00:41:36トポスと集合論の関係を簡単に説明してくだされ
0021132人目の素数さん
2010/10/27(水) 07:31:25http://forum.shimozono.net/insei-1/00156.html
>Kripke-Joyalの意味論とよばれる手続きによって集合論的論理式を
>トポスの対象と射についての言明として解釈することができる。
>トポス Sets における解釈が通常の記号論的な集合と
>その元に関する論理式解釈となる。
>群、可換群、環などの数学的(特に代数的)構造の公理を
>論理式によって表現したとき、景 (C, J) 上の
>グロタンディーク・トポスにおいてその論理式を満たす
>ような対象が (C, J) 上の群、可換群、環などの層になる。
>局所環の層などについての局所的な条件も、
>全称量化子を用いた論理式によって自然に表現される。
故にトポスは全てを言及する。
0022132人目の素数さん
2010/10/27(水) 07:51:34これは初めて聞いたw
0023132人目の素数さん
2010/10/27(水) 09:08:18雰囲気しか分からんががサンクス
しかし、このメールの人は崩れるだろうなぁ・・・
0024132人目の素数さん
2010/10/27(水) 11:32:030025132人目の素数さん
2010/10/27(水) 12:40:060026132人目の素数さん
2010/10/27(水) 12:54:54(当然のことなので書いてないだけかもしれないが。)
前に、数論と物理を絡めたトンデモ系のサイトを一通り読んだけど、
内容はそんなに変じゃなかったけど、解析接続がどうのこうのを議論している感じで
ここから新理論が生まれるのは難しいと思った。
0027132人目の素数さん
2010/10/27(水) 14:06:39秀逸ww
0030自由数学者 ◆GoZmT/4SJG3R
2010/10/27(水) 19:33:24集合とは一種の groupoid である。つまり category の一種である。
0031132人目の素数さん
2010/10/27(水) 19:50:060032132人目の素数さん
2010/10/27(水) 20:01:25と言って、何が良いのかね?
そりゃ正しいのは分るが、そういう定義を採用した所で例えば有限単純群の分類が簡単に出来るようになる訳でも無いし・・・
0033132人目の素数さん
2010/10/27(水) 20:17:42「けんろん! 10/17/10 01:04AM」
http://www.ustream.tv/recorded/10256470
12:01
話者「SICTの内容よりはアドヴァンスド、というか難しい。
一般的にいう数学の中でも最も抽象的な分野の話なので、かなり。
数学者でも学部ではやらないし、院でもやる人はやる感じで、
マスターレベルではあんまり理解している人は少なくて、難しい
レベルだと思います、数学者にとっても。
だから数学者は、コンピュータサイエンスの連中が
圏論圏論って言っててビビッてます。」
一同「はっはっはっはっ」
聞き手「なんだあいつらビビッてやがるのね」
話者「コンピュータサイエンスの人は圏論を臆することなくやっているので、
なんだこいつらってなってる。」
0034132人目の素数さん
2010/10/27(水) 20:19:13関手やら(co)productなんやらが使いこなせてればそれで十分。
0035132人目の素数さん
2010/10/27(水) 20:29:18http://ac-net.org/tjst/doc/lectures/am98/1am98.pdf
http://www.google.co.jp/url?sa=t&source=web&cd=5&ved=0CC0QFjAE&url=http%3A%2F%2Fac-net.org%2Ftjst%2Fdoc%2Ftjst%2F991-tu-1.pdf&ei=NgzITI_DPIWgvQORw7TQDw&usg=AFQjCNFMx1SQ8WtzW8bZFkvZzJknG7M99w&sig2=rtW5183bPz7vOwoZpCoObg
http://www.ritsumei.ac.jp/se/~tjst/doc/tjst/983-ncat-ct.pdf
過去スレ
http://www.unkar.org/read/kamome.2ch.net/philo/1210064910
0036132人目の素数さん
2010/10/27(水) 20:35:51http://togetter.com/li/13042
>RT @tri_iro: twitter上の中高生を見ていると、
>某後輩の『圏論くらい高校生のうちに習得してるのが
>普通だと思ってた』発言が真実だったのではないかと
>思えてくる。高校生こわいです。あ、僕はもちろん
>高校時代には圏論のけの字も知りませんでしたよ!
>圏論は高校で勉強するのが当たり前になる世代がやってくるのか。
>高校生に圏論が大ブームらしい
ミニブログのツイッター利用者は若い世代が多いらしいが、
若い人間は圏論みたいな流行りものに憑かれやすいらしい。
0037132人目の素数さん
2010/10/27(水) 20:40:29わかってて書いてるやつなんて一人もいまいw
0038132人目の素数さん
2010/10/27(水) 21:04:32>Category至上主義者に聞きたいが、「群とは、objectが1個でmorphismが総てequivalenceであるようなcategoryである」
>と言って、何が良いのかね?
圏の例として群をあげただけだろ。
その見方が群論に寄与しなくても圏論の重要性は失われない。
0039132人目の素数さん
2010/10/27(水) 21:14:54こんな低レベルな奴らが数学やる時代になったんだ。
澁澤龍彦読んでフランス文学好きですって言ってるようなもんだな
0040132人目の素数さん
2010/10/27(水) 22:42:160041132人目の素数さん
2010/10/27(水) 23:25:55そんなに優秀な奴がそんなに居たとは思えないけど
高校生はどの本で圏論を勉強してるんだろう
0042132人目の素数さん
2010/10/27(水) 23:40:44これは東大の院でも勘違いしてるやつがいる。
読んだ冊数自慢する奴はたいていコレ
0043132人目の素数さん
2010/10/28(木) 04:09:19ちゃんと、圏論を勉強してる高校生がいたらいいですね
0044132人目の素数さん
2010/10/28(木) 06:51:250045132人目の素数さん
2010/10/28(木) 07:16:18ただ、数学特有の文化でわざと難しく書かれているので、現実に理解している人は少ない
0046132人目の素数さん
2010/10/28(木) 07:28:43圏論の前にやることがあるだろ
0047132人目の素数さん
2010/10/28(木) 07:36:28数学文化ではなく圏論・基礎論文化
自明な現象にカッコイイ名称を付けている
これらの分野は箱庭化している
>>46
準同型定理を知らない人間が圏論をやっている。
0048132人目の素数さん
2010/10/28(木) 07:48:38専門用語や最新の研究のトピックスをたくさん知っているが、
ちょっと捻った代数の問題出すと解けない人間もいる。
理解が浅い、思考レベルが低い証拠。
そういうやつに限って無駄に抽象に逃げる(抽象自体は悪くない)。
圏論に惹かれる人間はこういうのが多い。
0049132人目の素数さん
2010/10/28(木) 14:32:310050132人目の素数さん
2010/10/28(木) 15:24:29そういう奴は、素数を一つ挙げろと問われて「57」と答えたグロタンディークを引き合いに出す
0051132人目の素数さん
2010/10/28(木) 15:54:16当たり前のことなのに、これを勘違いしてるやつが多すぎる。
0052132人目の素数さん
2010/10/28(木) 16:03:04圏論だけでできることは限られてるんじゃない。
0053132人目の素数さん
2010/10/28(木) 17:40:41使ってる俺かっけえ
とか絶対思ってるだろ
0054132人目の素数さん
2010/10/28(木) 18:28:500055132人目の素数さん
2010/10/28(木) 18:38:20当てはまる人間を知ってる。
わけのわからない構造を代数に入れたり、変な位相を定義したりして、
あたかも数学を使いこなしているよう見せているが、
院試の代数演習の解答をまとめてもらおうとしたらお手上げだった。
小中学生が習いたての言葉を使うレベル。
0056132人目の素数さん
2010/10/28(木) 18:42:02例えばマクレーンの圏論の基礎の翻訳がそう。
訳者の経歴をググって納得。
0057132人目の素数さん
2010/10/28(木) 23:35:20具体的な問題を一般化すれば簡単になることが多いが、
底にある具体例のない抽象論は、簡単なだけに中身がない
からね。抽象だけいじって遊んで、何かやってる気になってる
人が多い。>>56なんかにその例がある。
0058132人目の素数さん
2010/10/29(金) 00:08:31それ高校の組み合わせ〜グラフ理論じゃダメなの?と言いたい。
0059132人目の素数さん
2010/10/29(金) 00:21:060060132人目の素数さん
2010/10/29(金) 00:22:48特異なアイデアを言うのは素晴らしいが、
特異なことをいうのが自己目的したのが圏論・基礎論信者だから。
0061132人目の素数さん
2010/10/29(金) 00:22:51アルゴリズムに圏論を使う意味はあるんじゃ無い?
0062132人目の素数さん
2010/10/29(金) 01:52:110063132人目の素数さん
2010/10/29(金) 07:11:26CSでも圏論は議論をまとめる程度にしか使われていないけど。
例えばhttp://arxiv.org/pdf/1007.2885
これは高校の組み合わせどころか、
最早図で整理してるだけでしかない。
これが数学だとかいうなら相当頭悪いよ。
CSと数学が深い関連を持っていると言ってんのはCSの人間だけ。
日本語で文章が書ければ、国文学やってるなんて言わないでしょ。
0064132人目の素数さん
2010/10/29(金) 09:36:400065132人目の素数さん
2010/10/29(金) 10:26:29IKKI読んで椎名林檎聴いて下北に住んでヴィレッジヴァンガードとか行きつけてそう
好きな言語はもちろんハスケル()笑
0066132人目の素数さん
2010/10/29(金) 10:39:44>IKKI読んで椎名林檎聴いて下北に住んでヴィレッジヴァンガードとか行きつけてそう
詳しいなw
0067132人目の素数さん
2010/10/29(金) 18:48:18新宿のヴィレッジヴァンガードに
圏論による論理学が置いてある(笑
0068123人目の素数さん
2010/10/29(金) 18:58:46当時澁澤龍彦と村上春樹が流行ってた。
しかし圏論バカはサブカル系だったか。
圏論の基礎とか黒魔術とか奇書って言葉にそそる奴らと
文体が似てると思っていたが。
まぁ自分も圏論バカ&かつては幻想文学バカだが。
0069132人目の素数さん
2010/10/29(金) 18:59:510070132人目の素数さん
2010/10/29(金) 19:02:43中間休止RC0が論理のイマージュとなった「差異」、
セリーの合弁写像Fmin:など、アームストロングの公理系による裏付け、
ドゥルーズのindetermineとideeの分裂など、果てがないが、
まずはボニファスの記述(無限還元公理)から紹介しよう。
Tc1:aを中心とした推論可能域をrをa;rと記述する
Tc2:消滅を∃¬%とする
Tc3:∃¬%のヒルデガルド対応は∃%である
Tc4:∃%の次は0;rとする
Tc5:0;r→1;rの対応でModanponet
が一階無効になる
これはあなた方が使用している論理学の根底にあるものである。
山之内 彰
0071132人目の素数さん
2010/10/29(金) 19:30:39さて、スペンサーブラウンが提唱した形式の法則であるが、
これはCalculusに基くブール代数の構成を可能にした「区別」と
呼ばれるシステムの自己観察機能による再循環−これは
マトゥラーナ=ヴァレラ図式によるもの−に「拡大」可能となっている。
例えば「横断」による算法、これは自己同型写像による対象aの分布関数
R:Spec(農N0);B(a,ε)→Vll(-<>r)
を意味するもので、primary algebra の公理からアイオーンの時間の固体化、
即ちリンデンバウム補数の位相が閉であること(ArrX/R)、
また複素散乱ウカシェベッチ型ベクトルの縮減対応から得られる
「埋め込み」が線型写像であること⇔Θ:ξ(Asc(3))ΛΓ(A_0)→Γ(A_0)の作用が存在する。
直線的被覆が「シミュラークルの質料」というXの規定、これが即ち論理学である。
山之内 彰
0072132人目の素数さん
2010/10/29(金) 19:32:22まずヒルデガルド対応の説明を与えよう、
一般的なTate仮説の∃¬%がKe(C*)の底鎖列として定義される場合の
Vintage代数がストーン双対であるとは、任意のカントール空間の
実効的閉集合の世界のMedvedev 次数構造がimmunityであることとは
以下の可換図式が成立することと同値である。
s → bl → bel → I
↓ ↓
b → tl → w
また、identification in the limit をベール空間の集合へ一般化したも
のがこの学習還元可能性である、学習は以下のような具体例がある。
心象自制有界学習(P ≦bl Q):
(∃ψ)(∃c)(8g 2 Q) [limn(gn)(g) 2 P
& #fn :(g n) , (g n + 1)g < c]:
誤謬有界学習(P ≦bel Q):
(∃ψ)(∃c)(8g 2 Q) [limn(gn)(g) 2 P
& #f(g n) : n 2 !g < c]:
剰余類学習(P ≦tl Q):
(∃ψ,;;;;,ψ_k )(∀g∈ Q)(∃m ≦ k) limnψm(gn)(g) ∈ P:
つまりジュリア閉集合とは、
(∀m) P ∧ Im ≠�唐ニなるような
有理区間の計算可能な枚挙fImg が存在しないときを指すのである。
0073132人目の素数さん
2010/10/29(金) 19:34:07さて、茶番が終わったところでセリーの合弁写像の根拠を与えよう。
ギヨーム理論が数詞と内部空間をゼロ複数、S単数などの空間的配置によって
形態論に内在する意味の精神過程を捉えるエルチュードだとは自明であろう。
P; Q 2 ω^ω とする.P がQ にculervent還元(P s Q) とは、
ある双対アルゴリズム が存在して,任意のg 2 Q に対して
(g) 2 P となるときを指すから、T の定理とL反駁の
分離関数全体の集合Sep(T) はr.e.separating class
と呼ばれる特殊な実効埋蔵閉集合になる。
即ち完備側芽のTerr分解X_0[−,]:が以下のように変形される。
Ps j= (8x; y)(9z)(x < y ! x < z < y).
(9e0; : : : ; ek )(8g 2 Q)(9m k) em(g) 2 P
これはセリーの合弁写像と同型である。
山之内 彰
0074132人目の素数さん
2010/10/29(金) 19:51:140075132人目の素数さん
2010/10/29(金) 23:01:39電波にしても人工的でつまらん。圏論と同じ。
0076132人目の素数さん
2010/10/30(土) 02:36:380077132人目の素数さん
2010/10/30(土) 02:41:22電子工学では複素解析が強力なツールになり、
機械工学ではラプラス変換が強力なツールになり、
コピペ改変では圏論が重要なツールになると。
0078132人目の素数さん
2010/10/30(土) 08:46:41http://www.youtube.com/watch?v=34hQAWcw7Vk
実際導来圏で同じとみなされる空間って
同型よりも少し精密なだけだし、なんでここまで持ち上げられるのか謎。
0079132人目の素数さん
2010/10/30(土) 08:49:25http://www.youtube.com/watch?v=pmvVE8AGAEA&feature=related
0080132人目の素数さん
2010/10/30(土) 09:17:29http://www.miwa-design.jp/cgi-bin/wordpress/?p=479
0081132人目の素数さん
2010/10/30(土) 09:29:49アスペの生活保護のためにある世界
0082132人目の素数さん
2010/10/30(土) 09:45:29That is something which I never saw even mentioned in any popular book about mathematics.
I saw algebraic equations mentioned.
I probably even saw homotopy groups mentioned, especially in elementary books on topology.
But I think that at the heart of 20th century mathematics lies one particular notion and that is the notion of a category.
2002 Fields Medalist Vladimir Voevodsky (2002, minute 16)
0083132人目の素数さん
2010/10/30(土) 11:56:29圏を中心にあげるのは当たり前。
一方ペレルマンは同じトポロジーでも別世界
0084132人目の素数さん
2010/10/30(土) 13:00:14F1圏は最早Objectとしても性質さえも持たないらしい。
0085132人目の素数さん
2010/10/30(土) 13:06:560086132人目の素数さん
2010/10/30(土) 13:25:120087132人目の素数さん
2010/10/30(土) 13:33:34圏が抽象的という言明も不思議。
0088132人目の素数さん
2010/10/30(土) 13:39:350089132人目の素数さん
2010/10/30(土) 13:41:440→・
↓ ↓
・→1
の名前ってある?
0がイニシャル、1がファイナル。
0090132人目の素数さん
2010/10/30(土) 13:44:02ある精神的傾向を持っていることが多いため、
圏自体というより、
この精神的傾向を持った不特定多数の集合意識
に対しての批判とみなすのが妥当だろう。
圏は精神病理者を引寄せるのだ。
0091132人目の素数さん
2010/10/30(土) 13:45:07本物の数学でこそ、圏有効だと思うけどね。
0092宇宙のパラノイア
2010/10/30(土) 13:46:460093132人目の素数さん
2010/10/30(土) 13:48:020094132人目の素数さん
2010/10/30(土) 13:49:200095132人目の素数さん
2010/10/30(土) 13:49:28圏と基礎論を並べるのもすごい不思議。
基礎論って圏の概念をネグレクトしてきたイメージなんだけど。
基礎論嫌なのは同意見。
0096132人目の素数さん
2010/10/30(土) 13:52:16その圏は普通に可換図式と言われてる。
0097132人目の素数さん
2010/10/30(土) 13:54:09http://www.saiensu.co.jp/index.php?page=book_details&ISBN=4910054700701&YEAR=2010
黒川さんの絶対数学の本読んだけど圏論は余り出てこなかったな
自分に圏論が必要になるのは2年以上先だな
0098132人目の素数さん
2010/10/30(土) 13:57:24モデル理論とかばんばん圏論とロジックが融合してるじゃない。
ただ数学の方の圏論とは使い方が違うけど。
0099132人目の素数さん
2010/10/30(土) 13:57:560100132人目の素数さん
2010/10/30(土) 13:58:500101132人目の素数さん
2010/10/30(土) 14:08:52専門用語をばんばん作るのは
理論全体のまとまりが悪いから。
0102132人目の素数さん
2010/10/30(土) 14:10:25そうなんですか?
モデル理論ってレーベンハイム・スコーレムとかの?
どんな風に圏を使ってるのかな?
ここ見りゃ判るってとこある?
0103132人目の素数さん
2010/10/30(土) 14:19:19例
http://www.tac.mta.ca/tac/volumes/20/7/20-07.pdf
0104132人目の素数さん
2010/10/30(土) 14:34:180105132人目の素数さん
2010/10/30(土) 14:43:230106132人目の素数さん
2010/10/30(土) 14:45:110107圏論DQN
2010/10/30(土) 14:46:54ちがいますぅー
Haskellは圏論を元に作られましたぁー
0108132人目の素数さん
2010/10/30(土) 14:50:15その結果プログラマーとかになったり圏論やったりする。
圏論って思考を最も効率化・簡易化したものだから。
俺は数学はできなかったが今は東大生よりできると思う。
0109132人目の素数さん
2010/10/30(土) 14:57:33大穴受入馬魔羅
全力保身意欲満
唯望金銭風俗卑
体位形骸能力無
陰茎完全無熱血
阪京品質至劣悪
唯性欲消化無残
仕分大穴尻傷多
0110132人目の素数さん
2010/10/30(土) 15:00:01>>107
「圏論を知らなくても問題なくプログラミング言語を開発できる」とは書いてあるが、
「圏論を知らなくても任意のプログラミング言語を開発できる」とは書いてない
>>108
つまり自分は高校時代頭の回転が速すぎて数学できなくて圏論をやってたけど、
今は老化で頭の回転が遅くなったので数学ができるようになったと主張したいの?
0111132人目の素数さん
2010/10/30(土) 17:07:490112132人目の素数さん
2010/10/30(土) 19:00:21勝手に歴史を捏造すんなww
Haskel に圏論の概念が含まれるのは確かだが、
純粋関数型プログラミング+モナドってだけにしかみえん。
0113132人目の素数さん
2010/10/30(土) 19:06:31俺の唯一の遊びなんだよ、圏論は
0114132人目の素数さん
2010/10/30(土) 19:59:00來渡海破百殘
XX[x斤]羅
以爲臣民
0115132人目の素数さん
2010/10/30(土) 20:04:10牟王之創基
也出自北夫
餘天帝之子
母河伯女郎
剖卵降出生
子有聖 □□
□□□□命
駕巡車南下
路由夫餘奄
利大水王臨
津言曰
0116132人目の素数さん
2010/10/30(土) 22:04:460117132人目の素数さん
2010/10/30(土) 22:09:000118132人目の素数さん
2010/10/30(土) 22:09:420119132人目の素数さん
2010/10/30(土) 23:20:41圏論の存在(当時はそのような言葉はなかったのだが)に
初めて気が付いたのは餓露亞だから。
魔苦蓮や哀憐罵亞愚はそれを体系化しただけ。
餓露亞理論は実は体や群ではなく当初は圏的思考で構成されていた。
0120132人目の素数さん
2010/10/30(土) 23:37:08それに気付いたのは愚露嘆ですけどね。
0121119の表記を改めた
2010/10/31(日) 02:40:42何か勘違いしてるバカが多いので水をさしとくけど、
圏論の存在(当時はそのような言葉はなかったのだが)に
初めて気が付いたのはガロアだから。
マクレーンやアイレンバーグはそれを体系化しただけ。
ガロア理論は実は体や群ではなく当初は圏的思考で構成されていた。
0122120の表記を改めた
2010/10/31(日) 02:41:38>>119
それに気付いたのはグロタンですけどね。
0123132人目の素数さん
2010/10/31(日) 02:47:31具体と抽象の行き来ができない人間にみられるインチキっぽさを蔑んでいる。
0124132人目の素数さん
2010/10/31(日) 02:51:33定式化の重要性を軽視するような、大所高所に立った言論はハッタリであろう。
0125132人目の素数さん
2010/10/31(日) 06:10:500126132人目の素数さん
2010/10/31(日) 06:19:41人て居る?
0127132人目の素数さん
2010/10/31(日) 06:28:520128132人目の素数さん
2010/10/31(日) 06:38:330129132人目の素数さん
2010/10/31(日) 07:25:070130132人目の素数さん
2010/10/31(日) 07:56:40数学史を見る限りそうでもないと思うけど。
>>126-127
それが独創と的外れの違いですね。
>>128
圏論を使った小中学向けの教材ならある。
>>129
知識をどれだけ絞れるかが能力を決めますね。
0131132人目の素数さん
2010/10/31(日) 08:16:130132自由数学者 ◆GoZmT/4SJG3R
2010/10/31(日) 16:00:08category とは monoidoid である。monoid は category である。
0133132人目の素数さん
2010/10/31(日) 19:18:08ブルバキみたいに分かって言ってるハッタリとは違う
0134数学的キリスト ◆jkwVJMjC32
2010/10/31(日) 22:49:20それを観察する者ども----超越的な存在、
つまり高階述語論理によって記述されている。
いまだに二階算術上で戯れる人類は、はるか先にある世界、
集合論的宇宙(ユニバース)の先端の定理の海に向かっている。
やがて論理は分離・分岐・拡散を繰り返し植物的に進化する。
0135132人目の素数さん
2010/10/31(日) 22:51:19ポストモダン野郎、哲学板へ帰れ!
0136数学的キリスト ◆jkwVJMjC32
2010/10/31(日) 23:00:50俺はポストモダン哲学者ではなく、
未来の数学の伝道者だ。
やがてお前にもわかるだろう。
お前はその段階にまだない。
0137数学的キリスト ◆jkwVJMjC32
2010/10/31(日) 23:04:52これは21世紀の間の出来事である。
それまでの証明論は使えなくなり、真偽値は多重に乱れる。
正標数でも多値論理でもファジーでもない。
ありとあらゆる場所に世界が混じり合っている、
そこでは他者の意識が流れ込む一点が存在している。
0138132人目の素数さん
2010/10/31(日) 23:09:120139数学的キリスト ◆jkwVJMjC32
2010/10/31(日) 23:11:39高次元トポスによる普遍論理の考案である。
内部観測や時間の流れに関する驚異的な発見もある。
0140132人目の素数さん
2010/10/31(日) 23:13:500141数学的キリスト ◆jkwVJMjC32
2010/10/31(日) 23:18:49よくわかっている、
我々は知るべきである、そして知るであろう。
言葉は神が与えた神具の一つではあるが、
神は二階算術までしか創造しなかった。
論理は神を超えている。
0142132人目の素数さん
2010/10/31(日) 23:26:56> それまでの証明論は使えなくなり、真偽値は多重に乱れる。
少なくともこれはない
> 内部観測や時間の流れに関する驚異的な発見もある。
これもないな
0143数学的キリスト ◆jkwVJMjC32
2010/10/31(日) 23:34:50パーシャルアロー・クラシファイヤーの存在定理や、
サブオブジェクト・クラシファイヤーの存在定理の証明が
できるようになってからかかってきなさい。
これらがなければトポスを定義することすらできない。
また双圏と多重圏と2圏の違いがわかるだろうか。
これを理解しなければ内部観測についての判断はできない。
真偽値についてもクリプキ構造も補題存在保証の定理も知らないなら
批判することすらできぬだろう。
さらにライトのような新フレーゲ主義者は実数の存在を使用せずに
数学を25階述語論理上で展開した、ZFC+はここでは使い物にならない。
ブライド圏やオーバー圏、忘却函手、経絡函なども必須だ。
そもそもマクダガードの時間非存在仮説すら知るまい!
0144132人目の素数さん
2010/10/31(日) 23:36:37高次圏論とか多重圏論とかいうやつか?
0145132人目の素数さん
2010/11/01(月) 00:58:320146132人目の素数さん
2010/11/01(月) 01:42:11新しい概念が席巻することはなかろう
0147132人目の素数さん
2010/11/01(月) 02:48:54停滞していた現代数学には新たな活路が見出されるだろう。
0148数学的キリスト ◆jkwVJMjC32
2010/11/01(月) 07:31:57全くだ、数学はやがて圏に支配される。
>>146
イデアルなどという古代言語は最早不要。
>>147
素数の一般項は代数的操作にも超越的操作によっても得られない。
私はここに一般項を得る手段を持つが、圏論への深い理解が必要だ。
0149132人目の素数さん
2010/11/01(月) 07:37:00圏が物理すらも支配するとしたら、圏は宇宙の何処にあるの?
0150132人目の素数さん
2010/11/01(月) 07:43:06それを理解できる人間と出来ない人間に別れ、前者が世界の覇者となり、後者は滅亡するであろう。
0151132人目の素数さん
2010/11/01(月) 07:46:000152132人目の素数さん
2010/11/01(月) 07:51:230153超越論的数学者 ◆jkwVJMjC32
2010/11/01(月) 07:58:00圏は全にして一である。
圏はあらゆる場所に存在している。
0154数学的キリスト ◆jkwVJMjC32
2010/11/01(月) 08:09:040155ウザい猫 ◆MuKUnGPXAY
2010/11/01(月) 11:38:590156132人目の素数さん
2010/11/01(月) 12:32:46圏論と言うと、位相とか代数幾何相当の部分まで含むようだな
0157数学的キリスト ◆jkwVJMjC32
2010/11/01(月) 18:44:00いえ、全てを含みます。
位相・代数幾何は発端にすぎません。
こういった具体的で泥臭いものは、神聖な圏の世界からは遥か遠い存在です。
救われたいのならば圏論を学習しなさい。
0158132人目の素数さん
2010/11/01(月) 18:48:00神智学に包含される物なり
0159132人目の素数さん
2010/11/01(月) 18:48:07圏論勉強すれば俺の人生も良くなるのでしょうか。
0160132人目の素数さん
2010/11/01(月) 18:49:39止めなさい。絶望の度合いが深まるだけです。神智学を修めなさい。
0161132人目の素数さん
2010/11/01(月) 18:55:09神智学は出帆新社の神智学大要のシリーズを読みましたが、
それらの文献は私には子供だましとしか受け取れませんでした。
シュタイナーもエドガー・ケイシーもその思想は
私の絶望に比べれば浅いものでした。
私を救済するものは最早数学の中にしか残っておりません。
0162132人目の素数さん
2010/11/01(月) 18:59:00ヘブライ文字はこれのアナグラムになっている・・・。
0163132人目の素数さん
2010/11/01(月) 19:01:04少々狂わなければ習得するのも難しいと言うことか。
0164132人目の素数さん
2010/11/01(月) 19:02:000165132人目の素数さん
2010/11/01(月) 19:03:02ここの手合いは完全に狂ってまんがな
0166132人目の素数さん
2010/11/01(月) 19:08:19圏がMalchutからDaathへ移行しようとし、
Grothendieckが気付いていたものが姿を現そうとしている。
あらゆる単一が意味を持ち始めてしまう。
0168132人目の素数さん
2010/11/01(月) 19:10:41Twitterの圏論の人ってどうやってみるの?
0169132人目の素数さん
2010/11/01(月) 19:11:350170132人目の素数さん
2010/11/01(月) 19:19:35たまたまその手の人のTwitterを見かけたんでそこから芋づる式に見た。
煽る気はないのでここで紹介はしないけど。
私は別にトンデモっぽいのが悪いとは思わないし(自分の方がトンデモだし)。
0171132人目の素数さん
2010/11/01(月) 19:20:410172132人目の素数さん
2010/11/01(月) 19:23:480173132人目の素数さん
2010/11/01(月) 19:46:38Twitterって登録しなくても見れます?
Googleのキーワードヒント教えてくれませんか。
017420秒でわかる圏論
2010/11/01(月) 19:54:55集合は全てシングルトンとする。
集合を対象、写像を射と呼ぶ。
それらの自明な自己同型群を考える、これを関手と呼ぶ。
これが圏論である。
0175132人目の素数さん
2010/11/01(月) 19:57:23旧帝大の数学科は数学が出来過ぎてしまい、
圏の考えが自明すぎてよくわからない。
数学など何も知らない人間こそ圏論をやるべき。
0176132人目の素数さん
2010/11/01(月) 21:44:55それは圏論じゃなくて圏の定義だよ
ちゃんとした圏論をおねがいします
0177Shema ◆jkwVJMjC32
2010/11/01(月) 23:19:35私はまっすぐな道をそれて
暗く深い圏論の中を彷徨っていた。
論理の森で迷子になるか、抽象の海で溺れるか。
しかし圏はそれらからあなたを救いだし、
光のあるところへと誘うだろう。
0178132人目の素数さん
2010/11/01(月) 23:24:340179132人目の素数さん
2010/11/01(月) 23:31:210180猫は妖怪 ◆MuKUnGPXAY
2010/11/02(火) 02:04:20猫
-------------------------------------------------------
319 名前:ウザい猫 ◆MuKUnGPXAY :2010/11/01(月) 23:59:31
ワシはアンタ達を許すという考え方は微塵もアリマセン。なので徹底してココ
に居座らせて戴きますから思いっきり嫌な思いをして下さいませ。ソレが無記
名で名誉棄損や誹謗中傷、はたまた他人のプライバシーを無責任に喰い荒した
報いというモノですワ。
猫
0181132人目の素数さん
2010/11/02(火) 17:25:02圏の面白い定理ってなんかありまつか
0182132人目の素数さん
2010/11/02(火) 17:56:140183132人目の素数さん
2010/11/02(火) 18:34:480184132人目の素数さん
2010/11/02(火) 19:06:220185132人目の素数さん
2010/11/02(火) 19:09:37重要なのは昔の偉い人が収穫済み
0186猫が威張る ◆MuKUnGPXAY
2010/11/02(火) 19:11:23猫
0187132人目の素数さん
2010/11/02(火) 19:12:010188132人目の素数さん
2010/11/02(火) 19:20:29それは例えば集合の定義を知ってる程度のレベルでまあイメージできるもので
集合論の面白い定理ってなんかありますか、と尋ねるようなもん。
仮にそのような面白い定理が無いとしても集合論の重要性は失われない。
圏論も同じ。
0189132人目の素数さん
2010/11/02(火) 19:21:02俺は遠くて行けないが。
0190132人目の素数さん
2010/11/02(火) 19:23:08同感。
補足するとこれからは集合よりも圏が使われるようになる。
21世紀の終わりには完全に数学全般が圏で記述されてるはず。
>>189
http://www.kurims.kyoto-u.ac.jp/~ichiro/AdvCat/Home.html
0191132人目の素数さん
2010/11/02(火) 19:26:54集合自体が圏と比べると
かなり不完全な状態で形式化されちゃったからね。
元来カントールが無限についての考察の道具として
超限順序数εを定義するために使いたかったみたい。
その後チャイティンが定数Ωを考案するまでその状態がずっと放置されてきた。
0192132人目の素数さん
2010/11/02(火) 19:32:56超限順序でも結構未解決なものもあるけど。
ω番目の無限基数ℵ_εの特異基数の構造とか、
シルバーの定理とかマギドーの定理とか・・・。
PCF理論なんてほとんど未解決な分野だし。
むしろコーエンの強制法がこの分野の端緒だから。
0193自由数学者 ◆GoZmT/4SJG3R
2010/11/02(火) 19:56:30categories だけでは不十分である。Enriched cate-
gory theory の存在などがそのことを示している。
0194132人目の素数さん
2010/11/02(火) 19:59:06そういう集合論独自の問題とは別のところに集合論の重要性がある。
0195132人目の素数さん
2010/11/02(火) 20:02:55それを言うなら集合論だけでは不十分である。
構造を持った集合の理論、例えば群論の存在などがそのことを示している。
0196132人目の素数さん
2010/11/02(火) 20:15:400197132人目の素数さん
2010/11/02(火) 20:17:29(コ)ホモロジー的なものは全部看守だし。
0198132人目の素数さん
2010/11/02(火) 20:30:12もはや何でもありだな。
0199132人目の素数さん
2010/11/02(火) 20:30:28基本的には順序付きのオブジェクトが射で、
鎖状に連なっている圏があって、
それから別の圏に各オブジェクトと射が函手でつながる。
各圏のオブジェクトには極大と極小が一意に存在して、
極大オブジェクトは函手で導かれた先の圏の
極小のオブジェクトに衛星函手というものでつながっている。
これによって圏と超えた帰納的極限を持ちつつも、
有限のオブジェクトからなる奇妙な圏が作られる。
0200132人目の素数さん
2010/11/02(火) 20:32:23というか圏論の重要性はそこなんだよ。
圏論で独創をすることかじゃなくて、
圏論が普遍言語になりうるんじゃないかってこと。
清水の圏論による論理学のまえがきとあとがきを読んでみなよ。
0201132人目の素数さん
2010/11/02(火) 20:34:570202132人目の素数さん
2010/11/02(火) 20:37:16圏論を用いてはじめて語られるものだ。
0204132人目の素数さん
2010/11/02(火) 20:47:53答えはできるだけど。
まぁ21世紀も引き続き集合論(笑)でもやっててください。^^;)
0205132人目の素数さん
2010/11/02(火) 21:24:26数学の素質が欠落しているから、圏論でもやっててください。
あとポストモダン哲学とか向いてると思いますよ。
0206132人目の素数さん
2010/11/02(火) 22:19:52後、イプシロンデルタとか無限小解析の代わりに圏論使ってるような解析学ってある?
あるとしたらどんな感じ?
0207132人目の素数さん
2010/11/02(火) 22:46:120208132人目の素数さん
2010/11/02(火) 22:49:390209132人目の素数さん
2010/11/02(火) 23:44:060210206
2010/11/02(火) 23:47:50日本語のサイトは存在しないらしい。
英語圏から探してください^^
Universal property
0211132人目の素数さん
2010/11/03(水) 00:31:27Hecke環からモノイドへの忘却函手が定義される。
集合論的宇宙Lを定義する。
俺ってカッコイイ!
0212& ◆pAKOfAFDT0zB
2010/11/03(水) 00:38:510213132人目の素数さん
2010/11/03(水) 00:41:440214132人目の素数さん
2010/11/03(水) 04:44:560215132人目の素数さん
2010/11/03(水) 05:26:41お姉ちゃんに聞いてみなさい
0216132人目の素数さん
2010/11/03(水) 07:02:52それを解き明かすキーワードが圏論だ
0217132人目の素数さん
2010/11/03(水) 07:26:26これを記述するには圏論の力を借りるしかない。
0218132人目の素数さん
2010/11/03(水) 07:41:47プランク長よりもミクロな世界は
量子カオスとよばれ、
数学においても数論的量子カオスという分野がある。
これの研究者が先日フィールズ賞をとったが、
数論的量子カオスはエタールコホモロジー、つまり圏で記述されている。
0219132人目の素数さん
2010/11/03(水) 07:55:052012年の惑星地球の次元上昇への準備が着々と進んでいるというわけか。
0220132人目の素数さん
2010/11/03(水) 08:14:270221132人目の素数さん
2010/11/03(水) 08:18:34このスレにおいては圏論的論理カオスな奴がいる
0222132人目の素数さん
2010/11/03(水) 08:34:090223132人目の素数さん
2010/11/03(水) 08:48:50それらが圏の言葉を持っている可能性がかなり高い。
カルティシアン閉圏がこれからの重要なキーワードとなる。
0224132人目の素数さん
2010/11/03(水) 08:56:37第一段階として、バベルの図書館的言語の海があって、
そこから述語論理が生成したのだが、
二階算術上の圏論が述語論理やタブロー世界を侵食して、
内部観測を可能にしている。
多分マトゥラーナ・ヴァレラが提案した散逸構造論や
autopoiesisの概念も類似したものだと私は考えています。
これはイリヤ・プリコジン博士がエントロピーに対立するものとして、
人間をとりまくネゲントロピーの存在を予見していたこととも関連しています。
0225132人目の素数さん
2010/11/03(水) 09:04:44冗談としておもしろいとでも思ってるなら間違い。
0226132人目の素数さん
2010/11/03(水) 09:12:00冗談じゃないんですが。
第一段階のバベルの図書館的言語の海ってのは理解できますよね?
(数学者の中には無教養でラテンアメリカ文学を知らないものさえいる)
つまり人間が理解できない無機質な記号の羅列の段階です。
第二段階の述語論理は人間が理解できる段階の、
記号に操作が与えられた状態です。
現代論理学は二階述語論理を基礎にしていますが、
これは人間にとって二階算術がちょうど良い複雑さで
知覚しやすいの原因で、階数は任意です。
ただし量化演算子を個体として扱うためには二階以上が必要です。
現代研究されている数学は二階で99%は証明可能です。
圏論は階級(クラス)とよばれる論理学の階層概念によって定義されます。
ところが圏論自体で述語論理の記述が可能です。
これは圏がSyntax階級に属していて意味を持たないためです、
数学では俗に無定義用語と呼ばれます。
0227132人目の素数さん
2010/11/03(水) 09:14:40彼らはアセンションを越えられない
0228132人目の素数さん
2010/11/03(水) 09:15:420229132人目の素数さん
2010/11/03(水) 09:34:13一時流行ったポストモダン哲学ではないです。
http://ac-net.org/tjst/doc/lectures/am98/1am98.pdf
上は私が講義用に書いた資料で、圏論と内分観測について
まとめたものなので参照して下さい。
またオートポイエーシスと圏論の関連については以下で学習して下さい。
http://www.rikou.ryukoku.ac.jp/~nomura/docs/TNAP_ECAL01.pdf
これらの議論の理解は、あなたのつまらない
見栄やプライドを捨てることからなされるでしょう。
0230132人目の素数さん
2010/11/03(水) 09:47:35上のファイルを見ると、あなたが北大の辻下徹先生だということになりますが、
あなたは本当に辻下徹先生ですか?
0231132人目の素数さん
2010/11/03(水) 11:49:09大学教授になりすましてまで持論を展開する。
つまらない見栄やプライドを捨てなければならないのはどちらでしょうか?
0232132人目の素数さん
2010/11/03(水) 12:01:12それ以外になにもない
0233132人目の素数さん
2010/11/03(水) 13:02:11空集合であっても全く気にしない。そんな人達。
いや、空集合から物理学を作れるとさえ思っていそうだ。
0234132人目の素数さん
2010/11/03(水) 13:48:240235132人目の素数さん
2010/11/03(水) 15:42:04都合が悪くなるとなりすましや自演だと勝手に認定。
つまらない見栄やプライドを捨てなければならないのはどちらでしょうか?
0236132人目の素数さん
2010/11/03(水) 15:54:120237132人目の素数さん
2010/11/03(水) 15:56:58上のファイルを見ると、あなたが北大の辻下徹先生だということになりますが、
あなたは本当に辻下徹先生ですか?
0238見境なき猫 ◆MuKUnGPXAY
2010/11/03(水) 16:21:48自分の知性を発揮してちゃんと英文で書いたマトモな修士論文が最低限必要です。
もしその条件が満たされていない場合は撲滅されて追放になる可能性がかなりあり
ますから、非常に注意をした方が宜しいかと存じます。数学科の大学院は非常に厳
しい高品質が求められる場所でなければなりませんから。
猫
0239132人目の素数さん
2010/11/03(水) 18:09:10ちゃちゃだけど、辻下さんは今は北大じゃないよ
0240132人目の素数さん
2010/11/03(水) 18:15:11そうだったとしても正式には名乗り出ないでしょ。
何らかの組織に所属している人間は。
ただ、過去に千葉大の助教授が書き込みしてたから皆無ではない。
それに現代思想の数学特集に2ちゃんねるの書き込みが引用されていたりするので、
基礎論〜哲学系の人間は書き込んでいる可能性はあるけど。
0241132人目の素数さん
2010/11/03(水) 18:22:50>上は私が講義用に書いた資料で、
本人ならば、この時点で名乗り出ているのと同じ。
/tjst/ からも辻下先生であることが読み取れるし、
なにしろpdfに署名がある物を「私が書いた」と言っているのだから。
0242132人目の素数さん
2010/11/03(水) 18:31:02てか俺も某帝大の助教授だし
0243132人目の素数さん
2010/11/03(水) 18:36:45自己申告は全くあてになりませんな、学部生さん。
0244132人目の素数さん
2010/11/03(水) 19:00:42あてにならないイコール嘘ではない
数学板なんだから論理的になろうな
0245132人目の素数さん
2010/11/03(水) 19:03:38ここまでアホな学部生はいないから、中学生か高校生だろ。
0246132人目の素数さん
2010/11/03(水) 19:49:43論理が破綻しているから。
三角圏まんせー!
0247132人目の素数さん
2010/11/03(水) 19:51:59( ´∀`)< オマエモナー
( ) \_____
│ │ │
(__)_)
0248132人目の素数さん
2010/11/03(水) 19:56:260249132人目の素数さん
2010/11/03(水) 20:04:48浅い理解でくだらない妄想してないで、
しこしこと位相・代数の演習問題ちゃんと解いてろ。すぐ目が覚める。
0250132人目の素数さん
2010/11/03(水) 20:08:06別に数学知ってるなんて言ってねー。
現代数学なんて所詮はテクニカルな問題。
俺がやりたいのは数学自体を言及するようなメタ数学。
メタ思考ができない人間は数学もできないっしょ。
で、今一番ホットでいかしてるのが圏論。
俺マジリスペクトするマクレンが生み出した、これサイキョーのツール。
0251132人目の素数さん
2010/11/03(水) 20:16:09それ面白いと思って「書き込む」ボタン押したの?
なら絶望的にセンスがない。
0252132人目の素数さん
2010/11/03(水) 20:16:50ドンマイ…
0253132人目の素数さん
2010/11/03(水) 20:22:380254132人目の素数さん
2010/11/03(水) 21:14:400255132人目の素数さん
2010/11/03(水) 21:18:50( ´∀`)< オマエモナー
( ) \_____
│ │ │
(__)_)
0256132人目の素数さん
2010/11/03(水) 22:17:43レスどうもありがとうございます。
卒業は十数年前だし違うことやりたいし修士論文じゃなくarXiv.orgとかでも良いのですよね?
いずれにしてもかなりいい論文が書けるまではやらないつもりです。
0257132人目の素数さん
2010/11/03(水) 22:19:45むしろ全裸じゃないと圏論マスター
0258132人目の素数さん
2010/11/04(木) 00:49:11人を馬鹿にするために勉強してる奴は不幸だ
0259132人目の素数さん
2010/11/04(木) 02:13:52悲しいな。
0260132人目の素数さん
2010/11/04(木) 07:58:030261132人目の素数さん
2010/11/04(木) 09:02:02そ〜んなの〜は〜 い〜やだ〜♪
0262132人目の素数さん
2010/11/04(木) 09:54:02それ以外に何もないだろw
0263132人目の素数さん
2010/11/04(木) 16:19:420264132人目の素数さん
2010/11/04(木) 16:35:380265132人目の素数さん
2010/11/04(木) 17:07:03大学以外では(社会人になってとか)数学を理解できる人が居ないので知識をひけらかす機会が無い。
大体こんなものじゃないの実際。
0266132人目の素数さん
2010/11/04(木) 17:11:220267132人目の素数さん
2010/11/04(木) 17:23:59そういう人が居たとしても数学以外の部分が評価されてもててるんじゃないかなぁ。
女性は研究にはマイナスではないかと思う。
0268132人目の素数さん
2010/11/04(木) 18:23:530269132人目の素数さん
2010/11/04(木) 21:23:58特に圏論好きなのなんてそういうのばっかでしょ。
俺は成績悪くてIT系の専門学校しか行けなかったけど、
働き出してからは圏論とか関数プログラミングとか頑張ってる。
多分今では東大生を超えるレベルまで来てる。
同じ会社で働いてるやつにダイアグラムとか書いて教えてるから
天才扱いされてる。
0270132人目の素数さん
2010/11/04(木) 21:26:250271132人目の素数さん
2010/11/04(木) 21:42:52ルベーグ積分とかガロア理論とか以上になると、
一般人的にはどうでもいい世界だ。
0272132人目の素数さん
2010/11/04(木) 21:50:53ものとルベーグ積分とかガロア理論の間に大分思想的な違いがあるけど、
一般人にとっては高校でやってたのがどんどん無味乾燥に発展してるだけ
っていうイメージしかないと思う。
代数とかで結構数学観が変わるものだよ。
0273132人目の素数さん
2010/11/04(木) 21:54:06そして、どんな天才が一生の全ての時間を数学に費やしたとしても、
一人の人間が理解できる数学の知識の限界を知り、
自分が数学の宇宙の極々ひとかけらしか知らないということに気付き、謙虚になる。
自然科学者も同じ。
そこまで達した人は決して知識をひけらかすことはしない。その発想さえない。
0274132人目の素数さん
2010/11/04(木) 23:04:21だな。
そこから先は一般人にとっては別世界だから、関心の対象外だ。
0275132人目の素数さん
2010/11/04(木) 23:04:52基礎論なんかもそうなんだけど・・・。
基礎論とはいったいなんなんだろう。
圏論信者が謙虚でないのは
彼らが宇宙を把握しようとしないから、
つまり人工言語の世界の内側でしか遊ばないからではないだろうか。
0276132人目の素数さん
2010/11/04(木) 23:04:51本当に頭切れて学問や仕事がよく出来る人って
すごく謙虚なんだよね
だから、自分の知識を見せびらかすことはせず
人の話をよく聴く
0277132人目の素数さん
2010/11/04(木) 23:10:480278132人目の素数さん
2010/11/04(木) 23:22:310279132人目の素数さん
2010/11/04(木) 23:32:49時空が無くても数学は常に存在するから宇宙も何もない時には数学しかない
それには圏論が有用だとは思うが今のところ私には関係ない
0280132人目の素数さん
2010/11/04(木) 23:46:23ムリ
実際の世界にはアトミックなモノが無い
0281132人目の素数さん
2010/11/05(金) 01:22:54そこまで達した人の数学話は普通の人にはそもそも数学であることすら理解不能。
なので、数学の話をされるといつもひけらかしでウザいだけだからつまらない
という一般人の数学人への印象は正しい。
0282132人目の素数さん
2010/11/05(金) 03:27:09バベルの図書館的記号の羅列、情報の海ってのは宇宙とは無関係に
存在すると思う。
数学は宇宙があり人間がいるからあるもの。
なぜなら数学とは無意味な情報の海に人間の直感に合った解釈を与えていく作業だから。
つまるところカオスにコスモスを与えるのが数学であり人間。
俺は数学と人間はほぼ同意語として考えている。
宇宙もある意味では人間の解釈によってしか存在できていない。
実際にあるのは無意味な情報の海でしかない。
0283132人目の素数さん
2010/11/05(金) 04:28:230284132人目の素数さん
2010/11/05(金) 06:44:390285132人目の素数さん
2010/11/05(金) 06:48:17情報の海はほとんど認識されずに流れていくが、
圏論はそのうちのかなりを拾うことができる。
それでも数パーセントにも満たないだろう。
集合論(数学)が拾えるのはさらに少ない。
0286132人目の素数さん
2010/11/05(金) 07:33:390287132人目の素数さん
2010/11/05(金) 08:03:15むしろ注目すべきものは圏論で量子論理の大幅な書き換えと拡張ができるということです。
具体的にはグロタンディーク宇宙とゲーデルの構成可能宇宙の定義を
圏論に与えてブラケット表示の内側に無限次元Lie環をねじ込ますことで、
トポスが切断され、Viraso的な陰関数が浮き出てくるというアイディアになります。
これが困難なのはグロタンディーク宇宙が圏の種類によって
いくつも定義できてしまうことで、
これらは新たな高次元圏での記述によってまとめあげる必要があるといわれています。
0288132人目の素数さん
2010/11/05(金) 11:16:01キミら圏論的物理を知らんのか?
0289132人目の素数さん
2010/11/05(金) 12:35:000290132人目の素数さん
2010/11/05(金) 20:52:110291132人目の素数さん
2010/11/05(金) 21:19:25興味があります。
そのことに関してもう少し詳しくお願いできないでしょうか。
私は圏論を学習してもうかれこれ10年になります。
poolesの論文が出た頃からの圏論ファンです。
0292132人目の素数さん
2010/11/05(金) 21:46:14じゃあコンピュータ君に新たな数学が発見できるかな?
>>291
poolesは基礎論だけじゃなくて圏論にも手を出していたのだね。
0293132人目の素数さん
2010/11/05(金) 22:04:33私は>>290だが、泥臭いことを嫌がる人間は大したことはできないと言ってるのであって、コンピューターとは直接の関係はない。
0294132人目の素数さん
2010/11/05(金) 22:10:58はじめっから神の世界で論議していて降りてこない。
圏論や基礎論もそうなんだけど。
0295132人目の素数さん
2010/11/05(金) 22:27:35試行錯誤、くだらない失敗の連続
泥からダイヤを見つけるようなもの
表にそのような舞台裏をさらす馬鹿はいない
0296132人目の素数さん
2010/11/05(金) 22:55:290297132人目の素数さん
2010/11/05(金) 23:54:36研究している本人らは何にもならないと悟っているからだ。
0298132人目の素数さん
2010/11/05(金) 23:57:16みんなが買ってきたゲーム機で遊んでいるときに
ゲーム機の入ってた箱を眺めているようなもん。
0299132人目の素数さん
2010/11/06(土) 00:01:38みんながマネーゲームにうつつをぬかしているときに
この宇宙の真理について頭を悩ませいてるようなもん
0300300
2010/11/06(土) 00:13:25300ゲット!
0301132人目の素数さん
2010/11/06(土) 00:27:38なんだか少し悲しい気持ちになりました(´・ω・`)
0302132人目の素数さん
2010/11/06(土) 04:10:47モデル理論の深い結果を使って代数幾何の問題が解決したこともあるし
0303132人目の素数さん
2010/11/06(土) 04:13:150304132人目の素数さん
2010/11/06(土) 08:21:37例えば代数学の基本定理を閉円板で簡単に証明したとして、
複素数係数多項式を実係数多項式に置き換えても議論しても良い理由も、
その対称式の鳩ノ巣原理の特性から根に複素数を持つ理由もわからない。
あるスレで21世紀なら、
Abel圏を使って蛇の補題や五の補題を元をとらずに証明できる
云々といっている輩がいたが、
そもそも初めにそれまでの数学で登場した単射や全射の性質や完全系列を、
それを記述するのに便利だから定義された圏を使って説明したところで、
本末転倒なのだ。
三角関数を定理の証明もわからずに、公式丸暗記で試験に挑む巷の高校生と変わるまい。
0305132人目の素数さん
2010/11/06(土) 09:40:38>圏論バカにありがちなのは圏論を使って簡単に証明できるって主張。
バカのことはどうでもいい。
しかし、誰も全ての数学の命題が圏論を使って簡単に証明できるとは言ってないだろ。
0306132人目の素数さん
2010/11/06(土) 10:06:390307132人目の素数さん
2010/11/06(土) 11:22:510308132人目の素数さん
2010/11/06(土) 14:25:59数学の理論一般の命題を人工言語で表現するとありますが、
その直後CL-項を定義し、その後にメタ変数の集合を書き表していますが、
なぜ既に集合の存在が前提とされるのでしょうか?
この集合の存在を保証するのはどの公理でしょうか。
0309132人目の素数さん
2010/11/06(土) 15:45:000310132人目の素数さん
2010/11/06(土) 15:52:000311308
2010/11/06(土) 18:15:48なるぺど。基礎付けを与えるとかではないんですね。
>>310
わかっていないから入門書からはじめたんですよ。
あなたのわかっている基礎論や現代論理学とやらを
説明しちゃってくださいよ。
0312132人目の素数さん
2010/11/06(土) 18:32:01金払え
0313308
2010/11/06(土) 18:42:37本当に押してて下さるなら払いますよ。
だたし10万以上は無理ですが。
振込先の口座を教えてくださいよ。
0314132人目の素数さん
2010/11/06(土) 18:48:26途中ストレスでむらむらしてきました。
これまでマンガ喫茶などでオナニーをすることはしばしばあったのですが、
ファミレスでしたのははじめてでした。
ウェイトレスが非常に可愛く、
また一番端の席で仕切りがあり、周りに人もいなかったので、
これはいけるとおもい、ズボンのファスナーを開けて、
肉棒を取り出ししごきました。
2分ほどでいき、ザーメンをお冷のコップに入れました。
なんだかオナニー後の手で数学書って触りたくないですよね。
しらふの時に不潔に感じるでしょうから。
ですからトイレで手を洗って
それからまた圏論の基礎を読み始めました。
0315132人目の素数さん
2010/11/06(土) 18:49:46相手が的確な返事をする場合はこの人は分かったいるんだなと思う。
ごまかしたり、そういう質問は愚問だとか言い出すと、この人は無知なんだなと判断する。
>>310はまさに後者に該当する、ハッタリ屋。
0316乞食
2010/11/06(土) 19:04:020317132人目の素数さん
2010/11/06(土) 19:30:260318132人目の素数さん
2010/11/06(土) 20:03:570319山越 満 ◆wCYykimu3kfJ
2010/11/06(土) 20:11:44数学にとどまらずあらゆる学問・労働の中で
その重要性を増している圏論。
21世紀の中ごろ、世界は既に圏を共通言語として
新たなる世界を手に入れているはずである。
2012年までに私たちは圏の言葉を知らなければならない、
そして知るだろう。
■
日本圏論神秘学教会
代表 山越 満
Mail:[email protected]
*圏論学習のための教材はメールでお願いします。
■
0320圏論バカ一代
2010/11/06(土) 20:16:530321132人目の素数さん
2010/11/06(土) 20:17:460322132人目の素数さん
2010/11/06(土) 20:28:48まとめテンプレにもあったとりマセさんの
Twitterです。
http://twitter.com/tri_iro
基礎論系のネタはこちらで聞けば良いと考えております。
Twitterは無料で登録できるミニブログらしいです。
http://twitter.com/kururu_goedel
こちらはプロの集合論の研究者くるるさんです。
現在はアメリカ在住だそうですが、
集合論よりの話はそこで聞けば良いと思います。
「数学ガール3巻-不完全性定理」のアドヴァイザーでもあります。
0323132人目の素数さん
2010/11/06(土) 20:30:530324132人目の素数さん
2010/11/06(土) 20:36:07不完全性定理の証明に自己言及の原理が必要なだけだ。
----ニーチェ
0325132人目の素数さん
2010/11/06(土) 20:38:070326132人目の素数さん
2010/11/06(土) 20:42:37その本入門書だけど扱ってる内容がやばくね
0327132人目の素数さん
2010/11/07(日) 12:50:43入門書だけど内容がデンパ過ぎてやばくね?
なのか
入門書だけど内容が高度過ぎてやばくね?
なのか
どっち?
0328132人目の素数さん
2010/11/07(日) 12:56:48ニーチェはよく知らなかったが、こんなことを言うクズだったのか。
0329132人目の素数さん
2010/11/07(日) 13:05:43ニーチェでさえ不完全性定理に関してはトンデモ多かったから。
芥川龍之介も似たようなこと言ってた。
一方でHGウェルズの宇宙戦争はヨイショしてた。
0330132人目の素数さん
2010/11/07(日) 18:21:59なるほどねぇ。
2ちゃんねるなんてアホな書き込みばかりだけど
久しぶりにドキッとさせられた。
自分も近頃そんな状態になってました。
過剰に一般化とか何だかわからない人工物を定義したりして
メルヘンの世界に浸ってたけど、
もう一度ペレルマンさんみたいな古典的な数学者が
再来してもいいんじゃないかな。
0331132人目の素数さん
2010/11/07(日) 18:45:28>>304は内容が何もないだろ
圏論バカの例をあげてるわけだが、アホはどこにでもいるんで何の意味もない。
0332132人目の素数さん
2010/11/07(日) 18:47:49私の出身大学のある教授はこうおっしゃっていました:
「数学は山に登って石を取りに行くのと同じだ。
山を登って石を拾い、私が世界で初めてこの石を手にしたぞ!っていうのは誰でも出来る。
問題はその石に価値があるかどうかだ。」
ある程度の知識があれば、数学の新しい理論は誰でも作れる。だか、その理論に数学的な意味が無いといけない。
数学的に意味があるかどうかが分かるには、もっと知識が必要でこれが一番大切。
0333132人目の素数さん
2010/11/07(日) 19:49:37>数学的に意味があるかどうかが分かるには、もっと知識が必要でこれが一番大切。
知識はそれほどいらないだろ
数学的な美的感覚があればいい。
例えば等式 Σ1/n^2 = (π^2)/6 を見て感動出来るセンスがあればいい。
0334132人目の素数さん
2010/11/07(日) 19:55:10例えばΣ1/n^2 = (π^2)/6 を改良・拡張・一般化した式を考えたとする。
それが意味のある式なのか、ただの演習問題程度なのか、これを判断するのにはもっと知識が必要。
0335132人目の素数さん
2010/11/07(日) 20:01:05>改良・拡張・一般化した式を考えたとする。
まったく新しい数学を開拓する場合に既存の知識はあまり役立たない。
0336132人目の素数さん
2010/11/07(日) 20:13:29それはないな。
どこまでが知られていて、どこからが分かっていないのかを知っているのは必須。
また、既存の理論を知っていた方が新たな理論を構築するときに道具として使える可能性が高い。
すでに道具があるのに、それを知らずにやるのは非効率的。
0337132人目の素数さん
2010/11/07(日) 20:33:44>どこまでが知られていて、どこからが分かっていないのかを知っているのは必須。
小さいなw
既に知られていたらいやだという考え自体がけちくさい。
数学とは何の関係もない人間の見栄とか名誉欲の問題に過ぎない
0338132人目の素数さん
2010/11/07(日) 20:48:48ダメだこりゃ。
どこからがわかっていないか知らないと、それが新しい理論なのかどうやって判断するんだ?
教えて欲しい、自分の研究の周辺を全く下調べしないで、その研究が新規のものかどうすれば分かるんだ?
>また、既存の理論を知っていた方が新たな理論を構築するときに道具として使える可能性が高い。
>すでに道具があるのに、それを知らずにやるのは非効率的。
こちらはどうやって否定するのかな?
0339132人目の素数さん
2010/11/07(日) 21:08:59>どこからがわかっていないか知らないと、それが新しい理論なのかどうやって判断するんだ?
新しいかどうかなんて気にする必要はない
自分の数学的価値観に従って研究をすればいい。
仮にそれが既に知られていたとしても、その結果の数学的価値に何等変わりはない。
0340132人目の素数さん
2010/11/07(日) 21:22:56数学の研究の話をしてたんだけど、研究っていうのは論文を書くこと。
数学論文を書かない者は数学者とは言わない。
>まったく新しい数学を開拓する場合に
開拓って論文じゃなくて自己満足か。
>その結果の数学的価値
価値は論文にしないと誰にも分からない。
君は数学者じゃなくて数学マニアだったのね、納得。
0341132人目の素数さん
2010/11/07(日) 22:06:00ちょっとおかしい事を書いてる人はグロタンディークを気取っているのだろう。
0342132人目の素数さん
2010/11/07(日) 22:24:35そういう感じがいいんじゃないの
0343132人目の素数さん
2010/11/07(日) 22:29:02数学者ではない人の例
森毅
笠原皓司
杉浦光夫
斉藤正彦
藤原正彦
足立ナントカ
0344132人目の素数さん
2010/11/07(日) 22:34:40伊藤よかり
宇沢の息子
0345132人目の素数さん
2010/11/07(日) 22:42:420346132人目の素数さん
2010/11/07(日) 22:43:550347132人目の素数さん
2010/11/07(日) 23:06:14論文の数は少ないかもしれんが
0348132人目の素数さん
2010/11/07(日) 23:06:190349132人目の素数さん
2010/11/07(日) 23:37:580350132人目の素数さん
2010/11/08(月) 00:08:48数学では相手にされないので
ものかきになったんだっしょ?
哀れだねw
0351132人目の素数さん
2010/11/08(月) 00:16:59かつて数学界においては、日本・アメリカ数学会会員でもあり
マスコミにおいては(一流)数学者を自称しておりましたが、
実は40歳頃には自らに数学の才能が無いことを自覚しており
以降は不勉強で業績皆無で、2ちゃんの「酷家の貧格」スレで
晒された通りであります。今後も父を目標として精進致します。
これまで最前線数学者であったような印象を若い無垢の人達に
与えてしまったこと、深くお詫び致します。
0352132人目の素数さん
2010/11/08(月) 00:21:510353132人目の素数さん
2010/11/08(月) 00:31:31芸の途中に相方に髪の毛を吹き飛ばされる人。
誰だっけ?
0354132人目の素数さん
2010/11/08(月) 00:33:520355132人目の素数さん
2010/11/08(月) 00:36:28退職金もウハウハです。
0356132人目の素数さん
2010/11/08(月) 00:38:430357132人目の素数さん
2010/11/08(月) 00:49:28税務署、警察、検察に睨まれたら即アウトです。
0358132人目の素数さん
2010/11/08(月) 03:59:06つまり圏論信者みたいだったわけだ。グロタンディークのエレマンも読んでいたらしい。
このスレでの藤原正彦叩きには同族嫌悪も含まれているだろう。
0359132人目の素数さん
2010/11/08(月) 04:27:32>数学の研究の話をしてたんだけど、研究っていうのは論文を書くこと。
>数学論文を書かない者は数学者とは言わない。
論文を書くなとは言ってない。
>開拓って論文じゃなくて自己満足か。
研究ってのは自己満足が大部分だろ。
自分が満足しない研究して嬉しいのか。
変わってるなw
0360132人目の素数さん
2010/11/08(月) 04:31:520361132人目の素数さん
2010/11/08(月) 04:34:47大学入って、研究室に入ったら、点数とかないよw
高校生じゃないんだから。
0362狗
2010/11/08(月) 04:53:210363132人目の素数さん
2010/11/08(月) 23:41:58圏論って再解釈とか纏め直しって意味に見えるが、そうなの?
一方、数学が論理学的手法のみでは構成できない事は確か?
嗚呼そんな事を質問している傍らで、また母ちゃんが
至る所、局所的に正しい乍らω矛盾
…な事を言って親父と口喧嘩してる…
0364132人目の素数さん
2010/11/08(月) 23:54:54代数幾何で圏論使いまくってる人は圏論じゃないと表せないものが色々あるって言ってた
コホモロジーとか完全系列とか辺りは使っても使わなくてもOKな場合もある
類体論とか超函数とか
0365132人目の素数さん
2010/11/09(火) 04:47:14カテゴリーは必須だが、カテゴリー論なんて誰も勉強しない。
つまりはそういうこと。
0366132人目の素数さん
2010/11/09(火) 06:20:29禿同
0367132人目の素数さん
2010/11/09(火) 06:47:17圏論の参考書を教えてもらえないでしょうか。
0368132人目の素数さん
2010/11/09(火) 07:15:58Abel圏しか使わないけど、
任意の圏での証明をAbel圏に移して間接的に証明する技法です
導来圏なども用いられています
類体論はコホモロジーなしでやらないと、
レゾンデートルが全くつかめんでしょう
0369132人目の素数さん
2010/11/09(火) 07:31:27剣を使った戦に核爆弾を使って
戦の仕方についてわかったような気になってる
思い上がりに近いことが理由なんだよ。
0370132人目の素数さん
2010/11/09(火) 07:40:33圏論的な見地から今学会で見直されてきてるよ
これからの数学のトピックスとして、
新フレーゲ主義らの基数理論と並んで注目されてる
0371132人目の素数さん
2010/11/09(火) 08:36:16なこたあないだろ
その反対
圏論は形式をもてあそぶ無意味(=非力)な分野という誤解が原因で嫌われてる
0372132人目の素数さん
2010/11/09(火) 09:22:58ラカンについて詳しく
0373132人目の素数さん
2010/11/09(火) 14:09:570374132人目の素数さん
2010/11/09(火) 15:26:31自然科学者は純粋数学を下らないと思っている
0375132人目の素数さん
2010/11/09(火) 15:52:250376132人目の素数さん
2010/11/09(火) 17:25:590377132人目の素数さん
2010/11/09(火) 17:29:35>自然科学者は純粋数学を下らないと思っている
証拠は?
過去の実績を見れば純粋数学は物理に役立ってるだろ。
例えば、リーマン幾何は一般相対論に応用されている。
0378132人目の素数さん
2010/11/09(火) 19:20:45多様体や環を分類することが出来る。
非常に多くをまとめてくれる道具だ。
アーベル圏も代数コホモロジーを自由に扱うための非常に素晴らしい道具だ。
ただし、それ自体が数学的対象として興味深いというより、
別の数学的対象を研究するための土台のような位置付けだ、
少なくとも代数幾何では。
0379132人目の素数さん
2010/11/09(火) 19:24:370380132人目の素数さん
2010/11/09(火) 19:30:13俺も教養の講義でやった位だから余り詳しくない。
http://www.tuis.ac.jp/department/syllabus/75113.html
上がシラバスだけど、結構難しい学部(情報系)なので、
最先端の哲学もやらされた。
ラカン自体は数学的思想においてはソシュールの影響を直接受けているが、
むしろソシュールとは逆にシニフィアンがシニフィエに対して優位と考えた。
つまりソシュールの図式の逆数ととるってこと。
またシェーマLは現代数学基礎論に大きな影響を与えていると言われる。
ファルス(男根)はフロイト起源と考えられているが、この切断は
ラカンの言う、現実界・象徴界・想像界から来ており、
数学的な定義がされようとしている、これが圏によって記述される。
教授は今清水さんの圏論による論理学のトポスという概念を用いて、
精神分析学に決定打を与えようとしているみたい。
0381132人目の素数さん
2010/11/09(火) 19:33:19相当なおっさん。
0382132人目の素数さん
2010/11/09(火) 19:36:50同士よ。古式ゆかしい死語のわかる君は仲間だ同世代君w
釣れたw
0383132人目の素数さん
2010/11/10(水) 18:37:10ティホノフの定理は非常に強力な推論ツールであること
0384132人目の素数さん
2010/11/10(水) 22:56:02近年、圏を超える概念としての高次元スタックが研究されてるのに。
日本語圏ではまだ知られてないのかな?
http://en.wikipedia.org/wiki/Stack_%28mathematics%29
0385132人目の素数さん
2010/11/10(水) 23:03:07圏論とも関係ある?
0386132人目の素数さん
2010/11/10(水) 23:10:40古典論理学を別の視点で分析する手段。
圏論との関連はきいたことない
0387132人目の素数さん
2010/11/10(水) 23:21:45このスレの圏論ヲタは、スタックがどういう理由で表れたか、
その元になる数学が理解できないから、話題にできないのだよw
0388132人目の素数さん
2010/11/11(木) 00:31:15スタックって代数幾何のスタックでしょ?
カテゴリー好きなのに代数幾何知らないってちょっと想像できない。
0389132人目の素数さん
2010/11/11(木) 01:38:51そういうこともあるだろうけどね
0390132人目の素数さん
2010/11/11(木) 06:45:520391132人目の素数さん
2010/11/11(木) 08:28:070392132人目の素数さん
2010/11/11(木) 08:40:180393質問
2010/11/11(木) 16:05:44予言、想念、秘象(現象ではない、幻の現象の類、虚数的価値観の現象)
とかオカルト的な要素、比喩として精霊と我の力を合わせ目的の達成など。
未知(人類の客観知では計れない、主観的要素)の霊的なものを
表現することは可能でしょうか?
0394132人目の素数さん
2010/11/11(木) 16:12:57可能です。
0395132人目の素数さん
2010/11/11(木) 19:49:59無限次元スタックが必要になるでしょうね。
高次元圏の更に結合した世界にある概念の根底。
恐らく情報(=原初)の海に最も近い思考。
この世界では最早宇宙論的言説は崩壊し、
ただ認識の現象以前の段階しか存在しません。
たとえるならば、バベルの図書館の墜落。とでも言えましょうか。
0396132人目の素数さん
2010/11/11(木) 20:03:50彼らは真理や神秘に対する興味を持つ過程で
自らの知らない世界を知りたがり、
哲学やフィクションなどに傾倒する。
この際、ある程度のまとまった世界観を頭の中に作る。
それらは例えば
言語哲学-ウィトゲンシュタイン-クリプキ-論理学-ゲーデル
のように、言葉の連想によって連なっている。
この連想が数学おいて適応される。
その結果、基礎論や圏論などの固有名詞を多く含む分野が、
優先的に選択される。
0397132人目の素数さん
2010/11/11(木) 20:07:080398132人目の素数さん
2010/11/11(木) 20:08:460399132人目の素数さん
2010/11/11(木) 20:13:54これぞ隔離スレ、ドーンとぶちかまして下さい。
0400132人目の素数さん
2010/11/11(木) 20:15:490401ラクリマ時空界
2010/11/11(木) 20:54:13量子コンピュータを使い逆算固定の技術ではそれは可能です。
0402132人目の素数さん
2010/11/11(木) 20:55:41だからトンデモを数学の圏論で表すのは不可能なの?可能なの?
0403132人目の素数さん
2010/11/11(木) 21:12:28マジレスすると、出来上がった数学体系をどう解釈するかの問題なので、可能か不可能か
判定するのはその人次第
0404132人目の素数さん
2010/11/11(木) 21:15:19その理屈なら現状出来上がっている数学体系はすべて
>出来上がった数学体系をどう解釈するかの問題なので、
>判定するのはその人次第
と置き換えられてしまうのでは?
0405132人目の素数さん
2010/11/11(木) 21:24:17そうだね
紙に書かれた文字列であるところの証明と、その意味・解釈は一応区別されるものでしょう
数学の解釈は他の学問と違って人によってブレたりしない、というのはほとんど常識となっているけど、
これは厳密に証明される(証明しようとされる)ような類のことではないわな
0406132人目の素数さん
2010/11/11(木) 21:42:04いえ、正確には近年登場した
量子スタックは人間の意味・解釈の所与として働くとされます。
無限次元量子スタックの完成を待てば
この事実は明らかになるでしょう。
また紙に書かれた文字列には行間が存在しますが、
高次元圏的スタックには行間がありません。
0407132人目の素数さん
2010/11/11(木) 21:51:29俄然興味が湧いてきました。
量子スタックの定義とかおもしろい定理があれば、教えていただけませんか?
0408132人目の素数さん
2010/11/11(木) 22:01:310409132人目の素数さん
2010/11/11(木) 22:02:27僕も興味が湧いてきました。
量子スタックの定義とかおもしろい定理があれば、教えていただけませんか?
0410132人目の素数さん
2010/11/11(木) 22:09:10http://pages.cpsc.ucalgary.ca/~robin/Theses/BrettGilesMSc.pdf
page34
0411132人目の素数さん
2010/11/11(木) 23:04:13ほら、一日たってみてわかったろ。
ここの住人は圏論好きだけど代数幾何知らないw
0412132人目の素数さん
2010/11/12(金) 00:16:28基礎論スレ復活しました。
数学基礎論・数理論理学のスレッド その7
http://kamome.2ch.net/test/read.cgi/math/1289481237/
0413132人目の素数さん
2010/11/12(金) 13:10:50オカルト数学という考え方は面白い、
その辺の数学者でも思いつかないだろう。
先がつまり足踏みしたときに物事の常識を無視しトンデモに走るのも
それは過去の歴史では正しいやり方とは思わないか?
習うだけの数学な人にはそのトンデモ事態が論理的ではなく感情論として
不快なだけだろう。
0414132人目の素数さん
2010/11/12(金) 16:10:28オカルトなんて考え方は全てに当てはまるのでは。
0415132人目の素数さん
2010/11/12(金) 18:44:360416132人目の素数さん
2010/11/13(土) 00:44:23> ここの住人は圏論好きだけど代数幾何知らないw
代数幾何どころか学部レベルの数学すら知らないだろ
だって圏論、圏論って言う奴に限ってちゃんと数学を勉強した事のないド素人がほとんどだぜ
特にプログラマとか生物系とかで圏論、圏論って騒ぐ連中はさ
可換図風に矢印を並べた絵を描いたら自分も圏を使ってるんだと思えるお目出度い輩ばっかり
「なんか圏論って物凄く抽象的で格好良さそう」ってキーワードに痺れてるだけなのが圏論厨の殆どだもの
数学を本当にちゃんと勉強している人間だったら可換図なんて集合と同じで空気や水みたいなもんで常日頃から使ってるから
わざわざ圏論、圏論って大声で喚いたりしないよ
0417132人目の素数さん
2010/11/13(土) 01:15:010418132人目の素数さん
2010/11/13(土) 06:16:21オカルトを知らずしてオカルトを語るってことかな
そもそもオカルトを定義できない時点で否定とかできないよね?
0419132人目の素数さん
2010/11/13(土) 06:28:09数学で、証明しようとして考えたり計算しているときに
可換図のようなものを書くことは結構あるけど、
ちゃんとした数学書には書かれない。
一々筆算とかをテキストに載せないのと同じだからね。
実際圏論みたいなことやってても形式化しようなんて思わない。
0420132人目の素数さん
2010/11/13(土) 06:38:57それは自明の範囲でしか圏論の定理を使っていないから。
0421ひろし
2010/11/13(土) 06:55:45俺は私立Fランク大学理学部数学科中退のひろしです
1年の時に、どうしても、線形代数の単位が取れず、以来学校に行かなくなり
4年留年して自主退学しました。
専門は、圏論です。
0422132人目の素数さん
2010/11/13(土) 07:16:13先に線形代数を理解しろ。
0423132人目の素数さん
2010/11/13(土) 07:20:430424132人目の素数さん
2010/11/13(土) 07:22:57普通ならネタの様な事を本気でやってるのが、おまいらオカルト圏基地外。
0425132人目の素数さん
2010/11/13(土) 07:26:10lemma3.2の顔に注目。
0426132人目の素数さん
2010/11/13(土) 08:07:45までは本当なんだろうな。
なんか妙にリアルだし。
0427132人目の素数さん
2010/11/13(土) 08:26:45人のネタをtwitterからパクって来んな
0428132人目の素数さん
2010/11/13(土) 08:39:14基礎論信者本人ですか、そうですか。
0429132人目の素数さん
2010/11/13(土) 08:42:450430132人目の素数さん
2010/11/13(土) 08:49:01kenronnotensaidayo
0431408
2010/11/13(土) 12:27:490432132人目の素数さん
2010/11/13(土) 12:30:520433132人目の素数さん
2010/11/13(土) 13:22:52ああ、可笑しいなっと。
0434408
2010/11/13(土) 13:40:360435132人目の素数さん
2010/11/13(土) 17:33:03正確ではないことは確からしいけどね。
そうするとやはり微分幾何ではなく圏論的に記述されることになるのかな。
0436132人目の素数さん
2010/11/13(土) 17:35:560437132人目の素数さん
2010/11/13(土) 17:57:37勝ち宣言乙^^;
パイオニア・アノマリーでググれ(w
次の世紀は圏論が数学にとってかわる
0438132人目の素数さん
2010/11/13(土) 19:34:02オカルト多様体に作用する無限次元ムー群、
中心点に作用する軌道、そのイメージはトワイライトゾーンと呼ばれる。
UFO点の軌道構造は韮澤理論によって解明され、アダムスキー軌道という。
超能点の軌道は秋山・関口の定理により、スプーン軌道を描くことが知られている。
霊点軌道は美輪・江原の補題によって得られ、スピリチュアル構造を取る。
しかし、大槻理論によりオカルト多様体は空集合であることが判明してしまった。
0439132人目の素数さん
2010/11/13(土) 20:08:440440408
2010/11/13(土) 20:18:130441132人目の素数さん
2010/11/13(土) 20:23:50いまいち。
アルファベットを通俗オカルト用語に置換しただけじゃない。
圏論信者はもちょっと数学の手法からずれた文章を書くよ。
>>440
君も何もわかってないね。
とりあえずゲーデルと20世紀の論理学位は読んでからカキコしようね^^
0442408
2010/11/13(土) 20:36:03集合論に基づく基礎論に未来はないんだよ。
0443132人目の素数さん
2010/11/13(土) 20:52:460444132人目の素数さん
2010/11/13(土) 21:14:35あれは初めのモンターギュ文法、ラムダ計算、高階述語論理が難所ですが。
わたしはデカルト閉圏辺りで挫折しました。
0445迷える黒き羊 ◆rdjy5m3SAw
2010/11/13(土) 21:31:531 バベルの図書館でいうところの情報の海が初めにある。
2 情報の海に何らかの意識が働いている、
このとき意識に主体は存在しないものとすること。
これらは無限次元量子スタックにより表現される。
3 無限次元量子スタックから圏論的思考が生じ、
圏論的思考を利用して述語論理が形成される。
4 人間の脳の構造に最も最適なものとして、
述語論理は二階が使用される。
5 二階述語論理の上に公理的集合論が定義される。
集合論なしの数学も可能だが、一般には集合論を定義する。
6 集合論にはゲーデル・ベルナイスもしくは
それを保存的拡大したZFCが利用される。
7 この集合論をメタ的に使って二階算術理論上に
グロタンディーク宇宙を定義する。
8 グロタンディーク宇宙に階級を設けることで、圏論が構成される。
0446132人目の素数さん
2010/11/13(土) 22:24:460447迷える黒き羊 ◆rdjy5m3SAw
2010/11/13(土) 23:50:43第1章ではイエスの系譜が明かされるが、アブラハムを始点、
イエスを終点とし、バビロン変遷を
サブオブジェクト・クラシファイヤーとした場合に、
この系譜はトポスとなり、マリヤの処女懐胎が、プルバックの
一意性によって必然だと解釈される。
ベツレヘムはある種の寓喩となっており、預言者エレミアによる
ヘロデ王の殺戮を解釈したものとなる。
4章での悪魔の「聖なる都の宮の頂上」とは無限小持上げ性質、
「非常に高い山」とは連鎖半畳切断定理を意味する。
奇妙なのは5章でイエスが言及する右目の罪である。
これが圏論の中心概念「繋烙」となる。
0448132人目の素数さん
2010/11/14(日) 00:01:08コスモジカル・カテゴリーを構成するところまでが
大変だが、構成さえしてしまえば、一般相対論の
主結果は定義からほぼ全て自明な系になる。
特殊相対論に至っては、構成の中に全て入ってる。
もう、相対論でも圏論なしでやっていけないし、
圏論さえあれば、リッチ曲率も不要
0449132人目の素数さん
2010/11/14(日) 00:13:22定員200名くらいで
0450132人目の素数さん
2010/11/14(日) 00:14:58数学も、物理も、情報科学も、生物も、哲学も、全部圏論学部の
一講座にすぎないからな!
0451132人目の素数さん
2010/11/14(日) 01:15:54ようやく分かってきたようじゃな?
0452132人目の素数さん
2010/11/14(日) 02:10:23岡潔の一連の論文ははっきりとオカルト文書だよ
アイデアは歴史に残るレベルで優れているが、論証はめちゃくちゃ。
「漸近展開」に載ってたけど、「弁証法によってこのことが成り立つ」とやった微分方程式論の重要な論文があるそうな
0453132人目の素数さん
2010/11/14(日) 02:12:270454132人目の素数さん
2010/11/14(日) 06:41:56「何々が最初にある」、ってやらなきゃならないところが人類の弱点だなw
0455132人目の素数さん
2010/11/14(日) 07:23:13(現在)文科1〜3類、理科1〜3類
(来年度以降)圏論科1〜6類、文理科(7類:若干名)
1類…圏論理学部、圏論工学部
2類…圏論薬学部、圏論理学部、圏論農学部
3類…圏論医学部
4類…圏論法学部
5類…圏論経済学部
6類、圏論文学部、圏論教養学部、圏論教育学部
7類(若干名)…理学部、工学部、薬学部、医学部、法学部、経済学部、文学部、教養学部、教育学部
7類は沖ノ鳥島キャンパスを使用
0456132人目の素数さん
2010/11/14(日) 07:54:50学部で圏論を全学部必修とし、専門の学部「圏論学部」を別途募集する。
東京圏論学部という専門の大学を作れば、おそらく志願倍率は100倍を越すだろう。
また、圏論基本法を制定し、圏論研究には莫大な補助金を出すようにすべき。
また圏論教育基本法にて、初歩的な圏論は義務教育の1教科として扱われるべきである。
そして世界各国の首脳や研究者、企業、民間研究者を東京に集めて、圏論世界大会を開催すべきだ。これは国際的にも大きく取り上げられ
世界全体がお祭り気分になるような、超大規模な祭典となるだろう。開催期間には1年を要するだろう。
2050年には、日常会話でも圏論の概念が多用され、もはや標準的な小学生や中卒肉体労働者ですら圏論を理解しており、
おそらく圏論を知らずしてまともな日常生活は困難になるかもしれない。
0457迷える黒き羊 ◆rdjy5m3SAw
2010/11/14(日) 08:24:24これまでの書き込みの中で、
>>1-3-4-6-9-12-16-18-21-33-35-36-39-47-48-55-56-58-59-60-63-67-68-70-71-72-73-75-78-79-80-81-83-84-90-98-101-103-107-108
>>113-119-120-128-130-134-136-137-139-141-142-148-153-154-157-159-161-162-168-173-174-175-177-178-184-189-190-191-192-199
>>200-201-202-203-204-209-210-211-212-213-218-223-224-226-229-240-243-247-248-249-250-251-255-260-265-272-275-280-285-287
>>291-292-294-297-299-304-308-311-313-314-319-322-324-329-330-368-369-370-378-372-380-381-384-386-395-396-406-410-419-425-428-430-435-437-441-444-445-447は私の書き込みです。
更にはWikipediaの基礎論系のカテゴリに対しても攻撃を仕掛けた上に、Twitter上でも今年6月から9月ごろまで暴れました。悪気はありませんでした、また2ちゃんねるの基礎論スレで以前にも罪を告白しましたが、人格が修正されることはありませんでした。
0458超越論的数学者 ◆rdjy5m3SAw
2010/11/14(日) 08:26:48このスレッドを立てたのももちろん私です。
病気はもう治らないと考えております。
0459132人目の素数さん
2010/11/14(日) 08:36:28今は理解されなくても、必ずや圏論が世界の覇者となる時が来る。
ただ、荒らしたり、違法な事はしない事。
0460132人目の素数さん
2010/11/14(日) 11:19:31周りのみんなが君らの精神世界に興味あるわけないじゃん。
0461 ◆rdjy5m3SAw
2010/11/14(日) 11:41:29私は文科省に対して
https://www.inquiry.mext.go.jp/inquiry06/
から圏論の義務教育への導入を提案しています。
皆様もご協力お願いします。
0462132人目の素数さん
2010/11/14(日) 12:18:500463132人目の素数さん
2010/11/14(日) 12:54:000464132人目の素数さん
2010/11/14(日) 15:02:530465132人目の素数さん
2010/11/14(日) 15:34:00君、遅れてるね。
今時は、有名幼稚園のお受験でも圏論は必須ですよ。
0466132人目の素数さん
2010/11/14(日) 19:05:30圏論が今ほど認知されてなくて良かったね
まあ初等集合論教えるより遥かに意味はあるんだけど
0467132人目の素数さん
2010/11/14(日) 19:49:33小学校の算数、また中学校の数学に対して提言があります。
近年IT化が進み、高等学校の授業においてプログラミングが導入されています。
これと並んで重要なものに、圏論と呼ばれる現代数学的な手法があります。
圏論は研究者らによって非常に高度な数学に用いられる道具ですが、
人間の思考を非常に良く再現していると考えられています。
このため、圏論を使用した考え方を初等教育へ導入することを望みます。
詳細に関してアドヴァイスの準備がありますので、
折り返しメールでの連絡をお願いします。
>>461に投稿してみました。
0468132人目の素数さん
2010/11/14(日) 19:55:39というか群の定義も知らん生徒に圏論教えるってw
0469132人目の素数さん
2010/11/14(日) 19:58:07こらこら、水差しちゃダメだよw
0470132人目の素数さん
2010/11/14(日) 20:05:56Conceptual Mathematicsみたいなことは高校なら出来るだろうけど
掛け算も出来ない子に普遍性がどうのとか教えるのはちょっと厳しいものが
0471132人目の素数さん
2010/11/14(日) 20:21:33群だって厳密に拘らなければ、概念そのものは中学生でも理解できるよ
0472132人目の素数さん
2010/11/14(日) 20:27:420473132人目の素数さん
2010/11/14(日) 21:24:26ゆとり以前は、集合を小学校でやっていたわけで、
圏論を中学でやるのが、数学教育の現代化としてナチュラル
0474132人目の素数さん
2010/11/14(日) 21:33:400475132人目の素数さん
2010/11/14(日) 21:41:31>ゆとり以前は、集合を小学校でやっていたわけで、
それこそキチガイ
0476132人目の素数さん
2010/11/14(日) 21:46:02数自体が何がなんだか分からなくなるひとが続出してしまうぞ
今「集合論」でぐぐったら「集合論 トンデモ 多い」が他のキーワードに表示されてた
0477132人目の素数さん
2010/11/14(日) 21:54:27数学全体を記述できるという壮大?な触れ込みがトンデモを引き寄せるのだろうかね
0478132人目の素数さん
2010/11/14(日) 22:02:05小学生でも理解できる例を挙げてみろよ
0479132人目の素数さん
2010/11/14(日) 22:16:56数学は日本語(英語でも)で全て表現できるからといって、日本語(英語)だけ勉強しても
数学はできるようにならないのと同じだからな。
0480132人目の素数さん
2010/11/14(日) 22:42:540481132人目の素数さん
2010/11/14(日) 23:13:130482132人目の素数さん
2010/11/14(日) 23:31:40集合論的に(射影・帰納)極限を取ったりしちゃうより、直に圏として扱う方が初等的なものはたくさんあるよね。
例えば、有理数体は有限型代数じゃないけれど、Z[1/s]の形の有限型代数の圏として扱うのが最初でしょ?通分とか。
一つ一つの分数は必ずこの有限代数に入っているし。
アデールの有限部分ΠZ_pも超越的な感じがしちゃうけど、Z/nの形の有限代数の圏と思えば、色んな整数で割った余りの世界を全部考えるってだけだから、これもこっちの方が原始的な概念把握だし。このときは分数の通分に対応するのは公約数。
また、コバウンダリで割ってしまってコホモロジーに移るより、導来圏で作業する方が初等的だし。
それに集合論的に線型空間のテンソルとか双対とか理解するずーっと前に、加速度はm/s^2とか理解してるけど、これだってユニバーサリティで考えてるでしょ?
そういう言葉を使わないだけで。
微分積分だって、極限が何とかって前にx^nとかe^xとかlog xとかのユニバーサリティで考えてる方が原始的。
0483132人目の素数さん
2010/11/14(日) 23:55:070484132人目の素数さん
2010/11/15(月) 00:03:120485132人目の素数さん
2010/11/15(月) 00:04:50だから、小学生に分かるように説明してみ?
0486132人目の素数さん
2010/11/15(月) 00:08:30頭が壊れちゃってると、そこに気が付けなくなる。
0487132人目の素数さん
2010/11/15(月) 13:56:20理解とな何かをまず知るべきな。
0488132人目の素数さん
2010/11/15(月) 15:10:33中学受験の算数も高校受験の数学も大学受験の数学も
圏論を使えば簡単に解けちゃうからね。
圏論を教えるような高級な塾の学費を払える金持ち世帯が有利だよ。
0489132人目の素数さん
2010/11/15(月) 17:12:28そういう実例がいろいろ載ってる参考書ってあるんですか?
0490132人目の素数さん
2010/11/15(月) 17:41:23例えば?
0491 ◆rdjy5m3SAw
2010/11/15(月) 21:20:00467は私です。
http://kamome.2ch.net/test/read.cgi/math/1289821083/l50
このスレを立てたのも私です。
止めたいのに止められないんです。
一日中圏論のことを考えています。
圏論の用語が頭から離れないんです。
0492132人目の素数さん
2010/11/15(月) 21:26:45それはオーバーフローしてるだけ。パニックにならずに平気なふりしてると
いつの間にか気にならなくなる。パニクったらイタイ人認定されて治りが悪くなる。
要するに筋肉痛と同じよ。筋肉ついたら痛くなくなる。
0493132人目の素数さん
2010/11/15(月) 21:34:56東京と大阪には、圏論を教えてる中高生向きの学習塾があるな。
国立医学部・東大京大専門の塾なので、知ってる人には有名。
参考書は知らない。
まあ、東大京大未満の人なら、あんまり関係ないから気にしなくて
いいかも。
0494132人目の素数さん
2010/11/15(月) 21:41:42実際、そんなわけわからんもの東大京大未満向けの学習塾で持ち出したら
保護者のブーイングですぐ潰されるし仕方ないよ。
0495132人目の素数さん
2010/11/15(月) 21:50:39って方針でいくってところかね。想像だけど、圏論な圏論を
使いたいがためではなくて、最も直接的な教え方を突き詰めると
圏論みたいなものになったってところか。
0496132人目の素数さん
2010/11/15(月) 21:55:11正直なとこ、国立大学医学部を受験するのに圏論は微塵も要らない
0497132人目の素数さん
2010/11/15(月) 23:08:32世界初「情報をエネルギーへ変換することに成功」理工学部教授 宗行 英朗と助教 鳥谷部 祥一が記者会見を行いました
http://www.chuo-u.ac.jp/chuo-u/news/contents_j.html?suffix=k&mode=top&topics=12513
0498132人目の素数さん
2010/11/16(火) 00:25:32そういうことじゃなくて、系の外部からエネルギーを奪ったりはしてるんだよね?
系の秩序を壊すことでその代わりに自由エネルギーがより高い状態にするとか。
0499132人目の素数さん
2010/11/16(火) 01:00:32つまりエネルギー保存の法則も成り立ってないと主張している
ブラウン運動の測定を情報って言うのは妙な感じだけど
しかーし、恐らく、
ポテンシャルに対して物体から与えられる反作用を考慮すると
(これはポテンシャルを発生させている機械に加わる)
エネルギー保存則は成立してるだろうな
0500132人目の素数さん
2010/11/16(火) 01:11:57エネルギー問題が解決している……なんてことは無いだろうなあ
0501132人目の素数さん
2010/11/16(火) 01:19:270502132人目の素数さん
2010/11/16(火) 02:07:39それに対して、皆が程度をわきまえて、違う部分を指摘するんだ!
皆の思い描く圏論の違いが、議論をゆがめている気がする。
え?そもそも議論なんて存在しない?そうですか。
0503132人目の素数さん
2010/11/16(火) 04:27:410504132人目の素数さん
2010/11/16(火) 05:30:24言い出した自分がやるべし
0505132人目の素数さん
2010/11/16(火) 18:13:39マックスウェルの悪魔
http://toki.2ch.net/test/read.cgi/scienceplus/1289886906/
物理】世界初、情報をエネルギーへ変換することに成功 「マックスウェルの悪魔」を実験により実現 中大・東大
0506132人目の素数さん
2010/11/16(火) 20:28:13大学受験もイチコロという結論が出たな
0507132人目の素数さん
2010/11/16(火) 20:56:230508132人目の素数さん
2010/11/16(火) 21:12:48もっとバンバンと研究予算を投じるべきですよ。
0509132人目の素数さん
2010/11/16(火) 23:31:25あと一歩というのに、民主ときたらダメだな。
0510132人目の素数さん
2010/11/18(木) 18:44:08まるでオカルトだね。自分が無能なのを内心として気がついているが認めたくない
故に妬みが悪口として表現されただけじゃないか。
0511132人目の素数さん
2010/11/18(木) 19:26:19ワラタ
さすがにそこまでバカな奴はいないだろ
0512132人目の素数さん
2010/11/19(金) 00:15:29圏論が理解できないという事は、一種の障害者であるので、社会的弱者のマイノリティとして保護が必要」
そういう世界が、すぐそこまで迫っているのだろうか。
0513132人目の素数さん
2010/11/19(金) 01:14:19清水のが圏論の最先端とか言ってるのが圏論を理解してるとは笑止千万
ちゃんとした圏論やトポスの教科書を何も勉強してない上っ面だけのニワカってのが丸バレだぜ
0514132人目の素数さん
2010/11/20(土) 03:22:35オカルトを容易く言葉にしないほうがいい、
そのレッテルを貼る行為はオカルト系への差別的使い方であるが、
オカルトが何かすらわかっていない事と、圏論をわかっていないのと同じ。
オカルトはそれだけわかりづらく説明すら困難であり圏論などが比ではないほど
その説明は困難である。
物事に隠されている、または潜んでいる、秘みている可能性という未来へ
つながる何か(占いの類=予言など)を表し、それは理屈やら意味で説明
できる類ではない。つまり科学や論理では非ず。数学でも表せない。
なぜなら意味やら理屈という計りで説明すれば嘘800の塊だからだ。
だがそこには秩序というものがある。可能性という秩序であり希望という
念のこもった妄想が錯覚として人に知覚させる類のトンデモなことをいう。
完成をもって意味を成す形とは違い、不完全な形を示しその完全を主観に
よって予知する形への道こそがオカルトなのであり。抽象的なことやら
不完全なものだけではオカルトではない。
そこには客観性が無いってことな。故に言葉で表現すればデタラメが正しい。
0515514
2010/11/20(土) 03:29:04↓
�A非線形な予測、認知
↓
�Bオカルトが存在する領域
↓
�C完全に予測できない真のランダムモデル(すべての事象と因果しない類)
この構図のようにオカルトとはデタラメの1歩手前のこと、そこに観測が
つながることで意味がかろうじて見えてくるタイプってこと。
0516132人目の素数さん
2010/11/20(土) 14:45:05元来はプロティノスらがプラトンのイデア論の影響を受けて
創始したネオ・プラトニズムによって言及されるところの、
神秘主義的概念。
一方でカテゴリーとはポーランド象徴学派が20世紀初頭に
考案したトポロジー幾何における未知の概念を記述するために作られたもの。
オカルト自体は記述を避けることで、言及するという
ラエイオスらの逆説的否定神学につながっていくんだけど、
この思想は欧州において近世以降広がりを見せていて、
薔薇十字団やカバラ、フリーメイソンにさえ影響を与えている。
むしろカテゴリーはこのオカルトを否定神学的手法を回避しつつ
言及するテクニックのことを示している。
0517132人目の素数さん
2010/11/20(土) 15:08:470518132人目の素数さん
2010/11/20(土) 17:10:00俺はここで教養の範疇でしかものを語ってないけどね。
例えばプロトンやプロティノスなんかは哲学の
基本事項だから公務員試験にさえ出題されるレベル。
薔薇十字団やカバラは読書人としては知っていなければならない。
数学を好むものならばカテゴリーは必携だろう。
0519132人目の素数さん
2010/11/20(土) 17:22:370520132人目の素数さん
2010/11/20(土) 17:40:56文脈が読めないのか。
まぁ僕なんかは君が文脈中毒かどうかしらんけどね。
マトゥラーナ=ヴァレラ図式を覗いてみれば
エクリチュールが表象を侵食しているシェーマL(ラカン)から
わかる様な数学のカテゴリーは確かに圏論的な話。
0521132人目の素数さん
2010/11/20(土) 17:44:480522132人目の素数さん
2010/11/20(土) 17:45:340523132人目の素数さん
2010/11/20(土) 17:48:370524132人目の素数さん
2010/11/20(土) 17:57:190525猫は口先だけ ◆MuKUnGPXAY
2010/11/20(土) 18:09:37猫
0526132人目の素数さん
2010/11/20(土) 18:51:30そこから考えれば、3階などの世界は想像を絶する世界が
待ち構えているのでないか?
俺もTwitterで益川さんの偽者をしてみたり、
Wikipediaの第三プラトー世界の関連項目を創造したりと
結構いろいろとネット上で活動してきたけど、
もしも高階算術の世界が知れるならば、想像をやめてそれに従いたいと考えている。
0527132人目の素数さん
2010/11/20(土) 19:50:35よくあるパターンになると思うけれど
0528132人目の素数さん
2010/11/20(土) 21:56:52それは誰かの創作物の一部を編集し似たようなことをまとめている
ことを暗記しただけの知識にすぎない。
シッタカは単に習うだけでそれが現実だと思い込んでしまう。
反論するなら、ちゃんと証明してみせろよな。できないだろ?
0529132人目の素数さん
2010/11/21(日) 06:59:06というのは、逆数学という、それほど面白くない一部にしがみついている
軍団の思想。
0530132人目の素数さん
2010/11/21(日) 08:25:570531132人目の素数さん
2010/11/21(日) 16:43:18おいおい逆数学は定理の証明に最小限必要な
公理系の強さを研究する学問だろうが。
それと2階述語論理がなぜ関連しているんだ?
命題論理が0階述語論理、完全性定理が成立するのが1階述語論理、
1階述語論理における量化演算子を固体として言及する述語論理が
2階述語論理だろうが。
3階述語論理を研究しているやつが今の地球上にいるのか俺は知らんが、
逆数学は現在のところ2階述語論理上でしか研究されていないよ。
3階述語論理上では最早集合論の存在を仮定せずに
直接ペアノの公理系を構成することができる、まったく緩い世界だから。
そんな世界で逆数学が成立するか不明だし、
成立したとしてもあまりに複雑すぎて人間の知能じゃ
理解することすらできないだろう。
0532132人目の素数さん
2010/11/21(日) 17:42:24言っていることは正しいと思う。
ただ、
>複雑すぎて人間の知能じゃ理解することすらできない
ではなくて、複雑なだけで、応用できる分野がないから、
研究する意味がない、が正しい。
勝手に人間の知能の限界を語らないでくれ。
0533132人目の素数さん
2010/11/21(日) 17:52:51まぁその複雑さが現実的な研究価値を減らしているということは
間違っていないと思います。
なぜか2階述語論理が人間にとってすごい便利なんですよね。
特に2階述語論理の中でもヘンキン・モデルとか呼ばれる
論理体系が。
おそらく常に完全性定理が成立するからかな?
スタンダード・モデルでは完全性定理が成立しないし、
3階以上ではほとんど完全性定理が成立しない。
これでは今の証明論が使えないし、
新しく作られた証明論も使いにくいだろうね。
そもそも証明という概念自体を見直す必要さえあるだろうけど。
0534132人目の素数さん
2010/11/21(日) 18:05:040535132人目の素数さん
2010/11/21(日) 20:53:46many sortedな一階述語論理な訳だが……
ヘンキン・モデルとか全然関係無い
0536132人目の素数さん
2010/11/21(日) 22:01:24ははは。ああいうのが補強するから、ますますまともな感性の人が遠ざかるという好循環。
0537132人目の素数さん
2010/11/21(日) 23:15:380538132人目の素数さん
2010/11/22(月) 00:44:03数理論理学の用語「証明」と実際の証明とは全然違うものだ。見直され続けるのは当然。
0539132人目の素数さん
2010/11/22(月) 00:46:350540132人目の素数さん
2010/11/22(月) 00:54:532階述語論理だけでこの壮大さだよ?
3階以上は最早数学と呼べないかもしれないが・・・。
それを解釈できる論理学も偉大だけどね。
0541132人目の素数さん
2010/11/22(月) 02:32:10トートロジー的視点による内部構造への意味付けが数学と呼ばれる
一連の学問なわけですがね。
人間にとって都合の良いトートロジー的内部構造の取得、
これはこれから非常に重要になってくることは必携と言えるでしょう。
それから最近登場した述語論理の枠組みをぶっ飛ばした
圏論・スタックやグロタンディーク宇宙なんかも最近は注目されていますよ。
0542猫は口先だけ ◆MuKUnGPXAY
2010/11/22(月) 02:35:44猫
0543132人目の素数さん
2010/11/22(月) 03:48:58>トートロジー的視点による内部構造への意味付けが数学と呼ばれる
>一連の学問なわけですがね。
ハッタリとしか思えんね
0544132人目の素数さん
2010/11/22(月) 08:01:330545132人目の素数さん
2010/11/22(月) 08:07:21ぶっ飛ばしてなど居ない訳だが。
というよりも論理学的に面倒なことをしないで普通の集合論の
枠組みの中で議論をしたいから使うのがuniverseでしょ。
0546132人目の素数さん
2010/11/22(月) 12:35:07記号遊びになるか、全く意味不明の体系ができるだけで、
誰も興味示さない。
0547132人目の素数さん
2010/11/22(月) 19:41:49グロタンディークユニヴァースを混同していないか?
ユニヴァースは普遍集合のことを言っているが
グロタンディーク宇宙は全分離可能バナッハ空間のことだYO^^
0548132人目の素数さん
2010/11/23(火) 00:10:28位相空間のこと位相宇宙とかいう人なら知らんが。
http://www.kurims.kyoto-u.ac.jp/~motizuki/Anabelioid%20no%20kikagaku%20to%20Teichmuller%20riron%20(Muroran%202002-08).pdf
この「グロタンディーク宇宙」はuniverseの方だよね。
望月先生も混同してるの?
0549132人目の素数さん
2010/11/23(火) 00:44:260550132人目の素数さん
2010/11/23(火) 00:49:58何がトートロジー的内部構造だよ
0551132人目の素数さん
2010/11/23(火) 01:08:44発狂しちゃったよ、この子・・・
0552132人目の素数さん
2010/11/23(火) 01:38:33549みたいなこと言われたら怒りもする。
分かってないってのは547がわざと嘘書いてるってことをか?
0553132人目の素数さん
2010/11/23(火) 08:43:37一般的にはグロタンディーク宇宙の全体の集合が定義されるんだけど、
これは普遍集合と呼ばれていて、2階述語論理の階級によって定義される。
この世界では集合論の議論に、ススリンの木もダイヤモンド原理も登場しない。
0554132人目の素数さん
2010/11/23(火) 08:49:400555132人目の素数さん
2010/11/23(火) 08:58:370556132人目の素数さん
2010/11/23(火) 09:09:13集合論で公理として強到達不可能基数の
存在を仮定することは同じ。
つまりGrothendieck宇宙は最低限必要な集合論の公理を減らしスマートにする。
0557132人目の素数さん
2010/11/23(火) 09:21:080558132人目の素数さん
2010/11/23(火) 13:41:42わかってないな、Grothendieck宇宙は集合論自体が不要なんだ。
公理が減るどこか、なくなる。そもそも基数じたいナンセンスなのが
Grothendieck宇宙。もっと勉強しろ
0559132人目の素数さん
2010/11/23(火) 14:45:00漏れの宇宙には、おまい、King & 猫は存在しない。
0560132人目の素数さん
2010/11/23(火) 17:41:43公理的集合論の議論なんていらねってことか。
連続体仮説とかってどーなんのー?
0561132人目の素数さん
2010/11/23(火) 17:50:33カビの生えた数学を教えている。大学教授は首でいいよ
0562132人目の素数さん
2010/11/23(火) 18:57:03数学研究では 違うだろ
授業料は前者へ、外部資金は後者があつめる。
0563132人目の素数さん
2010/11/23(火) 22:34:580564132人目の素数さん
2010/11/24(水) 05:32:36学部で圏論を全学部必修とし、専門の学部「圏論学部」を別途募集する。
東京圏論学部という専門の大学を作れば、おそらく志願倍率は100倍を越すだろう。
また、圏論基本法を制定し、圏論研究には莫大な補助金を出すようにすべき。
また圏論教育基本法にて、初歩的な圏論は義務教育の1教科として扱われるべきである。
そして世界各国の首脳や研究者、企業、民間研究者を東京に集めて、圏論世界大会を開催すべきだ。これは国際的にも大きく取り上げられ
世界全体がお祭り気分になるような、超大規模な祭典となるだろう。開催期間には1年を要するだろう。
2050年には、日常会話でも圏論の概念が多用され、もはや標準的な小学生や中卒肉体労働者ですら圏論を理解しており、
おそらく圏論を知らずしてまともな日常生活は困難になるかもしれない。
0565132人目の素数さん
2010/11/24(水) 07:46:590566132人目の素数さん
2010/11/24(水) 16:22:430567132人目の素数さん
2010/11/24(水) 16:37:020568132人目の素数さん
2010/11/24(水) 17:20:47だから日本は駄目なんだ。
0569132人目の素数さん
2010/11/24(水) 20:26:24ゆとり教育のせいだと言われている。
0570132人目の素数さん
2010/11/24(水) 20:43:350571132人目の素数さん
2010/11/24(水) 21:26:14すぐに解決する問題なのに。
0572132人目の素数さん
2010/11/24(水) 21:29:550573132人目の素数さん
2010/11/24(水) 22:04:080574132人目の素数さん
2010/11/24(水) 23:29:21ただし、高度な圏論の知識が必要だ。
0575132人目の素数さん
2010/11/25(木) 00:31:07卒業生はメガバンはじめ、大半が大手企業に就職。
その秘密は圏論講義を必修にしているから。
教授陣も圏論を駆使した幅広い研究で、企業からの寄付金も、
毎年十数億円くらいある。
3ヶ月前のNHK特集でやっていた。
0576132人目の素数さん
2010/11/25(木) 02:07:370577132人目の素数さん
2010/11/25(木) 19:03:35美川圏一です。
改名して、来年の紅白を目指します。
0578132人目の素数さん
2010/11/25(木) 20:54:190579132人目の素数さん
2010/11/25(木) 21:25:000580132人目の素数さん
2010/11/25(木) 23:34:58男の子の最も多い名前ランキング
1位:圏(けん) 2位:圏一(けんいち)
0581132人目の素数さん
2010/11/26(金) 01:10:430582132人目の素数さん
2010/11/26(金) 22:08:530583132人目の素数さん
2010/11/26(金) 22:26:330584132人目の素数さん
2010/11/27(土) 00:56:13http://ja.wikipedia.org/wiki/%E5%9C%92_%28%E6%95%B0%E5%AD%A6%29
園という訳語は一般的なの?
0585132人目の素数さん
2010/11/27(土) 04:27:510586132人目の素数さん
2010/11/27(土) 04:34:250587132人目の素数さん
2010/11/27(土) 05:35:470588132人目の素数さん
2010/11/27(土) 20:31:43ぼくも、今度圏論を勉強して、彼女を作ることにしました
0589132人目の素数さん
2010/11/27(土) 20:33:150590132人目の素数さん
2010/11/29(月) 22:52:20ペギオ、圏論にいったのかw
もともと地球科学のひとだったが、意識や生命に行って
圏論で基礎付けを考えたとは知らなかった。
むかしは圏論について触れてなかったし
0591132人目の素数さん
2010/11/30(火) 10:56:43圏論的な物理って、ろくに成果がでてないだろ
あんなもの、有名なケプラーの太陽系プラトン立体説のようなゴミ
0592132人目の素数さん
2010/11/30(火) 11:09:37まあ、森毅先生も業績なかったしなw
0593132人目の素数さん
2010/12/03(金) 20:09:10そのお前が成果だとおもっていることは、成果が出る前は同じように
「ろくに成果がでてないだろ 」と批難されていた事実すらしらないようだな。
0594132人目の素数さん
2010/12/03(金) 20:53:07推測しようがないように思うんだが、さすがにこのスレはエスパーが得意な人が多いな
0595132人目の素数さん
2010/12/04(土) 03:33:06全く新しい教えを世に広める旅に出ようと思う。
私の理想は、皆が敬虔に代数幾何学を学び、笑顔の絶えない平和な世界を築く事だ。
私の考えに賛同する方は、私を手伝って欲しい。今の時代、インターネットの影響力は計り知れないものがある。
私は一軒一軒個別にお宅を訪問し、人の心にじかに訴えかけようと思うが、それだけでは限界があるのだ。
そして友が十分に集まったら、政治に介入しようと思う。世を変えるには、教育を変えなければならないからだ。
いかなる人も、代数幾何学の基礎くらいは知っていなければならない。人の心が乱れているのは、美しいものを知らないからだ。
代数幾何学でこの世界を変えよう。これが最初の一歩である。
0596132人目の素数さん
2010/12/04(土) 05:57:540597132人目の素数さん
2010/12/05(日) 19:59:520598猫はぼっち ◆MuKUnGPXAY
2010/12/05(日) 22:20:45込みを参照して下さい。ご理解を戴いた上であれば追加の質問を受け付けます。
猫
0599132人目の素数さん
2010/12/06(月) 02:18:09結局、古典をより良く知りたい。
0600猫は口先だけ ◆MuKUnGPXAY
2010/12/06(月) 02:21:17猫
0601132人目の素数さん
2010/12/06(月) 17:30:070602132人目の素数さん
2010/12/06(月) 18:40:11基礎論縛りもまた既成観念縛りになる恐れが有る為に然り。
0603132人目の素数さん
2010/12/06(月) 23:16:570604132人目の素数さん
2010/12/06(月) 23:28:540605132人目の素数さん
2010/12/06(月) 23:32:56いいえ、全てのパラメタを入れれば答えが自動的に分かるような魔法なのですか?その圏論とやらは?
とたずねているのです。
0606132人目の素数さん
2010/12/06(月) 23:38:00全てのパラメタを入れれば答えが自動的に分かる・・・
ものではないが、大学入試レベルで解法を自動的に
選んだりするには役立つよ・・・
ま、あとは専門の塾で金出して勉強してくらはい。
ヒントは、東大入試の解法のコツ。
0607132人目の素数さん
2010/12/07(火) 00:31:56其んな何でもかんでも2次代数方程式の解の公式の様にはいかんよ
0608132人目の素数さん
2010/12/07(火) 02:58:300609132人目の素数さん
2010/12/07(火) 03:55:080610132人目の素数さん
2010/12/07(火) 06:15:370611132人目の素数さん
2010/12/08(水) 21:59:25http://momotaro.boy.jp/html/narahennsati.html
0612132人目の素数さん
2010/12/09(木) 21:29:16時代遅れだ
0613132人目の素数さん
2010/12/10(金) 00:14:360614132人目の素数さん
2010/12/10(金) 15:42:45バーコフの「On the Structure of Abstract Algebras」を読め
圏論の言葉を使わずにuniversalやcanonical
0615132人目の素数さん
2010/12/10(金) 15:43:300616132人目の素数さん
2010/12/11(土) 02:52:38自分で物事を考えず、習えというのは学ぶ道の扉すら、その階段の第一歩
すら登っていない。
読んだところで半島人の行う知識のパクリでしかない。
そのまま表面だけで一生おどればいいさ。
0617132人目の素数さん
2010/12/11(土) 07:45:190618132人目の素数さん
2010/12/12(日) 03:38:480619猫は老害 ◆MuKUnGPXAY
2010/12/12(日) 07:11:19予約してからファーストの往復航空券をワシ用に準備して下さいまし。全て準備
が整ったらワシにメールしてくらはい。尚全ての支払いは当然に全部をアンタ
が持つっちゅう事で。
エエな。
猫
0620132人目の素数さん
2010/12/13(月) 09:27:19実際は逆。
圏論で記述できるのが世界なんだ。
圏論は数学という母体からもはや離れて一人前の人格を得るに至った。
そこにはゲーデルの不完全性定理などもはや意味を成さない。
という夢を見たんだ。
0621132人目の素数さん
2010/12/13(月) 09:37:13そしてその新たな初学成分こそ極意。
神仏一体日々是好日、圏基一体日々是好日。
0622猫は老害 ◆MuKUnGPXAY
2010/12/13(月) 18:16:300623132人目の素数さん
2010/12/13(月) 19:44:11猫の自己アピール、醜い。
0624猫は老害 ◆MuKUnGPXAY
2010/12/14(火) 08:59:13アンタ等よりは遥かにマシや。もし厭やったらアンタ等から先にヤメロや。ほし
たらワシかて止めたるさかいナ。この理屈やったらアンタ等にかて判るやろ。
猫
0625132人目の素数さん
2010/12/22(水) 16:21:41そんなに簡単なら幸せだな
0626132人目の素数さん
2010/12/28(火) 23:16:23テ○○○○○イが圏論教えてるってことですか?
いずれにせよ、大学未満圏論が広がるのは止められない事は事実なのでしょうかね。。。
0627132人目の素数さん
2010/12/30(木) 13:36:28イミフメイなのとか無意味な睡眠時の夢てあるよな。あれも圏論で説明できるのか?
マージャンの勝敗とかも圏論で?
0628132人目の素数さん
2010/12/30(木) 13:38:41かつ不思議として秩序があり機能しているものとか計れない類に無力だと思うが。
0629132人目の素数さん
2010/12/30(木) 15:45:180630132人目の素数さん
2010/12/31(金) 00:30:270631132人目の素数さん
2010/12/31(金) 00:34:400632猫は吸着 ◆MuKUnGPXAY
2010/12/31(金) 02:23:58■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■
■■■■■■■ このスレは他板・他スレ運営妨害の非常に悪質糞スレの為に ■■■■■■
■■■■■■■反感を買って終了しました。 皆様のご愛顧有難う御座いました■■■■■■
■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■
■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■
猫
0633132人目の素数さん
2010/12/31(金) 05:00:05> けんろん! けいおん!じゃなくて、けんろん!
険呑、険呑
0634猫は吸着 ◆MuKUnGPXAY
2010/12/31(金) 08:49:39■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■
■■■■■■■ このスレは他板・他スレ運営妨害の非常に悪質糞スレの為に ■■■■■■
■■■■■■■反感を買って終了しました。 皆様のご愛顧有難う御座いました■■■■■■
■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■
■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■
猫
0635132人目の素数さん
2011/01/01(土) 01:25:580636132人目の素数さん
2011/01/01(土) 02:24:360637 【大吉】 【1350円】
2011/01/01(土) 08:19:410638132人目の素数さん
2011/01/01(土) 19:01:310639132人目の素数さん
2011/01/02(日) 21:48:270641132人目の素数さん
2011/01/03(月) 23:20:08モンターギュ文法は面白そうです
0642132人目の素数さん
2011/01/23(日) 03:39:27これが序章であり、神技とは相手の行動がもっとも合理的に動く先を
封じ行動を縛る類、また相手に行動の迷いを抱かせ、合理性に導く技である。
一番受け取りやすい攻撃の偽拳の裏に別の主体となる拳を出して
二重攻撃することで防御を無視した技となしたりする。
0643132人目の素数さん
2011/02/02(水) 17:01:28コミックバンドの付き人を基礎として演習を重ねることにより
東村山音頭やスイカ超速食い、巨大フラフープの理論に至る
加藤茶の定理を用いることにより、ごきげん・だいじょうぶだぁ状態になるが
多くの素人は、むずかしいなぁと感想を述べている
けん論を学ぶことにより、複数の若手女性タレントに好まれる可能性が生じるが
髪が薄くなったり、死亡説が流される危険性を伴う
0644132人目の素数さん
2011/03/01(火) 00:45:19.23http://klapaucius.web.fc2.com/logic/online-textbooks.html
のサイトが見れないのだけど、消えた??
0645132人目の素数さん
2011/03/05(土) 19:23:57.90http://twitter.com/tsagis/status/14016368293
0646132人目の素数さん
2011/03/27(日) 22:35:49.13ふたつ同じ意味の形容詞が混在しているんだ?
0647132人目の素数さん
2011/03/28(月) 18:22:53.27それを前提に"naturality"とか"naturally related"とか形容することはある。
canonicalと「同じ」ではない。
0648132人目の素数さん
2011/03/28(月) 20:11:52.97置き換えられないものなんですね。
変なところにこだわっているような気もするのですが、でも、どうも大事な
部分な気がするんですよね。
0649132人目の素数さん
2011/03/29(火) 20:41:50.77自然変換というのは自然な同型を扱うための概念だと理解しているので、
自然な同型と同じ意味で使われる標準的な同型という概念のことを考えると、
標準的変換とか標準変換という言葉で自然変換を言い換えても
同じ意味になるのじゃないかと思ったからです。
0650132人目の素数さん
2011/03/29(火) 20:57:02.970651132人目の素数さん
2011/03/29(火) 21:02:49.56それはどっちも理解できてないから。
自分は"canonical relation" "natural projection"とかで慣例的につかうことはあっても説明はできないな。
何となくnaturalは自明なもの、canonicalはそれで扱われる同値関係から自然と推測出来るもの、かなぁ。
0653132人目の素数さん
2011/03/31(木) 19:03:14.740654132人目の素数さん
2011/03/31(木) 19:11:32.780655132人目の素数さん
2011/03/31(木) 20:45:16.52自分も説明がどんなものか知りたいです。
一応まっとうだと思われる以下の辞書で、自然も標準的も同じ形容語だという
主張がされています。
http://www.amazon.co.jp/dp/4000802097
----
カノニカル
canonical
ある数学的概念が与えられた構造から内在的に決まっていることを表す形容語。
「自然な」、「標準的」などともいう。
例1・・・略
----
ほか、”自然な”の項目も”標準的”の項目(の後半)も上記項目への参照となっています。
>>654
和書ばっかり読んでいるのでわからないです。
ただ、英語で公用文を作成する際に使うような用字用例辞典があるなら、
それが求めるものに多分近いものなのではないかと一般論として思います。
0656132人目の素数さん
2011/03/31(木) 22:01:19.68"natural transformation"であるが、
"canonical isomorphism"でないものを探してみたら?
更に逆はあるかどうか。数学なんだから。
0657132人目の素数さん
2011/03/31(木) 22:30:21.150658132人目の素数さん
2011/03/31(木) 22:50:43.090659132人目の素数さん
2011/04/02(土) 10:00:58.530660132人目の素数さん
2011/04/17(日) 12:22:45.66Vct_Kの逆圏Vct_K^opの事だと考えればいいんですか?(Kは何か体)
それとも、逆圏から何か共変函手を適用しないといけないんでしょうか?
0661132人目の素数さん
2011/04/17(日) 12:36:06.55双対空間V*に変わるので、何か共変函手を適用しないといけないですね。
アホだ。
0662132人目の素数さん
2011/05/04(水) 10:54:02.61同一の対象ですか?
それぞれの同型射をS:Vー>W、T:Wー>Vとすると、
T・Sはid_V、S・Tはid_Wとなります。
ここで一旦対象については忘れて射だけについて考えたとすると、
同じ恒等射なので、区別がつかず同じものとみなしても構わない
かなと思ったからです。
0663132人目の素数さん
2011/05/04(水) 10:55:39.480664132人目の素数さん
2011/05/04(水) 20:10:52.80圏同値とか言われる。
0665132人目の素数さん
2011/05/04(水) 20:17:07.98ただの同型(isomorphic)っていう。
圏同値は自然変換とかが入ってくるとき。
X→Xとはじめから同じ対象を考えたら自己同型射とか言われる。
0666132人目の素数さん
2011/05/04(水) 21:29:29.53実は、関連して普遍射の話をコンマ圏の始対象の話に直す話(圏論の基礎p.70あたり)が
よくわからんのです。(具体的にはテンソル積の構成を例に自分の中で考えてます。)
うまく説明できないのですが、始対象ってその同型も圏の中に許してしまっていいもの
なんでしょうか。
0667132人目の素数さん
2011/05/04(水) 21:33:55.15思うのでどうも理解出来ないのです。
0668132人目の素数さん
2011/05/04(水) 22:29:59.33なんだかわからんがよく読めていなかった、スマソ。
0669132人目の素数さん
2011/05/08(日) 09:53:53.52モナドか余モナドの構成要素の一部となる場合だけなんでしょうか。
つまり、モナド<T、η、μ>において、自然変換η(<*,η>)はTへの普遍射に
なるけれども、逆に普遍射が自然変換になる場合というのは、モナドか余モナドの
場合のみなのかどうかということです。
0670132人目の素数さん
2011/05/27(金) 22:32:15.270671132人目の素数さん
2011/05/28(土) 21:37:49.670672あんでぃは存在 ◆AdkZFxa49I
2011/06/12(日) 09:56:04.020673132人目の素数さん
2011/06/19(日) 16:48:12.200674132人目の素数さん
2011/06/28(火) 20:27:41.07入れ替えても大丈夫ですか?
個人的には意味が変わってしまうように感じるんですけど、一般と普遍って
違いがよくわからないんです。
0675132人目の素数さん
2011/07/04(月) 23:36:25.56基礎論屋(=馬鹿どもw)に質問しま〜〜〜すw
1:形式的証明が与えられることは大事なことである
2:(ゲーデルの第一)不完全性定理は重要な定理である
これらの意見については、どう思います。というか、2番の意見は正しいけど、
1番の意見は全くのデタラメでしょwww
0676132人目の素数さん
2011/07/04(月) 23:41:29.65>>105:
ということで。基礎論屋(=馬鹿どもw)の考え方によれば
不完全性定理に形式的証明を与えることは重要である
ってことになるよな。じゃ、もう誰かさんがやったのかな?
重要だとすれば、その業績はちょー有名なんだよなあwww
0677132人目の素数さん
2011/07/04(月) 23:44:57.08評価されるんだよねwwwそれなら、頑張って形式的証明に
挑戦してる人も沢山いるんだよねえw
http://kamome.2ch.net/test/read.cgi/math/1309406249/105-
0678か ◆taAZ7oPCCM
2011/07/04(月) 23:57:21.780679かります ◆wG1CV58ydQ
2011/07/04(月) 23:58:15.910680かえる ◆JnXWn8istY
2011/07/04(月) 23:58:21.410681132人目の素数さん
2011/07/05(火) 10:26:01.26つまらない方向にだけどんどんハッテンしてる
数学者がオイラーやラマヌジャンといった数学の本流を追い求めた方々を称賛するとき
それは暗にユダヤ的なものには警戒しろという意味が含まれているように思います
0682猫はネクラ ◆MuKUnGPXAY
2011/07/05(火) 14:44:13.54つまらない話題にだけどんどん話が進行してる
数学者が岡潔や佐藤幹夫といった数学の本流を追い求めた方々を称賛するとき
それは暗に馬鹿者達の陰湿な考え方には警戒しろという意味が含まれているように思います
猫
0683132人目の素数さん
2011/07/05(火) 14:49:58.02> 大きな声ではいえませんが、2ちゃんに数学板が出来てから数学が退化してますよね
> つまらない話題にだけどんどん話が進行してる
マジレスというか真面目な質問ですが、2ちゃんねるに数学を退化させるほどの影響力があるんですか?
仮に2ちゃんねるの数学板が数学に影響を及ぼすとしても日本の数学だけでしょう。
それならば、日本の数学界が世界の数学界の中で相対的にレベルを落としただけではないでしょうか?
0684猫はネクラ ◆MuKUnGPXAY
2011/07/05(火) 14:59:46.85訂正(>>682に関して):
数学が退化していますよね → 日本の数学が退化していますよね
ご指摘の通りです。大変に失礼致しました。
猫拝
0685132人目の素数さん
2011/07/05(火) 17:40:00.110686132人目の素数さん
2011/07/05(火) 18:39:06.36失礼どころの話じゃない。最低だお前は。謝罪しろ
0688猫は卑屈 ◆MuKUnGPXAY
2011/07/05(火) 19:33:02.26つまらない話題にだけどんどん話が進行してる
数学者が岡潔や佐藤幹夫といった数学の本流を追い求めた方々を称賛するとき
それは暗に馬鹿者達の陰湿な考え方には警戒しろという意味が含まれているように思います
猫
0689132人目の素数さん
2011/07/05(火) 20:39:40.690690132人目の素数さん
2011/07/05(火) 21:39:16.550691猫はオッサン ◆MuKUnGPXAY
2011/07/05(火) 21:48:20.20>>690
結構色んな人達が(自分は知らないと言いつつも)コッソリと見てるの
が「2ちゃんという存在」だと思いますね。何故ならば日本人は噂や風
評の類に極めて敏感に反応するからです。だから色んな人達がワクワク
しながら、或いはビクビクしながらコッソリと見てる(見てた)だろう
と私は想像しています。
もうかなり減ったとは思いますが。
猫
猫
0692猫は虚偽院生を叩く ◆MuKUnGPXAY
2011/07/05(火) 23:50:01.74>>690
まあこの2ちゃんというのは『風評被害を助長スル(シタ)』と私は考
えています。つまりこういう匿名無責任で馬鹿なシステムは:
★★★『日本人の気質の弱点を助長する、従って大変に好ましくない存在』★★★
だと私は考えて居ます。
でももはやマトモな人は誰も見て居ないでしょうから、もう実害は然程
はないでしょうから、従って私は適当な時期が来たらココを放置します。
猫
0693132人目の素数さん
2011/07/06(水) 01:59:54.58読みました。
犬
0695132人目の素数さん
2011/07/06(水) 02:19:05.11確かにまともに研究をなさっている方はこんな場所に
出入りしていないでしょう。しかしながらここは
日本数学(社会)の縮図と考えることも出来ます。
普段は本音で話さない事であっても、ここでなら
忌憚なく自分をさらけ出すことが出来るということです。
確実に疲弊はしていますが、個人名を挙げての誹謗中傷は
減ったように感じます。だからと言って今の状態が
健全とは言えないのですが。
犬
0696猫は虚偽院生を叩く ◆MuKUnGPXAY
2011/07/06(水) 02:37:57.29犬様、
なるほど。私もほぼ同意見ですね。つまりココは正に『日本数学(社会)
の縮図』だと思いますね。だから普段は鉄仮面でも、こういう場所では皆
さんの本音がきちんと見られるのは事実でしょう。だからこそ、こういう
場で自分の意見をきちんと述べて置くのは無意味ではないという判断を私
はしています。
猫
0697132人目の素数さん
2011/07/06(水) 15:38:50.800698132人目の素数さん
2011/07/07(木) 04:18:18.890699132人目の素数さん
2011/07/07(木) 05:32:43.320700700
2011/07/07(木) 09:30:50.49700ゲット!
0701132人目の素数さん
2011/07/07(木) 20:27:05.64所詮は人間の思考の産物にすぎないので滅びてしまう
0702132人目の素数さん
2011/07/07(木) 20:54:08.01イルカも足し算引き算出来るぜよ
脳は人間並みの能力在るらしい
問題はどうやってイルカに数学を教えるかだ
0703132人目の素数さん
2011/07/07(木) 21:02:19.460704132人目の素数さん
2011/07/07(木) 21:45:28.50ゲーム終盤でイルカ星人が地球を侵略しようとしていることが判明して、戦うか共存するか選択するの
戦うを選ぶと問答無用でげーむおーばーw
0705132人目の素数さん
2011/07/23(土) 15:48:09.480706132人目の素数さん
2011/08/07(日) 19:37:04.880707132人目の素数さん
2011/08/08(月) 01:26:16.05形式の法則
http://ja.wikipedia.org/wiki/%E5%BD%A2%E5%BC%8F%E3%81%AE%E6%B3%95%E5%89%87
この記事の事ですね。
アイオーンの時間の固体化、シミュラークルの質料などの哲学用語に戦慄しました。
「カテゴリ: ブール代数 | 数理論理学 | 数学に関する記事」になっていますが、
これを数理論理学の記事とするのは馬鹿げていると思います。
形式の法則
http://www.amazon.co.jp/dp/4255870063/
George Spencer-BrownのLaws of Formが出版され、
それを翻訳したこの本が日本で出版された事は事実です。
英語圏では信奉者もそれなりにいるのだそうです。
数学記事としてはゴミですが哲学の言説を伝える記事としては価値があります。
「カテゴリ: 論理学 | 論理学の哲学」に修正するのが妥当ではないでしょうか。
黒木のなんでも掲示板
http://www.math.tohoku.ac.jp/~kuroki/keijiban/a0066.html#a20001119050732
>Date: Sun Nov 19 05:07:32 2000
>In-Reply-To: a0066.html#a20001119014649
>Name: くろき げん
>Subject: George Spencer-Brown
黒木先生が10年以上前に「形式の法則」を全面的に否定しています。
外部リンクに「数学者による解説」としてこれを追加すれば
「形式の法則」を真に受ける人を減らせるでしょう。
0708132人目の素数さん
2011/08/08(月) 01:39:05.73スペンサー・ブラウンなんていらない
http://www.math.tohoku.ac.jp/~kuroki/SB/
「形式の法則」批判は独立したページにまとめられていました。
0709超越論的数学者 ◆xKQl9rTMwao4
2011/08/09(火) 23:03:12.00結局このスレを立てたのも私だし、
このスレの最初の方のレスはほとんど私の自作自演だし、
基礎論スレにも常駐していました。
もちろん山之内彰も私だし、それをコピペした>>71
のレスさえも私によるものです。
さて、例の形式の法則ですが、
私がこれを知ったのは数年前の丸善の書棚の
大澤著行為の代数ででした。
当時私は準同型定理さえ知らない程度の工学部卒でしたが、
彼の著書のさまざまな記号に胸躍りました。
そしてすぐに黒木さんによる批判へたどり着きました。
真面目に勉強しないからなのでしょうか、
フランス現代思想というものにひどく興味を持っており、
ドゥルーズやラカンの著書を眺めては、意味も分からずうっとりしておりました。
ですからシュミラークルとシュミレーションとか
神秘主義の時間であるアイオーンの名前くらいは知っておりました。
(シュミラークルはナツメ社の図解雑学シリーズで知り、
アイオーンの方は意味はわかりません。)
当時これらの用語を散りばめてポストモダン的文体を再現することで、
Wikipediaに新たな文明を構築しようとしました。
しかしほとんどが削除され、なぜか形式の法則だけが残りました。
私の感覚では数学の方が哲学項目よりも管理が厳しい感じでした。
ですからはっきり言いましょう、
その項目は完全にトンデモです。
0710132人目の素数さん
2011/08/12(金) 16:06:01.43Laws of Form
http://en.wikipedia.org/wiki/Laws_of_Form
英語版は真面目に本の内容を説明してますね。
Wikipedia:削除依頼/山之内彰
http://ja.wikipedia.org/wiki/Wikipedia:%E5%89%8A%E9%99%A4%E4%BE%9D%E9%A0%BC/%E5%B1%B1%E4%B9%8B%E5%86%85%E5%BD%B0
山之内彰
http://wpedia.goo.ne.jp/wiki/%E5%B1%B1%E4%B9%8B%E5%86%85%E5%BD%B0
削除済み項目が外部サイトに残るとは知りませんでした。
0711132人目の素数さん
2011/08/13(土) 11:27:31.35456 :132人目の素数さん :2011/08/13(土) 11:25:49.45
The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal (De Gruyter Series in Logic and Its Applications)
8000とかw
買わんのなら数学やめた方が良いww
0712132人目の素数さん
2011/08/13(土) 21:08:14.790713132人目の素数さん
2011/08/16(火) 23:31:43.93集合も位相空間も圏なんだよ
0714132人目の素数さん
2011/08/24(水) 21:05:53.960715い
2011/08/28(日) 03:17:05.710716132人目の素数さん
2011/08/28(日) 10:56:36.42点と矢印
0717132人目の素数さん
2011/08/28(日) 19:20:25.26良く分かりました。
0718132人目の素数さん
2011/08/28(日) 22:09:51.690719132人目の素数さん
2011/09/01(木) 05:23:41.630720132人目の素数さん
2011/09/05(月) 14:53:13.770721132人目の素数さん
2011/09/05(月) 17:02:13.640722132人目の素数さん
2011/09/07(水) 23:28:24.99新たな見地が開けるかもよ?
0723132人目の素数さん
2011/09/08(木) 04:09:12.580724132人目の素数さん
2011/09/13(火) 10:10:04.15米田の補題が重要なツールである限り集合論を圏論に解消することはできないと思われる
0725132人目の素数さん
2011/09/13(火) 11:36:52.780726132人目の素数さん
2011/09/13(火) 22:16:31.320727132人目の素数さん
2011/09/14(水) 00:47:15.64そうすると米田の補題の位置付けはどうなるの?
0728132人目の素数さん
2011/09/14(水) 01:44:14.060729132人目の素数さん
2011/09/14(水) 03:13:40.32原理的には米田の補題も圏論の言葉で書き表せる
0730132人目の素数さん
2011/09/14(水) 05:31:16.57なんでそんなのが出てきたの?集合論が嫌だったから?
0731132人目の素数さん
2011/09/14(水) 05:36:07.23実際に全数学を記述できるかというのは別問題
0732132人目の素数さん
2011/09/14(水) 06:02:50.14そういうことが可能であるか、
可能であるとして、するかどうか
この三つは別問題。
三つに対する答はno,yes,たぶんno.
0733132人目の素数さん
2011/09/14(水) 06:15:02.600734132人目の素数さん
2011/09/14(水) 07:43:07.71集合論に代わるとかはトポスの話だけど、
これは嘘ね。実際圏の形式化にZFC使ってるから。
0735132人目の素数さん
2011/09/14(水) 13:08:52.000736132人目の素数さん
2011/09/14(水) 13:10:19.310737132人目の素数さん
2011/09/14(水) 15:27:49.73群とか環とかと同様にね。
0738132人目の素数さん
2011/09/14(水) 18:15:29.530739132人目の素数さん
2011/09/14(水) 20:40:50.22TeXはある意味全数学の記述に成功してしまった。
そんなに表面的な意味だけでもない。
0740132人目の素数さん
2011/09/14(水) 21:51:03.22510 名前:デフォルトの名無しさん 投稿日:2011/08/28(日) 10:21:29.96
1930年代、ゲーテルによって、数学そのものに矛盾が存在することが明らかになった
数学の基礎を再構築する必要がでてきて、その基礎に圏論を使う一派が出てきた
彼らは、集合の定義とか、数の定義とか、論理の定義を圏論でやろうとした
集合の定義をするときに、ラッセルのパラドックスを技術的に表面上から隠すテクニックのひとつに、集合の上にクラスを置いて定義するという方法がある
この、クラスを使うような集合の定義も圏論でできた
で、このクラスと集合を同時に扱うような圏論の使い方を応用すれば、プログラミングの型と演算を同時に定義することができることが分かった
この、プログラミングの仕様書式(技術的用語)として圏論を使いまくって言語を構築したのが Haskell
モナドというトリッキーなテクニック/概念が先にあってそれを圏論の言葉で説明したのか、
圏論の定理から推論してモナドというテクニックを発見したのか(つまり、圏論がなければモナドは理解できないのか)、
歴史的にはどっちなのかはよく分からない
ちなみに、アローやモノイドやファンクタといった概念は圏論とは独立に存在する
例えば、「モノイドを(あえて)圏論で説明すると…」といった感じになる
511 名前:デフォルトの名無しさん 投稿日:2011/08/28(日) 10:24:08.52
>>510
数学に矛盾が存在する は、正しくは 数学には矛盾か無矛盾かを判断できない定理が存在するという「不都合」が存在する ね
0741132人目の素数さん
2011/09/14(水) 22:04:26.86ここから間違い
矛盾が存在することと、真か偽か証明出来ない命題が存在することは別
0742132人目の素数さん
2011/09/14(水) 22:09:13.40貴方は信じますか?
0743132人目の素数さん
2011/09/14(水) 22:20:55.340744132人目の素数さん
2011/09/14(水) 22:39:02.96聞きかじりの集積でしかない。
0745132人目の素数さん
2011/09/14(水) 23:04:58.560746132人目の素数さん
2011/09/14(水) 23:19:53.26とりあえず最初の方は間違い。
数学そのものをZFCと仮定するなら、
それが矛盾するかはいまだに不明。
第2不完全性定理というものがあって、
PAが入った理論は無矛盾なら、
自分自身を形式化したものが、
無矛盾であることを証明できないってこと。
この証明は第1不完全性定理を形式化することで行う。
1930年代ゲーデルの証明した定理の1つがこれ。
分かるのはZFCはPAを含むので、自分自身の無矛盾性を証明できないということだけ。
0747132人目の素数さん
2011/09/15(木) 02:04:22.31という感じで綺麗に議論を整理できるけど、
実際に「これこれの性質を満たすもの」があるのかどうか、
そういうものがあると仮定しても無矛盾だといえるのかどうか、
ということは分からない
それをやるのが集合論
0748132人目の素数さん
2011/09/15(木) 02:36:48.98「これこれの性質を満たす」対象や射があるという形の公理のそれを信用するか
の違いでしかない。どちらが信用しやすいかの問題でしかない。
0749132人目の素数さん
2011/09/15(木) 02:55:00.95集合を圏とみなせばラッセルのパラドックスなんかないよね?
0750132人目の素数さん
2011/09/15(木) 04:04:13.62>という感じで綺麗に議論を整理できるけど
それのどこが整理なわけさ。名前付ければ整理なのかよ。
0751132人目の素数さん
2011/09/15(木) 07:02:21.13普通の数学はそういうのもやるんじゃないの?
0752132人目の素数さん
2011/09/15(木) 07:41:40.62集合論の累積階層などの微細構造は、
圏論で綺麗に記述できるわけでもない。
0753132人目の素数さん
2011/09/15(木) 13:14:34.380754132人目の素数さん
2011/09/15(木) 14:10:22.24それを綺麗に記述することがそんな重要かね?集合論にとって重要ってだけだろ。
0755132人目の素数さん
2011/09/15(木) 14:19:33.520756132人目の素数さん
2011/09/15(木) 14:48:42.22君のいう「基礎付ける」の意味内容次第じゃないかな。
数学を記述するという意味なら圏論で基礎付けできる。
>>747->>748みたいなこと問題にするなら最終的には個人の感性の問題になるし。
0757132人目の素数さん
2011/09/15(木) 18:15:43.47圏論で型付きの理論を構築しようとしている人がいるのは事実です。
(清水義夫「圏論による論理学―高階論理とトポス」などを参照のこと)
ただゲーテルの時代とはあまりにもかけ離れています。
それから関数型言語と圏論の関わりでは、
Algebra of Programming (http://www.amazon.co.jp//dp/013507245X)に
代表されるようなプログラム変換、合成、検証の世界で使われてきました。
そこでの慣用句を使って、Haskellのライブラリは設計されていますが。
どちらが先ということはなく、プログラム変換をやっていて、
必然的に出てきたものです。
0758132人目の素数さん
2011/09/15(木) 18:17:56.61記述がすっきりしてないと、研究者の直感も働かないだろ。
同じこと研究してれば、すっきりした道具使ってるほうが有利。
逆に集合論だけあればいいわけでもないし。
0759132人目の素数さん
2011/09/15(木) 18:18:10.030760132人目の素数さん
2011/09/15(木) 18:42:26.68記述が綺麗に越したことはない、そこには同意する。
が「集合論の累積階層などの微細構造」を綺麗に記述する為だけに
数学で出てくる大多数の事柄を綺麗に記述できる圏論を否定するのは
バランスを欠いているだろうよ、ということが言いたかったのだが。
0761132人目の素数さん
2011/09/15(木) 19:17:54.66今の大多数が将来も大多数とは言えない
いたるところ微分不可能な連続関数は、病的なものから確率解析の重要な対象に見方が変わった。
0762132人目の素数さん
2011/09/15(木) 19:20:12.840763132人目の素数さん
2011/09/15(木) 19:29:30.00そんなのは証明不可能性の証明をするときとかにしか意識する必要ないだろうから。
強いて言えばLaTeXで記述しているってことになるが、「記述」の意味がずれる。
0764132人目の素数さん
2011/09/15(木) 19:43:50.290765132人目の素数さん
2011/09/15(木) 20:25:22.24別に困ることないだろ。
0766132人目の素数さん
2011/09/15(木) 21:08:07.45数学は構築できる。
ただしどちらも形式化する際にロジックの知識を使う。
ゲーデルが数学が矛盾していることを
示したというのは間違いだ。
0767132人目の素数さん
2011/09/15(木) 21:12:19.77あくまで、形式化された体系が論理だって見えるぐらいじゃないか。
0768132人目の素数さん
2011/09/15(木) 21:52:04.150769132人目の素数さん
2011/09/15(木) 23:12:32.55集合論だと、理論の存在仮定の強さ、超越性の強さを
「測る」ことが出来て分析可能であるというのが重要だと思う
圏論だと新しい概念を考えるたびにその公理の信用性の問題が出て来る
実際には集合論的/クラス理論的にモデルを与えられるから
その信頼性が信じられているというケースが多いような
0770132人目の素数さん
2011/09/15(木) 23:27:39.93現実にある実際的な問題を解く手法としての圏の理論を作ってこなくて
テキトーになにいってんだかわかんない抽象論ばっかやってたから
信頼性が確保されていないんじゃねぇか。
0771132人目の素数さん
2011/09/15(木) 23:34:25.110772132人目の素数さん
2011/09/15(木) 23:41:14.31スレタイと内容が一致してきたなw
0773132人目の素数さん
2011/09/15(木) 23:42:08.450774132人目の素数さん
2011/09/15(木) 23:55:08.58回っているのか理解しないと堂々巡りだぞ。
0775132人目の素数さん
2011/09/15(木) 23:59:49.020776132人目の素数さん
2011/09/16(金) 00:10:10.37集合も関数も圏論も、もともと
整数論など実態のある数学の研究者が
作ったもの。
ロジシャンはそれら大人の乗り物を
題材にして哲学遊びをしてるだけ、
あるいはそれら大人の乗り物のミニチュア
をつくって大人ごっこをしてるだけ。
実際には集合論や圏論の微妙な問題は
数学本体には影響しない。
たとえば、フェルマー予想だと、
選択公理をつかって証明できるなら、
使わなくても証明できることが知られている。
モデル理論は少し数学の本体にも役に立っている
0777132人目の素数さん
2011/09/16(金) 05:56:59.22>どちらが信用しやすいかという問題だというよりも、
>集合論だと、理論の存在仮定の強さ、超越性の強さを
>「測る」ことが出来て分析可能であるというのが重要だと思う
圏論でも同じく「測る」ことが出来ますが何か?
>>776
>たとえば、フェルマー予想だと、
>選択公理をつかって証明できるなら、
>使わなくても証明できることが知られている
その結果はロジシャンによるものですが何か?
0778132人目の素数さん
2011/09/16(金) 07:24:23.31圏論を作ったアイレンベルグとマクレーンは、
それぞれ位相幾何と数学基礎論の研究者だった人。
それらの分野の発展を担った世代のことを考えても
さすがに整数論の研究者が作ったものだという事にするのは無理がある。
0779132人目の素数さん
2011/09/16(金) 11:14:44.09オイラーやコーシーらは関数の定義をそれぞれの
直感で論じていた経緯があって、
解析的数論の具体的需要からディリクレが
関数を現代的に定義して、その際に集合が生まれた。
マクレーンよりもう少し前に代数幾何学を
グロタンティークらが書き換える作業のなかで
必要性から圏論はうまれた。
>>777 それはすでにゲーデルがやっている。
もうその時代に終わった話。
そして結果的に集合論の微妙な問題は数学本体に
関係無くなった。
0780132人目の素数さん
2011/09/16(金) 11:18:33.24言葉として生まれた。その本来の目的から離れたところでの
言葉遊びは、意味のないこと。
集合論と圏論どちらが優れているかなんてのも
どうでもよい。
数学上の重要な問題解決の過程で、やりやすいほうを
採用すればよいだけ。ちゃんぽんでも構わない
0781132人目の素数さん
2011/09/16(金) 11:22:14.25> 直感で論じていた経緯があって、
あれを直感というなら全ての数学研究は直感だ。
わざわざ言うほどのこともない。
0782132人目の素数さん
2011/09/16(金) 11:33:58.07オイラーは関数を式で書ける物としていたし
級数の収束性は当然としたし、
コーシーは絶対連続と一様収束の区別ができないため
間違いも産んだ。
アンペールとガロアは、
関数の定義を明確にしないまま
全ての関数は有限個の点を除き微分可能であること
を証明した。それもしばらく正しいと信じられていた。
0783132人目の素数さん
2011/09/16(金) 13:26:00.22んじゃ、
「数学はどれも、社会中心部の重要な問題解決のための
言葉として生まれた。その本来の目的から離れたところでの
言葉遊びは、意味のないこと」だな。
0784132人目の素数さん
2011/09/16(金) 14:44:16.80それを開発改良する鍛冶屋、それを使って戦争をする兵士、
彼らの仕事は意味があるが、
刀剣を美術品として収集することは老人の趣味
0785132人目の素数さん
2011/09/16(金) 15:07:39.12芸術作品にまで高め精神的価値をつけたのは日本人
実戦的価値はない。 日露戦争でも銃剣のほうが多数派である。
秋山将軍は、模造品の刀を指揮棒に使っていたのは有名な話
乃木さんは、真剣で豚をきったのは有名
0786132人目の素数さん
2011/09/16(金) 15:17:36.06段々それ自体が興味と研究の対象になって一分野が形成されていくってのは
数学においてはよくあることというか正常なことでしょ。
数学っていう学問自体そうやって生まれてきたものだし。
ま、基礎論は道具から出発したというよりも、
ヒルベルトvsブラウェル論争とか「数学中心部」の熱い分野として出発したんだけどな。
日本の「数学中心部」とは無縁だったようだが。
0787132人目の素数さん
2011/09/16(金) 15:26:36.13ゲーデルの結果は四色問題と同じで
単品としては小綺麗に整っている組み合わせ論の一定理でしかない。
0788sage
2011/09/16(金) 15:45:27.81歴史に残って来ている数学は言葉遊びじゃないよ。
道具の用途を拡大、強化する為に道具の改良が行われることは
あるが、用途を離れた道具そのものに興味が持続することはないし、
実のある具体的結果を残さない道具は捨てられる
0789132人目の素数さん
2011/09/16(金) 17:00:24.26基礎論の出発点はカントール集合論の矛盾だよ。
0790132人目の素数さん
2011/09/16(金) 20:26:17.740791132人目の素数さん
2011/09/16(金) 20:52:25.22やっぱりあんたら数学とか〜理論の形態を取っているものしか
わかんないんだわ。
0792132人目の素数さん
2011/09/16(金) 21:04:13.54あんたらって誰や?おぉお?
0793132人目の素数さん
2011/09/16(金) 21:20:45.820794132人目の素数さん
2011/09/17(土) 02:51:40.58>>787と>>788は根拠なしに主観を述べているだけで説得力がないな。
未だ嘗て中心部でなかったと判断される根拠、
道具から出発しなかった数学の分野の実例を示すべきではないのかな。
でないと水掛け論を誘ってるようにしか見えないな。
俺にはあのHilbert(やBrouwer)があれだけ精力を注いでいた以上
当時は数学中心部だったという方が説得力を感じる。
0795132人目の素数さん
2011/09/17(土) 03:16:45.44「真の数学」とか言ってる時点で馬鹿か煽りのどちらかだろ。
華麗にスルーが吉。
0796132人目の素数さん
2011/09/17(土) 04:26:43.370797132人目の素数さん
2011/09/17(土) 04:51:54.12意義なんて簡単なことよ、バカ観察会を楽しくしてくれる
0798132人目の素数さん
2011/09/17(土) 10:18:02.76数理経済学なんかと同じで
少数の(数学的には)小さな組み合わせ論の定理に
群がって、マイナーな系や変化形を作り合っているだけ
0799132人目の素数さん
2011/09/17(土) 11:10:09.84組合せ定理じゃ無限は扱えましぇーんw
0800132人目の素数さん
2011/09/17(土) 13:48:38.070801132人目の素数さん
2011/09/17(土) 13:56:22.06恥ずかしいの。ゲーデルとコーエンの仕事だけで十分。
0802132人目の素数さん
2011/09/17(土) 16:06:23.550803132人目の素数さん
2011/09/17(土) 18:11:32.370804132人目の素数さん
2011/09/17(土) 18:21:51.46そういう神経質な人たちが作ってきたのが数学です
0805132人目の素数さん
2011/09/17(土) 18:45:43.82いつの時代の基礎論の話してんだかw
0806132人目の素数さん
2011/09/17(土) 19:50:51.80あれは古典の入門でしかない。
0807132人目の素数さん
2011/09/17(土) 20:30:12.67むしろ、古典的結果が全て。
基礎論と位相空間論と関数解析と一部の代数
は、とっくに迷宮入りして、廃墟となっています。
古典的な結果は今でも使いますが、研究としては使命が終った
(未だに研究ごっこをしているのは、時勢の読めない三流)
0808132人目の素数さん
2011/09/17(土) 20:35:44.05二流以上は自分で時流を作り出せる、はず。
0809132人目の素数さん
2011/09/17(土) 20:36:51.98モデル理論にしかいなくて、彼らはモデル理論的発想をもって
通常の数学にとりくんでいるので、本人はあまり
モデル理論家、基礎論屋という意識が薄い
0810132人目の素数さん
2011/09/17(土) 20:44:50.830811132人目の素数さん
2011/09/17(土) 20:59:40.030812132人目の素数さん
2011/09/17(土) 21:34:34.660813132人目の素数さん
2011/09/17(土) 21:38:30.51あれも組合せ論の一部扱いと主張するの?
0814132人目の素数さん
2011/09/17(土) 21:42:36.030815132人目の素数さん
2011/09/17(土) 21:45:21.460816132人目の素数さん
2011/09/17(土) 21:59:39.690817132人目の素数さん
2011/09/17(土) 22:06:46.150818132人目の素数さん
2011/09/17(土) 22:07:32.61例えば代数幾何みたいのが数学で
モデル理論的手法が使用できるとかいうイメージなのだろうか。
そもそもモデル理論とか数理論理学自体が
数学として非常に興味深いものなんだけどね。
なかなか新しいことが書かれた本が
他の分野に比べて圧倒的に輸入されていない。
0819132人目の素数さん
2011/09/17(土) 22:13:26.21様相論理なんかが国内外の情報格差がひどい例。
日本で紹介されている様相論理が
黎明期にクリプキが意味論を導入したスタイルのまま。
その格差はWikipediaでもよーくわかる。
ごく最近の順序数・基数の様々な定理もまったく情報なし。
唯一Kunenの集合論の翻訳があるが、これも半世紀くらい前の内容。
0820132人目の素数さん
2011/09/17(土) 22:15:36.28流行追随しか出来無い日本人。
0821132人目の素数さん
2011/09/17(土) 22:32:56.32日本人は無から有を生み出すのが苦手なのさ
0822132人目の素数さん
2011/09/17(土) 22:53:01.37それなら言い直すと、
モデル理論以外の数学にモデル理論は必要ない。
数理物理なんかにも顔を出すことはないだろう。
どちらかというと論理学の範疇なんじゃない?
0823132人目の素数さん
2011/09/17(土) 23:03:25.49817じゃないんですが、
モデル理論がどちらかというとロジックの一部ということは、
ロジックは数学でないと考えているんでしょうか。
古典的な論理式の変形とか命題論理・述語論理が
ロジックだと考えているのでしょうか?
今では、ロジックが集合論の中に埋め込んだり、
集合論に依存した強いロジックが生み出されており、
ロジックが数学と区別されていたのははるか昔の話です。
0824132人目の素数さん
2011/09/17(土) 23:05:37.530825132人目の素数さん
2011/09/17(土) 23:07:43.040826132人目の素数さん
2011/09/17(土) 23:10:57.47基礎論の場合、ありていにいうと、
枝葉末節の問題群
0827132人目の素数さん
2011/09/17(土) 23:16:21.040828132人目の素数さん
2011/09/17(土) 23:18:46.99ロジック自身はもちろん数学だと思いますよ。
ただ集合論なり基礎論なりやってみると何か他の
数学とは異質なものを感じてしまうんですよね。
はたしてこれらは数学の発展に寄与するのかと。
どうもやっていて面白みを感じなられない。もしか
するとまったく無駄なことをしているのではないか。
0829132人目の素数さん
2011/09/17(土) 23:21:25.54数学全体からみて中心的な問題に研究が行われ、本質的な進歩と改革が行われて
いる分野
を一緒にしないでください
0830132人目の素数さん
2011/09/17(土) 23:32:51.88うーん、そもそも本当にやったことがあるのか疑問なんですよね。
何か現代のロジックとか集合論への問題意識自体がずれている感じが
するような気がしてしまうんですよね。
例えばゲーデルと20世紀の論理学程度の話が今の
ロジックや集合論の面白い話題を汲み取れているなんて思っていないですよね?
0831132人目の素数さん
2011/09/17(土) 23:33:57.09の範疇でやったらいいんじゃないですかね。
コンピューターサイエンスだって数学の一部だ
という見方はあるでしょうが、とりあえずは
有限世界を扱うコンピューターサイエンスと
それ以外の数学を分けて考えましょうと・・・
0832132人目の素数さん
2011/09/17(土) 23:42:30.50ここに出てくるペアノ自然数論とZFC集合論は同型
であるというのは本当なんですか。もし本当なら
我々はこの結果をどう理解すればいいんでしょう?
0833132人目の素数さん
2011/09/17(土) 23:43:25.93そんなに接点のあるものでもない。
CSが有限世界を扱うというのも、情報学科の離散数学の
入門書みたいなものを読んで勘違いしているのでは?
とりあえずASL辺りの本が翻訳されれば
日本人のロジックに対するイメージが変わる
(世界標準に近付く)のではないだろうか…。
0834132人目の素数さん
2011/09/17(土) 23:47:31.45これは問題な気がするな だから馬鹿が増えるのでは?
0835132人目の素数さん
2011/09/17(土) 23:56:18.05トポロジー・層・ホモロジー代数・圏・景・スキームなんて
用語に伴って公理的集合論の反映原理辺りまで厳密にやってるからね…。
まぁこれ自体が普通の数学じゃないと言われればそこまでだけど。
0836132人目の素数さん
2011/09/18(日) 00:01:40.84幾何学的モデル理論による関数体上のモーデル予想や
マニン・マンフォード予想の別証明と関係あるのかな?
0837132人目の素数さん
2011/09/18(日) 00:04:50.46古典は認めた上での話。
基礎論はホモロジー代数なんかと同じで、
他の分野への道具として研究するなら
健全な方向へ進むが、
それ自体を目的に研究するとなると
自閉の殻に閉じこもって
急に意味のない方向へ走る
位相空間論や可換館論にも言えるだろう
0838132人目の素数さん
2011/09/18(日) 00:07:52.57今では言語学や哲学なんかにも応用されているよ。
数学の中だけでほかの分野への応用を考えるのではなくて
学問全体で応用などを考えるのならば
基礎論の発展は、伝統的な物理や経済みたいな伝統的な応用先以外の
数学の応用を開拓したと言えるのではないかな。
0839132人目の素数さん
2011/09/18(日) 00:15:47.74お前、基礎論もコンピュータサイエンスもなんも分かってないな。
計算の停止問題の決定不可能性なんてのは無限が出てくるから成り立つ話だ。
有限の世界の話だなんてどこをどう誤解するとそんなことが言えるんだか。
0840132人目の素数さん
2011/09/18(日) 00:24:14.910841132人目の素数さん
2011/09/18(日) 00:28:26.29健全な方向や意味のある方向は誰が決めるんでしょうか?
0842132人目の素数さん
2011/09/18(日) 00:28:54.780843132人目の素数さん
2011/09/18(日) 00:35:53.66何が健全で何が健全でないかの感覚に自信が持てない証拠
そんな調子では君の学問は誰にも認められないよ
>>842 数学者は自閉症ぎみだが、数学は違う
0844132人目の素数さん
2011/09/18(日) 00:38:05.06計算論とかでも日本ではほとんど紹介されない部分まで
入門書まで出ちゃってるみたい。
関係ないが最近読んでるblackburnの Modal Logicを
様相論理の今を知るためにおすすめする。
0845132人目の素数さん
2011/09/18(日) 00:40:02.94そうやって煽っても有益な議論にはなるまいて
0846132人目の素数さん
2011/09/18(日) 00:41:31.68勝手に勝ち宣言されても困りますが。
そもそも何が健全で何が健全でないかなどという
感覚自体持つ必要もないと思いますが?
自分勝手に数学の研究価値のヒエラルキーをつくる意味がありますか?
0847132人目の素数さん
2011/09/18(日) 00:41:54.430848132人目の素数さん
2011/09/18(日) 00:42:31.25そんなことに自信が持てたら逆におかしいだろ。
上から目線の『猫』みたいな奴だな。知り合いか?
0849132人目の素数さん
2011/09/18(日) 00:46:02.11奴が来たら全員スルーってことで。
0850132人目の素数さん
2011/09/18(日) 00:53:22.25ウフフ
0851132人目の素数さん
2011/09/18(日) 01:04:02.38研究対象を選んでいるんじゃないのか?
それともあれか、自分は比較的能力がないから
能力が無いものでも何か出来そうなことを消去法で
探して、いまの研究分野にたどり着いたと
それが基礎論か?
0852132人目の素数さん
2011/09/18(日) 01:09:09.150853132人目の素数さん
2011/09/18(日) 01:09:57.25すべての分野に精通している奴がどこにいるんだよ
誤った基礎論の理解に基づいて自分の価値基準を適用している奴が
「自分は自分の感性で研究対象を決めた」なんて思っているのかな
0855132人目の素数さん
2011/09/18(日) 01:14:36.150856132人目の素数さん
2011/09/18(日) 03:50:46.870857132人目の素数さん
2011/09/18(日) 07:54:00.63新井の数学基礎論が
ちょうど解析学における笠原の微積分学くらいに該当するから
それにも満たない知識で言ってるならただの無知だね。
なんだか数論幾何がもっとも難しいとか高級とか言っちゃいそうな雰囲気だね。
0858132人目の素数さん
2011/09/18(日) 08:15:02.27それほど今の中国は基礎論が盛ん。
0859132人目の素数さん
2011/09/18(日) 09:12:42.30>ちょうど解析学における笠原の微積分学くらいに該当するから
まあ学年的には大学高学年程度はあると思う
0860132人目の素数さん
2011/09/18(日) 11:35:08.41日本語の文献があるかどうかは本質的なことではなかろう。
象徴的な意味合いはあるかもしらんが。
0861132人目の素数さん
2011/09/18(日) 11:51:24.59Hilbert先生は、Gordon先生に「これは数学ではない、神学だ」と言われた
有限基底定理の正当性を確かなものにするために、
カントール集合論のもたらした矛盾を解消する必要があったのです。
だから、Hilbert先生的には、数論、ひいては数学の無矛盾性の証明は、
不変式論に打ち立てた彼の業績を確固たるものにするために、
必然的なものだったわけです。超越的な手法を使っても、
矛盾が導かれなければ、それで数学が豊かになっていいではないかと。
この辺りの研究史は、Wyle先生の"The classcal groups"に詳しいです。
岩波文庫の「ゲーデルの不完全性定理」の解説にも概略があります。
面白いのは、Hilbert先生が数学の基礎について議論し、
当時は撃破したBrouwer先生の打ち出した直観主義の系譜と見なせる
構成主義数学で、(Brouwer先生は直観主義の形式化に反対でしたが)
有限基底定理の構成的証明がなされていることです。
そこではGoedel先生のディアレクティカ解釈が使われています。
0862132人目の素数さん
2011/09/18(日) 12:05:03.79見識がたかまるにつれ、シフトするもんだろ
真の学者なら
0863132人目の素数さん
2011/09/18(日) 12:13:58.51有限基底定理の構成的証明に興味があります。文献を紹介していただけると有り難いのですが。
0864132人目の素数さん
2011/09/18(日) 12:35:46.67悔しくて夜も眠れなかったのか? まぁそうピリピリするなよ。
0865132人目の素数さん
2011/09/18(日) 12:45:01.71http://www.andrew.cmu.edu/user/avigad/Students/hertz.pdf
http://www.amazon.com/Course-Constructive-Algebra-Universitext/dp/0387966404
(http://en.wikipedia.org/wiki/Hilbert's_basis_theorem)
0866132人目の素数さん
2011/09/18(日) 12:54:56.72ありがとうございます。ゆっくり読ませていただきます。
0867132人目の素数さん
2011/09/18(日) 13:07:12.75普通に、グレブナー基底による証明が構成的証明になっているよw
グレブナー基底のたいていの本に載っているwWッW
0868132人目の素数さん
2011/09/18(日) 18:12:12.550869132人目の素数さん
2011/09/18(日) 22:13:16.26外の数学を実質的には知らずに、基礎論内の狭いマイナーな問題について
論文を書いて、それがキャリアだと思って、必死で基礎論擁護してるのが醜い
といってるの。
志村五郎はじめ、マトモな数学者は基礎論をちゃんと知った上で、基礎論批判してるの
(最近の些末な論文の詳細については知る必要無いけど)
0870132人目の素数さん
2011/09/18(日) 22:21:34.62で君はマトモな数学者だと?
0871132人目の素数さん
2011/09/18(日) 22:27:32.760872132人目の素数さん
2011/09/18(日) 22:31:59.64あたえている。アティヤもそう。
0873132人目の素数さん
2011/09/18(日) 22:36:55.03だとしたらヒルベルトの威を借りてる奴とはどう張り合うのだろうか?
ヒルベルトより志村五郎の方が偉い!とかいうのかね
0874132人目の素数さん
2011/09/18(日) 22:42:54.02なんかおかしいと思ってたんだ。自信が沸いてきた。
0875132人目の素数さん
2011/09/18(日) 22:46:49.90志村五郎やアティヤを持ち出さないといけないとは滑稽だな
0876132人目の素数さん
2011/09/18(日) 22:50:45.83・このスレには、とりマス・キマイラの威を借る狐がたくさんいるけど、それが悪いとも思わない。
0877132人目の素数さん
2011/09/18(日) 23:05:43.87いないとこからも、世界的にみて評価されていないのは想像つくはずだが。
0878132人目の素数さん
2011/09/18(日) 23:22:59.050879132人目の素数さん
2011/09/19(月) 00:02:22.670880132人目の素数さん
2011/09/19(月) 00:07:02.370881132人目の素数さん
2011/09/19(月) 00:37:15.68虎の威を借る批判しかできないのかね
0882132人目の素数さん
2011/09/19(月) 05:11:21.36マトモな研究者は世界中飛び回ってるはずじゃないのかな?
日本時間の夜中なんて関係ないはずじゃん
0883132人目の素数さん
2011/09/19(月) 07:46:35.00集合論自体が最近できたばかりだからだと思うけど。
むしろコーエンの強制法から研究がはじまったようなもん。
論文が増え始めたのが21世紀に入ってからだから。
0884132人目の素数さん
2011/09/19(月) 08:40:22.30不完全性定理に現れる再帰的テクニックとかから生まれた分野なので、
最初から別に他分野への応用を主目的にしてるわけじゃない。
(もちろん集合論の実函数論への応用みたいな由来上当然予想される応用はある)
0885132人目の素数さん
2011/09/19(月) 08:54:01.1660年前の分野の黎明期の知識だけで、その後の発展は瑣末だからどうでも良いとか言って
その分野を批判するなんてバカなことが横行してるのは基礎論に対してだけだ。
「志村五郎はじめ、マトモな数学者は」なんて言うが
高木貞二とか小平邦彦とかは俺に言わせれば全然「マトモ」じゃない。
この人達はロジックについてかなり妙な誤解ばかり撒き散らしたことが
今では明らかだけど、この種の人のせいで日本では根拠の無い悪印象ばかり持たれていると思う。
0886132人目の素数さん
2011/09/19(月) 09:23:25.390887132人目の素数さん
2011/09/19(月) 09:32:05.680888132人目の素数さん
2011/09/19(月) 09:32:07.460889132人目の素数さん
2011/09/19(月) 09:44:34.48公理主義の悪しき例だと。
もちろん、位相空間論の古典的基礎事実の重要性は
最大限みとめたうえで、現代でもいまだに
位相空間論そのものを研究対象としている分野を批判している
0890132人目の素数さん
2011/09/19(月) 09:46:05.820891132人目の素数さん
2011/09/19(月) 15:35:15.10だから認められているかどうかってのは別だろうが、
日本の基礎論に対する扱いは世界的に見て異常なのは確か
0892132人目の素数さん
2011/09/19(月) 15:44:02.40権威に頼った議論ばっかりだなw
自分の言葉で説得力のある議論を展開できる奴はいないのかよ!
0893132人目の素数さん
2011/09/19(月) 16:01:01.670894132人目の素数さん
2011/09/19(月) 16:40:08.621950-2000年の研究をみろだの、
2001年以後の研究をみろだの
ずいぶん開きがあるんだな
論文が増えて来たっていうけれど、
まさか、基礎論屋がうちわでつくってる
雑誌の論文のことをさしてないよな
コーエン以後で、アナルズやインベンションに
載った基礎論の良い論文ってたとえば何?
(載ったから必ずしも未来に残るとは言い切れ無いが)
0895132人目の素数さん
2011/09/19(月) 18:10:58.77砂上の楼閣だったりするんじゃないのかな?
0896132人目の素数さん
2011/09/19(月) 20:28:16.73決定している人間に何を言っても無駄なような。
0897132人目の素数さん
2011/09/19(月) 20:57:18.230898132人目の素数さん
2011/09/19(月) 21:13:22.07Annals of Pure and Applied Logic。
0899132人目の素数さん
2011/09/19(月) 21:27:39.840900132人目の素数さん
2011/09/19(月) 21:57:34.29つまりコーエンといえども大したことないという事
0901猫vs運営 ◆MuKUnGPXAY
2011/09/19(月) 22:14:36.75猫
0902132人目の素数さん
2011/09/19(月) 22:23:37.500903132人目の素数さん
2011/09/19(月) 22:27:27.03載ったかというだけでは、価値基準の判定はできない。
ただ、ここでは、集合論という、ひとつの分野の論文のうち、
良い数学総合誌にのっている論文をあげろといわれて、
コーエン以後、一本も無いということは、
それ自体が、集合論という分野の評価に対する
客観的情報になるだろ、
という話し。
まぁ、PNASはそこそこ良い数学綜合誌ではあるが
0904132人目の素数さん
2011/09/19(月) 22:34:49.63数学総合誌じゃなくて、科学総合誌ね。
しかも要旨であって、証明はフルでは
のってないから、数学の論文とは違う。記事。
0905132人目の素数さん
2011/09/19(月) 22:40:31.31末期症状。まさに数理経済学なんかと同じ。
で、>>894 の答をまっている。jamsでもdukeでもよい
0906132人目の素数さん
2011/09/19(月) 23:40:51.37スケールの大小は知らんけど
個別の問題に分かれてしまっているのはどれも一緒。
もうメジャー数学とマイナー数学に分けりゃいいんじゃないの?
確かに論理というのが代数や幾何とは興味の対象がまるで違うのは事実だと思うから。
ただし消去法で論理に流れたというのはないと思うが。
0907132人目の素数さん
2011/09/20(火) 03:04:42.47ヒット理で盛り上がっているところ恐縮なのだが、
「基礎論が現代の数学者の間で評価されている」なんて言っている
レスは上のほうを探していっても見当たらないんだが
(Hilbertの時代には云々っていうレスはあるが)、
「基礎論が現代の数学者の間で評価されていない」と主張してどうするつもり?
誰もそんなことは否定しないと思うのだが。
0908132人目の素数さん
2011/09/20(火) 08:01:57.64最新の投稿論文はSaharon Shelahの"Nice infinitary logics"だから
これはロジックの学者によるモデル論の論文だよ。
最近ではJ. Amer. Math. Soc. 23 (2010), 491-533. の
A Lindemann-Weierstrass theorem for semi-abelian varieties over function fields
もそう。他に探せばもっと良い論文もJAMSに載ってるだろうし
実際に見ることもあるけど、ただ時代を画するような論文
(たとえば以下の本に収載されているようなもの
http://www.amazon.co.jp/Mathematical-Logic-Century-Gerald-Sacks/dp/9810247362/ )
が必ずしも数学総合誌に載る訳じゃない。
それはちょうど、重要な論文だから数学以外の分野の研究者にも
知って貰おうとかいって数学の論文が科学総合誌に載る訳じゃないのと一緒。
寧ろ証明論の論文とかは哲学寄りの雑誌のSyntheseなんかに載ることも多い。
0909132人目の素数さん
2011/09/20(火) 08:04:19.50とか言うけど、個人的には巨大基数の研究なんかは
非常にスケールの大きい壮大な分野だと思うんで、
そのへんは見解の違いですね、としか言いようがないんだよね。
まあ雑誌のインパクトファクターがどうとかそんなことばかり言ってる人に
構想の雄大さとかの話をしても無駄かもしれないけど。
0910132人目の素数さん
2011/09/20(火) 09:04:53.43基礎論でマトモなのは、モデル理論だけ
(モデル理論は外向き)
という話を裏づけてしまっているじゃ無いか。
集合論なんかは全然ダメだろ。
0911132人目の素数さん
2011/09/20(火) 15:56:48.44そもそも彼はどちらの分野でも活躍中だし、
彼のやっているようなモデル理論は集合論と密接な関係がある。
0912132人目の素数さん
2011/09/20(火) 17:19:10.66上の方で、日本の状況がへんで、
海外では評価されてるって話があったので、
世界的にも評価されていないという
客観的事実をだしたまで。
国内外の有名数学者による批判、
フィールズ賞がコーエンひとりしか
でていないこと、有名数学総合誌掲載
の例が、アナルズ、
インベンションに一本も無いこと、
Jamsまでひろげてやっと二本でてきて、
それも数学の外への意識のあるモデル理論
であること。(関数体の論文の方は、
モデル理論というより、ほとんど代数キカ
の研究)
客観的にみて、基礎論、とくに集合論は
評価されていないという決着がでたところで、
私自身の見識を求められれば、
私なりになぜダメかの説明はできるが。
0913132人目の素数さん
2011/09/20(火) 17:24:21.51それは基礎論屋が基礎論の内輪の業績を
評価したものじゃないか。
これだから基礎論やは程度が低い。
0914132人目の素数さん
2011/09/20(火) 18:48:31.44なぜ集合論はダメなのでしょうか?
0915132人目の素数さん
2011/09/20(火) 21:48:01.44ダメだから載せない、じゃ循環論法じゃん
0916132人目の素数さん
2011/09/21(水) 02:00:30.92君と違って有名雑誌に載ったからどうこうと騒ぐわけじゃないんでな。
どこに載ろうが重要なものは重要、そうでないものはそうではない。
「有名雑誌に載った例」のリスト作ってる厨がいないってだけだろ。
>有名数学総合誌掲載の例が、アナルズ、
>インベンションに一本も無いこと
厨じゃないんで幾つもは知らんが、コーエン以前には沢山掲載されてる。
以後に限っても竹内外史の竹内予想の論文が載ってる。
>Jamsまでひろげてやっと二本でてきて
同じく厨じゃないんでどれがJAMSに出たのかなんて気にしてないが
集合論に限っても Martin-Steel の射影決定性はJAMSから出ている。
他にも探せば色々あるだろう。
試しに最新号を見てみてもHrushovskiのモデル理論の論文が載っている。
>基礎論でマトモなのは、モデル理論だけ
>客観的にみて、基礎論、とくに集合論は評価されていない
Shelah の件の論文はモデル理論の論文と言えばモデル理論だが
集合論の論文といえば集合論の論文なのだがな。
Hrushovski の論文は集合論とは言えないだろうが。
要するに君の重視する「有名雑誌」に載った基礎論の論文がどんなもんかも
君は分かってはいないということだな。
どこが「ちゃんと知った上で、基礎論批判してる」のだか。
0917907
2011/09/21(水) 04:16:25.49ヒット理で決着出ているところ恐縮なのだが、論点すり替えてないか?
「海外では評価されてるって話があった」ってどのレスのこと?
それっぽいのは>>786だけど、Hilbertの時代の話でコーエン以後の話ではないよね?
他は「最新の結果が日本語で紹介されてない」とか、
「海外では日本ほどひどくはない」(>>891とか)とかしか見当たらないよ。
0918132人目の素数さん
2011/09/21(水) 04:56:52.79野次馬だが、>>1から順番に全てのレスを流し読みしてみた。
最近騒いでるage厨が最初に出現したのは>>776だと思われる。
もう少し手前から居るかもしれないが、主張内容から同一人物だと
判断できるのは>>776が最初。
この>>776の時点で既に、基礎論屋から反感を買いそうな主観だらけの発言であり、
実際、その後のレスでたくさん反応が来ている。
そこから話が こじれていき、一体なんの話をしているのか論点が
よく分からないまま口論が続き、今に至っている。
0919132人目の素数さん
2011/09/21(水) 05:33:19.34(行数が多いので、改行箇所を勝手に改変してます)
(age厨)
869 :132人目の素数さん:2011/09/18(日) 22:13:16.26
だから、学生時代に狭い了見で専門分野を基礎論に決めてしまい、
外の数学を実質的には知らずに、基礎論内の狭いマイナーな問題について
論文を書いて、それがキャリアだと思って、必死で基礎論擁護してるのが醜いといってるの。
志村五郎はじめ、マトモな数学者は基礎論をちゃんと知った上で、基礎論批判してるの
(最近の些末な論文の詳細については知る必要無いけど)
(反論)
885 :132人目の素数さん:2011/09/19(月) 08:54:01.16
「基礎論をちゃんと知った上で」の基礎論ってせいぜい1940年代ごろまでの知識だろ?
60年前の分野の黎明期の知識だけで、その後の発展は瑣末だからどうでも良いとか言って
その分野を批判するなんてバカなことが横行してるのは基礎論に対してだけだ。
「志村五郎はじめ、マトモな数学者は」なんて言うが高木貞二とか小平邦彦とかは俺に言わせれば
全然「マトモ」じゃない。この人達はロジックについてかなり妙な誤解ばかり撒き散らしたことが
今では明らかだけど、この種の人のせいで日本では根拠の無い悪印象ばかり持たれていると思う。
(age厨)
894 :132人目の素数さん:2011/09/19(月) 16:40:08.62
>>883 >>885
1950-2000年の研究をみろだの、2001年以後の研究をみろだの
ずいぶん開きがあるんだな
論文が増えて来たっていうけれど、まさか、基礎論屋がうちわでつくってる
雑誌の論文のことをさしてないよな
コーエン以後で、アナルズやインベンションに載った基礎論の良い論文ってたとえば何?
(載ったから必ずしも未来に残るとは言い切れ無いが)
0920132人目の素数さん
2011/09/21(水) 06:20:20.570921132人目の素数さん
2011/09/21(水) 13:35:48.69モデル論と集合論のどちらの論文ともいえるのに、
集合論の論文ではないと決めつけてしまったことによって
「ちゃんと知った上で、基礎論批判してる」わけではないことが露呈しちゃましたね。
0922132人目の素数さん
2011/09/21(水) 14:31:09.37集合を圏で置き換えるとモデル理論はどうなるか、とか
そういうことを考えていった方がいいんじゃないかな?
0923132人目の素数さん
2011/09/21(水) 15:58:44.89メタ理論を変更したら殆どダメになるとおもわれ。
Hrushovski流のモデル理論が、メタ理論を圏論やら算術やらに変えたときどうなるのかは
よく知らないので詳しい人がいたら教えて欲しい。
ShelahだのHrushovskiとかいう以前の基本的なモデル理論については逆数学で研究されてたはず。
0924132人目の素数さん
2011/09/21(水) 17:01:23.10実は基礎論スレできいても
逆数学についてさえ、
東北大のページのリンクを貼るだけで
誰もレスしてくれない。
0925132人目の素数さん
2011/09/21(水) 18:09:37.990926132人目の素数さん
2011/09/21(水) 18:12:25.94一本も無いじゃないか、コーエン以後。
相当無理な拡大解釈をして、やっと
上で一本出てきただけ
0927132人目の素数さん
2011/09/21(水) 18:25:18.28この流れなんだから、なるべくモデル理論から離れた
集合論の例をだすべきなのに、それが出せないとは
相当苦しいのだな。その焦りがかえって伝わってしまう。
0928132人目の素数さん
2011/09/21(水) 18:39:27.350929132人目の素数さん
2011/09/21(水) 20:16:53.51ファック、言い訳乙///
IΣ |― ポアンカレ予想←→1階述語論理の完全性定理
0930132人目の素数さん
2011/09/22(木) 02:19:09.33>なるべくモデル理論から離れた集合論の例をだすべきなのに、それが出せない
射影決定性の論文はモデル理論に近いってか?
これがモデル理論っていうのなら集合論の論文の9割以上はモデル理論だぜ。
(そもそも集合論ってのは、集合論のモデルの理論なんだから。)
とするとモデル理論がマトモで集合論がダメだっていう君の主張はナンセンス。
論点をすり替えたいのかも知らんが、
集合論の論文でもあるものを集合論ではないと決め付けてしまった以上、
君が基礎論の現状を「ちゃんと分かってる」わけじゃないことは判明したのだよ。
0931132人目の素数さん
2011/09/22(木) 02:25:15.93ないと主張するなら、そう判断する根拠を示すべきじゃないか?
そもそも「有名雑誌」に掲載されたかなんて誰も気にしてない相手に
探してこさせるのは筋違いだろ(それでも親切に何本か教えてやった)。
君がないことの根拠を示すべき。調べ方も知らない厨房なのか?
0932132人目の素数さん
2011/09/22(木) 07:00:36.87山のように載ってると思うけどね
0933132人目の素数さん
2011/09/22(木) 13:30:27.06基礎論の各分野の話になると日本語話者で詳しい人が数人とかいう世界になるから
その数人の中に2chの住人がいるとかでないとレスできる人がいないことになる。
仮にいたとしても個人が特定されるだろうからレスしないだろうが。
0934132人目の素数さん
2011/09/22(木) 14:39:50.840935132人目の素数さん
2011/09/22(木) 14:42:39.400936132人目の素数さん
2011/09/23(金) 00:48:27.69勉強ろしては集合論から入ったほうがいいんかな
0937132人目の素数さん
2011/09/23(金) 17:25:55.49その分野の事をくわしく知っている事が必要十分条件じゃ
ないんだ。
ほかの分野の数学を知らなければ、その分野の事を
正しく評価できない。
このスレの基礎論信者はその辺が全然わかっていない。
視野が狭すぎる。
アティヤなどのほうが、はっきりと基礎論を批判できる
0938132人目の素数さん
2011/09/23(金) 17:26:57.72重要なものとそうで無いもの、があると、
はっきり述べている。
0939132人目の素数さん
2011/09/23(金) 17:28:36.810940132人目の素数さん
2011/09/23(金) 17:32:17.48それは間違い。圏論を理解するためには
集合論はほとんど必要ない。
必要なのは、代数幾何。
代数幾何しらずに圏論やるなんて、意味なし
0941132人目の素数さん
2011/09/23(金) 17:38:20.86たからこそ数学基礎論として待望されたのです
0942132人目の素数さん
2011/09/23(金) 17:40:36.64そうだね。
というか、今の数学の全般の土台はある意味で代数幾何へのグロタンディーク流アプローチじゃない?
0944132人目の素数さん
2011/09/23(金) 17:41:29.05私が認めているモデル理論って、そんな広義のものじゃ無いから。
関数体の予想や超順懐石やその他、実際の数学に現れるものだけ。
では、まずは外堀から埋めて行こう。
その残る(モデル理論と遠い)集合論の一割は、全部
クズだ、
それはいいかな?それが認められたら、順次批判を拡大して行く。
0945132人目の素数さん
2011/09/23(金) 17:55:04.40から出発するのがよさそうですね。ところで、
圏論的モデル理論てのがあるそうですが、
普通のモデル理論と何か違うんでしょうか?
0946132人目の素数さん
2011/09/23(金) 19:14:04.84〜〜はダメだ、〜〜はクズだと言えば批判になると思ってるのか?
0947132人目の素数さん
2011/09/23(金) 20:47:36.91「私が認めている」とか言ってる時点でもう無意味じゃん。
ただ自分の趣味を語ってるだけ。
>その残る〜全部クズだ、それはいいかな?
その根拠が肝心なところなんだが。
「私の数学観はこうこうで、
こういった理由でここからここまでが優れた数学だと思います。
ですから該当しない集合論は糞です。」
と言えばいいだけなんだよ、客観的な論拠が出てこないなら。
随分前から基礎論(ロジック全般?)をどうにかして批判しようとしているが、
自らの数学観とか数学ヒエラルキーをまったく明らかにしないのは、
単なる無知ということが露呈するのが怖いんじゃないのか?
0948132人目の素数さん
2011/09/23(金) 20:52:28.150949132人目の素数さん
2011/09/23(金) 21:07:08.58半分も言っていない。順序をふみたい。
君のいうところの集合論の一割は、すべてクズだ
さて、君はこれに同意するかしないか、理由と共に
答えて欲しい。君の個人的価値観と見解にもとずいて。
私はクズで無いとする立脚点は、
マトモな数学を見てしまった大人ならば、
あり得ないと思っている。あるのなら聞きたい
0950132人目の素数さん
2011/09/24(土) 06:36:00.660951132人目の素数さん
2011/09/24(土) 09:45:31.850952132人目の素数さん
2011/09/24(土) 17:30:19.28自分こそ結論をかえない
という表明になってしまっている。
結論が変わっては困る、変えられない
という個人的世間的事情を抱えてしまっている人は
もはや学問より自分をより優先させてしまっているわけで
その不自由さに同情もするが、学者としては軽蔑もする
0953132人目の素数さん
2011/09/24(土) 17:32:35.53それこそ、めっけもんと思えるようで無いと
学者とは言えない
0954132人目の素数さん
2011/09/24(土) 19:09:21.80ここは隔離スレなので、偽学者の信者相手に議論しようとしても無駄ですよ
0955950
2011/09/24(土) 19:33:57.46それは私を軽蔑するということですか?
0956132人目の素数さん
2011/09/24(土) 21:11:07.72それは、日本の大学教授の殆どにあてはまるね。
言ってもしかたのないことだが。
0957132人目の素数さん
2011/09/24(土) 22:58:34.16基礎論には数学と応用数学の2種類があると思う。
数学ってのは
Shelahの本、Cardinal Arithmeticとかの内容のような
基数とかの演算を扱った奴。
あとセラとかフルチョフスキーの数学へのモデル理論利用など。
応用数学とは
不完全性定理周辺とか逆数学など、
数学的手法を使って論理学や数学自体を研究するもの。
で、集合論は応用数学であると感じる。
扱う集合の性質は測度論や位相空間や組み合わせの性質を使いつつ
研究する対象はあくまで集合の性質で意味のない構造ではない。
代数のモデルとか見ても、
数学的構造をロジックに適応するためにかなり制限している気がする。
部分構造論理とか様相論理のモデルなんかがそんな感じ。
例えば有限群みたいな、まったく新しい構造が創造されることはないが、
数学の全体像へのアルゴリズム的なアプローチという視点を提供してくれている。
これから研究は活発になって行くだろう。
0958132人目の素数さん
2011/09/25(日) 00:06:24.450959132人目の素数さん
2011/09/25(日) 01:55:09.300960132人目の素数さん
2011/09/25(日) 16:13:46.60まるっきり知らないことがわかってしまう。
悪い事言わないから、素養が無いうちに基礎論の
勉強なんてはじめずに、スタンダードなカリキュラム
をこなすことから始めた方が良い
0961132人目の素数さん
2011/09/25(日) 17:10:19.77批判するのにそれほど詳しく知っている必要はない。瑣末な論文まで知っている必要もない。
君の言う「有名雑誌」に載ってる少数の「マトモ」な論文が、
基礎論の大きな分類のどれに属するかもろくに知らないそんなレベルでいい訳ではない。
「詳しい必要はない」の意味をはきちがえるな。
詳しくないどころかろくに何も分かってないというのだよ。
0962132人目の素数さん
2011/09/25(日) 21:46:49.31上から目線の説教爺さんですか。大きなお世話です。
アティヤその他が何言おうがどうでもいいことです。
0963132人目の素数さん
2011/09/25(日) 22:05:28.51意味不明
それにいきなり基礎論を深めるのも悪くないと思う
たまにはそういう学生もいてもいい
0964132人目の素数さん
2011/09/25(日) 22:31:15.84調べて見たら思っていたより多くそういう論文があったんで話を逸らしているの?
それとも本当に厨房で調べ方すら分からなかったとか?
0965132人目の素数さん
2011/09/26(月) 17:53:15.88圏論的モデル理論は普通のモデル理論と何が違うの?
0966132人目の素数さん
2011/09/27(火) 22:27:57.430967132人目の素数さん
2011/09/27(火) 22:29:21.060968132人目の素数さん
2011/09/27(火) 22:33:41.880969132人目の素数さん
2011/09/27(火) 23:59:11.320970132人目の素数さん
2011/09/28(水) 00:20:31.03>>944では「モデル理論は狭義で理解すべき」と。
随分、自分勝手に議論なされていますな。
0971132人目の素数さん
2011/09/28(水) 06:20:39.630972132人目の素数さん
2011/09/28(水) 08:28:20.34二つ例を出したらその二つしか無いとか言うんだよ
どうせ十個例を出したら分野全体で十しか論文が無いから
分野としてダメだとか言うんだろ
0973132人目の素数さん
2011/09/28(水) 17:24:24.29広義で理解すべきなんで全くいってない。
集合論を擁護するなら、モデル理論から
離れた集合論らしい集合論の例の方が
説得力が無いのにそれがだせ無い
擁護派の苦しさが
わかってしまうといっているのだ。
0974132人目の素数さん
2011/09/28(水) 17:27:16.26逆に聞くが、四色定理はマトモな数学だと思うか?
0975132人目の素数さん
2011/09/28(水) 18:34:20.00思う
4色問題は証明法がシラミ潰しだったから詰まらないといわれたので、問題そのものは詰まらなくない
0976132人目の素数さん
2011/09/28(水) 20:02:10.36それなら基礎論も集合論も四色定理もファジー理論もみんなマトモでいいや。
ただ、それとは次元が異なるレベルの数学もある事は
覚えていてくれ。
0977132人目の素数さん
2011/09/28(水) 20:27:52.60「実態のある数学」「実際の数学」「マトモな数学」
「健全な方向」「意味のない方向」
これらの概念は、数学の範疇ではない。
これらの概念を語り始めると、それはもう数学ではない。
実質的には、これらの概念は個人の趣向にすぎない。
そこに正当性は無い。
「俺の独断と偏見により、○○はクズだ・マトモだ」
という話にしかならない。
あとは、「マトモな数学」「健全な方向」等の定義を
各々が具体的に申告する程度の余地しか残されていない。
0978132人目の素数さん
2011/09/28(水) 20:35:02.30で、ついに何も申告しなかった>>976は問題外。今まで彼が行ってきた書き込みは
「研究者たるもの自分の感性と価値基準で研究対象を選んでいるんじゃないのか?」
「何が健全で何が健全でないかの感覚に自信が持てない証拠」
「マトモな数学を見てしまった大人ならば、あり得ない」
「私はあえて自分の言いたい事のうち半分も言っていない。順序をふみたい」
「その質問をしてる時点で、あなたが数学をまるっきり知らないことがわかってしまう」
「ただ、それとは次元が異なるレベルの数学もある事は覚えていてくれ。」
この程度のトートロジーばかり。何1つ具体的な申告が無い。
最初から何も主張していないのと変わらない。
彼が基礎論をくだらないと感じる以上に、彼のレスには内容が無い。
あえて何も言ってないとか、順序をふみたいとか、それは理由になってない。
なぜなら、何故あえて何も言わないのか、どうしてそういう変わった順序を踏むのか、
その目的は何なのか、それさえも何も申告してないから。
結局、彼については >>946, >>947, >>950 あたりで指摘されていることが全てだとも言える。
0979132人目の素数さん
2011/09/28(水) 21:04:48.72・圏論トンデモ数学隔離用として立スレ
・リンク貼り圏論叩き
・圏論=サブカル?
・圏論とは何か?
・圏論好き=プログラマー=頭の回転が速すぎて数学できない
・キリスト登場、圏で教義を書換え
・世界終末のために圏を学習しよう
・圏と集合どっちが数学の基礎?
・圏論とポストモダン哲学者
・知識をひけらかすのは良くない
・藤原正彦とか研究実績とか
・圏論の応用とかあるの?
・スタックを誰も知らない
・オカルト数学
・圏論を義務教育に
・高階論理とかグロタンディーク宇宙がどうとか
・雑談
・naturalとcanonicalの違いって?
・猫その他の書き込み、形式の法則
・不完全性定理によって数学矛盾ってホント?
・以降スレタイ通り
0980132人目の素数さん
2011/09/28(水) 21:05:06.900981132人目の素数さん
2011/09/28(水) 22:01:01.43抜け殻。
というか、その程度の事もわからないレベルが研究者なのか?
良いプログラムとは何ぞや、という話をしてるときに
コンパイラとおって実行出来ればみんなプログラムと言ってどうなる
0982132人目の素数さん
2011/09/28(水) 22:07:49.210983132人目の素数さん
2011/09/28(水) 22:09:48.62>おいおい、それを語ってこその学問だ、それがなかったら抜け殻。
ボロを出したな。
じゃあ、お前は抜け殻だな。だって、
「実態のある数学」「実際の数学」「マトモな数学」
「健全な方向」「意味のない方向」
↑
これらの概念に、お前は何1つとして具体的な定義を申告をしてないから。
お前が今まで書いてきたことは全てトートロジー。何1つ具体的な申告が無い。
最初から何も主張していないのと変わらない。
お前は抜け殻。
>良いプログラムとは何ぞや、という話をしてるときに
>コンパイラとおって実行出来ればみんなプログラムと言ってどうなる
「実態のある数学とは何ぞや」という話をしているときに(>>947)、
お前は何1つとして具体的な定義を申告しなかった。
「あえて言いたいことの半分も言ってない。順序をふみたい」
とかいうバカな発言しかしてない。
お前は抜け殻。
あーバカバカしい。
0984132人目の素数さん
2011/09/28(水) 22:17:03.37>>949 の質問にまず答えろと言ってるだろ。
でないとどのレベルに標準を合わせるべきか困る
0985132人目の素数さん
2011/09/28(水) 22:25:33.75↑
な?いつまで経っても内容が無いだろ?
>>>949 の質問にまず答えろと言ってるだろ。
順序が逆。お前が>>947の質問に先に答えるべき。
947に対して、お前が出せる最高レベルで返答すればいいんだよ。
その時点で相手と意思疎通が出来ないなら、相手のレベルが低いってことだよ。
このやり方で問題ないだろ。何の不満があるんだよ。お前は>>976で
>ああ、マトモな数学の定義がそのレベルでいっていたのね
こういう発言してるんだから、このやり方で問題ないだろ?
もしこのやり方で相手と意思疎通できなかったら、また
「そうか、理解できないか。お前のレベルはそんなもんか」
って言えばいいだろ。
ほれ、>>947の質問に答えてやれよ。
947に対して、お前の最高レベルで返答すればいいんだよ。
0986965
2011/09/28(水) 22:35:07.89誰も圏論的モデル理論を知らないんだね。
0987132人目の素数さん
2011/09/28(水) 22:35:46.22あきらかに簡単だろ
よし、譲歩してやる。yesかnoかだけでいい、理由は後回しで良い
君の価値観でね。それと、四色定理やファジーがマトモというのには
君は同意なんだね?
Yes/yes yes/no no/yes no/no
四パターンしかない。まず答えてくれ
0988132人目の素数さん
2011/09/28(水) 23:00:49.940989132人目の素数さん
2011/09/28(水) 23:08:36.22↑
な?結局、いつまで経っても内容が無いだろ?
>>>947 のためにも、まず>>949 に答えろと言っている
もう誰も、その手には乗らないよ。
第一、質問に質問で返すなよ。>947が先に質問してるわけ。
しかも、>947と同種類の質問が、947より前にもあったわけ。
お前はそういう質問全てをゴマカシてきたわけ。
「研究者たるもの自分の感性と価値基準で研究対象を選んでいるんじゃないのか?」
「何が健全で何が健全でないかの感覚に自信が持てない証拠」
こんなトートロジーでな。
お前は他人の質問を棚上げにし続けて来たんだよ。
だから、お前が>947に答えるのが先なの。何が譲歩だよ。図に乗るなよ。
ディスカッションの初歩からやり直しだなお前。
驚くべきことに、>>776から今に至るまで、お前はずっと
具体的な定義の申告を何もして来なかったわけ。明らかに異常だろ。
何が健全な方向なのか、何がマトモな数学なのか、何の定義もなしに、
他分野に口出しして、勝手にクズ認定してるわけ。
上から目線で研究者ぶって、他人にお説教かましてるわけ。
しかもこの話題、お前が>>776で自分から持ち出した話題だぞ。
それなのに、もっとも大切なところの定義(健全な方向とは何か?マトモな数学とは何か?)
を、お前は棚上げにして、ここまで来てるわけ。明らかに異常だろ。
どう考えても、お前が>947に答えるのが先だろ。
0990132人目の素数さん
2011/09/28(水) 23:21:34.56ねえ、何の不満があるの?
947に対して、お前が出せる最高レベルで返答すればいいんだよ。
その時点で相手と意思疎通が出来ないなら、相手のレベルが低いってことだよ。
その時点で改めて、>>976 みたいに
「そうか、理解できないか。お前のレベルはそんなもんか」
「じゃあ、何でもかんでもマトモでいいや」
「ただ、それとは次元が異なるレベルの数学もある事は覚えていてくれ」
って言えばいいだろ?
このやり方の何が不満なの?これはお前自身のやり方なんだぞ。
どのレベルに標準を合わせるべきか困るって?
いまさら何を小奇麗な心配事しちゃってるの?
そんな気の利いた心配ができるなら、>976みたいな嫌味なレスはしないだろ?
単に都合が悪いだけだろ?逃げてないで、いい加減答えろよ。
既に>>989に書いたとおり、お前の議論の仕方は異常なんだよ。
お前が質問に答えるのが先なんだよ。ずっとお前はゴマカシ続けて
ここまで来てるんだよ。こんな異常なことがあるかよ。
都合の悪いレスは逃げ続けるわ、自分の思い通りにならないと
「譲歩してやる。まずはオレの質問に答えろ」
とか、最初から議論する気ないだろお前。だから>>950みたいなこと言われるんだよ。
0991132人目の素数さん
2011/09/29(木) 00:15:28.34そうでなければ研究は務まらないって事か
研究が人をそう変えるのか
学会でも煽り合いとかするのかね
0992132人目の素数さん
2011/09/29(木) 00:31:14.96人に粘着はあまりしないよ。研究対象に対する執拗さは凄いけど。
理屈屋さんでもない。佐藤幹夫さんなんかは理屈では片付かないものを追い求めている感じ。
0993132人目の素数さん
2011/09/29(木) 01:17:40.03何度も示せと言われても一切無視したまま。
これはつまり、論文のデータベースにアクセスする権限も持っていない「自称数学者」だという何よりの証拠。
0994132人目の素数さん
2011/09/29(木) 07:43:52.76他人の悪口をよくいう数学者(専門は微分幾何)を知ってる
大学の講義中に特定の個人(←昔は仲がよかったらしい数学者仲間)の悪口を言う
聴いてる学生は面白いだろうな
その悪口言われてる方の数学者は定年で先に退官しちゃったから、
さすがに今は悪口言ってないかもな
矛先はその人だけじゃなくて、酒の席で
あいつ(←他大学の数学者)は大した業績じゃないのに何で研究者やってるんだ
とか言ったこともあるらしい
ていうか頻繁に言ってるだろうな性格からして。。。
自分の専門じゃない分野にケチつけることもある
××の分野は思想が無くて計算技法ばかりだから駄目だ、みたいな
0995132人目の素数さん
2011/09/29(木) 08:15:33.78良いプログラムはこういう風に書かれたプログラムだ、
なら分かるんだけど、今の人の場合、
良いプログラムは高度科学技術計算用のプログラムだ、
銀行の決済用システムに組み込まれるプログラムは
マトモじゃないから勝手にしろ、みたいなこと言ってるだけなんだよね
0996132人目の素数さん
2011/09/29(木) 12:12:27.55今なお重要なテーマであり続けている。
0997132人目の素数さん
2011/09/29(木) 14:01:35.390998132人目の素数さん
2011/09/29(木) 14:04:01.070999132人目の素数さん
2011/09/29(木) 14:06:52.021000132人目の素数さん
2011/09/29(木) 14:09:53.8910011001
Over 1000Threadもう書けないので、新しいスレッドを立ててくださいです。。。
レス数が1000を超えています。これ以上書き込みはできません。