現代数学の系譜 古典ガロア理論を読む36 [無断転載禁止]©2ch.net
■ このスレッドは過去ログ倉庫に格納されています
現代数学の系譜 古典ガロア理論を読む 前スレ現代数学の系譜 古典ガロア理論を読む35 http://rio2016.2ch.net/test/read.cgi/math/1497848835/ 小学レベルとバカプロ固定、High level people、サイコパス お断り!High level people は自分達で勝手に立てたスレ28へどうぞ!sage進行推奨(^^; 旧スレが512KBオーバーで、新スレ立てる このスレはガロア原論文を読むためおよび関連する話題を楽しむスレです (最近は、スレ主の趣味で上記以外にも脱線しています。ネタにスレ主も理解できていないページのURLも貼ります。ガロア関連のアーカイブの役も期待して。) 👀 Rock54: Caution(BBR-MD5:0be15ced7fbdb9fdb4d0ce1929c1b82f)
>>87 つづき https://srad.jp/ ~taro-nishino/journal/590213/ taro-nishinoの日記: アラン・コンヌへのインタビュー 第二部 2015年02月23日 (抜粋) アラン・コンヌ博士と言えば、著書Noncommutative Geometry[非可換幾何学]、Noncommutative Geometry, Quantum Fields and Motives[非可換幾何学、量子場理論、モチーフ理論](Matilde Marcolli博士との共著)が有名です。 これから読みたいと思っている人もいるでしょう。私もある人から前提知識は何なのか聞かれたことがあります。はっきり言えば、こんな質問する人には無理だと言ってもいいかと思います。 今回紹介するインタビューの中でもコンヌ博士が言っていますが、数学のどの分野を専攻するにしても最低限の共通バックグラウンド(微分幾何学、代数幾何学、代数構造、実解析、複素解析)がほぼ仮定されています。 つまり、大学4年間と大学院修士課程で学習するであろう科目すべてを含んでいます。さらに、両著とも物理学の或る程度の素養も仮定されています。それは非可換空間で標準模型を扱っているのだから当たり前です。 例えばラグラジアンが何たるかを全く知らない人が両著のいくばくかの物理の解説を読んでも理解出来るとは私には思えません。 それからもう一つ重要なことがあります。インタビューの第一部でも言及されていましたが、コンヌ博士は計算大好き人間です。従って、極端なことを言えば、くりこみの摂動計算を手でやったことがない人は皮相的な理解で終わる可能性があります。 21世紀の数学は、ユーリ・マニン博士も言っていますが、"量子化"と言うテーマの時代と言っていいのではないでしょうか。つまり、20世紀のように抽象論を振りかざすだけで何とかやっていた時代は終わったということでしょう。 いずれにせよ、インタビューの第二部の私訳を以下に載せておきます。なお、このインタビュー記事は EMS Newsletter March 2008 (PDF) http://www.ems-ph.org/journals/newsletter/pdf/2008-03-67.pdf の中に収録されているので、原文に関心がある人は該当ページを探してください。 (引用終り) 話は、戻るが 過去スレ 33 http://rio2016.2ch.net/test/read.cgi/math/1495860664/133 辺りで 『プリンストン数学大全』の話が出たが あれのP1120 VIII.6 「若き数学者への助言」というのがあってね(^^ 数学科の人は、是非読んでおくべきだろう マイケル・アチャ、アラン・コンヌ、ピーター・サルナック 他+2名が書いている マイケル・アチャの話が、特に面白かったね(^^ (抜粋) 「私と同世代ではおそらく抜きん出た数学者であるジャン=ピエール・セールは、自分もある段階で数学を断念することを考えたと私に語った。 二流の者だけが自分の能力をこの上なく過信する。能力があればあるほど自分の基準を高く設定するものだ。つまりは現状より上を見ることができる。」 「物理学に転向した数学者(たとえば、フリーマン・ダイソン)もいれば、別の道に移った数学者(例えば、ハリッシュ=チャンドラやラウル・ボット)もいる。数学を閉鎖的な世界と考えてはいけない。数学と他の学問分野との相互作用は、個人と社会双方にとって健全なものである。」 「数学研究とは証明を提示していくころだと考えるのは間違っている。実際、数学研究の真に創造的な部分はすべて証明段階より重要だと言える。 ”段階”というメタファーを使うならば、あなたはアイデアを持つことから始め、筋書きを広げ、問答を書き、芝居がかった説明を用意しなければならない。実際にできあがったものが、アイデアを実行に移した”証明”と考えられる」 「数学ではアイデアと概念が最初にあって、次に疑問や問題が来る。この段階で解答を求める研究が始められ、解法や戦略を探すのだ。」 (引用終り) >>105 ¥さん、どうも。スレ主です。 ¥さんが、青春期から大学、院、研究者の各段階で、大変つらい思いと体験をされたということは、理解というか想像できます・・ いや辛かったのは茨木芳雄塾という強制収容所の時代と、そしてまあ筑波時代ですかね。 云わば「アレもダメ、コレもダメ、ソレもダメ」みたいな、所謂「飼い犬状態」でした。 でも大学院時代は『愛情を以て論理で砕く荒木先生』からとても大切にして頂きました ので、併せて佐藤師であるとか柏原さんとか、そういう超人数学者と同じ釜の飯を喰う 機会を与えられ、とても感謝しています。荒木先生は正に『私の救いの親』ですね。 素朴な考え方を大切にして、そして『自分を絶対に騙さない恭司さん』からも多くを学 びました。恭司さんも正に「数学者の鑑」だと思いますね。こんな幸せな大学院時代な んて、そうはないと思います。 そしてConnesとの出会いは猛烈に重要な大事件であり、最初に会ったカナダの国際会議 での折には、その帰りに立ち寄ったUCLA(当時は竹崎教授が居られた)でショックから 発熱し、その後はConnes教の信者として猛進する機会になりました。その翌年には英国 で修論の結果を発表した際に、有り難くもConnes師御本人に『ズタボロに砕いて貰った という貴重な体験』をさせて戴きました。この時以来、彼は私の学問上の保護者となり、 現在の私があるのは正に『Connes師のお陰』以外の何物でもありません。Connesさんか らはかなり頻繁にIHESでの貴重な時間を与えて戴き、あの『天国のような時間』こそが 数学の糧となりました。IHESでの研究環境は、正に心の拠り所そのものですわ。 彼は私に取っては友人であり兄であり、そして親の様な、そして最後が指導教官とでも 言うんでしょうか、私に取っては最も尊敬するべき師なのです。 ¥ >>132 >バカ同士で会話しても面白くないだろ?(^^ バカが数学板にいても面白くないだろ(^^ 話の流れとは何の関係もない投稿 僕は新たに「すべてのパラドックスは詐欺である」 という論文を書いた。たった3ページの論文である(笑 僕の本の改訂版に載せるつもりなので、 興味があれば買って読むように(笑 「私は嘘つきである」 「この文は偽である」 「次の文は真である」「前の文は偽である」 床屋のパラドックス ラッセルのパラドックス これらのパラドックスを槍玉に挙げた。 とくにラッセルのパラドックスは重要なので 僕の論文を無視してはいけない(笑 宣伝その2 「解析学の大錯誤」で批判したのは次の項目 デデキントの切断 ワイエルシュトラスの定理 有界な単調数列の収束 区間縮小法 コーシーの収束判定法 コーシー列による実数の構成 ε−δ論法 カントールの対角線論法 これも改訂版に載せるので必読(笑 解析学の基本公理を覆す革命的論文である(笑 >>139 偉大なる哀れな素人さん、どうもスレ主です。 ラッセルのパラドックスね 昔、高校時代にゲーデルの不完全性定理の通俗解説書を読んだ記憶がある。確か、その中にも出てきたと思う(^^ 面白かったね。対角線論法が出てくるんだったね、確か・・(^^ まあ、お好きにこのスレを使ってください(^^ >>138 >>バカ同士で会話しても面白くないだろ?(^^ >バカが数学板にいても面白くないだろ(^^ 仮定 1)2CHにハマっている者はバカである 2)数学板はバカ板である 結論 仮定が成り立つとすれば、2CH 数学板にいるものは、ほとんどバカである 自分が例外と思い込んでいる者もバカである(^^ QED(^^ >>137 ¥さん、どうもスレ主です。 >そして『自分を絶対に騙さない恭司さん』からも多くを学 >びました。恭司さんも正に「数学者の鑑」だと思いますね。 斎藤恭司先生ですね 過去スレ 35 http://rio2016.2ch.net/test/read.cgi/math/1497848835/641 の 数学セミナー 2017年7月号 プロの研究者はどうやって研究を行っているか……吉永正彦の 吉永正彦先生の指導教官ですね。前にも出たし、吉永正彦記事にも記載がある(^^ https://ja.wikipedia.org/wiki/%E9%BD%8B%E8%97%A4%E6%81%AD%E5%8F%B8 齋藤恭司 齋藤 恭司(さいとう きょうじ、1944年 - )は、日本の数学者。京都大学名誉教授。専門は複素解析幾何学、複素解析学、周期積分など。 東京出身。東京大学理学部数学科卒(1967年)。ゲッティンゲン大学博士課程修了(1971年)。東京大学、京都大学数理解析研究所教授を経て、数物連携宇宙研究機構主任研究員。 京都大学数理解析研究所元所長。1990年のICMに招待講演者として招聘された。 ・原始保型形式の理論の創始 ・特異点の変形のモジュライ上の周期写像によって平坦構造を発見した。 ・量子コホモロジー環と非常によく似ていて、それらを統一的に扱うフロベニウス多様体は現在の数理物理学(特にミラー対称性)において重要な役割を果たしている(とされる)。さらには消滅サイクル束のホッジ理論まで考えている。 ・孤立特異点の複素解析学(井上学術賞) ・特異点のルート系やルート系の表現論 ・独自の可積分系を構築しようとしている ・還暦越えてなお研究が盛ん 外部リンク 斎藤恭司 | IPMU-数物連携宇宙研究機構 http://www.ipmu.jp/ja/node/180 >>144 参考補足 http://www.ipmu.jp/ja/node/180 斎藤恭司 | IPMU-数物連携宇宙研究機構 (抜粋) 単位円周の長さは 2πという最も古い数学の対象です。よく知られるように単位円Cは二次方程式 x2+y2=1 で与えられ、複素数 z=x+iy ∫○dz/z=2√(-1)πを使えば となります。 このような積分を周期積分、その値を周期と呼びます。理由は不定積分 ∫dz/z の逆関数が2√(-1)π を周期とする指数関数だからです。 また、この周期積分はA1型のリー環により記述できます。次に円周Cのかわりに定義方程式が三、四次の曲線上の複素積分を考えると、2つの基本周期をもつ楕円積分が現れ、その不定積分の逆関数が楕円関数となります。 これらの周期積分は位数2のリー環A2、B2、G2で記述されます。このように周期積分を通して深い数学構造が次々に現れるのは面白いことです。 私はこれらの周期積分を高次元化する積分形式としての原始形式を圏論的に構成するために、無限ルート系と無限次元リー環を研究しています。 その研究過程で生まれた平坦構造(フロベニウス構造)と平坦座標という概念は、不思議なことに物理におけるストリング理論のミラー対称構造を記述する言語のひとつにもなっています。 原始積分による周期写像の逆写像の平坦座標成分である原始保型形式の決定は、今後の重要課題です。 (引用終わり) >>145 補足 複素数 z=x+iy ∫○dz/z=2√(-1)πを使えば となります。(原文まま) ↓ 複素数 z=x+iyを使えば ∫○dz/z=2√(-1)π となります。 だろうね(^^ まあ、重箱の隅だが(^^ >>146 補足の補足 ∫○dz/z ↓ ∫○1/z dz と書かないと、中学では減点されるかもね。試験ではご注意(^^ おっちゃんです。 まあ、他人の噂をするときは誹謗中傷などに気を付けることだ。 変なことを書くと、書き込む寸前に名誉棄損、書き込む内容に責任が云々 とかなるようなことがしばしばあるような気がする。 >>145 おっちゃん、どうも、スレ主です。 >単位円周の長さは 2πという最も古い数学の対象です。 >複素数 z=x+iyを使えば ∫○dz/z=2√(-1)π となります。 >理由は不定積分 ∫dz/z の逆関数が2√(-1)π を周期とする指数関数だからです。 おっちゃん、ここ分かるか?(^^ ”複素数 z=x+iyを使えば ∫○dz/z=2√(-1)π となります”は、ふつうは留数定理から出すんじゃないかな? ”不定積分 ∫dz/z の逆関数・・だから”という理由付け、分かりますか?(^^ >>148 おっちゃん、どうも、スレ主です。 ああ、そうだね >>143 だね。「2CHにハマっている者」と、「数学板」運営者から、「バカとはなんだ」と言われるかもね〜(^^ で、>>149 頼む(^^ >>149-150 郵便局とかの雑用が色々あるんで、話は後で。 >>142 訂正 >対角線論法が出てくるんだったね、確か・・(^^ 正確には、「否定の自己言及」だね(^^ https://blogs.yahoo.co.jp/midnightsunsagain/33694257.html 実は不完全なゲーデルの不完全性定理 2015/8/29 mid***** yahoo ブログ (抜粋) この背景(本質)には「否定の自己言及」という、文章・論理的構造と意味・解釈の間の不整合が横たわっている。 通常「自己言及」とだけ呼ばれているが、当ブログではより問題の本質を捉えるため、フィードバックに(発散する)ポジティブと(収束する)ネガティブがあるように、 自己言及にも矛盾を引き起こすものと引き起こさないものがあることを指摘し、区別する。「矛盾の自己言及」と言ってもよい。 一般にパラドクスと呼ばれるものには色々とからくりがあるが、この「否定の自己言及」によるものは数多く存在する。 結局、不完全性定理は、全命題の外側に消え去る。 ここで一つ問題を提起したい。 「ゲーデルの形式的体系において、自己言及を除く命題(すなわち、1変数類記号のマトリクスにおいて対角成分以外の文。不動点以外)の中に、AとnotAのいずれも証明できない文Aが存在するか」 対角線論法の使用禁止! もしこれが証明されれば、本当に完全な不完全性定理となり、数学は衝撃を受けるだろう。 (引用終わり) >>152 補足 下記は、ずいぶん以前にも紹介したが(^^ http://www.kurims.kyoto-u.ac.jp/ ~cs/cs2011_hasegawa.pdf 自己言及の論理と計算 長谷川真人 京都大学数理解析研究所 数学入門公開講座(2002 年 8 月 5〜8 日)の予稿を改訂(2006 年 5 月 / 2007 年 8 月/ 2011 年 6 月) (抜粋) 目次 I 自己言及と対角線論法 >>152-153 ゲーデルの不完全性定理の証明に 対角線論法が使われていると市川氏の投稿で知ったが、 どこに使われているのか分らなかった(笑 とにかく対角線論法は間違いだから、 ゲーデルの不完全性定理が、その対角線論法による証明 の上に成立しているのだとしたら、不完全性定理は間違いである。 それからラッセルのパラドックスは、 数学者が思っているようなパラドックスではない。 簡単に言えば、あれは言葉の詐欺である。 僕が読んだ本にはこう書いてあった。 自分自身を元として含まない集合を正規集合、 自分自身を元として含む集合を非正規集合と名付ける。 すべての正規集合の集合をNとすると、Nは正規集合か非正規集合か。 これがラッセルのパラドックスである。 しかしこれをよく読むと二つの詐欺が隠されている。 どこが詐欺か知りたければ僕の本を読むこと(笑 >>149 馬鹿は日本語が読めない >理由は・・・ の直前の文章は 「このような積分を周期積分、その値を周期と呼びます。」 つまり、 「積分∫○dz/zを周期積分、その値を周期と呼ぶ理由は」 であって、それを受けて 「不定積分 ∫dz/z の逆関数が2√(-1)π を周期とする指数関数だからです。」 と答えている 周期積分、周期の由来は周期関数から この程度の日本語が読めない人が数学書を理解できないのは当然 小学生に大学生の教科書が読めるわけがない >>152 >「ゲーデルの形式的体系において、 > 自己言及を除く命題の中に、 > AとnotAのいずれも証明できない文A > が存在するか」 存在する(Paris Harrington Theorem) www.math.tohoku.ac.jp/~tanaka/intro.html 「集合論における選択公理のような具体的な独立命題が ペアノの算術公理系にもあるか否かは, 1977年にパリスとハーリントンが ラムゼイの定理の一種がそれになることを示すまで 大問題であった」 >>149-150 >”複素数 z=x+iyを使えば ∫○dz/z=2√(-1)π となります”は、ふつうは留数定理から出すんじゃないかな? 積分路変形の原理(コーシーの積分定理から従う)とかからでも求まる。求め方はご自由に。 >”不定積分 ∫dz/z の逆関数・・だから”という理由付け、分かりますか?(^^ 不定積分 ∫dz/z は =logz+c cは複素数の定数 と表わせて、 その逆関数は Ce^z Cも複素数の定数 になって、 複素変数 z, w について e^z=e^w なることと zが z=w+2nπi n∈Z の形に表せること とが同値となるので、先の逆関数 Ce^z は 2√(-1)π=2πi を周期とする指数関数になる。 じゃ、おっちゃん寝る。 >>149-150 >>158 の訂正: 不定積分 ∫dz/z → 不定積分 w=∫dz/z 逆関数について:Ce^z → Ce^w >昔、高校時代にゲーデルの不完全性定理の通俗解説書を読んだ記憶がある。 何をかっこつけてんのかお前は お前の全勉強が通俗解説書だろうが 只の一冊も専門書を読んでないアホ主 その証拠にお前は大学生が一番最初に勉強する数列をまったく理解していない 数列の連結?アホかよw >>156 >>158-159 ID:WlcB2qq8さん、おっちゃん、どうも、スレ主です。レスありがとう ID:WlcB2qq8さん、なかなか力あるね。確かに、その通りだね 聞きたかったのは、「周期積分」という用語が、あまり一般的でないから、おっちゃんが以前スレ20で「周期」について、教えてくれたので質問したんだが(^^ いや、>>145 の斎藤恭司先生の一般向け自己紹介が、「周期積分」という耳慣れない用語から入っているので、「おや?」と思ったんだ 斎藤恭司先生は、¥さんいうように、けれんみなしの直球勝負という方かな>>137 過去スレ20 より抜粋 おっちゃん http://rio2016.2ch.net/test/read.cgi/math/1466279209/368 2016/07/02 超越性の判断を目的に、ザギエとコンツェビッチが提案した周期環の概念がある。 有理関数か無理関数の積分によって表せるかどうかが周期環の点かどうかの基準になる。 ¥さん http://rio2016.2ch.net/test/read.cgi/math/1466279209/395 2016/07/02 三角関数の周期とかがπですやろ。そやしソレは「普通の考え方」ですわ。 ほんでソレが楕円函数やったら二重周期函数ですやろ。そやし昔の数学者 が嬉々としてそういう事を調べたんは、まあ自然な事ですわ。 ¥ 注意:三角関数は円積分の逆関数として見る。 スレ主 http://rio2016.2ch.net/test/read.cgi/math/1466279209/401 2016/07/02 積分の逆関数という話は、高木の本に書いてましたね スレ主 http://rio2016.2ch.net/test/read.cgi/math/1466279209/488 2016/07/03 まず、関連のご紹介 http://www2.kobe-u.ac.jp/ ~mhsaito/documents/0808saito-period.pdf 周期:積分で表わされる数について 齋藤政彦 神戸大学 2008 (抜粋) 今回の講演では, 周期という特別の複素数のクラスを扱いたいと思います.主に M. コンツェビッチとD. ザギエの論説 と最近の神戸大の吉永正彦のプレプリン ト[4] を参照しつつ, 数に関する新しい感覚と数学の広がりをお伝えできればと思い ¥さん http://rio2016.2ch.net/test/read.cgi/math/1466279209/505 2016/07/03 その「吉永さんの結果」って凄く面白いですね。政彦氏の文章で初めて知 りましたわ。流石に恭司さんの弟子っぽい仕事で、いい感じの数学ですね。 >>157 ID:WlcB2qq8さん、どうも、スレ主です。レスありがとう ID:WlcB2qq8さん、なかなか力あるね。 調べてみると、過去スレ6で、不完全性定理が登場しているね。過去スレ 8で下記のような話を紹介している。あと、なんどか登場しているね ”パリスとハーリントン”の話は、このスレで話題にしたことは無かったが、wikipediaにあったね(下記)。 どこかで似たようなことを読んだ気がしたが、思い出せなかった・・(^^ 過去スレ 8 http://ai.2ch.net/test/read.cgi/math/1364681707/26 2013/03/31(日) (抜粋) 1930年9月7日にケーニヒスベルクで開催されていた「厳密科学における認識論」についての第2回会議においてクルト・ゲーデルが第一不完全性定理を発表すると、発表の後にノイマンはゲーデルと個人的に会話を行い、定理の内容を直ちに理解した。 その会議の後、ゲーデルは第二不完全性定理を得て論文にまとめ、論文は11月17日に受理された。いっぽう、ノイマンは独力で第二不完全性定理を導き、その結果を11月20日付けの手紙でゲーデルに知らせた。 過去スレ 8 http://ai.2ch.net/test/read.cgi/math/1364681707/99 2013/04/06(土) (抜粋) http://d.hatena.ne.jp/keyword/%C9%D4%B4%B0%C1%B4%C0%AD%C4%EA%CD%FD ゲーデルの不完全性定理(Godel's Theorem) 簡単に言えば、「完全で無矛盾な公理系は存在しない」ということを証明した*1。 数学基礎論の分野で提出された定理だが、その影響は数学はもとより、論理学や哲学やその他の人間の知(理性)の全分野にも及ぶものであり、フォン・ノイマンをして「(その業績は)不滅以上のものである」と言わしめた。 (引用終り) つづく >>165 つづき https://ja.wikipedia.org/wiki/%E3%82%B2%E3%83%BC%E3%83%87%E3%83%AB%E3%81%AE%E4%B8%8D%E5%AE%8C%E5%85%A8%E6%80%A7%E5%AE%9A%E7%90%86 ゲーデルの不完全性定理 (抜粋) 決定不能命題の例 本節では一つ目の意味で「決定不能」と書く。 決定不能ということが意味するのは、あくまで使用されている特定の形式的体系の下ではその命題の真偽をいずれも証明できないということにすぎない。 真理値を決して知ることができないか、または真理値の定義自体が無効となるような、いわゆる「絶対的決定不能」命題が存在するのかどうかは数理哲学における論争の的となっている。 連続体仮説はZFC(集合論における標準的な公理系)の下では証明も否定の証明もできない。また、選択公理もZF(ZFCに含まれる公理から選択公理を除いたもの)では証明も否定の証明もできない。 1940年、ゲーデルはこれらの命題が何れも ZF または ZFC 集合論では否定を証明できないことを証明した。1960年代、コーエンはこれらがいずれも ZF から証明できず、また連続体仮説が ZFC から証明できないことを証明した。 マチャセビッチによるヒルベルトの第10問題によって決定不能な命題の例が得られる。そのような例はディオファントス方程式の外側に存在量化子を幾つか並べた形として得られる。すなわち不完全性定理の前提条件を満たす形式的体系において、解の存在が証明も反証もできないようなディオファントス方程式が存在する。 1973年、群論におけるホワイトヘッドの問題(英語版)が標準的な集合論では決定不能であることが示された。 つづく >>166 つづき 1977年、パリスとハーリントンは、ラムゼーの定理の一種であるパリス・ハーリントンの定理(英語版)が、一階算術の公理体系であるペアノ算術の下では決定不能だが、より大きな二階算術の体系では真であることを証明できることを証明した。 カービーとパリスは後にグッドスタインの定理(自然数の数列に関する命題であり、パリス・ハーリントンの原理よりもいくらか易しい)がペアノ算術では決定不能であることを示した。 計算機科学で応用される Kruskal の木定理(英語版)はペアノ算術では決定不能だが集合論では証明できる。実際、Kruskalの木定理(またはその有限版)は、可述主義(英語版)[4]と呼ばれる数学的哲学に基づいて構築されたもっと強い体系の下でも決定不能である。 これに関連し、更に一般的な graph minors 定理(英語版)(2003年)は計算複雑性理論に影響する。 グレゴリー・チャイティンはアルゴリズム情報理論における決定不能命題を発見し、その状況下で新たな不完全性定理を得た。 チャイティンの定理によると、十分な算術を表現可能ないかなる理論においても、どのような数であっても c よりも大きなコルモゴロフ複雑性を有することがその理論上では証明できないような、上限 c が存在する。 ゲーデルの定理が嘘つきのパラドックスと関係しているのに対し、チャイティンの結果はベリーのパラドックスに関係している。 つづく >> つづき 不完全性定理の成立しない体系 不完全性定理は「『自然数論を含む帰納的公理化可能な理論が、無矛盾(ω無矛盾)であれば』〜」という形の定理である。したがって、自然数論を含まない公理系や、帰納的公理化可能でない理論が完全であっても、不完全性定理とは矛盾しない。 真の算術やペアノ算術の無矛盾完全拡大などは無矛盾かつ完全であるが、帰納的公理化可能でない。とくに真の算術は算術的に定義不能である。この結果はタルスキの真理定義不可能性として知られる。 プレスバーガー算術は帰納的公理化可能、無矛盾かつ完全である。プレスバーガー算術は加法しか含まない公理系であり、ゲーデル数によるコード化のテクニックを扱えない。そのため、不完全性定理は適用できない。 また、実閉体の理論やユークリッド幾何学も完全であり、(直観に反して)算術を含まないため、不完全性定理は適用できない。したがって実閉体の理論は決定可能である。もっと精密にいうと実閉体の理論では量化記号消去が可能である。この事実は数式処理系の実装などに応用されている。 なお、群や環の公理などは、「自然数論を含まない帰納的公理化可能かつ無矛盾な公理系」であり、不完全性定理は適用できないが、不完全である。例えば、可換群と非可換群がともに存在することから、健全性定理より、群の公理からは積の可換性は証明も反証もできない。 (引用終り) 以上です >>162 コンセヴィッチとザギエの周期の話なら、もともとは 1/zの積分(ln)の逆関数(exp)の周期性に基づくが 一般化によって、本来の意味はどっかにいってしまった >>168 ユークリッド幾何学から平行線公準を除いた理論は不完全 なぜなら平行線公準は上記の理論における決定不能命題だから ユークリッド幾何学も非ユークリッド幾何学も無矛盾 というのはそういうこと 「実閉体の理論は算術を含まない」というのは 実閉体の理論の中で自然数を定義できない ということ ついでにいうと、実閉体の定義は、カントールやデデキントの実数体の定義と異なる リンクと引用は、コピペマニアにお任せしよう >昔、高校時代にゲーデルの不完全性定理の通俗解説書を読んだ記憶がある。 吉永 良正のブルーバックスの本は酷い出来なので これを読んだなら御愁傷様といわざるを得ない >何をかっこつけてんのかお前は 今時は 「中学校で”√2の無理数性”の背理法による証明を習った」 といっても「何をかっこつけてんのか」とは言われないだろうなぁ・・・ >>169-173 ID:OkksdbBEさん、どうも。スレ主です。 貴方は、なかなか力あるね〜 このスレで、数学的な内容のカキコをする人は、ごく小数でね(^^ 常連では、おっちゃんと¥さんくらいでね その他の人は、からっきしダメ(^^ まあ、実力が無いんだろうね(実力を見透かされないようにしているんだろうね)(^^ そもそも、自分の主張に理由が無い発言が多い 多分¥さんから言わせると、「フランスでは考えられない!」だろうと。数学板なのに、自分の主張に(数学の)理由が無いとね〜(^^ 理系としては、「自分の主張を論理的に説明できない日本人ってね〜。まあ、文系だろう」と、出来るだけスルーだ(^^ そういう意味で、こういうことをすらすら書ける貴方の数学の実力は凄いね〜(^^ つづく >>174 つづき で、細かいが >>169 >コンセヴィッチとザギエの周期の話なら、もともとは これは、齋藤恭司先生としては、コンセヴィッチとザギエの周期と同じ意味だろうね 記憶では、コンセヴィッチとザギエの周期論文を吉永先生に紹介したのが齋藤恭司先生だと(院生時代)、吉永先生がどこかに書いていたと思った あと、下記、齋藤恭司先生 2011 年度幾何学賞授賞業績説明 http://mathsoc.jp/publication/tushin/1603/2011KikagakuPrize.pdf (抜粋) 授賞題目: 周期積分の理論の現代化の実現 彼の原動力は一貫して,18~19 世紀のオイラー,アーベル,ヤコビらによる 楕円積分・周期積分の理論を現代によみがえらせようという壮大な構想で,その実現のため ・・・などの理論を次々に建設しました.これは後にKontsevich などによる非可換ホッジ構 造や,Dubrobvin などによる量子コホモロジー等の研究に用いられているフロベニウス多様 体を先取りしたものであり (引用終り) >>170 その通り >>171 実閉体の定義は良く知らないんだが、検索すると、過去スレで下記があったね (実閉体の定義は後で確認しておく(^^) 過去スレ 21 http://rio2016.2ch.net/test/read.cgi/math/1468584649/343 2016/07/31 http://fuchino.ddo.jp/misc/susemi2012-01x.pdf 想定外の数学− 不完全性定理以降の数学(続) 神戸大学大学院・システム情報学研究科渕野昌(Sakae Fuchino) つづく >>175 つづき (抜粋)(当時は引用していなかったが) P8 無矛盾で完全であることが有限の立場から証明できる体系のうち,重要なもの の1 つに,実閉体の理論をあげることができる.この理論の無矛盾性と完全性の重 要性の理由の1 つは,うまく定式化すると,初等的な幾何学の理論が,この理論と 双方向に解釈できるようになるからである| たとえばタルスキーの[7] を参照さ れたい.したがって,このタルスキーの定式化したような初等幾何は,無矛盾で完 全でしたがって決定可能ですらある. (16)もっとも,後に[6] でヒルベルトとベルナイスは,[6] で,代数閉体の理論の無矛盾性,完全性 の完全に有限な立場からの証明を与えている. (引用終り) >>172 "吉永 良正のブルーバックスの本は酷い出来なので"は、違うね。ハードカバーの本だった >>173 "「中学校で”√2の無理数性”の背理法による証明を習った」"は、あったような気がする。 中学の数学教師が、中三で3x3マトリックスとクラメールの公式を教えてくれたよ。もちろん、授業外だが。合同式(≡)もあったような(^^ 以上 >>175 補足 >実閉体の定義 まあ、下記でも http://www.kurims.kyoto-u.ac.jp/ ~kyodo/kokyuroku/contents/pdf/1764-01.pdf 実閉体の生い立ち 名古屋大学多元数理科学研究科 塩田昌弘 数理解析研究所講究録 第1764 巻2011 年 (抜粋) 1. 序文 実閉体の概念はEArtin が1927 年にHilbert の第17 問題を解くために導入した ものである。その後1980 年代から実閉体上で代数幾何を考えるという、実代数幾何 学が盛んに研究されるようになった。 Artin による第1 7 問題の証明は日本語では[2] に書かれていて、読むのに代数の基 本的知識をいくつか必要とするだけである。 実代数幾何学では、その証明を少し代えたものが、代表的な基本的なーつの証明方法になっている。ここではその証明 を紹介する。 その証明方法を日本語で、しかも実代数幾何学の言葉をできるだけ使わずに紹介するのは意味のあることだと思う。それで、 この論文を書くことにした。 一言でその証明方法を語れば、ある体でconstructive に記述された問題で、解けるか どうか分からないとき、問題の形をそのままにして、体のみを変換することである。例 として$R$ を体として、問題∃ x∈ R, x^2=2 を考える.この問題はR=R~ では解けて、 R=Q では解けない。これでは困るが、体が実閉体ならうまくいく。もしR で解ける かどうか分からない問題のとき、解けるようにR を大きな体R_に置き換える。次に説 明するArtin-Lang の定理によればR もR_も実閉体なら、もしR_で解ければR で必ず 解ける。これが説明したい証明方法である。 2. 定義と例とその基本的な性質 [2] 永田雅宜、可換体論、裳華房、1967. (引用終り) 余談だが、永田雅宜先生の本は、難解で有名とか。読んだことはないが(^^ つづく >>177 つづき ついでに https://ja.wikipedia.org/wiki/%E5%BD%A2%E5%BC%8F%E7%9A%84%E3%81%AB%E5%AE%9F%E3%81%AA%E4%BD%93 形式的に実な体 抽象代数学において体が形式的に実(けいしきてきにじつ、英: formally real)、または形式的実体(けいしきてきじつたい、英: formally real field)とは、?1 の平方根を持たず(さらに ?1 が平方元の和として表すことができない)、また平方元の和が零に等しいという関係式は自明な(つまり、その和に現れる全ての平方元がそれぞれ零に等しい、 例えば x2 + y2 = 0 ⇒ x = y = 0)場合に限られるなどの、実数体とも共通する性質を満たすことを言う。形式的実体を単に実体(じつたい[1]、英: real field[2])と呼ぶこともある[注 1]。 与えられた体が形式的に実であることは、その体を(必ずしも一意的ではない方法によって)順序体にすることができるということを特徴づける性質である。 4 実閉体 形式的に実な真の代数拡大を持たない形式的実体は実閉体(英語版)と呼ばれる[8]。即ち、形式的実体 R が実閉 (real closed) であるとは、E が形式的実体 R の形式的実な代数拡大体ならば必ず E = R を満たすときに言う[9]。実閉体において任意の奇数次多項式は根を持ち[10]、任意の正元は何らかの元の平方根を成す[11]。 形式的実体 K に対し、K を含む代数閉体 Ω をとる。このとき、K を含む Ω の実閉な部分体が存在する。これを形式的実体 K の実閉包 (real closure) と呼ぶ。実閉体は一意的な順序によって順序体にすることができる[8]。 注釈 1^ 実数のことを単に "real(s)" と呼んだり、実数体 R 上の構造という意味で「実-」と言う接頭辞を用いることもあるが、実体を実数体 R (the filed of reals/the real field[3])と混同してはならない。 2^ この二つの代数的構造は(型の)異なる代数的構造である。実際、順序体は和と積のふたつの演算と全順序というひとつの関係を持つが、形式的実体は和と積の二つの演算を持つのみである。 (引用終り) 以上です >>168 補足 ”実閉体の理論は決定可能である”とか ”群や環の公理などは、「自然数論を含まない帰納的公理化可能かつ無矛盾な公理系」であり、不完全性定理は適用できないが、不完全である”とか(^^ 覚えておこう(^^ >>168 より”不完全性定理の成立しない体系 また、実閉体の理論やユークリッド幾何学も完全であり、(直観に反して)算術を含まないため、不完全性定理は適用できない。 したがって実閉体の理論は決定可能である。もっと精密にいうと実閉体の理論では量化記号消去が可能である。この事実は数式処理系の実装などに応用されている。 なお、群や環の公理などは、「自然数論を含まない帰納的公理化可能かつ無矛盾な公理系」であり、不完全性定理は適用できないが、不完全である。 例えば、可換群と非可換群がともに存在することから、健全性定理より、群の公理からは積の可換性は証明も反証もできない。” (引用終り) >>166 補足 下記補足「本講義では、当分野における古典的な成果であるゲーデルの不完全性定理とその周辺について概説する。それが示唆するのは数学の本質的な限界であると同時に開かれた可能性であり、確固たる土台の非存在であると同時に諸理論が織りなす空間の豊饒さである。」 http://www.kurims.kyoto-u.ac.jp/kouza/ 数学入門公開講座 京都大学 数理解析研究所 http://www.kurims.kyoto-u.ac.jp/ ~kenkyubu/kokai-koza/terui.pdf 『数学』を数学的に考える 照井 一成 2009年7月30日 (抜粋) 数学にはいったい何ができて何ができないのだろうか。その可能性と限界を知りたい。そのために数学者の行う活動(定理を証明したり、反例を考案したり)を数学的に分析するのがメタ数学、ないしは数学基礎論と呼ばれる分野である。 本講義では、当分野における古典的な成果であるゲーデルの不完全性定理とその周辺について概説する。それが示唆するのは数学の本質的な限界であると同時に開かれた可能性であり、確固たる土台の非存在であると同時に諸理論が織りなす空間の豊饒さである。 方針としては算術階層に重点をおき、不完全性やさまざまな決定不能問題をその中に位置づけていく形で、統一的な解説を行う予定である。 つづく >>181 つづき 12 おわりに 本稿においては、メタ数学における否定的成果(真理述語の定義不能性、算術や一階述 語論理の決定不能性、第一不完全性など)に対して統一的説明を与えることを試みた。方 針としては、まず算術階層の概念を導入し、対角線論法を用いてその厳密性を示し、その 上で上記の否定的成果をそこに帰着させる、という道筋をとった。この方針により、それ ぞれの否定的成果が成り立つことは以下のように説明される: 1.算術の論理式に関する真理述語が算術の論理式で定義可能であるとすると、算術階 層の全体があるΣnへと崩壊してしまう(定理16、真理述語の定義不能性) 2.Qより強力かつ自然な理論Tをとると、証明可能性述語|-Tは、Σ1論理式に関する 真理述語を定義しているものと見なすことができる(定理24、Σ1表現可能性)。ゆ えにもしも`Tが決定可能、すなわちΔ1だとすると、Σ1がΔ1へと崩壊してしま う(定理25、算術の決定不能性) 3.証明可能性述語|-Tは、Σ1論理式で定義可能である(定理27)。もしも|-TがΠ1完 全であるとすると、|-Tは、Π1論理式に関する真理述語を定義することになり、Π1 がΣ1へと崩壊してしまう(定理28、Π1不完全性)。 よって全ては算術階層の厳密性に起因するものと見なすことができる(第二不完全性を除 く)。このように算術階層を機軸に据えることにより、メタ数学における様々な成果の関 係について、よりよい見通しが得られる。 (引用終り) 以上 >>179 >覚えておこう(^^ 文系かい? 数学は覚えるものに非ず >>174 >貴方は、なかなか力あるね〜 >>1 にもおっちゃんにも数学の力は全くないな ¥は父親と仲間への恨み言ばかりで 数学の話などロクにしないから 数学的には死んだも同然 数学者に人格の良さなど期待しないし 別に前科の一つや二つあっても構わないが 数学の話を一切しなくなったら終わり >>174 >貴方は、なかなか力あるね〜 >>1 にもおっちゃんにも数学の力は全くないな ¥は父親と仲間への恨み言ばかりで 数学の話などロクにしないから 数学的には死んだも同然 数学者に人格の良さなど期待しないし 別に前科の一つや二つあっても構わないが 数学の話を一切しなくなったら終わり >>174 >自分の主張に理由が無い発言 その典型が>>1 の 「「箱入り無数目」の記事は間違ってる!」 だな >>1 は「自分の主張を論理的に説明できない」点で 理系とか文系とかいう以前のブルーカラーかと思われる 引用は記憶しか能のない馬鹿のすること 思考できる人間は他人の言葉を 狂信したりしないものだ >>186 それだけ力がありながら、時枝記事がガセと気付かないのか?(^^ まあ、後でやろう(^^ >>183 いまどきの数学は、ある程度知識がないとだめだろうね(^^ そう思わないか?(^^ >時枝記事がガセと気付かないのか?(^^ ↑ バカ丸出し >>184-186 おっちゃんです。 >>>1 にもおっちゃんにも数学の力は全くないな 余計なお世話だ。 数学的書き込みを一切しないスレ主はともかく、 箱入り娘という一面だけに対するレスだけを見て数学全体の力を判断するのは大間違い。 >>187 そもそもなぜガセだと思うのか? 自分が予測できないからかね? >後でやろう(^^ 今やるぞ いかなる無限列についても、ある箇所から先が一致する同値関係が定義でき 選択公理によってその同値関係による同値類から代表列をとることができる 代表列がわかればある箇所から先は予測可能だ 問題は「ある箇所」つまり決定番号がどこか、だけ 1列サンプルをとれば、予測したい列の決定番号が サンプルの決定番号より小さい確率は1/2 2列サンプルをとれば、予測したい列の決定番号が サンプルの決定番号の最大値より小さい確率は2/3 ・・・ n−1列サンプルをとれば、予測したい列の決定番号が サンプルの決定番号の最大値より小さい確率は(n−1)/n 選択公理を否定しないのなら、予測したい列の決定番号が、 サンプルの決定番号の最大値より必ず大きくなると 主張するしかない それはオカルトそのものだろう >>190 おっちゃんには申し訳ないが >>1 がおっちゃんの能力を買い被っているので 正直に言わせていただいた 日本語の文章が正しく読めない人に 数学の理論が正しく理解できるわけがない >>192 正当な評価をすればいい。 スレ主に他人の力を評価する資格はない。 >>194 >正当な評価をすればいい。 そうさせていただいた >>193 エルデシュの例は知らなかったが、闇雲に他人を評価すると、間違った評価をしかねない。 そのような例は幾つかある。他人を評価する際は、このようなことに注意せねばならない。 >>195 それじゃ、評価好きサンは他人を勝手に評価してくれ。 私には>>196 のような確固たる信念がある。 >>196 自分の能力なんて自分自身ではわからんよ >>197 >私には確固たる信念がある。 それを人は「自惚れ」という名の妄想と呼ぶ >>192 >日本語の文章が正しく読めない人に >数学の理論が正しく理解できるわけがない ちなみに、日本語を読んで理解するという前提の下では、これは当たり前のこと。 いわずもがな。 >>198-199 自分自身の能力の限界は分からんわな。 >>148 おっちゃん、どうも、スレ主です。 戻る 過去スレ 35 http://rio2016.2ch.net/test/read.cgi/math/1497848835/624 ”1)同値関係 ”を説明しよう https://ja.wikipedia.org/wiki/%E5%90%8C%E5%80%A4%E9%96%A2%E4%BF%82 数学において、同値関係(どうちかんけい、英: equivalence relation)は反射的、対称的かつ推移的な二項関係を言う。これらの性質の帰結として、与えられた集合において、一つの同値関係はその集合を同値類に分割(類別)する。 定義 ある集合 S において、二項関係 ? が次の性質を満たすとき、? は S 上の同値関係であるという。S の任意の元 a, b, c に対し、 反射律: a ? a. 対称律: a ? b ならば b ? a. 推移律: a ? b かつ b ? c ならば a ? c. 上の三つをまとめてしばしば同値律という[1]。? が同値関係であるとき、a ? b であることを、a と b は同値であると言う[1]。 ・反射律: https://ja.wikipedia.org/wiki/%E5%8F%8D%E5%B0%84%E9%96%A2%E4%BF%82 反射関係の例:「A は B と等しい」(等式) 、非反射関係の例:「A は B より大きい」 ・対称律: https://ja.wikipedia.org/wiki/%E5%AF%BE%E7%A7%B0%E9%96%A2%E4%BF%82 例 「(A は B と)結婚している」は対称関係だが、「(A は B より)小さい」は対称関係ではない。 ・推移律: https://ja.wikipedia.org/wiki/%E6%8E%A8%E7%A7%BB%E9%96%A2%E4%BF%82 例 「AはBと等しい」(等式)、「AはBより小さい」、「AはB以下である」(不等式) 同値関係のとき、反射律と対称律とはすぐ分かるときが多いので、推移律のみ確認する場合が多い 「推移律: a ? b かつ b ? c ならば a ? c」は、例えていえば、”仲間”みたいな関係だと思えば、そう外れていない a と bが仲間で かつ b と cが仲間なら、 a と cが仲間だと これから、「a ? b かつ b ? c にも関わらず、 a not? c」は排除される。なので、同値類の集合が一意に定まる (∵ある同値類の集合をHとして、H={a,b,c・・}でd ∈Hなら、d ? a かつ d ? b かつ d ? c ・・・。 逆に、d not∈Hなら、d not? a かつ d not? b かつ d not? c ・・・。例外はない。 ) おっちゃん、分かる? >>148 おっちゃん、どうも、スレ主です。 戻る 過去スレ 35 http://rio2016.2ch.net/test/read.cgi/math/1497848835/624 ”2)商集合、代表(代表番号関連) ”を説明しよう https://ja.wikipedia.org/wiki/%E5%90%8C%E5%80%A4%E9%A1%9E 同値類 (抜粋) フォーマルには,集合 S と S 上の同値関係 ? が与えられたとき,元 a の S における同値類は,a に同値な元全体の集合 {x∈ S | x〜 a} 「同値関係」の定義から同値類は S の分割をなす.この分割,同値類たちの集合,を S の ? による商集合 (quotient set) あるいは商空間 (quotient space) と呼び,S/? と表記する. 記法と定義 元 a の同値類は [a] と書き,a と ? によって関係づけられる元全体の集合 [a]={x∈ X| a 〜 x} として定義される.同値関係 R を明示して [a]R とも書かれる.これは a の R-同値類といわれる. 同値関係 R に関する X のすべての同値類からなる集合を X/R と書き,X の R による商集合 (quotient set of X by R, X modulo R) と呼ぶ[5].X から X/R への各元をその同値類に写す全射 x→ [x] は標準射影と呼ばれる. 各同値類の元を(しばしば暗黙に)選ぶと,切断(英語版)と呼ばれる単射が定義される.この切断を s で表せば,各同値類 c に対して [s(c)] = c である.元 s(c) は c の代表元 (representative) と呼ばれる.切断を適切に取って類の任意の元をその類の代表元として選ぶことができる. ある切断が他の切断よりも「自然」であることがある.この場合,代表元を標準(英語版)代表元と呼ぶ.例えば,合同算術において,整数上の同値関係で,a ? b を a ? b が法と呼ばれる与えられた整数 n の倍数であると定義したものを考える. 各類は n 未満の非負整数を唯一つ含み,これらの整数が標準的な代表元である.類とその代表元は多かれ少なかれ同一視され,例えば a mod n という表記は類を表すことも標準的な代表元(a を n で割った余り)を表すこともある. (引用終り) つづく >>203 つづき 補足 1)時枝記事の可算無限数列のしっぽの同値類では、”標準代表元”は決められない。だから、代表元の選び方は、任意だ。 参考: https://ja.wikipedia.org/wiki/%E5%90%8C%E5%80%A4%E9%96%A2%E4%BF%82 同値関係 ”S の相異なる同値類からはひとつずつ、全部の同値類から代表元を取り出して作った S の部分集合を、集合 S における同値関係 ? の(あるいは商集合 S/? の)完全代表系 (complete system of representatives) と呼ぶ。” 2)時枝記事の実数列の集合 R^Nをベクトル空間と考えて、あるしっぽの同値類をUとして、m+1番目から先が一致するとして*) s = (s1,s2,s3 ,・・・),s'=(s'1, s'2, s'3,・・・ )∈U で 二つのベクトルの差Δs=s−s’=(s1-s'1,s2-s'2,s3-s'3 ,・・,sm-s'm,0,0,・・)となる。つまり、差を取れば、m+1番目から先は0。 注*)記述を簡素にするため。m番目から先が一致とすると「s(m-1)-s'(m-1)」の表記になり、添え字がみにくくなるため。 おっちゃん、分かる? >>148 おっちゃん、どうも、スレ主です。 戻る 過去スレ 35 http://rio2016.2ch.net/test/read.cgi/math/1497848835/624 "3)極限 https://ja.wikipedia.org/wiki/%E6%A5%B5%E9%99%90" ; <コメントしておく> 1.極限は常に考えられる 2.が、極限を考える基礎式で、複数のパターンが考えられ、異なる値になることが、ある 3.分かりやすい例が、下記コーシー分布の”コーシー分布には期待値(平均)は存在しない”の場合だ R1とR2とが、極限→∞となるとき、比 R1/R2の値次第で極限値が変わる。(正規分布では減衰が早いので、こうはならなず、一通りに決まる) 4.まとめると、「極限が取れる場合と取れない場合がある」と間違って理解している人がいるが、 正しくは、「極限は常に考えられるが、発散や振動する場合もあり、二重極限の場合はさらに、値が定まらない場合もある」ということ おっちゃん、どうですか? つづく >>202 私もやるべきことがあるし、スレ主に付き合うと厄介なことになりかねず、 時間のムダになるから,スレ主には付き合わない。 それじゃ。 >>205 つづき https://ja.wikipedia.org/wiki/%E3%82%B3%E3%83%BC%E3%82%B7%E3%83%BC%E5%88%86%E5%B8%83 コーシー分布 (抜粋) 期待値が定義されない理由 確率分布が確率密度関数f(x)を持つ場合、その期待値は以下のように与えられる。 ∫{-∞〜∞}xf(x)dx=∫{-∞〜∞}x/(π(1+x^2)) dx =[1/(2π)log(1+x^2)] {-∞〜∞} =lim R1,R2→∞ 1/(2π)(log(1+(R1)^2)-log(1+(R2)^2) =lim R1,R2→∞ 1/(2π)(log(1+(R1)^2)/(1+(R2)^2) (URLの原文を見る方が分かりやすいが)(^^ となるが、この極限はどのような値でも取り、 R1=R2の関係を保って無限大になるときは0に、 R1=2*R2の関係を保って無限大になるときは (log(1/4))/(2π)に なるなど、2重極限のとしての収束値は存在しない。 このため、期待値は存在しない。 (引用終わり) >>206 おっちゃん、どうも、スレ主です。 >私もやるべきことがあるし、スレ主に付き合うと厄介なことになりかねず、 >時間のムダになるから,スレ主には付き合わない。 それは残念だね が、一つの選択肢として理解できる まあ、お好みの話題に参加しておくれ >>187-188 >それだけ力がありながら、時枝記事がガセと気付かないのか?(^^ >いまどきの数学は、ある程度知識がないとだめだろうね(^^ まあ、数学基礎論はそこそこ知識がありそうだが 大学レベルの確率論が薄いな〜(^^ >>191 コテハンがないから、人違いならスマン 「不遇な」と同様、時枝記事が成立するなんて、”気のせい”だろ(^^ ”今やるぞ”か おれは、あまのじゃくでね 人から指図されるのが嫌いなんだ。¥さんと似ているのかもね〜(^^ どうぞとしか、いえんがね。ご勝手に、どうぞ(^^ その内、時枝もやるよ >>9 の通りだ。”時々、(時枝”だよ(^^ >>204 >可算無限数列のしっぽの同値類では、 >”標準代表元”は決められない。 >だから、代表元の選び方は、任意だ。 代表列を選ぶ(計算可能な)関数を 具体的に構成しろなんて誰もいってないがな 代表列を選ぶ関数が存在すればいい その存在を保証するのが選択公理 >>211 >時枝記事が成立するなんて、”気のせい”だろ(^^ 自分が予想できないから 誰にも予想できない筈と思うとか ただの自惚れだろ(^^ >”今やるぞ”か >おれは、あまのじゃくでね 「おれは、チキンハートでね」だろ >人から指図されるのが嫌いなんだ。 人に指図するのは大好きらしいな ¥の父親そっくりだな 同値類の代表列がとれない、というなら選択公理の否定 予測したい列の決定番号が常に最大値になる、というならオカルト >>1 の主張はどちらかね? >>206 >>1 は自分より頭悪いとおもった奴を 「人間の盾」につかう悪い癖があるからな ただはっきりいわせてもらうが >>1はおっちゃんよりもはるかに頭悪い >>209 >大学レベルの確率論が薄いな〜(^^ 99/100の算出に、大学レベルの確率論は必要ない 100個の異なる自然数の中から1つ選んで その自然数が最大でない確率は99/100 小学生でもわかること 逆に 「俺が選ぶ自然数は常に最大」 とかほざいたら 「おまえはユリ・ゲラーか?」 といわれるのがオチ >期待値が収束しない などと間の抜けたことを得意げに語るおバカさん >>137 ¥さん、どうも。スレ主です。 「独創を阻むもの 哲学不在と没個性 永田 親義著 1994/12」きました(^^ >いや辛かったのは・・、そしてまあ筑波時代ですかね。 >云わば「アレもダメ、コレもダメ、ソレもダメ」みたいな、所謂「飼い犬状態」でした。 ああ、第七章 日本になぜ独創的研究が少ないか 独創を阻む制度 にある通りですね 講座制で、「奴隷のように扱われる日本の若い研究者」(P183)の通りか まあ、想像できます でも、ノーベル賞の福井博士の講座の児玉信次郎教授の例のように(P185)、ボスの性格にもよるんですよね いまは、インターネットなどもあり、ポストも公募が多いと聞きますが 当時は、閉鎖的で、ボス同士のコネで、ポストが決まるというような話もありましたね〜 なかなか考えさせる本ですね 追伸 私が、”時枝記事ガセ”で頑張っているのも、日本の風土だと、先生方は、「波風立てたくないから」と、表だって”時枝記事ガセ”と言わないんだ 分かっているのに、表では言わないんだ。もちろん、個別に聞けば、「当然あんなもの成り立つはずない!」というんでしょうけどね(^^ 表だっては、誰も本当のことを言わない。それは、良くないだろうと。まあ、敵は多いほど面白いし・・(^^ >>218 >>1 は正真正銘の狂人だな 自分勝手な妄想を日本の風土まで持ち出して正当化するとか狂気の沙汰 凹られすぎて精神に異常をきたしたようだ 工学崩れの哀れな末路 本がもう届いたんですか。迅速ですね。永田親義氏も「酷い現場をかなり多く目の当た りにされた」のではないかと、恐らくご自身の経験なさった事柄とかも含めてですね。 実は糞父芳雄自身も私に対して「酷い目に散々遭った」という言い方をしてたんですが、 でも現実には『その糞父こそが私に対してもっと酷い事をした』という事です。だから そういう事をスル人達は『自分自身が悪い事をしてるって事を全く自覚してない』とい う事でしょうね。 昨今の自民党内部の権力争いとか、まあ小池騒動とか、そして森友・加計学園騒動とか、 そして私が激怒したのはかつてのSTAP騒動とか、そういうモノが全部、正にその「独創 を阻む」っていう問題ですよね。つまり「他人に対して偉そうにスルのが目的」で行動 するとか、或いは「他人から褒めて貰うのが目的」で研究をスルとか。 まあ政治家が(政治そのものを行う、のではなくて)政局に明け暮れるのは、それこそ 「ある程度は仕方がない」のかも知れませんが、でも大学教員が(研究そのものをソッ チノケにして)『人間関係に明け暮れる』という昨今の状況は、ホンマにいい加減にし て欲しいですわ。でもそうなる理由は: ★★★『日本人の生きる目的は出世であり、その目的の為に学問を「道具として使う」のが理由』★★★ なんですわ。欧州人はココが「その反対」ですがね。但しこれは『超一流の研究者のみ にしか当て嵌まらない』ですが。 ¥ 注意:コレは日本人が「大学を就職予備校と見做す」というのと全く同じ意味ですが。 >>20 戻る 追加資料 http://www.ailab.t.u-tokyo.ac.jp/horiKNC/representation_units/9 Title: 工学と理学の違い 堀 浩一 (東京大学) コメント返信より 2011 (抜粋) 高校生や大学教養課程の学生の皆さんの中には、工学部に進もうか理学部に進もうかと迷っていらっしゃる方も少なくないことでしょう。 (私自身は、小学生の頃からラジオや無線機を作ってはこわすのを楽しむ無線少年でしたので迷わず工学部に進学したのですが、)私の考える工学と理学の違いを書いてみましょう。ただし、あくまでも私見です。 工学と理学の最大の違いは、学問のめざすところの究極の目標の違いにあります。 ややおおげさな言い方になるかもしれませんが、工学の目標は人類の幸福、理学の目標は真理の探求です。 人工知能システムについての感想の中で、高機能の道具をどのように使っていくかを考えることが重要だ、と書きましたが、さらには、望ましくない使われ方、間違った使われ方が、そもそも不可能になるように設計することも、あわせて考えていく必要があります。 そういう意味では、工学の研究と法学の研究とは共通するところがあって、工学の先生と法学の先生とは、案外、気が合うのです。実際、人工知能の研究においても、法学の先生と工学の先生との共同研究が行われていたりします。逆に、同じ理科系でも、工学の研究者と理学の研究者では意外に気が合わなくて驚くことも少なくありません。 追記 2014年2月22日: 堀浩一: 人工知能研究の方法, 人工知能学会誌, Vol. 28, No. 5, pp. 689-694 (2013). という解説記事の中では、「文明と文化」、「科学と技術」などという章をもうけて、かなり詳しく書かせていただきました。 残念ながらこの解説記事のcopyrightは人工知能学会が持っているのでこのサイトには載せておりませんが、ざっと次のようなことを書きました。 さらに追記 2014年10月17日: Theodore von Karmanの`Scientists study the world as it is; engineers create the world that has never been.’ http://www.facebook.com/IEEE.org/photos/a.176108879110422.62121.176104589110851/738965952824709/ ということばもいいですね。 つづく >>222 つづき https://jsai.ixsq.nii.ac.jp/ej/?action=repository_uri& ;item_id=8415&file_id=22&file_no=1 PDF 人工知能研究の方法(<特集>一人称研究の勧め) 堀 浩一 人工知能学会誌/Journal of Japanese Society for Artificial Intelligence,28(5),689-694 (2013-09-01) , KJ00008829034 <参考> http://www.ai-gakkai.or.jp/vol28_no5/ ホーム ≫ 学会誌 ≫ 人工知能学会誌 Vol. 28 No. 5 (2013 年9月) 抜粋 特集:「一人称研究の勧め」 特集「一人称研究の勧め」にあたって …………………………………………………………… 諏訪 正樹・堀 浩一 688 PDF https://jsai.ixsq.nii.ac.jp/ej/?action=repository_uri& ;item_id=8414&file_id=22&file_no=1 人工知能研究の方法 ………………………………………………………………………………………………… 堀 浩一 689 PDF https://jsai.ixsq.nii.ac.jp/ej/?action=repository_uri& ;item_id=8415&file_id=22&file_no=1 (他資料含め全PDFが下記のAI書庫(アイショコ)サイトにある) https://jsai.ixsq.nii.ac.jp/ej/index.php?active_action=repository_view_main_item_snippet& ;page_id=13&block_id=23&index_id=445&pn=1&count=75&order=7&lang=japanese AI書庫(アイショコ) (引用終り) 以上です >>221 ¥さん、どうも。スレ主です。 ¥さん、昔の言葉でいう「純粋な人」ですね >コレは日本人が「大学を就職予備校と見做す」というのと全く同じ意味ですが。 確かに、就職を考えて、大学や学部を選ぶというのはありますね 「私と同世代ではおそらく抜きん出た数学者であるジャン=ピエール・セールは、自分もある段階で数学を断念することを考えたと私に語った。」マイケル・アチャ>>135 ってありますからね。ジャン=ピエール・セールでさえ、「おれ、数学でめし食っていけるのか(研究者としてやってけるか)?」ってことなんでしょうね(^^ あと、内在的動機付けと外在的動機付けと、みたいな話ですよね 内在的モチベーション(動機付け):”何の利益や報酬がなくても、学ぶことを喜んでしようとすることである。”と下記に書かれていることですね。学ぶ→研究と置き換えれば・・ 外在的モチベーション(動機付け):名誉や利益などの報酬が与えられるとか 勿論、”内在的モチベーション(動機付け)”が良いのですが・・(^^ http://tsuchy1493.seesaa.net/article/394055596.html 2005年10月07日 外在的モチベーションと内在的モチベーション Good News Collection (抜粋) 人が行動するときのモチベーション(動機付け)として2種類あるだろう。 外在的モチベーションと内在的モチベーションとがそれである。 外在的モチベーション(動機付け)とは、それをすると誉められるとか、名誉や利益などの報酬が与えられるとか、いうのがそれである。 内在的モチベーション(動機付け)とは、それをすること自体が楽しいとかおもしろいとかいうことで御sれをするケースである。それをしないではいられないような内から突き上げてくる動機付けである。 なぜ勉強をするのかという学習の動機付けの場合、外在的な動機付けは、よい点を取りたいとかよい大学に入りたいとか、勉強をして誉められたいとか尊敬されたいというのがこれである。 内在的動機付けは、勉強すること自体を楽しみとできるようなことであろう。好奇心や知的欲求、問題意識そのものに応えて学習するというのは、この内在的モチベーションに応えて学ぶことである。何の利益や報酬がなくても、学ぶことを喜んでしようとすることである。 (引用終り) 例えばですね 糞父の場合:ポスト獲得の目的で学問分野を選ぶ。だから安易な分野の方がベター。 私の場合は:数学を行うのが目的でポストを利用する。だから縛りが少ないのが良い。 という違いですわ。別の事例で言えば: ★★★『自分(という人間)の為に学問があるのと、そして学問の為に自分があるのの違い。』★★★ と同じであり、まあ「仏教的な世界観と、そしてユダヤ教的な世界観の違い」と同じで しょうね。 ユダヤ教的な世界観(キリスト教的であるとか、またイスラム世界とも同じ)では自分 の命は「宗教の為に投げ出す」という事をするので。 ¥ クソみたいなレスのために命を投げ出してるゴミがいると聞いて 追加説明をすると、これは「個人主義と集団主義の違い」に丁度対応する筈で: https://www.kinokuniya.co.jp/f/dsg-01-9784762822414 が、まあある程度の説明になってるでしょうね。つまり: ★★★『自分にとっての価値判断の基準は「天の上の神」というのと、そして「隣の隣人」の違い』★★★ であり、これが欧州的な宗教観と、そしてアジア的な宗教観の違いかと。 ¥ 個人主義は産業革命以降じゃないか 日本はまだ中世なんだよ 突然ですが、下記新聞に載っていたが(新聞ではAFP)。ミルザハニさんは過去スレでも紹介したことがある http://www.sankei.com/life/news/170716/lif1707160009-n1.html 2017.7.16 女性初のフィールズ賞、M・ミルザハニさん死去 産経 マリアム・ミルザハニさん(数学者、米スタンフォード大教授)15日の国営イラン通信などの報道によると、米国の病院で死去、40歳。がんが再発し、容体が悪化していた。死去した詳しい日時は不明。2014年に数学のノーベル賞と呼ばれるフィールズ賞を女性として初めて受賞した。イラン人としても初の受賞だった。 1977年、イランの首都テヘラン生まれ。世界の高校生らが実力を競う国際数学オリンピックで94、95年に連続して金メダルを獲得し「イランの天才少女」と呼ばれた。同国のシャリフ工科大で学士号を取得し、2008年からスタンフォード大教授を務めていた。(テヘラン共同) >>225-227 ¥さん、どうも。スレ主です。 >「個人主義と集団主義の違い」に丁度対応する筈で 確かにそれは思いますね 日本:集団主義 VS 西洋:個人主義 のような それで、ITなどの情報共有技術が進んで、”日本:集団主義”のアドバンテージが少なくなった つまり、以前は、”西洋:個人主義”はバラバラで、一緒になにかをやる難しさがあったが、IT技術がそれを補っている 日本は、”日本:集団主義”で、「一緒になにかをやる」は出来るが、「何をやるのか?」ってところが弱い そこが、佐藤スクールなどでは、強烈な個性と能力を持ったリーダーが居たってことでしょうかね?(^^ >>225 ¥さん、どうも。スレ主です。 >糞父の場合:ポスト獲得の目的で学問分野を選ぶ。だから安易な分野の方がベター。 >私の場合は:数学を行うのが目的でポストを利用する。だから縛りが少ないのが良い。 >という違いですわ。別の事例で言えば: >★★★『自分(という人間)の為に学問があるのと、そして学問の為に自分があるのの違い。』★★★ ”ポスト獲得の目的で学問分野を選ぶ”というのは、”外在的モチベーション(動機付け):名誉や利益などの報酬が与えられる”>>224 ”学問の為に自分がある”は、”内在的モチベーション(動機付け)とは、それをすること自体が楽しいとかおもしろいとかいうことでそれをするケースである。それをしないではいられないような内から突き上げてくる動機付け”>>224 ってことかなと思います 確か心理学では、外在的モチベーション(動機付け)と内在的モチベーション(動機付け)と両方、人にはあって、移り変わって行く そして、外在的モチベーション(動機付け)で始めたことが面白くなって、内在的モチベーション(動機付け)になることも多いとか ともかく、内在的モチベーション(動機付け)がベストで、これがないと長続きしないし、真の人間としてのパフォーマンス(能力)が出ないとか で、”内在的モチベーション(動機付け)だけ”というのは、”純粋”だな〜と(^^ 人は、報酬とかポストも考えるのが普通ですが ああ、「独創を阻むもの 哲学不在と没個性 永田 親義著 1994/12」第七章 ”主流につきたがる”にある、イギリスの生化学者 ピーター・ミッチェル氏の話がありますね。 生体膜におけるエネルギー変換の機構について化学浸透圧説を提唱したが、異端として評価されなかった。 しかし、最初の論文発表から29年目にノーベル化学賞を受けたと。 しかし、ピーター・ミッチェル氏は、生活費には困らない資産家だった? 「1964年に退職してイギリス南西部の田舎に牧場を買い、めぼしい機器は簡単な遠心分離機だけという研究室を自宅に設けて、助手一人を相手にほそぼそと研究を続けた」とあります。 日本の普通のサラリーマン研究者なら、退職したら、助手一人雇うなどとてもできないし、どうやって生活していくんだと(^^ ■ このスレッドは過去ログ倉庫に格納されています
read.cgi ver 07.5.5 2024/06/08 Walang Kapalit ★ | Donguri System Team 5ちゃんねる