現代数学の系譜11 ガロア理論を読む30at MATH
現代数学の系譜11 ガロア理論を読む30 - 暇つぶし2ch566:哀れな素人
17/05/03 17:19:47.66 XlJfIiOr.net
>>494
>私なりの定義はありますが,それだと 0.9999‥‥ = 1 なんです.
そうか。ではその定義を聞かせてもらいたい。

>>496
僕は本には、このスレで挙げたような説明は書いていない。
もっと本質的な理由を書いている。
その理由をここに書いてしまえば、
誰も本を買ってくれないから書かないだけである。

実は僕の本は半年間で一冊しか売れなかったのだ(笑
で、アマゾンの販売期間は二年間で、
二年間で50部以上売れ残った場合は、販売停止で、
残部はすべて著者に返品されてしまうことになっているのである。
だから何としても50部は売りたくて、再投稿することに決めたのである(笑

567:
17/05/03 17:31:54.16 6wyqCa/Z.net
>>507
>誰も本を買ってくれないから書かないだけである。

それはないですよ.
ある特定の知識をお金を払わずに得られたからといって,もうその特定の知識の掲載された本を買わない,という行動は通常はとりません.
本を買うというのは,著者を買うということなんです.

石井本の刷数増加にともなう訂正の嵐と,それにもかかわらず,いや,それだからこそコンプリートを目指す信者の行動が最近観測されました

568:現代数学の系譜11 ガロア理論を読む
17/05/03 17:40:31.32 hJ9NLdiz.net
>>505
おっちゃん、どうも、スレ主です。
野口本ね、下記は書棚から持ってきた

目次にあるように、”6.7 ピカールの小定理 6.8 ピカールの大定理”はあるよ
だが、(エミール・)ボレルの定理はなさそう。索引を引いたが、ない・・・

おっと、”ボレルの除外値”(Borel's exceptional value) P236か
うん、P236では、ピカールの定理より、ピカールの除外値(たかだか2点)と平行して、”ボレルの除外値”では似たようなことが書いてあるね

ネヴァンリンナの除外値の話も書いてある。どうも読んでみると、”ボレルの除外値”は、ネヴァンリンナの除外値に吸収されちゃたんじゃないかね?(^^;
ここP236は、”7.5 ワイエルシュトラース積”の項だな

URLリンク(www.shokabo.co.jp)
数学選書12
複素解析概論
東京大学名誉教授 理博 野口潤次郎 著

6 正則写像
 6.1 一次変換
 6.2 ポアンカレ計量
 6.3 短縮原理
 6.4 リーマンの写像定理
 6.5 境界対応
 6.6 C\{0,1}の普遍被覆面
 6.7 ピカールの小定理
 6.8 ピカールの大定理

7 有理型関数
 7.1 近似定理
 7.2 存在定理
 7.3 リーマン・スチルチェス積分
 7.4 C上の有理型関数
 7.5 ワイエルシュトラース積
 7.6 楕円関数

569:132人目の素数さん
17/05/03 17:43:36.54 YNRirDMJ.net
>>507
そうやって最初からあからさまに宣伝してりゃいいんだよ
見え透いた挑発商法じゃなくてさ

どちらにしても買わんけどな

570:132人目の素数さん
17/05/03 17:45:51.35 YNRirDMJ.net
というか、俺はお前に互除法を使った解説までしてやったんだぞ
覚えてるか?
俺に1部くらいタダで寄越しても良さそうなもんだ
要らんけどな

571:132人目の素数さん
17/05/03 18:01:24.16 3GiuaDVI.net
ポエム商法

572:132人目の素数さん
17/05/03 18:22:26.50 d9j+dY7q.net
>誰も本を買ってくれないから書かないだけである。
書かなくても売れないから心配無用

>実は僕の本は半年間で一冊しか売れなかったのだ(笑
買う奴がいるんだ、それは驚き、スレ主かな?

573:現代数学の系譜11 ガロア理論を読む
17/05/03 18:23:34.95 hJ9NLdiz.net
>>509 関連

野口潤次郎 値分布論
URLリンク(www.ms.u-t)


574:okyo.ac.jp/~noguchi/ 野口潤次郎の電網掲示板より (B5)講演記録(一部)Talks and Lectures (partial) (1) 平成9年(1997)日本数学会秋季総合分科会 企画講演 「値分布と有理点分布」 http://www.ms.u-tokyo.ac.jp/~noguchi/AKI97_KK.pdf (2) 平成15年(2003)日本数学会春季年会 第一回解析学賞受賞特別講演 「多変数ネヴァンリンナ理論とディオファントス近似」 http://www.ms.u-tokyo.ac.jp/~noguchi/03kaisho.pdf (3) 平成21年(2009)10月数理科学研究科公開講座「解析学の広がり」での講演、 「複素数の広がり」 http://www.ms.u-tokyo.ac.jp/~noguchi/fukusosu-beame-handout.pdf (4) 平成23年(2011)12月多変数複素関数論冬セミナー(広島) 「岡論文の引用記録と連接性定理について」 http://www.ms.u-tokyo.ac.jp/~noguchi/2011-TahensuWintSem-main-handout.pdf (5) 平成25年(2013)日本数学会春季年会 企画講演 「値分布と有理点分布II」アブストラクト http://www.ms.u-tokyo.ac.jp/~noguchi/2013Haru-Kikaku.pdf ・ 講演 http://www.ms.u-tokyo.ac.jp/~noguchi/2013Haru-Kikaku-beamer.pdf (6) その他色々 http://www.ms.u-tokyo.ac.jp/~noguchi/talks (6) その他色々から「値分布と多変数関数論 野口潤次郎 東京大学 数理講演会 2013(H25) 年3 月18 日」 http://www.ms.u-tokyo.ac.jp/~noguchi/talks/(2013)MSUT-H25march-beamer.pdf



575:132人目の素数さん
17/05/03 18:52:11.55 QjaSRwmw.net
>>514
>>505でいっていたボレルの定理って、
多変数ネヴァンリンナ理論とディオファントス近似
に書かれているボレルの定理のことだわ。
こちらの多変数複素解析の野口本はいい本だ。買っておいてよかったよかった。
ボレルの定理は高次元の複素数空間に一般化出来るんだよ。
多分、一応解決したと思う。じゃ、おっちゃん寝る。

576:現代数学の系譜11 ガロア理論を読む
17/05/03 19:22:59.49 hJ9NLdiz.net
>>505
おっちゃん、どうも、スレ主です。
おっちゃんの値分布の話だと、キーワードは、”ネヴァンリンナ”やね。あるいは”ネヴァンリンナ理論”とか
英文 wikipedia ”Nevanlinna theory”の情報が充実しているね

例えば下記
URLリンク(ja.wikipedia.org)
ネヴァンリンナ理論
数学の複素解析分野でネヴァンリンナ理論は有理型関数理論の一部である 。1925年にロルフ・ネヴァンリンナによって考案された。ヘルマン・ワイルは、それを「20世紀における数学的な数少ない大イベントのうちの1つ。」[1] と呼んだ。
脚注
^ H. Weyl (1943). Meromorphic functions and analytic curves. Princeton University Press. p. 8.

URLリンク(en.wikipedia.org)
Nevanlinna theory
詳細略す

See also
Vojta's conjecture (リンク先に”These versions of Vojta's conjecture provide natural higher-dimensional analogues of the ABC conjecture.”)

References
沢山あるが略

577:現代数学の系譜11 ガロア理論を読む
17/05/03 19:25:21.98 hJ9NLdiz.net
>>515
おっちゃん、どうも、スレ主です。
一件落着よかった(^^;
おやすみなさい(^^

578:現代数学の系譜11 ガロア理論を読む
17/05/03 19:30:25.11 hJ9NLdiz.net
>>516 関連

URLリンク(ja.wikipedia.org)
ロルフ・ネヴァンリンナ(Rolf Nevanlinna, 1895年10月22日 - 1980年5月28日)はフィンランド・ヨエンスー出身の数学者。1926年からヘルシンキ大学の教授を務めた。
関連項目[ソースを編集]
ネヴァンリンナ賞
ネヴァンリンナ理論

URLリンク(en.wikipedia.org)
英語版で充実している

579:現代数学の系譜11 ガロア理論を読む
17/05/03 20:38:35.64 hJ9NLdiz.net
>>514 イロハ(abc-)予想関係

URLリンク(www.ms.u-tokyo.ac.jp)
URLリンク(www.ms.u-tokyo.ac.jp)(2004)NoguchiJ-Talk-Nev-abc.pdf
ネヴァンリンナ理論とイロハ(abc-)予想 東�


580:蛛E数理 野口潤次郎 2004 (抜粋) 本稿では,小林双曲性,有理点の有限性,Nevanlinna 理論,有理近似論(Diophantus 近似論),それらの関数体上での理論,等々の間の理論的,有機的類似に着目する.図式 的には⇒を応用の向きを表すとして次のようになる.関数体上の理論は,ちょうど中間 に位置するとみられる. これに密接に関係するのが,Masser-Oesterl´e によるabc-Conjecture (ここでは,和訳とし て“イロハ予想” と呼ぶ) である. イロハ予想の定式化は,代数体K 上でも同様の式になる.そのとき,(1.5) の左辺第二項 のないものが,Roth の定理である:即ち, これからも分かるように,イロハ予想は大変強い主張をしていることになる.次の節で 分かるように,イロハ予想は有理型関数にたいするNevanlinna の第二主要定理の類似で ある. 以下では,このような視点から観るとき,Diophantus 近似論,値分布論,関数体上の 有理近似論でなにが問題となり,どこまで分かっているかを論ずる.



581:現代数学の系譜11 ガロア理論を読む
17/05/03 20:46:27.36 hJ9NLdiz.net
>>519 追加

内容は、ほとんど同じだが、こちらは2002年の公式の論文。但し、参考文献は>>519の方が新しいものが入っているね(^^
URLリンク(repository.kulib.kyoto-u.ac.jp)
Title ネヴァンリンナ理論とイロハ(abc-)予想 (解析的整数論の新しい展開  野口潤次郎 著 数理解析研究所講究録 (2002)

582:現代数学の系譜11 ガロア理論を読む
17/05/03 21:02:44.79 hJ9NLdiz.net
>>519 関連

発見・予想を積み重ねる それが整数論・・・か。面白そうだよ (^^
サンプルPDFあり
URLリンク(estore.ohmsha.co.jp)
URLリンク(d3mo2u0k1926zu.cloudfront.net)
PDFサンプルファイル

発見・予想を積み重ねる それが整数論 2016/12/20 オーム社 eBook Store
安福悠著
この書籍についてツイートする この書籍をFacebookでシェアする この書籍をはてなブックマークに追加する
一番やさしい整数論??暗号理論・フェルマーの定理・abc予想まで学べる、数論の集大成

整数論(数論とも呼ばれる、number theory)とは数、特に整数およびそれから派生する数の体系(代数体、局所体など)の性質について研究する数学の一分野で、「フェルマーの最終定理」等が有名です。

本書は「読み物」ではなく、かつ単に問題を解く教科書でもない、考え方に重きを置いた本を目指します。
本書の大きな魅力は、数学の専門書以外ではあまり扱われることがなかった定理も証明し、興味を持ってくれた人にはわかってもらえるよう、イラストを入れ、詳細な説明を行います。数論は決して易しい学問ではなく、特に「abc予想」等は難問として超有名ですが、これをゴールとすることで、明確な目標を提示できる書籍となります。

このような方におすすめ
教養科目としての数学受講生
代数学・解析学を学ぶ前の数学科の学生
高校教員 (大学の数学の紹介として)
数学・整数論愛好家
数学に興味がある(った)退職世代
暗号関係のエンジニアで、数学的仕組みを知りたい方
高校教員 (大学の数学の紹介として)
アマチュア数学家
昔は数学に興味があったが、別の仕事に就き今は退職した世代
暗号関係のEngineerで、数学的仕組みを知りたい方

583:現代数学の系譜11 ガロア理論を読む
17/05/03 22:03:26.16 hJ9NLdiz.net
突然ですがメモ
URLリンク(ja.wikipedia.org)
(抜粋)
エントロピック重力または創発的重力は、現代物理学の理論であり、重力をエントロピックな力として記述する。エントロピックな力は、(電磁気力の光子や強い核力のグルーオンのような)場の量子論やゲージ理論を媒介とした基本相互作用ではなく
物理系のエントロピーを増加させようとする傾向の確率論的な結果のことを言う。この提案は、物理学会で論争されていて、重力の熱力学的性質の研究の新しい方向を呼び起こした。

エリック・ヴァーリンデの理論
2009年にエリック・ヴァーリンデは、エントロピックな力として重力を記述する概念的なモデルを開示した。 2010年1月6日に、彼はOn the Origin of Gravity and the Laws of Newtonというタイトルの29ページの論文をプレプリントとして出版した。
この論文は、2011年4月にはJournal of High Energy Physicsに掲載された。[6] その論理は300年以上の論理をひっくり返すような論理で、重力は「物質の位置に関連付く情報」の結果である」と議論している。このモデルは、ジェラルド・トフーフトのホログラフィック原理を持つ重力と熱力学的アプローチを結びつけている。
これは、重力は基本相互作用ではなく、ホログラフィックスクリーン上にエンコードされたマイクロスコピックな自由度の統計的振る舞いから創り出された現象であることを意味している。論文は、科学界からの様々な反応を引き起こした。
ハーバード大学の弦理論の研究家アンドリュー・ストロミンジャーは、「それは誤りであるという人もいれば、それは正しいがもう分かっていることだよという人もいる。つまり、それは正しくて深く、正しくて自明なことである」と。
2011年7月、ヴァーリンデはさらに発展させたアイデアであるダークマターの起源についての説明できるのではとの考えを、the Strings 2011 conferenceで提案した。
ヴァーリンデの論文は、多くのマスメディアの注目を集め、宇宙論のフォローアップ記事、ダークエネルギー、宇宙の加速度的膨張、宇宙のインフレーション] やループ量子重力理論 についてもすぐに書かれることとなった。また、ある特別なマイクロスコピックモデルが、実際、大きなスケールで現れるエントロピック重力をもたらすことを示したものもある。

584:現代数学の系譜11 ガロア理論を読む
17/05/03 22:04:19.29 hJ9NLdiz.net
英語版
URLリンク(en.wikipedia.org)
Entropic gravity

585:132人目の素数さん
17/05/03 22:05:50.12 d9j+dY7q.net
コピペで上から目線はできますか?

586:
17/05/04 01:24:39.21 QqRl+q38.net
>>521
おもしろそう
RSA暗号をやるのだったら
URLリンク(www.amazon.co.jp)
をお勧めしてしまいますね,平方剰余の相互則抜きのレベルです.

587:132人目の素数さん
17/05/04 02:17:01.45 /TgZHfqA.net
>>525
あなた数学板で有名な荒らしを相手に会話してるのを忘れないでね

588:現代数学の系譜11 ガロア理論を読む
17/05/04 06:46:28.81 x3HFcyPu.net
>>525
C++さん、どうも。スレ主です。
情報提供ありがとう

URLリンク(www.amazon.co.jp)
トップカスタマーレビュー
(抜粋)
5つ星のうち 5.0RSA原理理解の良書
投稿者 スペクター 投稿日 2009/3/26

現在の公開鍵暗号のひとつであるRSAは、整数論を


589:基礎としています。これは、大昔から有名な話であり、私も知っていました。電子工学科出身の私も現在は情報通信のソフトウエアで生計を立ているため、ま、整数論を大学で勉強したことはないが、読んでみるかと思い、簡単そうな整数論の本を探して読みかけました。 しかし、読み出して数10ページで挫折し、読むのをあきらめた本が多数となりました。挫折した理由は、ほぼ、本書のあとがきに書かれたとおりでした。つまり、何を目的にした議論であるのかがまったく分からないという状態が続き、モチベーションが低下して挫折するという流れです。 あとがきの「はっきりいって整数論は面白くない」という冒頭の言葉には、「そうか、私だけが思っているのはないのだな」というつよい共感を感じました。 5つ星のうち 4.0最高にわかりやすい数論入門書 投稿者 雑学家 投稿日 2007/7/29 はっきりいって、初等整数論はおもしろくない!との著者のあとがきを読んで思わず引き込まれました。砂漠で砂をかみしめる味気ない専門家向けの本とは違い、わかりやすく語りかけてくれる初学者むけの本です。 この著者が絶賛する「素数夜曲」吉田武や「すぐわかる代数」石村園子や「ゼロからわかる数学」戸川 美郎 と併読するとより理解がスムースです。なお公開鍵暗号は6章の14ページのみです。 一松 信 「改訂新版 暗号の数理」との併読を薦めます。 ネットで「数学者の密室」は必見です。 なお有限体についてはネットで[・・・]の26頁が非常にわかりやすいので必読です。



590:現代数学の系譜11 ガロア理論を読む
17/05/04 06:56:58.98 x3HFcyPu.net
>>526
ID:/TgZHfqAさん、どうも。スレ主です。お褒めを頂き光栄です

>あなた数学板で有名な荒らしを相手に会話してるのを忘れないでね

が、残念ながら、証明がない。”有名な”の部分ですよ

それから、”荒らし”の定義がない。”荒らし”とは? 私は、自分でガロアすれを立てて、ほぼガロアすれから出ていないよ? ”あらし”は有名芸能グループですよ(^^

URLリンク(ja.wikipedia.org)(%E3%82%B0%E3%83%AB%E3%83%BC%E3%83%97) あらし グループ

で、2CH 数学板をなんと心得ているのか? まさか、学会と勘違いしていませんか?

591:現代数学の系譜11 ガロア理論を読む
17/05/04 07:11:07.49 x3HFcyPu.net
>>524
>コピペで上から目線はできますか?

マジレスすれば、コピペの目的は、1)自分のメモ、2)情報提供&情報共有 の2つ
コピペに目線はないです。目的はあります

それから、2CH 数学板で何が価値ある情報なのか? コピペでしょ? 
2CHの発言者は、どこの馬の骨とも分からない名無しさん。発言はヒントにはなっても、信頼・信用はできない(^^;

それより、URLとコピペにずっと価値がある。大学教員クラスの情報なら特に・・(^^

URLリンク(gogen-allguide.com)
馬の骨(うまのほね) - 語源由来辞典
【意味】 馬の骨とは、素性の解らない者をあざけっていう言葉。「どこの馬の骨かわからない」などと使う。
馬の骨の語源は、中国で役に立たないものの代表として言われていた言葉「一に鶏肋(けいろく)、二に馬骨」である。
「鶏肋」とはニワトリの肋骨のことで、小さ過ぎて役に立たない。
逆に「馬骨」は、役に立たないうえに大き過ぎ処分にも困る。
このことより、誰にも必要とされず役に立たない者を意味するようになった。
さらに、その意味が「大人であるが成長過程や職業がわからない」といった意味でも使われ、漢字の「骨」には「人柄(ひとがら)」という意味もあるため、「馬の骨」は現在のような意味に変化したものと思われる。
身近にいた動物として他に「牛」もいたため、古くは「牛の骨」という言葉もあった。

592:現代数学の系譜11 ガロア理論を読む
17/05/04 07:27:06.57 x3HFcyPu.net
>>529 補足

情報提供の「プッシュ型」「プル型」を知っていますか(下記)?(^^
プッシュ:このスレに迷い込んできた人に、コピペが目に入るようにする
プル:ググったときに、キーワードヒットするように。URLだけでなく、その内容抜粋をコピペすることで、キーワードヒットします。また、2CH 内に書くことで、無名個人ブログより、上位に出ます

「2CH 内に書くことで、無名個人ブログより、上位に出ます」というところ
これは、個人的にも便利です。どこか過去スレに書いたという曖昧な記憶でも、スレタイと適切なキーワードを入れると、googleさんが探してくれます(^^;
ここに、URLとコピペ書き込む意味と目的は、そういうことです・・(^^

URLリンク(www.web-doctor.jp)
「プッシュ型」「プル型」の使い分けについて Webドクター 2014/11/10
(抜粋)
マーケティングには「プッシュ型」「プル型」と呼ばれるものがあり、状況に合わせてそれぞれを使い分けていく必要があります。
直訳すると「プッシュ(PUSH)=押す」「プル(PULL)=引く」といった意味になりますが、今回はその特徴について例を交えてお話したいと思います。

プッシュ型について
広告主側で決めたタイミングでユーザー(ターゲット)に情報を伝えていくもの。
ユーザーの意思に関係なく、受動的に情報を受け取る。

プル型について
ユーザー(ターゲット)が能動的に情報を取りに行くもの。

593:現代数学の系譜11 ガロア理論を読む
17/05/04 07:53:07.07 x3HFcyPu.net
>>527 補足
>あとがきの「はっきりいって整数論は面白くない」という冒頭の言葉

日本には、「整数論は数学の女王」という都市伝説があります(^^;
都市伝説ですから、根拠はあいまいです(下記)

が、高木貞二というえらい先生で、日本人で最初に世界的業績を上げました人がいます。当時は数学の賞が無かったようで(フィールズ賞 1936年に作られた)、残念ながら受賞はありません。が、フィールズ賞の審査員をしたとか読んだ記憶あり
高木貞二先生の業績が、代数的整数論だとか。で、代数的整数論は日本のお家芸的扱いですね。整数論の本たくさんありますね(^^;

URLリンク(ja.wikipedia.org)
(抜粋)
『ある数学者の生涯と弁明』(あるすうがくしゃのしょうがいとべんめい、原題: A Mathematician's Apology)とは1940年にイギリスの数学者、G・H・ハーディによって書かれた随筆である。
「数学は科学の女王であり、数論は数学の女王である。」というカール・フリードリヒ・ガウスの言葉についてのハーディがしているコメントの中でも強調されている・・・
ガウスの意図したものは、数論を構成する基礎的概念は数学の他のどの分野と比較してもより深く、より優雅である」とハーディは言っている。

URLリンク(oshiete.goo.ne.jp)
(抜粋)
質問者:matsui888質問日時:2007/07/05 教えて!goo
ガウスや高木貞二とかが「整数論は数学の女王」だと言ったそうですが
何故,整数論は数学の女王と言えるので�


594:オょうか? No.7回答者: string 回答日時:2007/07/06 既出ですが、たんにガウスがそう言ったからであって、あまり一般的な認識ではないと思います。 ガウスよりも能力の高かったニュートンは整数論なんて一切興味がありませんでした。 オイラーは、友人のゴールドバッハがいろんな問題を手紙に書いて送ってくるのでそれに答える形で整数論をやりましたが、主体的に興味をもってとりかかったというわけではありません。 リーマンは整数論の論文はたった数ページの論文を1つしか書いていません。リーマンの一番の関心は熱、光、磁気、電気、重力の間の相互作用を統一的に把握することでした。



595:現代数学の系譜11 ガロア理論を読む
17/05/04 07:56:29.51 x3HFcyPu.net
>>531 補足

イギリスの数学者、G・H・ハーディ先生によれば、「数学は科学の女王であり、数論は数学の女王である。」というカール・フリードリヒ・ガウスの言葉
これが、いつの間にか、「整数論は数学の女王」となったみたですね。詳しくは、知りませんが・・(^;

596:現代数学の系譜11 ガロア理論を読む
17/05/04 08:35:43.59 x3HFcyPu.net
>>532 訂正

いつの間にか、「整数論は数学の女王」となったみたですね。
 ↓
いつの間にか、「整数論は数学の女王」となったみたいですね。

597:現代数学の系譜11 ガロア理論を読む
17/05/04 09:07:34.73 x3HFcyPu.net
>>506 関連

日程 5/3~5/5
スレリンク(bgame板)
第27回世界コンピュータ将棋選手権スレ

URLリンク(sizer.main.jp)
大会特設サイト

598:現代数学の系譜11 ガロア理論を読む
17/05/04 09:52:32.18 x3HFcyPu.net
メモ

URLリンク(ja.wikipedia.org)
(抜粋)
ゴットロープ・フレーゲ(Friedrich Ludwig Gottlob Frege[2], 1848年11月8日 - 1925年7月26日)は、ドイツの哲学者、数学者、論理学者であり、現代の数理論理学、分析哲学の祖と呼ばれる。

業績[ソースを編集]
フレーゲはアリストテレス以来の最大の論理学者といわれる。革命的な『概念記法』(Begriffsschrift) は1879年に出版され、アリストテレス以来2,000年変わらずに続いていた伝統論理学を一掃して論理学の新時代を切り開いた。
今日の数学で定着している∀(任意の)や∃(存在する)のような量化はこのフレーゲの業績に基づいている。

フレーゲは命題論理と述語論理の公理化を最初に行った人物であり、特に述語論理はそれ自体がフレーゲの発明である(実際には概念記法は高階論理の体系であり、ラムダ計算の祖ともいえる極めて先駆的なものである)。
しかしそのあまりもの先進性、独創性(そしてひょっとしたら彼の既存の説への激しい攻撃)ゆえにフレーゲの同時代にはその意義は十分に理解されなかった。彼の概念が広まったのは、ジュゼッペ・ペアノやバートランド・ラッセルらによるところが大きい。

ルートヴィヒ・ウィトゲンシュタインとエトムント・フッサールは、フレーゲの影響を大きく受けた哲学者である。また、ルドルフ・カルナップはフレーゲの授業に出席しており、彼の(カルナップによればシャイな)性格について書き残している。
またフレーゲは言語哲学や分析哲学の基礎を確立した人物の一人としても数えられる。「意義と意味について」における意味(独:Bedeutung, 英:meaning, reference)と意義(独:Sinn, 英:sense)の区別、概念と対象との区別などで知られる。

フレーゲは数学は論理に帰着しうるとする論理主義の最初の主要な論客でもあり、彼の『算術の基本法則』(Grundgesetze der Arithmetik) は自然数論および実数論を論理から導こうとする企てであった。

599:哀れな素人
17/05/04 10:22:18.34 sCXWN84D.net
ざっと見て、とくにレスしたい投稿はないが、
定義男にせよ、互除法男にせよ、
事実上という語の定義にいやに拘っているようだから書いておくと、
事実上と書こうと実際はと書こうと同じことで、
そんな語に数学的な定義を与える必要はない(笑

世間の大多数の人は、
「無限小数は、事実上、有限小数にすぎない」
ということを理解すれば、
「無限小数というようなものは存在しない」
ということに同意するのである。

もっと正確な証明がしたい者はすればいい。しかし、
「無限小数は、事実上、有限小数にすぎない」
ということを理解すれば、
「無限小数というようなものは存在しない」
ということを理解したのも同然である。

ちなみに互除法男はこのことを理解したようだが、
定義男はまだ理解していないように思える(笑

600:哀れな素人
17/05/04 10:30:52.24 sCXWN84D.net
僕が思うに、このスレの人間は、無限小数とは何か、についても、
0.99999……は1であるか否かということについても、
これまで考えたこともなく、関心を持ったこともないのである。
だからいきなり「無限小数は数ではない」と言われて、
当惑しているのである。ただそれだけだ。

いきなり変な奴が現れたな、と思っているだろうが、
少し興味を持って考えてみれば、
僕の言っていることはトンデモではないと分る。
分ってみれば、今までなぜこんなことが分らなかったのだろう、
と思えるほど簡単なことなのだ。

実際、他スレでバードウォッチングの比喩を出した時、
高卒男が「そうか、分ったぞ。なるほど、子供でも分ることだ」
と書いてきた。実際、子供でも分るほど簡単なことなのだ。

午前の投稿はここまで。

601:132人目の素数さん
17/05/04 10:37:20.77 /TgZHfqA.net
>>536
> ちなみに互除法男はこのことを理解したようだが、
> 定義男はまだ理解していないように思える(笑

お前は 事実上 というだけで数学的には何も説明してないのだから理解できなくて当たり前

これで理解した人間は数学の素養がヒトカケラもない人間だ。お前みたいな。

いくら挑発しようがお前の馬鹿本の売り上げは伸びないw
このさきずっと、自分のやってしまった馬鹿に気付かずに生きていけるといいね
ご家族はいらっしゃるのかな?いるのなら、とてもかわいそうだ
お前の本も国会図書館に保存されるのか?シェルフの無駄、税金の無駄である

602:132人目の素数さん
17/05/04 11:27:18.07 gl/e379O.net
数学では無定義語を連発するのに、日常言語では厳密に定義を求める馬鹿

603:哀れな素人
17/05/04 11:32:04.20 sCXWN84D.net
>>538
互除法男乙(笑

おや、お前は理解したのかと思っていたが、そうではなかったのか(笑

「事実上、こうなっている」ということを理解すれば、
理解したのも同然である(笑
なぜ、こうなっているのか、という理由は理解できなくても、
「事実上、こうなっている」ということを理解すれば、
理解したのも同然である(笑

僕は本の中で、「事実上、こうなっている」理由を説明している(笑

僕の本は国会図書館に保存されている。
いつか誰かが僕の本を発見し、
日本にこんな天才がいた!と驚くだろう(笑

ちなみに僕は生涯独身で、妻子はない。
兄弟はいるが、まだ兄弟に本のことは知らせていない。
僕の兄弟はみんな優秀だから、本を読めば、
僕が正しいことを理解するだろう。
お前だって本を読めば僕が正しいことを理解せざるを得ないのだ(笑

604:哀れな素人
17/05/04 11:36:11.50 sCXWN84D.net
>日常言語では厳密に定義を求める馬鹿

僕がどこかで日常言語では厳密に定義を求めたか?(笑

こういう罵倒嘲笑しかできないチンピラ。
2chにうようよいるアホ。
互除法男はこいつより少しはましだ。
スレ主はこんな文章は書かないまともな男だ。

2chにいるとこういうチンピラばかりなので心底嫌になる。

605:現代数学の系譜11 ガロア理論を読む
17/05/04 11:37:45.83 x3HFcyPu.net
哀れな素人さん、どうも。スレ主です。
まあ、ゆっくり議論していって下さい(^^

606:132人目の素数さん
17/05/04 11:38:36.95 gl/e379O.net
スレ主といい素人といい、まじめに勉強を積んでこなかった者の醜態ぶりは目に余る

607:132人目の素数さん
17/05/04 11:42:47.74 gl/e379O.net
>>541
>>日常言語では厳密に定義を求める馬鹿
>僕がどこかで日常言語では厳密に定義を求めたか?(笑

誰もお前のことなんて言ってないw 


608:別の馬鹿に言ったんだよw でもお前は馬鹿という自覚はあるようだから誰かさんよりはマシw



609:132人目の素数さん
17/05/04 11:44:54.10 gl/e379O.net
>スレ主はこんな文章は書かないまともな男だ。
良かったなスレ主、お褒めの言葉を頂いたぞ
やはり同類同士通じるものがあるんだなw

610:哀れな素人
17/05/04 12:45:28.76 sCXWN84D.net
僕はスレ主の寛容さに心底感心している。
毎日毎日罵倒嘲笑されながら平然としていられることは
並大抵の人間に出来ることではない。

スレ主は僕の本の題名を見てトンデモだと思ったようだから、
あまり頭の良い男ではない。しかしそれは他のスレ民も同じだ。
今のところ一人も僕の説に興味を示した者はいない。

僕の本はトンデモではない。
たとえば大正時代に浜名寛祐が「契丹古伝」の中で、
卑弥呼は馬韓の女王である、という説を唱えているのである。
この説が、ズバリ、正解なのだ。
しかし一般人はそういう説を唱えた人物がいることさえ知らないのである。

そして僕の数学本もトンデモではない。
アリストテレスやニコラウス・クザーヌスも僕と同じことを言っている。

今日は4日だから、まだ帰省中や行楽中のスレ民がいるだろう。
そのうちスレ民が帰ってきて、誰かひとりでも
僕の本に興味を持ってくれる者が現れればいい。

611:132人目の素数さん
17/05/04 13:05:46.67 4iJZbS9W.net
自称天才

612:132人目の素数さん
17/05/04 13:18:49.98 gl/e379O.net
>>546
逆だな
もしお前がこの場でお前の説について納得ゆく説明を与えたなら本を買ってやろう
もしお前が宣伝に固執するなら決して買わない

お前は本を売りたいんだろ? ここで説の説明をした上でこちらの指摘に全て答えてみろ
1冊は確実に売れるし、たぶん相当な数売れると思うぞ?

613:現代数学の系譜11 ガロア理論を読む
17/05/04 16:01:49.96 x3HFcyPu.net
>>534

優勝候補のPonanzaにelmoが勝ったらしいね。どこがどうなったのか?真相を聞いてみたいね(^^
スレリンク(bgame板)
第27回世界コンピュータ将棋選手権スレ

614:現代数学の系譜11 ガロア理論を読む
17/05/04 16:11:27.84 x3HFcyPu.net
>>546
哀れな素人さん、どうも。スレ主です。

>僕はスレ主の寛容さに心底感心している。

お褒めを頂き、ありがとうございます。ただ、個人的には、お褒めを頂くほどのことも無く、別にどうということもないですよ(^^

>毎日毎日罵倒嘲笑されながら平然としていられることは

例の High level people さん、ほぼ1名ですよ。哀れな素人さんが来られたときとは、状況が変わりました。スレ28の敗残兵1名です。スレ28の廃墟から這い出してきた 例の High level people さんです

>並大抵の人間に出来ることではない。

はい、あまりのレベルの高さに、議論がまったくかみ合いません。>>239-240の確率論もよくご存知らしいですが、知りすぎていて、確率論を全く語らないところが凄いです!(^^

まあ、そういう場合は、2CHでは”放置”が定跡です・・(^^

615:現代数学の系譜11 ガロア理論を読む
17/05/04 16:40:35.91 x3HFcyPu.net
>>546
>ニコラウス・クザーヌスも僕と同じことを言っている。

ニコラウス・クザーヌスさん、寡聞にして知りませんでした
哀れな素人さん、勉強家ですね~(^^;

URLリンク(ja.wikipedia.org)
(抜粋)
ニコラウス・クザーヌス(Nicolaus Cusanus、1401年 - 1464年8月11日)は、ドイツの哲学者・神学者・数学者・枢機卿であり、中世の博学者。

思想
クザーヌスは「知ある無知」や「反対の一致」などという独創的な思想を唱えた。クザーヌスによれば神の本質は、あらゆる対立の統一=反対者の一致である。無限の中では極大と極小(神と被造物)が一致する。
すべての被造物は神の映しであり、それぞれの独自な個性を持ちながらも、相互に調和している。中でも人間は自覚的に神を映し出す優れた存在であり、認識の最終段階においては神との合一が可能であるという。
彼の思索は中世の混沌のなかから


616:近代的思考を準備したと高く評価されている。 対立したものに調和をもたらそうという自身の思想の実現の為、東西教会、キリスト教とイスラム教やユダヤ教、公会議派と法王派など、つねにいろいろな立場に理解を示し行動を続けた。 また、ジョルダーノ・ブルーノ、ヨハネス・ケプラー、ゴットフリート・ライプニッツ、カール・ヤスパースなど、後生の顕学にも多大な影響を与えた。日本でも生誕600年を期に注目が高まり、研究が進んでおり、関連書籍の出版などが続いている。



617:132人目の素数さん
17/05/04 16:46:48.52 gl/e379O.net
やはり〇〇とは気が合うみたいだね、〇〇〇〇同士気が合うのだろう
純粋な数学の問い(>>139)はシカトなのに、誹謗中傷は何故か熱心な〇○○さん

618:美魔女
17/05/04 21:06:45.16 AKzt24yo.net
哲学板最強の美魔女です👸宜しくお願いいたします✨

619:現代数学の系譜11 ガロア理論を読む
17/05/04 21:36:59.93 x3HFcyPu.net
>>239 関連
URLリンク(www2.odn.ne.jp)
ランダムの概念はどう発展してきたか (宮部 賢志)(京都大学)数学基礎論サマースクール 2012
(概要)
ランダム,確率,予測などの概念は互いに密接に関係している.
また,分類,推定,相関などの概念も関係が深い.実際,
ランダムネスの理論が現れたことにより,それに関連する概念の
見方に影響を与えている.本講義では,まず確率およびランダム
に対する見方の歴史を紹介し,ランダムネスの理論の影響を受けて
それらの見方がどう変わり,それが数学的にどう定式化されようと
したか,またそれらが抱えている問題点などについて説明する.

(抜粋)
現実への応用のために
既に述べてきたように,数学的確率論の結果を現
実の「ランダムな現象」に応用するには,何らかの
形で確率の頻度論が必要であろう.そしてその避け
られない部分はすでにvon Misesの精力的な努力に
より確立されている.(Kolmogorov 1963)

ここまでのまとめ
公理主義的確率論
ー確率(モデル)を最初に仮定する
ーランダムが数学と物理の架け橋として使われる
von Misesの理論
ー独立同分布に相当する場合にのみ考える
ーランダムはその条件として使われる

URLリンク(www2.odn.ne.jp) 只木孝太郎 中央大学
URLリンク(www2.odn.ne.jp)
計算可能性とランダムネス 数学基礎論サマースクール 2012

URLリンク(www.mathsoc.jp)
数学基礎論サマースクール

620:132人目の素数さん
17/05/04 21:37:54.48 /TgZHfqA.net
>>548
> もしお前がこの場でお前の説について納得ゆく説明を与えたなら本を買ってやろう
> もしお前が宣伝に固執するなら決して買わない

俺もこれに乗ってやるよ

ほれ、説明してみな

621:現代数学の系譜11 ガロア理論を読む
17/05/04 21:40:03.14 x3HFcyPu.net
>>553
美魔女さん、いらっしゃい
どうも。スレ主です。
男性ですね
どうもそういう雰囲気が・・(^^;
まあ、ゆっくりしていってください(^^;

622:132人目の素数さん
17/05/04 21:41:36.10 /TgZHfqA.net
>>240
> まあ、並べ替えたら、なにがなんだか、入れた私にも分からない・・。当てられるはずがない・・
> とまあ、”まったく自由に”だから、>>239で引用した確率論のランダム現象の数理と真っ向対立するんだ

雑誌の数学の証明が読めないので現実世界の"私"に当てはめ、
ランダム故に当てられないはずだ


623:・・・わからないはずだ・・・対立するんだ・・・!!! で証明が間違っていると必死になって周りを説得しようとするスレ主の図



624:現代数学の系譜11 ガロア理論を読む
17/05/04 21:44:44.66 x3HFcyPu.net
>>553
美魔女さん、スレ主
一つお願いが・・

哀れな素人さんが、自著について議論したいそうです
是非、哲学板にもさそってあげてください

ここ数学板では、どうしても議論が数学の面だけになって、哲学的な面がおろそかになりますから・・(^^;
適当な時期に、よろしくね(^^;

625:132人目の素数さん
17/05/04 22:28:23.87 4iJZbS9W.net
哲学の天才はいないからな
数学の箔を付けたいんだろ

626:現代数学の系譜11 ガロア理論を読む
17/05/04 22:54:09.01 x3HFcyPu.net
>>554 関連

これ読んだが、私には難しすぎるね(^^;
URLリンク(www2.odn.ne.jp)
● ランダムの概念はどう使えるか (宮部 賢志)(京都大学)数学基礎論サマースクール 2012

ランダムには「使えない」というイメージがある反面,
乱択アルゴリズムに代表されるように「使える」ものでもある.
本講義では「ランダム=うまく振る舞う=収束」という見方が
数学的に正当化できることを説明する.例として挙げるのは,
ランダムの概念の微分可能性による特徴付けと,エルゴード定理
による特徴付けである.この2つは,ランダムネスの解析への
応用として,最近特に活発に研究されている.また,上記の
見方の応用として,正規数の構成問題についても触れる.

627:現代数学の系譜11 ガロア理論を読む
17/05/04 23:00:12.84 x3HFcyPu.net
>>559
>哲学の天才はいないからな

ああ、確かにね
哲学の天才と呼ぶケースは少ないが・・

19世紀あるいは20世紀前半は、数理哲学みたいな時代があったような
そういう時代には、数学で天才と呼ばれる人で、哲学へ傾斜した人がいたような・・、基礎論系だと思ったが・・(^^;

628:現代数学の系譜11 ガロア理論を読む
17/05/04 23:14:52.66 x3HFcyPu.net
>>561 関連

URLリンク(kotobank.jp)
(抜粋)
コトバンク> ブリタニカ国際大百科事典 小項目事典> 数理哲学とは

数の哲学ともいう。数学の対象となる事物を理性の認識対象としてだけとらえ,その根拠を研究する思弁的学問。

デジタル大辞泉の解説
すうり‐てつがく【数理哲学】

数学に関連する事柄を研究する哲学。19世紀末におけるカントルの集合論以後、数学基礎論の展開と関係が深く、著しい発達を遂げた。
出典|小学館

URLリンク(ja.wikipedia.org)
(抜粋)
数学の哲学(すうがくのてつがく、英: philosophy of mathematics)は、哲学(科学哲学)の一分野で、数学を条件付けている哲学的前提や哲学的基礎、そして数学の哲学的意味を研究するものである。数理哲学とも言われる。

初期のヒルベルトは演繹主義者であったが、上記のように、メタ数学的方法が本質的に有意味な結果を生み出すと考え、有限算術に関して実在論の立場に立っていた。後年には、どんな解釈を取ろうとも有意味な数学は他に一切ありえないという見解をもつようになった。
ルドルフ・カルナップ、アルフレト・タルスキ、ハスケル・カリーら他の形式主義者たちは、数学とは形式公理系の研究のことであると考えた。数理論理学者は形式体系を研究しているが、形式主義の立場に立つ研究者も実在論の立場に立つ研究者も同程度にいる。

直観主義擁護派の主要人物は、いかなる種類の形式化された論理学も数学にとって有益でないとしたブラウワーであった。彼の学生であったアレン・ハイティングは直観論理を定式化した。

フレーゲとタルスキが数学的言語の研究のために案出した方法が、タルスキの学生であったリチャード・モンタギューや形式意味論の分野で研究している他の言語学者たちによって大幅に発展し、数学的言語と自然言語との違いは見


629:かけほど大きくないかもしれないということを明らかにしている。



630:現代数学の系譜11 ガロア理論を読む
17/05/04 23:21:13.24 x3HFcyPu.net
>>554 関連メモ

URLリンク(www.mathsoc.jp)
数学基礎論サマースクール

2017年のサマースクール予定 テーマ:計算理論 幹事:鈴木登志雄(首都大学東京)
<リンク略>
2016年 モデル理論
2015年 非古典論理(様相論理)
2014年 集合論(特に強制法(forcing)理論)
2013年 証明と構成
2012年 計算可能性とランダムネス
2011年 モデル理論
2010年 超準解析の基礎と応用
2009年 非古典論理の代数的セマンティクス
2008年 Asian Logic Conference (神戸)のため開催せず
2007年 集合論のブール値モデルと強制法
2006年 証明論
2005年 モデル理論
2004年 計算量
2003年 非古典論理
2002年 実数の集合論

(モデル理論3回、非古典論理3回、集合論(強制法関連)2回、証明関係2回か)

631:現代数学の系譜11 ガロア理論を読む
17/05/04 23:39:16.02 x3HFcyPu.net
ああ、時枝解法>>240と「無限の猿定理」という比較も面白かも・・(^^;

URLリンク(ja.wikipedia.org)
(抜粋)
無限の猿定理(むげんのさるていり、英語: infinite monkey theorem)はランダムに文字列を作り続ければどんな文字列もいつかはできあがるという定理である。比喩的に「猿がタイプライターの鍵盤をいつまでもランダムに叩きつづければ、ウィリアム・シェイクスピアの作品を打ち出す」などと表現されるため、この名がある。

概要[編集]
この「定理」は、巨大だが有限な数を想像することで無限に関する理論を扱うことの危険性、および無限を想像することによって巨大な数を扱うことの危険性について示唆を与える。

猿の打鍵によって所望のテキストが得られる確率は、たとえば『ハムレット』くらいの長さのものになると、極めて小さくなる。宇宙の年齢に匹敵する時間をかけても、実際にそういったことが起こる見込みはほとんどない。しかし、定理は「十分長い」時間をかければ「ほとんど確実」にそうなる、と主張する。

話を簡単にするため、タイプライターのキーがちょうど100個あるとする (この数は実際のキー配列での数に近い)。例えば「monkey」という1単語からなる文章は全部で6文字あるので、ランダムにキーを叩いて、「monkey」とタイプされる確率は、1兆分の1

例えば仮に1秒間に10万文字打てるとしても、たった100文字の文章を登場させるのに要する時間は太陽の寿命の1無量大数倍の1000京倍にもなる。

632:132人目の素数さん
17/05/04 23:44:17.18 /TgZHfqA.net
> そして僕の数学本もトンデモではない。
> アリストテレスやニコラウス・クザーヌスも僕と同じことを言っている。

不愉快な奴だなお前は

数学の命題を数学の言葉で説明できず
事実上そうだから、とか
アリストテレスも同じことを言っている、とか。
ばかじゃねーの

633:現代数学の系譜11 ガロア理論を読む
17/05/04 23:47:10.49 x3HFcyPu.net
>>560 関連

ああ、やっと欲しい話がヒットしたね(^^;
URLリンク(www.math.sci.osaka-u.ac.jp)
大阪大学大学院理学研究科数学専攻・理学部数学科
杉田 洋 (Hiroshi SUGITA) 研究分野 確率論
URL URLリンク(www.math.sci.osaka-u.ac.jp)

私の専門は確率論です。とくに無限次元確率解析、モンテカルロ法、確率論的数論といった分野に興味を持っています。ここでは、モンテカルロ法について書くことにします。
現代確率論が2年次で習う「確率・統計」よりどこが進歩しているか、を一言でいうと「無限個の確率変数を扱えるようになったこと


634:」ということができます。たとえば「確率・統計」でN回のコイン投げの確率モデルが出てきますが、現代確率論では無限回のコイン投げの確率モデルを実現します。 じつは驚くべきことに、確率論のすべての対象は(非可算個の独立確率変数を考える、などというマニアックな場合を除いて)原理的には「無限回のコイン投げ」を基にして作り上げることができます。 この原理はモンテカルロ法において生かされます。すなわち、モンテカルロ法では、まず、シミュレートしたい確率変数Sをコイン投げのサンプルの関数として構成します。 そして、コイン投げのサンプル…疑似乱数生成器と呼ばれるコンピュータプログラムを用いて算出されます…をその関数に放り込むことによっ て、Sのサンプルを計算するのです。 そこで重要な問題は「疑似乱数生成器をどのように構成するか」ということです。長い間、ランダムな数列を生成するプログラムなど存在しない、という理由で、そもそも完全な疑似乱数生成器は存在しない、と信じられてきました。 それが1980年代に提案された「計算量的に安全な疑似乱数生成器」という概念は、完全でない疑似乱数生成器でも確率変数Sのシミュレートを事実上完全に実行し得る可能性があることを人々に信じさせました。 近年、私は大数の法則を利用して確率変数の平均値をモンテカルロ法によって求める場合に限っては、完全な疑似乱数生成器が存在し、実際にコンピュータで実現することができることを証明しました。



635:現代数学の系譜11 ガロア理論を読む
17/05/04 23:56:37.02 x3HFcyPu.net
>>566 つづき

1)思考実験として、仮に、杉田 洋先生が、完全な疑似乱数生成器を使って、可算無限個の箱に乱数を入れたとしよう(杉田 洋先生「証明しました」という)
2)それを、時枝先生が、100列に並べ替えて、ある箱の数を、確率99/100で当てられるとしよう(数学セミナー記事にあるように「時枝解法の数学的に厳密な証明はない」。つまり”選択公理を使ったから非可測集合になって・・(厳密な確率論ではない)”と言い訳を書いているので証明になっていない!)

1)と2)は、明らかに数学的に矛盾する。どちらを選ぶか、大学数学科高学年になれば・・、明白だろう(^^

636:現代数学の系譜11 ガロア理論を読む
17/05/05 00:05:16.09 ZYeih3Vj.net
>>567 つづき

時枝解法が成立しないことは、明白だ
つまり、確率論的に、「完全な疑似乱数生成器が存在し、実際にコンピュータで実現することができる」という証明と真っ向矛盾するよ

だから、私の興味は、成立しない話が、なぜ成立するように見えるのかだ
その観点から、「極限の扱い」を論じるなら、話に乗るが

時枝解法を正当化するための議論には乗らないよ
私の「極限の扱い」が間違っている可能性は否定はしない。が、つまらん議論に巻き込まれて、「時枝解法が成立」なんてへんな方向に引き摺られないように用心しているだけさ(^^;

637:132人目の素数さん
17/05/05 00:08:29.60 ukKf/W5G.net
話に乗るとか偉そうに上から目線する前に大学一年一学期の数列の勉強から始めるべき

638:132人目の素数さん
17/05/05 01:26:24.03 HcHCrqQG.net
>>567
> 完全な疑似乱数生成器を使って、可算無限個の箱に乱数を入れたとしよう
これは「完全な疑似乱数生成器」の入力値と出力値(可算無限数列)を一対一に対応させること

>>566
> 私は大数の法則を利用して確率変数の平均値をモンテカルロ法によって求める場合に限っては、
>>568
> 時枝解法が成立しないことは、明白だ
> つまり、確率論的に、「完全な疑似乱数生成器が存在し、実際にコンピュータで実現することができる」という証明と真っ向矛盾するよ

時枝の数当ての出題をたとえばサイコロを使って行うとすれば出目の平均値を求められるがこの場合は入力値と出力値(可算無限数列)を
一対一に対応づけなくても各出目の出現頻度で求められるから数当ての成立とは無関係

639:現代数学の系譜11 ガロア理論を読む
17/05/05 07:35:06.18 ZYeih3Vj.net
>>566 関連

杉田 洋先生、本を出しているみたいだね
URLリンク(www.amazon.co.jp)
確率と乱数 (数学書房選書 4) 単行本 ? 2014/7/11
杉田 洋 (著), 桂利行 (編集), 栗原将人 (編集), 堤誉志雄 (編集), 深谷賢治 (編集)

URLリンク(twit)


640:ter.com/kshara2009/status/597701292052586496 Keisuke Hara (原啓介) 2015年5月11日 明日5月12日発売の「数学セミナー」2015年6月号に、「確率と乱数」(杉田洋著/数学書房)の書評を書かせていただきました。タイトルはちょっと(かなり?)気取って、「確率論はランダムネスの夢を見る」。 https://www.nippyo.co.jp/shop/magazine/6834.html 数学セミナー  2015年6月号 数セミ メディアガイド 『確率と乱数』──原啓介  94



641:現代数学の系譜11 ガロア理論を読む
17/05/05 07:45:37.14 ZYeih3Vj.net
>>571 関連

これ、本の要約かな(^^
URLリンク(mathsoc.jp)
確率と乱数 杉田洋 日本数学会 数学通信 2013

URLリンク(mathsoc.jp)
数学通信第18巻第2号目次
URLリンク(mathsoc.jp)
「数学通信」バックナンバー

642:現代数学の系譜11 ガロア理論を読む
17/05/05 08:02:26.08 ZYeih3Vj.net
>>572 つづき

URLリンク(mathsoc.jp)
確率と乱数 杉田洋 日本数学会 数学通信 2013
(抜粋)
乱数とは
そもそも「ランダムである」とはどういうことでしょうか.この問いに答えるために考
え出されたのが「乱数」という概念です.突き詰めれば,確率論の第一の目的は「乱数の
性質を詳しく調べること」ということになります.
これからお話しする乱数の定義は,1960 年代にコルモゴロフ,チャイティン,ソロモノ
フらがそれぞれ独立に与えたものです.それを現代風にアレンジしてご紹介します.

情報の圧縮とランダム性

コルモゴロフらは乱数を次のように定義しました.
定義1 長い{0, 1}-列で,どのような方法でもほとんど圧縮することができないものを
ランダムな{0, 1}-列,すなわち乱数という.

4.2 ベルヌーイの定理|{大数の法則

硬貨投げは表と裏がそれぞれ同じ確率1=2 で出る,

5 モンテカルロ法

ここではベルヌーイの定理の応用としてコンピュータを用いたモンテカルロ法を紹介します.
(引用終り)

643:現代数学の系譜11 ガロア理論を読む
17/05/05 08:25:48.39 ZYeih3Vj.net
>>573 つづき

時枝記事については、>>238-240ご参照(特に>>240

で、話を簡単にするために、箱に入れる数を{0, 1}に限定しましょう。いわゆるブール値です
杉田先生のように、コンピュータを用いたモンテカルロ法でも良いし、実際に硬貨を使っても良い
箱に順番に、数{0, 1}(0か1のどちらか)をランダムに入れる。可算無限の数列ができる
100列に並び変える。ここは、空箱を100列に並び変えて、列名をR1~R100として、各列先頭の箱に入れて、それが終われば各列2番目に・・・と繰り返せば、数学的には同じこと
各列R1~R100が、ランダムであることは自明

で、時枝記事は、ある箱を確率99/100で当てる方法があるという。これは、ランダム数列のある箱(どの箱であれ)の確率1/2に反する
時枝は、この方法は、”非可測集合を経由したから、良いのだ~”という

つづく

644:現代数学の系譜11 ガロア理論を読む
17/05/05 08:27:41.41 ZYeih3Vj.net
>>574 つづき

>>101-102に示すように
2016/07/04に”確率論の専門家”さんが来て、”そもそも時枝氏の勘違い”だと(”当てられっこないという直感どおり,実際当てられないという結論が導かれる”ともいう)
そのときは、High level people たち、「ありがとう、勉強させてもらった」、「貴方がもっと早く現れていれば無駄な議論を重ねずに済んだのだが」と平伏していた

が、十分な理解が出来てないんだろうね、スレ28を自分達で立てたが、行き詰まってしまって、いまスレ28は廃墟
で、廃墟から、またこのスレにはみ出してきて、このスレで時枝記事をねちねちやってんだが・・、困


645:るのは、確率論の常識がないってこと(>>240) まあ、杉田先生の本でも読んでみたらどうだ? まあ、確率論を学んで「時枝解法不成立」をしっかり納得できるレベルに達したら、数列の極限でもなんでも議論しましょうということだよ(^^ おわり



646:132人目の素数さん
17/05/05 08:48:51.75 ohNWXbbh.net
>>575
その専門家とやらは論破されてるけどな

647:132人目の素数さん
17/05/05 08:51:47.03 ohNWXbbh.net
>>576
過去スレ読んでみ
事象空間の取り方がまずく、説明になってないのを指摘されてるよ

648:132人目の素数さん
17/05/05 08:54:14.25 ohNWXbbh.net
あのさあ、スレ主は賢い人がこう言った、馬鹿がそれに平服した、とか言うだけだよね~

自分の主張はあの糞みたいな数列の連結論法でしょ笑

649:現代数学の系譜11 ガロア理論を読む
17/05/05 08:59:23.33 ZYeih3Vj.net
論破ね~
High level people らしい発想だね

数学は、ディーベートかい?
自分達が、しっかりスレ28で、証明を1本しっかり書けば良いんでないの? 時枝解法の”非可測集合を経由したから、良いのだ~”>>574という(^^

「論破」は、数学用語にはないよ!
しいて言うなら、「反証」だな・・(^^

論破ね~
相手がいなくなって、こそこそ書くのが、High level people の論破かい?

650:現代数学の系譜11 ガロア理論を読む
17/05/05 09:07:37.48 ZYeih3Vj.net
私スレ主の主張は、時枝記事に関し>>573-575に書いてあるように

数学セミナー 時枝記事(>>238)は、不成立なんで
なぜ、不成立なのか? 成立するように見えるのか? その理由を考えましょうということだよ

無限数列の連結も、その文脈で考えてこそ意味があるのであって
時枝記事成立の議論に使って貰っても、意味がない

ディーベートなら、相手を”論破”すれば良いのかもしれないが
まあ、ここは数学板だから、相手を”論破”しても、自分が正しい証明にはならないぜ

数学セミナー 時枝記事不成立の文脈で議論するならOKだが
High level people のディーベートには、参加しないよ(^^;

651:哀れな素人
17/05/05 09:50:55.94 AAGabOVr.net
>>548>>555
僕はネット上では本質的な理由は書かない。
なぜならネット上に発表してしまうと、すぐに拡散されてしまって、
「それを最初に唱えたのは私だ」と言う奴が現れるからだ。

無限小数は数ではない、ということに気付いているのは
僕だけではないかもしれない。
1 無限小数というようなものは存在しない。
2 無限小数は数としては存在できない。
こういうことは、地球上人類は何十億人もいるのだから、
気付いている人も少しはいると思うのだ。

しかしそれを本に書いて発表したのは、たぶん僕が最初だろう。
僕は最初の発見者という名誉を横取りされたくないのだ。

652:132人目の素数さん
17/05/05 09:53:21.21 PjI90M8W.net
訴訟おこされる可能性はまずないにしても、著作権法違反だぞw
URLリンク(kasumigase.seesaa.net)

653:哀れな素人
17/05/05 10:02:13.50 AAGabOVr.net
美魔女という面白そうな人物が登場した。
この人なら僕の言っていることを理解するかもしれない。

美魔女よ、僕は「無限小数は数ではない」という主張をしているのだ。
具体的には、
1 無限小数というようなものは存在しない。
2 無限小数は数としては存在できない。
という主張をしている。

これが絶対完全に正しいことは分っているが、
その理由はネット上には書かない。
しかしこの説が正しいことを比喩的に説明している。

>>473>>474>>487などを見てほしい。
こういうのを読むだけで、分かる者には分る(笑
実際、高卒で、数学など何の関心もない男でも、
バードウォッチングの比喩を読んで、「分った」と書いてきた(笑
ここの連中は東大?を出ているくせに
こんな簡単なことが分らないのだ(笑

654:哀れな素人
17/05/05 10:11:55.27 AAGabOVr.net
別の比喩を書いておこうか。

ある日、マラソン大会が開かれました。
選手は一斉にスタートしました。
しかしゴールは永遠の彼方にあり、
選手は決してゴールインできません。

さて、このマラソン大会はどうなるでしょうか。

注意
僕は簡単に悟られたくないために、
設問の意味をわざとぼかしている(笑

655:132人目の素数さん
17/05/05 10:29:09.05 ukKf/W5G.net
>>580
>無限数列の連結も、その文脈で考えてこそ意味があるのであって

意味があるとか無いとか以前に完璧に間違いであることが未だに理解できない憐れなスレ主
この男の間違いを認めない強情さは見上げたものである

656:132人目の素数さん
17/05/05 10:29:59.09 ukKf/W5G.net
反論するならいつもの誹謗中傷でなく数学でやってくれ

657:132人目の素数さん
17/05/05 10:32:36.28 ukKf/W5G.net
>>581
>僕はネット上では本質的な理由は書かない。

了解、お前の本は買わないし、たぶん誰も買わないだろう

658:132人目の素数さん
17/05/05 11:09:26.37 Bsvtl91M.net
どうも、おっちゃんです。
そういえば、時枝記事には何らかの数学的意義や価値はあるのか?
単なる高校のレベルの問題で終わってしまったんだけど。

659:132人目の素数さん
17/05/05 11:35:04.96 AAGabOVr.net
>>587
買わないのはお前の勝手だが、買って読まないと、
いつまでたってもカントールの集合論はペテンだ、
ということが分らないだろう。
その結果、いつまでも可算無限だとか非可算無限だとか、
0.99999……=1だとか、
バカな議論を続けることになるのである。

おっちゃんはこの話題には参加してこない。
たぶんおっちゃんは無限小数とは何か、とか、
0.99999……=1は正しいか否か、などについて
一度も考えたことはなく関心を持ったこともないからだ。

おっちゃんだけではない。
たぶんこのスレの全員がそうなのである。

660:132人目の素数さん
17/05/05 11:49:00.41 RJy0ifZL.net
>>473に書かれていることは、次のようなバカげた主張と全く同じ。


「半直線」とは、一方に端点があり、
もう一方が無限にのびている直線のことを言う。
以下の半直線

―――――……

を考える。ここでの「……」は記号だから、これは事実上

―――――

という有限の長さの線分であり、端点が2つあることになる。
――――――…… と書いても同じである。
これは事実上、―――――― という有限の長さの線分であり、
端点が2つある。
――――――――――……と書いても同じである。
これは事実上、―――――――――― という有限の長さの線分であり、
端点が2つある。

どこまでいっても同じである。
どこまでいっても有限の長さの線分であり、端点が2つある。
決して真の半直線にはならない。


この主張のどこがバカげているかは誰にでも分かるだろう。

661:132人目の素数さん
17/05/05 11:59:43.30 6dGkqDa3.net
>>590
だよねえ
明らかに 事 実 上 という言葉が肝だ
ほかに理由付けが何もないからなw

俺の妄想上 とか 俺の宗教の教えるところでは とかなら理解しようもあるんだけどなw

現実世界に無限個の原子が存在しないから時枝は間違っている!
とか言ってたスレ主とおんなじニオイがするぞおまえ

662:132人目の素数さん
17/05/05 12:00:24.57 Bsvtl91M.net
>>589
>たぶんおっちゃんは無限小数とは何か、とか、
>0.99999……=1は正しいか否か、などについて
>一度も考えたことはなく関心を持ったこともないからだ。
いやいや、カントールの集合論を否定したら、そういう問いは考えても意味がなくなる。
カントールの集合論を認めた上で、0.99999……=1 は証明すべき命題か公理として認めるか、
というような問いには一応意味がある。まあ、公理として認める数学はあるが、
それは 0.99999……=1 を命題として示す解析が出来た上での話だな。

663:哀れな素人
17/05/05 12:39:47.59 AAGabOVr.net
>>590
だから問題は半直線というものが実際に存在するか否か、
ということである。

お前は
>この主張のどこがバカげているかは誰にでも分かるだろう。
と書いているが、
世の中には半直線というものの存在を認めない者もいるだろう。

>>592
0.99999……=1は正しいか否か、ということについて思索すれば、
カントールの集合論が間違いだと分る。

664:哀れな素人
17/05/05 12:48:17.62 AAGabOVr.net
そもそも僕が無限小数について思索するようになったのは、
現代数学では0.99999……=1と見なされていることを知ったからである。
直感的に、そんなバカなことがあるはずがない、と思った。
だから0.99999……は1ではないことを証明してやろうと思ったのである。
その結果たどりついたのが、
1 無限小数というようなものは存在しない。
2 無限小数は数としては存在できない。
ということだ。
「無限小数は数ではない」という題名にしたのは2の意味でだ。
数としては存在できないものは数ではないから、
「無限小数は数ではない」という題名にしたのである。

ちなみに最初に付けた題名は「0.99999……は1ではない」である。

665:132人目の素数さん
17/05/05 12:52:04.54 RJy0ifZL.net
>>593
>世の中には半直線というものの存在を認めない者もいるだろう。

お前はどうなの?
半直線の数学的存在性を認めるの?

もし認めるのなら、それにも関わらず 0.99999…… について >>473 のような発言をすることは
ダブルスタンダードであって矛盾するから、「認めない」という態度を取らざるを得ないはずだが、
実際のところはどうなの?

666:哀れな素人
17/05/05 12:55:18.19 AAGabOVr.net
僕が「0.99999……は1ではない」という論文を書いたのは、
もう二十年ほど前のことである。
その論文を書いた後で、NHK教育の子供向け番組で、
秋山仁が子供たちに0.99999……=1という証明を行っていた(笑
なんとアホな奴だろうと思い、そんな嘘八百を放送しているNHKにも呆れた。

しかし今も事態はまったく変わらない。
0.99999……は1ではないと主張する数学者がひとりもいない、
日本にも世界にも(呆

667:132人目の素数さん
17/05/05 12:57:13.65 EhR6WV0t.net
有界な単調数列は収束する

668:哀れな素人
17/05/05 12:58:42.96 AAGabOVr.net
僕の論理から言えば、無限直線というものは存在しない、
ということになる。

669:132人目の素数さん
17/05/05 13:03:19.12 RJy0ifZL.net
>>598
我々が「 半直線 ―――――…… 」と書いたとき、
ここでの ―――――…… という記号列は、
便宜上そのように書いているに過ぎないメタ表現の一種なのである。
にも関わらず、記号の見た目だけを見て

「これは有限の長さの線分であって、端点が2つある」

と言ったところで、メタ表現の表面的な記号の形に
ケチをつけているだけなのでナンセンスである。

別の言い方をしてもよい。
たとえば、正整数の値を取る変数 n を持ってきたとする。
このとき、哀れな素人君は、

「 この n という記号は1文字だから、事実上、1桁の正整数しか表していない 」

と言っているようなものである。
何桁の正整数でも、n という1文字の記号で表そうというメタ表現が変数 n の役割であり、
変数記号が何文字で構成されているかは「変数」という概念にとって全く意味を成さないのに、
記号の見た目にこだわって「1桁の正整数しか表してない」などとバカな発言をする。
……そのようなたぐいの的外れな発言をしているのが、哀れな素人君である。

半直線は存在しないと発言すること自体は別に構わないが、その理由が
「メタ表現の表面的な記号の形にケチをつけているだけ」なのが
非常にバカげているのである。なーにが「理論」だよ。

670:132人目の素数さん
17/05/05 13:18:11.62 EhR6WV0t.net
世間的には、だから何なんだという反応だろうな

671:132人目の素数さん
17/05/05 13:57:44.82 Bsvtl91M.net
>>593
>0.99999……=1は正しいか否か、ということについて思索すれば、
>カントールの集合論が間違いだと分る。
歴史的には、0.99999……=1 は正しいか否か、
ということについて考えた末に、カントールの集合論が生まれたともいえる。
カントールの集合論とほぼ同時期に実数論が生じて、0.99999……=1 が厳密に示された。
そのような問いは、熱伝導方程式の解をフーリエ級数で表したことで生じた
フーリエ級数の問題の中に或る意味で含まれるから、或る意味で物理に基いた問いだが。

672:132人目の素数さん
17/05/05 14:43:46.24 6dGkqDa3.net
本を書くよりブログに書いてアフィリエイトで儲けたら良かったのに。
そうすればここにいる何人かはお前の売り上げに貢献でき、かつストレス発散にもなりwin-winだったのにな

673:現代数学の系譜11 ガロア理論を読む
17/05/05 16:01:16.83 ZYeih3Vj.net
みなさん、どうも。スレ主です。香ばしい議論、お疲れです。(^^

細かいが、>>582は誤爆だろう
>>583 「ここの連中は東大?を出ているくせに」→東大はいないだろう。多分

>>588 「そういえば、時枝記事には何らかの数学的意義や価値はあるのか? 単なる高校のレベルの問題で終わってしまったんだけど。」→おっちゃん、ありがとう。おっちゃんにそう発言してもらうと、High level people たちも心強いだろうね(^^

674:132人目の素数さん
17/05/05 16:11:20.33 HcHCrqQG.net
>>574
> 箱に順番に、数{0, 1}(0か1のどちらか)をランダムに入れる。可算無限の数列ができる

要は時枝記事では「非可測集合を経由すれば」任意の可算無限数列を出題できてその場合には
数当てが成立すると言っている

時枝解法不成立の立場で極限をとって数列を可算無限長にするのならば極限値である可算無限数列を
非可測集合を経由しないで選んでその極限値に収束することを示すことになる

ランダムに順番に入れていくだけでは


675:可算無限長にはならないから極限をとることになるが スレ主はその場合に何に近づけていくつもりでいるの?



676:現代数学の系譜11 ガロア理論を読む
17/05/05 21:08:51.22 ZYeih3Vj.net
>>604
ID:HcHCrqQGさん、スレ主です。
あなた方 High level people たちがしているのは、ディベートであって、数学の証明ではない

簡単に指摘しておく

1.”「非可測集合を経由すれば」任意の可算無限数列を出題できてその場合には数当てが成立する”と言っている
 →未証明。本来、これをスレ28で証明するつもりではなかったか?
2.時枝記事に書いてあるように、現代数学の主流のコルモゴロフ流確率論は、ルベーグ測度をベースにしているから、”測度ベースの確率”は定義できない
 だから、確率の定義から始める必要あり
3.過去スレでも引用したように、脱コルモゴロフの流れは現代数学でもいろいろと始まっている
 では、時枝のいう「非可測集合」による確率論とはなにか? 時枝のオリジナル確率論なのか、それとも、いろいろ先行している脱コルモゴロフ確率論の流れのどれかなのか?

で、どうぞ、そういう話は、スレ28でお願いしますよ(^^
数学はね、ディベートじゃない。議論はあっていい。だが、最後証明が書けるかどうかだ

どうぞ、スレ28に”「非可測集合を経由すれば」任意の可算無限数列を出題できてその場合には数当てが成立する”の証明をお願いします
私は、証明できないに1票を入れておきます

677:現代数学の系譜11 ガロア理論を読む
17/05/05 21:11:39.84 ZYeih3Vj.net
>>605 訂正

2.時枝記事に書いてあるように、現代数学の主流のコルモゴロフ流確率論は、ルベーグ測度をベースにしているから、”測度ベースの確率”は定義できない
 ↓
2.時枝記事に書いてあるように、現代数学の主流のコルモゴロフ流確率論は、ルベーグ測度をベースにしているから、非可測集合では”測度ベースの確率”は定義できない

678:哀れな素人
17/05/05 22:09:52.98 AAGabOVr.net
>>599
イミフなアホレス乙(笑

>>601
だから0.99999……=1だと見なしたカントールはアホだ、
と言っているのである(笑

ちなみに無限小数は存在するか、という問題と、
半直線は存在するか、という問題は別といえば別である。
なぜなら前者は数論の問題だが、後者は幾何学の問題だから。

ついでにいっておくと、半直線が存在しようとしまいと、
無限小数というようなものは絶対に存在しない(笑

スレ主の言う通り、ここには東大卒はいないのかもしれない。
あまりにアホだ、書いている内容も文章も(笑

679:132人目の素数さん
17/05/05 22:17:33.54 ohNWXbbh.net
>>607
> イミフなアホレス乙(笑

本当にスレ主と同じだなお前w

スレ主も論理的に論破されるとあの手この手で回答をはぐらかすんだわ
お前も今にスレ主と同じことを言い出すぞ。
「俺は証明を書かれても読まないんだぜ!2chはアスキーでうんたらかんたら」とかなww

680:哀れな素人
17/05/05 22:24:24.84 AAGabOVr.net
僕が思うに、そこらのごく素朴な一般人が、
0.99999……=1
と聞けば(え、そんなバカな…)と思うだろう。
たぶんそう思う人の方が多いはずだ。

定義男のように、数学知識のある一部の者だけが、
0.99999……=1
を肯定するのである。なぜなら本にそう書いてあるからだ。

しかしごく普通の人々はそんなふうには思わない。
普通の人は、0.99999……<1
と思っているはずである。

そしてごく普通の人のこういう考えの方が正しいのである。

681:132人目の素数さん
17/05/05 22:29:27.50 AAGabOVr.net
>>608
>>599がイミフなアホレスだと分らないお前のアホさよ(笑

ダメだ、こいつらは(笑
2chはアホの巣だということがまざまざと分る(笑

682:132人目の素数さん
17/05/05 22:37:07.94 RJy0ifZL.net
>>610

>われわれは無限小数を表すとき、たとえば0.99999……と書く。
>しかし……は記号だから、これは事実上0.99999という有限小数である。

お前が>>473で書いているこの主張は、「0.99999……」というメタ表現の
表面的な記号の形にケチをつけて「事実上0.99999という有限小数である」
と言っているに過ぎない。やっていることは>>599に書いたことと全く同じ。

メタ表現の表面的な記号の形にケチをつけて「存在しない」などと
吠えることのバカらしさを自覚せよ。

683:哀れな素人
17/05/05 22:37:50.17 AAGabOVr.net
僕は以前次のような質問を出した。

0.33333……=1/3(あるいは1/3=0.33333……)

これは正しいか否か、と。

ところがこんな小学生レベルの問に対しても何の回答もないのだ(笑
下手な回答をして嗤われるのを恐れているのだろう(笑
いい年をした大人が、こんな質問にさえ答えられないのだ(笑

684:哀れな素人
17/05/05 22:42:21.11


685: ID:AAGabOVr.net



686:132人目の素数さん
17/05/05 22:42:28.82 HcHCrqQG.net
>>605
> そういう話は、スレ28でお願いしますよ
そういう話ではないのです

時枝記事では「非可測集合を経由すれば」分類した数列のシッポを極限値にできる

> ランダムに順番に入れていくだけでは可算無限長にはならないから極限をとることになるが
> スレ主はその場合に何に近づけていくつもりでいるの?

箱に順番に数を(ランダムに)入れ終わる前にスレ主は数列を可算無限長にするための極限値を
知っていてその極限値に近づけていくわけだから

> ”「非可測集合を経由すれば」任意の可算無限数列を出題できてその場合には数当てが成立する”の証明をお願いします
とスレ主は書いているが

> 箱に順番に、数{0, 1}(0か1のどちらか)をランダムに入れる。可算無限の数列ができる
は「非可測集合を経由すれば」という条件を外した主張になっていて
スレ主は「非可測集合を経由すれば」という条件を外しても極限値(可算無限数列のシッポの数字)を当てることは
可能だと自分で書いているわけ
(それを数当て不成立の根拠にしているところがスレ主の良い所なのでしょうね)

687:132人目の素数さん
17/05/05 22:46:32.21 RJy0ifZL.net
>>613
どうした?反論があるなら具体的に反論しろよクソ低能。


もう少し別の具体例を挙げよう。

紙の上に 正三角形ABC が書いてあり、
「この図は正三角形である。角BAC が何度であるか求めよ」
と書いてあったとしよう。

ここでお前は次のように言うのだ。

「この図は正三角形ではない。現実世界では必ず誤差が生じて歪みが出る。
 だから、この図は正三角形ではない。よって、この問題には答えられない。
 そもそも、完全な正三角形は現実世界には存在しない。」

つまり、与えられた記号の表面的な形にケチをつけて
「〇〇という概念は存在しない」と吠えるのである。
全く本質的ではないし、ナンセンスである。

お前がやっているのはこういうことに過ぎない。

688:現代数学の系譜11 ガロア理論を読む
17/05/05 22:49:28.71 ZYeih3Vj.net
>>534 関連

elmoが勝って優勝。Ponanzaを破る番狂わせ
URLリンク(live4.computer-shogi.org)
第27回世界コンピュータ将棋選手権 ライブ中継

決勝 7回戦 elmo - Ponanza Chainer 棋譜リンクあり

elmo開発者の瀧澤誠さんのブログ URLリンク(twitter.com)

elmoは公開だと スレリンク(bgame板) 【ポナに圧勝】史上最強ソフトelmo 無料公開される

あと、まふ定跡 メモ URLリンク(www.uuunuuun.com)
将棋フリーソフト rating on single machines 技巧新定跡(まふ定跡)December 9, 2016

689:132人目の素数さん
17/05/05 22:53:02.18 RJy0ifZL.net
>>607
>ちなみに無限小数は存在するか、という問題と、
>半直線は存在するか、という問題は別といえば別である。
>なぜなら前者は数論の問題だが、後者は幾何学の問題だから。

お前の理論(笑)に従えば、両者の概念は全く同じ理由によって
存在性が否定されるのだから、お前にとっては何の違いも生じない。

>ついでにいっておくと、半直線が存在しようとしまいと、
>無限小数というようなものは絶対に存在しない(笑

逃げちゃダメだよ。「お前にとっては」両方とも存在しないのだからな。

==================================
われわれは無限小数を表すとき、たとえば0.99999……と書く。
しかし……は記号だから、これは事実上0.99999という有限小数である。
どこまでいっても同じである。
どこまでいっても有限小数である。
決して真の無限小数にはならない。
==================================


==================================
我々は半直線を表すとき、たとえば ―――――…… と書く。
しかし……は記号だから、これは事実上 ――――― という
有限の長さの線分であり、端点が2つあることになる。
どこまでいっても同じである。
どこまでいっても有限の長さの線分であり、端点が2つある。
決して真の半直線にはならない。
==================================

690:哀れな素人
17/05/05 22:54:42.96 AAGabOVr.net
>>615
アホレス乙(笑

僕はお前の書いているようなことは一切言っていない(笑

ちなみに僕は無限小数という概念は存在しないと言っているのではない。
無限小数という概念はあり、
それがどういう概念であるかは誰でも理解しているが、
われわれが無限小数だと思っているものは、
実際は有限小数にすぎない、
ということを言っているのである。

そのことを示唆するために、
0.33333……は実際は0.33333という有限小数にすぎない、
と言っているのである。分るか?(笑

691:現代数学の系譜11 ガロア理論を読む
17/05/05 22:57:51.96 ZYeih3Vj.net
>>614
私は、時枝記事が成り立たないことを前提として
時枝記事がなぜ成り立たないか? なぜ、成り立つように見えるか
そういう議論には参加するが

時枝記事が成り立たないこと前提とするの部分が
共有できない人とは議論しません
あしからず

では、とうぞスレ28へ。下記7でしたね。私は行きませんから�


692:i^^ ここから見ていますよ。自分達が立てたスレが寂れたからと、這い出してこないようにお願いします(^^; 現代数学の系譜11 ガロア理論を読む28 http://rio2016.2ch.net/test/read.cgi/math/1483314290/7 (抜粋) 7 名前:132人目の素数さん[sage] 投稿日:2017/01/02(月) 20:02:42.58 ID:0caOih5s **** このスレを訪れた方へ **** 急ではありますが、このスレは ■時枝問題を語るスレ になりました。 ただし以下の行為は厳に謹んでください: ・他サイトからのコピペでスレを埋め尽くす行為 ・デタラメを述べておきながら間違いの指摘は無視する行為 ・明らかな間違いにもかかわらず、数学は自由だから何でもありだろ?、と無理やり正当化する行為 ・他人の学歴など個人情報を聞き出す行為 ・その他、材料工学分野の研究者/エンジニアの名誉を貶める行為 以上



693:哀れな素人
17/05/05 22:58:03.87 AAGabOVr.net
>>617
お前は数論と幾何学の違いが分っていない(笑

仮に半直線、無限直線というものが存在しても、
無限小数というものは絶対に存在しない。

分るか?(笑

694:
17/05/05 22:59:18.65 CdFl53oH.net
>>618
>0.33333……は実際は0.33333という有限小数にすぎない
で,それは何桁ぐらいで止まるのですか?

695:132人目の素数さん
17/05/05 23:00:45.80 RJy0ifZL.net
>>618
>そのことを示唆するために、
>0.33333……は実際は0.33333という有限小数にすぎない、
>と言っているのである。分るか?(笑

紙の上に書いた「 0.33333…… 」という記号列は、
無限小数を表すためのメタ表現に過ぎないのであり、
この「 0.33333…… 」というメタ表現の
表面的な記号の形状にケチをつけて

「これは実際には無限少数を表していない」

などと吠えてみたところでナンセンスである。
お前のこのような行為は、まさに>>615に書いた行為と全く同じである。
紙の上に 正三角形ABC が書いてあるのを見て、
お前はこの図形の表面的な形状にケチをつけて

「これは実際には正三角形を表していない」

などとナンセンスな発言をするのである。
お前がやっているのはこういうことに過ぎない。

696:132人目の素数さん
17/05/05 23:03:20.33 EhR6WV0t.net
馬鹿から見える風景に興味ない

697:132人目の素数さん
17/05/05 23:04:02.71 RJy0ifZL.net
>>620
>お前は数論と幾何学の違いが分っていない(笑

以下の2つの発言に論理的な違いは1つも無い。

==================================
われわれは無限小数を表すとき、たとえば0.99999……と書く。
しかし……は記号だから、これは事実上0.99999という有限小数である。
どこまでいっても同じである。
どこまでいっても有限小数である。
決して真の無限小数にはならない。
==================================

==================================
我々は半直線を表すとき、たとえば ―――――…… と書く。
しかし……は記号だから、これは事実上 ――――― という
有限の長さの線分であり、端点が2つあることになる。
どこまでいっても同じである。
どこまでいっても有限の長さの線分であり、端点が2つある。
決して真の半直線にはならない。
==================================

どちらも、全く同じ理由によって、その存在性が否定されている。
そして、この論法は お 前 が 主張しているものである。

698:132人目の素数さん
17/05/05 23:15:06.22 AAGabOVr.net
>>622
お前は僕の言っていることが全然分っていない(笑

われわれは無限小数というものが存在すると思っている。
しかしよ~く考えれば、われわれが無限小数だと思っているものは
実際は有限小数にすぎないということを示唆するために、僕は、
たとえばわれわれは無限小数を0.99999……と書き表わし、
……で9がどこまでも続いていることを表現しているが、
……はごまかしであって、実際はこれは0.99999という有限小数にすぎない、
と言っているのである。

われわれは……でごまかして、9がどこまでも続く無限小数というものが
存在すると空想しているが、実際にはそんなものは存在しないのだ、
と言っているのである。分るか?(笑

僕は11時を過ぎたら寝るから、今日はここまで。
明日は図書館に行くから、投稿は11時以降になると思う。

699:132人目の素数さん
17/05/05 23:18:24.71 HcHCrqQG.net
>>619
> 箱に順番に、数{0, 1}(0か1のどちらか)をランダムに入れる。可算無限の数列ができる

時枝記事が成り立たないことの前提として上のような主張は使えないから
時枝記事が不成立だというのならもっとマシな根拠を出しましょう

700:132人目の素数さん
17/05/05 23:21:18.33 RJy0ifZL.net
>>625
お前は僕の言っていることが全然分っていない(笑

われわれは「正三角形」というものが存在すると思っている。
しかしよ~く考えれば、われわれが正三角形だと思っているものは
実際は形が歪んだ三角形にすぎないということを示唆するために、僕は、
たとえばわれわれは正三角形を△と書き表わし、
この図形でこの三角形がキッチリ正三角形であることを表現しているが、
この△はごまかしであって、実際は精密に言えば歪んだ形状の三角形にしかならず、
正三角形になりえない、と言っているのである。

……というふうに、お前の論法を流用すれば、お前は「正三角形」の存在性を
完全否定することができるのである。

701:132人目の素数さん
17/05/05 23:23:38.94 RJy0ifZL.net
>>625
>われわれは……でごまかして、9がどこまでも続く無限小数というものが
>存在すると空想しているが、実際にはそんなものは存在しないのだ、
>と言っているのである。分るか?(笑

われわれは △ でごまかして、本当にキッチリ正確な正三角形が
存在すると空想しているが、実際にはそんなものは存在しないのだ、
と言っているのである。分かるか?(笑

702:132人目の素数さん
17/05/05 23:30:41.42 HcHCrqQG.net
>>619
> 私は、時枝記事が成り立たないことを前提として
> 時枝記事がなぜ成り立たないか? なぜ、成り立つように見えるか
> そういう議論には参加するが

と書きつつスレ主自身が数当てが成立するための条件を前提として使っているから
ツッコミを入れているだけです

703:132人目の素数さん
17/05/05 23:33:52.73


704: ID:ukKf/W5G.net



705:132人目の素数さん
17/05/05 23:39:31.57 ukKf/W5G.net
>>594
>直感的に、そんなバカなことがあるはずがない、と思った。

直感的に、お前がバカでないはずがない、と思った。

706:132人目の素数さん
17/05/06 00:43:08.19 rxuq9492.net
>>625
>われわれは……でごまかして、9がどこまでも続く無限小数というものが
>存在すると空想しているが、実際にはそんなものは存在しないのだ

「無理数は存在しない」、これがあなたの主張と考えてよいですね?
あなたの主張によれば√2は有理数のはずですね?
では√2が有理数であることを証明してみてください
もし証明できたら現代数学は木っ端微塵に砕け散るでしょう
何故なら√2が無理数であることは古代ギリシャ人によって発見され、中学校で教えるほど現代数学
の常識となっていますから

707:132人目の素数さん
17/05/06 00:51:26.82 9IDQTv6Q.net
>>632
√2は存在しない。
√はただの記号であり、事実上これは2である。

……あれ??うまく真似できなかった笑

708:k・u・ma・ha・nter777
17/05/06 01:11:47.84 k4NUzWa9.net
村瀬生光です。

2億円振り込みました。
下記より受け取りできます。

chiebukuro.yahoo.co.jp/my/k・u・ma・ha・nter777
detail.chiebukuro.yahoo.co.jp/qa/question.php?request_type=3&request_nn=k・um・ah・anter777
detail.chiebukuro.yahoo.co.jp/qa/question.php?request_type=3&request_nn=ta・nt・aro2585

709:132人目の素数さん
17/05/06 01:49:04.50 9IDQTv6Q.net
この哀れななんとかさんの言いたいことって実無限vs可能無限のよくある話でしょ?
いまの数学は実無限を認める立場で成り立ってる学問。
無限を体現するものが現実世界にあるかないかは関係ないし、
無限小数を……を使わずに紙に書き切れるかどうか?もどうでもいい話。
実無限を認めないなら認めない立場で別の数学を発展させればよろしいのでは?

710:132人目の素数さん
17/05/06 02:13:40.12 rxuq9492.net
唯一褒めるべきはネーミングセンスの良さ
名は体を表すとは言うけどこれほどぴったりなのは素晴らしい

711:哀れな素人
17/05/06 08:38:39.35 OAchGYR2.net
>>627-628
アホレス乙(笑

三角形は紙に描くこともできるし、
頭の中でイメージすることもできる。
しかし無限小数は紙に描くこともできないし、
頭の中でイメージすることもできないのである。

火星人を紙に描くこともできるし、
頭の中でイメージすることもできる。
しかし無限小数は、それができない。

頭が三つ、腕が四本、足が五本の人間を紙に描くことはできるし、
頭の中でイメージすることもできる。
しかし無限小数はできない。

われわれが無限小数を紙に描いたり、
頭の中でイメージするとき、
0.99999……という形でしか描くこともイメージすることもできないが、
これは事実上、0.99999という有限小数であって、
無限小数ではないということを話しているのである。

712:哀れな素人
17/05/06 08:43:13.96 OAchGYR2.net
ギリシャ人は数学というものをもっと厳密に考えた。
だからギリシャ人が生きていたら、僕と同じことを言うだろう。
0.99999……の……は数字ではないから、
これは事実上0.99999にすぎない、と。

彼等が現代に生きていたら、
無限小数というものの存在を否定していただろうことは確実である。

713:132人目の素数さん
17/05/06 08:54:41.99 jmngYHpe.net
lim[n→∞]Σ[k=1,n] 9/10^k
は存在するし0.999...が嫌ならこれを使おう

714:哀れな素人
17/05/06 08:58:53.12 OAchGYR2.net
>>632-633
僕は無理数は存在しないとか√2は存在しない、
などとは一言も言っていない(笑

僕は無限小数というものは実際には存在しないし、
無限小数は数としては存在できないと言っているのである。

>>635
その実無限とか可能無限とやらがどういうものか、僕は知らないが、
そういう概念もおそらくカントールの無限集合論から来ているのだろう。
そしてカントールの無限集合論は間違いなのである。

現代数学の金字塔とされているカントールの実数論、集合論は間違いである、
というものすごく重要な話をしているのに、
ここの連中は事の重大さが全然分っていないのである(呆

715:132人目の素数さん
17/05/06 09:06:26.18 9IDQTv6Q.net
>>640
> 僕は無理数は存在しないとか√2は存在しない、
> などとは一言も言っていない(笑
>
> 僕は無限小数というものは実際には存在しないし、
> 無限小数は数としては存在できないと言っているのである。

へえ√2の存在は


716:認めるんだ じゃあやっぱり表記法にケチつけてるだけじゃん



717:哀れな素人
17/05/06 09:16:14.98 OAchGYR2.net
>>639>>641のレスを見ても、
ここの連中は僕の言っていることの意味が
全然分かっていないことが分る(笑

0.99999……の……は数字ではないから、
これは事実上0.99999にすぎない。

こういうのをアホな、変な、ばかげた、ふざけた、
漫才の突っ込みのようなケチだと思っているらしい(笑

そうではないのである。これは真面目な議論なのだ。
ギリシャ人は……でごまかすというようなことは認めなかったのである。

718:132人目の素数さん
17/05/06 09:16:51.21 jmngYHpe.net
カントールの素朴集合論には矛盾があることはすでに知られている
現代のZFCに矛盾があること発見したら大発見だわ

719:132人目の素数さん
17/05/06 09:18:07.65 CH9Z1Kt+.net
ん-。。。
よく分からんけど、チャーチ数で一度少数作ってみようとしたのね?
するとチャーチ数は無限進数だから無限に小数点第1位のままだったのよ。
ええと、十進法とか2進法とかもチャーチ数で作らないと少数は少数たり得ないっぽいんよ。
2進法では0.1が表現出来なくて無限小数になるみたく、進法に依存してる気がするんだよね。

720:132人目の素数さん
17/05/06 09:33:32.43 ExW+Dzxq.net
>>637
>三角形は紙に描くこともできるし、
>頭の中でイメージすることもできる。

三角形は紙には描けないよ。「線」とか「点」自体が書けないからね。
なぜかって?
数学的な「線」には太さが無いが、現実世界に書いた「線」には
必ず太さがあって、それはもはや「線」とは呼ばないからだ。
「点」も同様。だから、三角形は紙には書けない。
もちろん、どれも頭の中ではイメージできる。
でも、現実世界には完全なる対応物が存在しない。
そしてお前は、現実世界に対応物が無いことにケチをつけているに過ぎない。

721:132人目の素数さん
17/05/06 09:43:01.79 ExW+Dzxq.net
>>637
>しかし無限小数は紙に描くこともできないし、
>頭の中でイメージすることもできないのである。
>われわれが無限小数を紙に描いたり、
>頭の中でイメージするとき、
>0.99999……という形でしか描くこともイメージすることもできないが、

もちろん、無限小数の「現物」を現実世界に体現することは不可能で、
紙の上に描くことはできない。
しかし、頭の中でその存在性を認識することは可能である。
なぜなら、「無限小数」という概念自体をお前が認識していることが、
既に認識になっているからであるww
しかし、これでは視覚的なイメージが欠如している。
より視覚的なイメージとして認識したければ、

「どの桁も9である」

という状況をイメージすればよ。ここでのポイントは、どの桁も9であるという状況を
何もないところから構成しようとは思わないことだ。もしそんなことを始めたなら、

9
99
999

といった感じで1つずつ9を増やしていくしかなくなるが、どこまでこの作業を繰り返しても
有限個の9しか並ばず、右端に必ず「最後の9」が登場してしまうので、「どの桁も9」という
状況が完成しない。ではどうするのか。簡単だ。「どの桁も9」という状況が、
「最初からそこに静的な完成系として鎮座している様子」をイメージすればよい。
ほら、お前にもできただろうw

722:132人目の素数さん
17/05/06 09:59:22.58 ExW+Dzxq.net
さて、俺は昨日から「半直線」をよく引き合いに出しているが、
ここでも引き合いに出すことにしよう。

半直線とは、片側に端点があり、もう一方には端点がなくて
どこまでも続いている直線のことを言う。
無限小数が現実世界にも頭の中にも書けないと吠える哀れなド素人君は、
「半直線」もまた、現実世界にも頭の中にも書けないと吠えなければならない。
すなわち、お前は次のように主張しなければならない。

=====================================
しかし半直線は紙に描くこともできないし、
頭の中でイメージすることもできないのである。
われわれが半直線を紙に描いたり、
頭の中でイメージするとき、
―――…… という形でしか描くこともイメージすることもできないが、
これは事実上、――― という有限の長さの線分であって、
端点が2つあり、半直線ではないということを話しているのである。
=====================================

しかし、お前はこの主張に違和感を感じるはずである。
―――…… という、"頭の中のイメージ" の一体どこに、「2つの端点がある」というのか?
もちろん、1つ目の端点は明らかに左端にある。しかし、もう1つの端点は、このイメージの
中には出現しないのである。もちろん、「……」という記号列を機械的に削除して ――― という
記号列だけを残せば、この記号列の右端にはもう1つの端点が出現�


723:キるが、これは詭弁である。 なぜなら、それは頭の中のイメージにおける ―――――…… を途中でブツ切りにして ――――― という線分を人工的に切り出したに過ぎないからである。そのような線分を いくら切り出しても、もともとの半直線 ―――――…… に2つの端点があるとは 全く言えていないのである。かくして、哀れな素人君が言うところの 「事実上、有限である」 という言い分は詭弁であることがハッキリするw



724:132人目の素数さん
17/05/06 10:20:18.80 5obfXmbr.net
>>607
>だから0.99999……=1だと見なしたカントールはアホだ、
>と言っているのである(笑
無理数が存在しないと仮定して実数論を構成し、
それに基づいた数学の理論を構成することは出来るが、
そうすると数学の幅が狭くなる。
何れにしろ、1は有理数で、必ず存在する数であるだけでなく、
0.99999……=1 は成り立つ。
カントールの集合論がなくてもその式の証明は出来る。

725:哀れな素人
17/05/06 10:36:30.93 OAchGYR2.net
>>645-647
メタ男乙(笑

>そしてお前は、現実世界に対応物が無いことにケチをつけているに過ぎない。
そうではない(笑

>「最初からそこに静的な完成系として鎮座している様子」をイメージすればよい。
だからそういうイメージは形成できないのである(笑

>しかし、お前はこの主張に違和感を感じるはずである。
違和感は感じない(笑
何度も言うが、半直線や無限直線が存在するとしても、
無限小数は絶対に存在しない(笑

726:132人目の素数さん
17/05/06 10:39:58.50 OAchGYR2.net
>>648
>0.99999……=1 は成り立つ。
>カントールの集合論がなくてもその式の証明は出来る。

成り立たないし、その証明は間違いである(笑

727:132人目の素数さん
17/05/06 10:46:01.87 5obfXmbr.net
>>649
>無限小数は絶対に存在しない(笑
存在するが。0.99999…… の「……」は
その前に繰り返して記述されている「9」という数字が無限回続いて
記述されて、「9」という数字が終わらずに繰り返されて記述されることを意味する。

728:哀れな素人
17/05/06 10:53:31.45 OAchGYR2.net
>>651
存在しないのである。

われわれは0.99999……と書いて、
9が無限に続いている数が存在すると漠然と思っているが、
実際は、そんなのは空想であって、
実際は有限小数しか存在しないのである。

そういう議論をここ何日か、ずっと続けているのである。

729:132人目の素数さん
17/05/06 10:58:27.43 ExW+Dzxq.net
>>649
>違和感は感じない(笑
>何度も言うが、半直線や無限直線が存在するとしても、
>無限小数は絶対に存在しない(笑

もし半直線がイメージできるなら、「0.999…」がイメージできないというのは
単なる意地っ張りであり、詭弁である。以下でこのことを示そう。

半直線が頭の中にイメージできるなら、同様にして、「一方向に無限に伸びる、3次元の細い円筒」を
3次元空間内にイメージすることが可能である。なぜなら、そのような円筒が最初から静的な完成形として
デデンと鎮座している様子をイメージするだけでいいからだ。

さて、そのような無限円筒が頭の中にイメージできたならば、次は、その円筒の材質が「木材」で
できている状況をイメージしよう。木材には木目があるので、この円筒の表面には、木目が出現している。
その木目は、パッとイメージした段階ではランダムな模様をしていることだろう。

そこで、その木目が一定の周期を持った規則正しい模様で出来ているところを想像しよう。
模様の形は何でも構わない。とにかく、その模様が周期性を持って規則的に出現することが重要である。
そこまでイメージできたならば、その模様の「1つの周期」を1つのカタマリとして認識すれば、
その円筒の表面は、ある特定のカタマリの模様が一方向に無限に続いている状況になっている。

その状況は、「9」という模様をした木目が周期的に無限に続いている状況、
すなわち「9999……」という状況を想像しているのと何ら変わらない。

かくして、半直線をイメージできる人間は、「0.999…」も頭の中にイメージできるのである。
従って、無限小数を完全否定する人間は、半直線もまた完全否定しなければならない。
お前はどうも、半直線の存在性に関しては あやふやな態度を取っているが、
それはダブルスタンダードである。お前は半直線も完全否定しなければならない。

730:132人目の素数さん
17/05/25 13:43:24.96 maEUmUxNT
「存在しない」という語に哀れな素人が定義している内容は、
一生かかっても全量を総なめに把握・確認できない、という馬鹿な意味である。
この誤った定義を使えば、以下が証明されてしまう。

砂漠の砂の数は、とても全量を数えきれないので「砂漠の砂の数は存在しない」。
無限小数の全桁を数えても数え終わらないので、「無限小数は存在しない」。
哀れな素人の体を構成している素粒子は数えきれないので「哀れな素人は存在しない」。

731:過去ログ ★
[過去ログ]
■ このスレッ


732:ドは過去ログ倉庫に格納されています




最新レス表示
レスジャンプ
類似スレ一覧
スレッドの検索
話題のニュース
おまかせリスト
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch