現代数学の系譜 工学物理雑談 古典ガロア理論も読む62

この伝統あるガロアすれは、皆さまのご尽力で、
過去、数学板での勢いランキングで、常に上位です。

このスレは、現代数学のもとになった物理・工学の雑談スレとします。たまに、“古典ガロア理論も読む”とします。
それで宜しければ、どうぞ。
後でも触れますが、基本は私スレ主のコピペ・・、まあ、言い換えれば、スクラップ帳ですな〜（＾＾
最近、AIと数学の関係が気になって、その関係の記事を集めています〜（＾＾
いま、大学数学科卒でコンピュータサイエンスもできる人が、求められていると思うんですよね。

スレ主の趣味で上記以外にも脱線しています。ネタにスレ主も理解できていないページのURLも貼ります。関連のアーカイブの役も期待して。
話題は、散らしながらです。時枝記事は、気が向いたら、たまに触れますが、それは私スレ主の気ままです。

スレ46から始まった、病的関数のリプシッツ連続の話は、なかなか面白かったです。
興味のある方は、過去ログを（＾＾

なお、
小学レベルとバカプロ固定
サイコパスのピエロ（不遇な「一石」https://textream.yahoo.co.jp/personal/history/comment?user=_SrJKWB8rTGHnA91umexH77XaNbpRq00WqwI62dl 表示名:ムダグチ博士 Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets （Yahoo!でのあだ名が、「一石」）
（参考）http://blog.goo.ne.jp/grzt9u2b/e/c1f41fcec7cbc02fea03e12cf3f6a00e サイコパスの特徴、嘘を平気でつき、人をだまし、邪悪な支配ゲームに引きずり込む 2007年04月06日
（なお、サイコの発言集「実際に人を真っ二つに斬れたら 爽快極まりないだろう」、「狂犬」、「イヌコロ」、「君子豹変」については後述（＾＾； ）
High level people
低脳幼稚園児のAAお絵かき
上記は、お断り！
小学生がいますので、18金（禁）よろしくね！（＾＾

（旧スレが1000オーバー（又は間近）で、新スレを立てた）

>>225
>闇雲に数式を弄る行為を研究だと誤解する愚か者の何と多いことか
定理を発見するには、実験行為が伴うことがあるのを聞いたことないのか？
闇雲に数式を計算する行為もそれと同じようなモノだ。

おっちゃんっていっちょ前のこと言ってるけど、やってることは全然ダメだね
まず問題選択からおかしいのは、「名を上げたい」という功名心があるのか。
それもすごく才能があるひとならまだしも、典型的なクソ証明書いてる
トンデモ野郎、お前に証明できるくらいなら、とっくに誰かが証明してるだろ
という数学外の客観的情勢も見えていない。

>>233
いや、とある数学のテキストの序文を読み、興味本位から選んだ。
取り組むのに必要な知識は殆どなく、問題自体は中学生でも取り組めると思う。

誰でも問題の意味が分かって、つい手を出したくなる
が、誰も解けず現在まで未解決問題として残ってる
というのは、それなりの理由があるのであって
そのことに思い至らないのは、やはり頭のネジが
足りてないのだろう...

>>235
具体的にいうと、組合せ論関係のとある定理を計算機を用いずに証明する問題だよ。

>>231
おっちゃん、どうも、スレ主です。

ま、いいからさ
おっちゃんには、いま、二つ課題がある
一つは、数学の課題。一つは、非数学で論文をどうするかの課題

１）数学の課題は、本当に証明が成立っているのかの検証
２）非数学の課題は、論文をどういう形で世に問うて、自分にとって意義ある形にするのか？

１）については、やはりその道の専門家に見て貰うのが早道だろう。というか、多分小さなギャップでもチェックしてくれて、修正法も教えてくれる
２）についても、専門家ならそれなりの発表場所（専門誌なり、シンポジュームとか大学紀要とか）を見つけてくれて、博士号も可能かも

結論は、やはり10年前つき合いのあった教授に連絡を取ることでしょ！（＾＾

>>233 >>235
自分は有能で、自分のやってることは正しい
という公理（？）の上に生きてる人なんでしょうな

しかし肝心の公理が現実と矛盾するから全部失敗する
要するに無能でやってることが全部間違ってるってこと

ただ当人だけがその事実を決して受け入れようとしない
受け入れたら負けだから　死ぬしかないから

死ぬしかないですけどね　生きる価値ないから

それお前らもじゃん

>>237-238
どうでもいい(>>237宛て)。
Kindle 本を無料で書くことは一旦試してみるに尽きる。
読みたくなければ、読まなければいいだけの話。
次から次と Kindle 本を多く書く訳ではない。
まあ、2チャンだけで Kindle 本の内容を判断してはダメだろうな。

>>238
>どうでもいい(>>237宛て)。
は>>237ではなくお前さん宛てのことな。

>>240-241
えらく Kindle 本 に拘っているが、意味わからん
Kindleは、おれはもってないし、数学者が論文を普通に読むのに、Kindleなど使うとは思えんし

ともかく、あなたの10年前に付き合いのあった、教授と連絡をとって、Kindle使用の是非も含めて、アドバイスをもらえよ
で、まあ、どこかの私大なら、ある程度の能力と意欲とお金で、博士号は可能かもね

昔聞いた話で、教授側も、社会人ドクターを一人作ると、それは彼の業績で、大学から評価されるのだと
その話は、国立大学で、改革で法人化される前後の話だったけどね

私大も同様でしょうよ（流石に最低限の質は問われるだろうが）
東大京大クラスになると、お金だけじゃどうしようもないだろうけどね

https://ja.wikipedia.org/wiki/Amazon_Kindle
Amazon Kindle（アマゾン・キンドル[1]）は、Amazon.comが製造・販売する電子ブックリーダー端末、同ソフトウェアおよび電子書籍関連サービスである。専用端末やパソコン、スマートフォン、タブレットなどで電子書籍を読める。2007年11月19日にアメリカ合衆国で第1世代が発売された。

>>217

追加参考（＾＾

https://eprints.lib.hokudai.ac.jp/dspace/simple-search?query=%E6%B7%B1%E5%B1%B1+%E5%9C%8F
https://eprints.lib.hokudai.ac.jp/dspace/handle/2115/60484
https://eprints.lib.hokudai.ac.jp/dspace/bitstream/2115/60484/1/Yohei_Fukayama.pdf
theses (doctoral) 深山, 洋平 初等トポス理論の射程 : 集合・圏・論理 北海道大 2015年12月25日
https://eprints.lib.hokudai.ac.jp/dspace/handle/2115/51910
https://eprints.lib.hokudai.ac.jp/dspace/bitstream/2115/51910/1/002_FUKAYAMA.pdf
圏論と構造主義 深山, 洋平 2012年
https://eprints.lib.hokudai.ac.jp/dspace/handle/2115/35041
https://eprints.lib.hokudai.ac.jp/dspace/bitstream/2115/35041/1/42_LP1-14.pdf
.W. ローヴェアによる随伴関手を用いた集合論の基礎の理解とその展望 深山, 洋平 2006年

それじゃ、おっちゃんもう寝る。

KindleがiPadで読めることも知らない貧乏爺スレ主w
普通にみんな本読むのに使ってるよ
おっちゃんの書く本が目に見えるようだw↓
あなたも解けるフェルマーの定理完全証明 | 小野田 襄二 |本 | 通販 | Amazon
ちなみにこのひとは大学の先生にも「論文」を送り付けたりして好回答がもらえずに
やり取りした手紙とかも公開して出版してたと思う。
トンデモさんが大学の先生に相談してくるなんて山ほどある話なんで
相談したからどうなるってもんじゃないと思うが。
迷惑度は明らかに相談してくるやつの方が大きい。

仮に相談したとして、まず基礎的な学力が欠けていることから指摘が入る。
博士号どころか、「よく大学出たね」と言われるのがオチ。

>>240-241
どうでもいい　”自称”天才の似非証明なんか

おっちゃんはギャグで言ってるんだよね？
どうかギャグだと言って下さい。
でないとせっかく春めいてきたのに真冬に逆戻りだあ

>>248
木の芽時は精神的におかしくなる時期でもある

>>248
どうも。スレ主です。
冬に逆戻りでなく、一気に春になるだろうね
楽しいじゃないかい（＾＾

>>250

ワイエルシュトラスは、晩成だったらしい（下記）
おっちゃんも、がんばって10年前につき合いのあった人に連絡とってみな
https://ja.wikipedia.org/wiki/%E3%82%AB%E3%83%BC%E3%83%AB%E3%83%BB%E3%83%AF%E3%82%A4%E3%82%A8%E3%83%AB%E3%82%B7%E3%83%A5%E3%83%88%E3%83%A9%E3%82%B9
カール・テオドル・ヴィルヘルム・ワイエルシュトラス（Karl Theodor Wilhelm Weierstras, 1815年10月31日 ? 1897年2月19日）

卒業後、26歳で教員として田舎の高校に就職する[1]。教員としての仕事（数学に国語に地理、そして体操まで教えた）をしながら、ニールス・アーベルの定理とカール・グスタフ・ヤコブ・ヤコビの二重周期関数の研究の統合を目指した。

1854年、クレレ誌にヤコビ逆問題に関する論文を掲載され[1]、1856年ベルリン大学に招聘される。1864年に正教授に就任[1]、最後までこの地位にあった[1]。晩年は数学界の権威として尊敬され、ベルリン大学でも多くの聴衆を集めた[1]。

>>251
数学理解してない馬鹿には
他人の数学の才能の有無も
わからない

>>192
>アイデアの飛翔をうながす(可能性を持つ)数学的直観」とよばれるもので

数学的直観とは、人の高階論理能力を使った、加速定理の実現かもしれないね（＾＾
https://ja.wikipedia.org/wiki/%E9%AB%98%E9%9A%8E%E8%BF%B0%E8%AA%9E%E8%AB%96%E7%90%86
高階述語論理

高階述語論理は表現能力が高いが、その特性、特にモデル理論に関わる部分では、多くの応用について性格が良いとは言えない。クルト・ゲーデルの業績により、古典的高階述語論理は（帰納的に公理化された）健全で完全な証明計算が認められないとされた。しかし、Henkin model によれば、健全で完全な証明計算は存在する。

高階述語論理の例として、アロンゾ・チャーチの Simple Theory of Types や Calculus of Constructions (CoC) がある。

(>>182もご参照)
https://www.amazon.co.jp/dp/4130120573
圏論による論理学―高階論理とトポス 単行本 ? 2007/12/1 清水 義夫 (著) 出版社: 東京大学出版会

著者略歴 (「BOOK著者紹介情報」より)
清水/義夫
1939年東京に生まれる。1963年東京大学文学部哲学科卒業。1967年東京大学大学院人文科学研究科博士課程退学。現在、千葉工業大学情報科学部教授(本データはこの書籍が刊行された当時に掲載されていたものです)

https://ja.wikipedia.org/wiki/%E5%8A%A0%E9%80%9F%E5%AE%9A%E7%90%86
加速定理

形式的体系に関する加速定理
理論 {\displaystyle T} T とその拡大理論 {\displaystyle S} S について「 {\displaystyle T} T において証明可能な論理式で {\displaystyle S} S においてはより簡単に証明できるものが存在する」という形の定理は、計算複雑性に関する加速定理の類比として、同じく加速定理と呼ばれる。その代表的なものとしてはゲーデルの加速定理がある。

つづく

>>253

つづき

https://ja.wikipedia.org/wiki/%E3%82%B2%E3%83%BC%E3%83%87%E3%83%AB%E3%81%AE%E5%8A%A0%E9%80%9F%E5%AE%9A%E7%90%86
ゲーデルの加速定理

この定理によれば、弱い形式的体系では非常に長い形式的証明しか存在しないが、より強い形式的体系では極めて短い形式的証明が存在する、というような文が存在する。

クルト・ゲーデルはそのような性質を持つ文を具体的に構成した。それはn階算術の体系で証明可能な命題であってn+1階算術ではより短い証明を持つものが存在するというものである。類似の例として最短の形式的証明がとてつもなく長大となる文を構成しよう。形式化された対角線論法によって

φ「この文は高々グーゴルプレックス個の記号からなる（ペアノ算術からの）形式的証明を持たない」
なる内容的意味を持つ文を構成する。（ここで「グーゴルプレックス個の記号からなる」という部分を取り除くと不完全性定理の決定不能な文が得られる。）コーディングを工夫すれば φ がΣ1論理式となるようにできる。
(引用終り)
以上

他人の数学の才能の有無は
10年まえにつき合いのあった教授に連絡をとって、やってもらえば良い
なにも、５CHを通して判定する必要もない（というか、５CHを通して判定しようとする主張がバカ）

おっちゃんです。
>>255
卒業した大学の教育内容は比較的高レベル(東大より高レベルかも知れない)だろうけど、入りたくて入るような大学ではない。
私がいた頃は環境が悪くて狭かったこともあり、現在でも入りたいと思うような人間はいないと思う。
第一希望で入学する人はかなり少ないと思う。大学にいた当時、数学の証明法について奇妙なことを主張する教授がいた。
卒業した大学とは余り密には関わりたくない。これが10年前の教授とは連絡を取る気がしない最大の理由。
10年前の教授の専攻分野はまるで違っていることもあり、10年前の教授とは連絡を取る気はしない。
その大学については、Wiki よりアンサイクロペディアが参考になる。
アンサイクロペディアには当時の様子が比較的よく書かれてある。
サティアンと書いてあるけど、私がいた頃は確かにサティアンのような建て物(外からの見栄えが悪い実験専用の建物)もあった。
まあ、何はともあれ Kindle 本で無料配布することがいいと思われる。

>>248
ジョークではない。

https://ja.uncyclopedia.info/wiki/%E6%9D%B1%E4%BA%AC%E7%90%86%E7%A7%91%E5%A4%A7%E5%AD%A6
＊＊
アンサイクロペディア

東京大学は一流大学だが、＊＊は一留大学である。

元々＊＊に来たくて来た学生はほとんどおらず、受験時に単に滑り止めのつもりで受けて実際に滑り止まっただけの学生が大半であり、受験戦争で心に回復不可能な傷を負ったものも多い。

神楽坂キャンパス
神楽坂校舎

秋葉原が近くにあることから立地条件は良好である。キャンパスと呼ばれているが、実際にはビルが広範囲にわたって乱立しているだけで、イチョウ並木や立派なグランド、青々とした芝生広がる中庭、オープンカフェ、学生運動の幟などは存在せず一般的なキャンパスのイメージとは程遠い。

オウムが流行った当初、サティアンと呼ばれていた

試験
寧ろ試験範囲は講義でやったところ以外。
試験科目数は両手で数え切れない。
試験当日、問題用紙を配る前に教授が言った一言「大丈夫、過去問からは1問も出してませんから(笑)」。
更に言えば機械工学科専門の過去問サイトまで存在する。
「過去問をといておけば満点だよ」といっておきながら試験で過去問と全く異なる問題がでる。
カンニング防止のために、定期試験ではTAを大量投入。
必修科目の平均点20点、ほぼ全員赤点でも救済処置を取らない。

授業
再履修の教室が大混雑。
あまりにも再履修者や再々履修者の数が多いので、普通のクラスとは別に「再履修者用クラス」が存在する。
一般教養なのに受講者の3分の2が落ちる。

＞卒業した大学とは余り密には関わりたくない。これが10年前の教授とは連絡を取る気がしない最大の理由。
＞ 10年前の教授の専攻分野はまるで違っていることもあり、10年前の教授とは連絡を取る気はしない。

無理にとはいわん

だが、なんとかとハサミは使いよう
例えば、他の大学のその道の人、その道でなくとも、数学関係者というだでも、教えてもらえば良い

例えば、こちらの意図は話さずに、ちょっとした手土産（菓子類の差し入れ）でも用意して、（近くに行く用があるとかなんとかで）アポとって、１時間くらい 雑談して、
その中で、大学外の知り合いの数学関係者の名前を聞き出して、可能なら紹介状でも書いてもらうところまでやれれば、いいんじゃないでしょか？（＾＾

>>257 追加

先日ついにノーベル賞受賞者が＊＊院から出たが、それを知っている人間はあまりいない。祝いの垂れ幕に気付かない学生すらいる始末である。数学科には「背理法被害者の会」なるものが存在し、会員でないものは人権を剥奪される。

https://ja.wikipedia.org/wiki/%E5%A4%A7%E6%9D%91%E6%99%BA
大村 智（おおむら さとし、1935年7月12日[1] - ）は、日本の化学者（天然物化学）。北里大学特別栄誉教授。2015年ノーベル生理学・医学賞受賞。

東京都立墨田工業高等学校定時制に5年間勤務し、物理や化学の授業で教鞭を執った[10][13]。学業に熱心に励む高校生に心打たれ、もう一度勉強し直したいと考え、1960年、東京教育大学の研究生となり、中西香爾に師事した[10]。
中西香爾の紹介で1960年、＊＊大学院理学研究科都築洋次郎の研究室に所属し[14]、高校教諭として働きながら1963年、＊＊大学院理学研究科修士課程を修了した[11][15]。
大学院の修士課程を終えるのに2年ではなく3年を要したのは、大学院1年目で取り組んだ実験が、横浜国立大学の篠田耕三教授と同じテーマで先に論文が発表され、そこで、＊＊の森信雄講師の下、大学院2年目からオキシ酸分子内の水素結合を調べる研究に変更したためである[16]。

研究者として

1968年、北里研究所での「Leucomycinに関する研究」により東京大学から薬学博士の学位（論文博士）を授与され、北里大学薬学部助教授に就任した。
また1970年には「ロイコマイシン、スピラマイシン及びセルレニンの絶対構造」により＊＊から理学博士の学位を授与されている。理学博士の学位取得後、20年間に渡り＊＊薬学部非常勤講師を務めている[17]。

1971年には、ウェズリアン大学の客員教授も兼任することになった[11]。これはカナダの国際会議で知り合ったアメリカ化学会会長のマックス・ティシュラーに対して留学を打診し、採用に至ったものである。
メルク・アンド・カンパニーからの研究費も獲得することに成功した[15]。
(引用終わり)
以上

https://www.nikkei.com/article/DGXMZO42491490V10C19A3000000/
グーグル、円周率31兆4000億桁を達成　世界記録更新 日経
ネット・IT 北米
2019/3/15 5:38

【シリコンバレー=中西豊紀】米グーグルは14日、一般には「3.14」で知られる円周率を小数点以下約31兆4000億桁まで計算し世界記録を更新したと発表した。これまでは2016年に計算された約22兆4000億桁が最長だった。最新のクラウドコンピューター技術を駆使して実現しており、同社のクラウドの計算力を見せつけた格好だ。

https://www.nikkei.com/content/pic/20190315/96958A9F889DE6E0E6EBE3E6EBE2E3E7E2E1E0E2E3EBE2E2E2E2E2E2-DSXMZO4249147015032019000001-PB1-1.jpg
円周率計算の世界記録達成を指揮したグーグルのエマ・ハルカ・イワオさん

日本出身の女性技術者、エマ・ハルカ・イワオさんが中心となり記録を達成した。実現には170テラ（テラは1兆）バイトのデータが必要で、25のクラウド上の仮想マシンを使い、計算には約111日間を要した。

エマさんは日本の筑波大学で学んでいる際に、当時の円周率計算の世界記録保持者だった高橋大介准教授に師事。「（今回の記録達成は）日本で育ったことも影響している」とブログを通じて述べている。

グーグルは今回の記録を円周率の「3.14」にちなんで「円周率（パイ）の日」として知られる3月14日にあわせて発表した。

>>258
いや、その大学は、元々が師範大学のような大学でもあり、教授の多数は教育に熱心になっている。
最近の10年前に手紙を交わしていた教授は、或る有限数学の分野に特化して研究していて、
どう見ても、研究分野は超越性や無理性の判断などとはかけ離れている。
話によると、有限単純群や組合せ論が専攻らしい。

Kindle 本の形で無料配布して広く知らせることもいいだろ。
Kindle 本を書く練習にもなり、技術が身に付く。こういうのは発想の転換だよ。

キンドルキンドル言ってんのは出版社にまともに相手にされないからか？

>>262
マトモな理工系の出版社のサイトも見たが、専ら大学の人を相手に編集していて、
持ち込みの原稿は断ると書かれているところがかなり多い。
まだ、マトモな理工系の出版社と連絡を一度も取ったことはない。
出版を受け付ける会社は、自費出版の形で受け付けるというところが多い。

だから相手にされてないだろそれ

>>264
結局そうなることも読んでいたから、はじめから
Kindle 本の形で無料配布して広く知らせることもいいと主張していた。

いや中身がゴミだからだろ

>>266
ゴミかどうかは見なけりゃ分からない。

いまどき、数学も細分化されていて、自分に関係ない論文や書籍など、よほど気になれば別として、流すだろうね
なので、その専門家たちのメーリングリストに載せてもらえるのがベストだろう
Kindle 本なんて、小学生や中学生にでも読またいのか？

昔、このスレでも書いたけど
ある日本の優秀な若手研究者が、グロタン先生に自慢の論文を送ったが
グロタン先生は一瞥「なんのアイデアもない」と、ゴミ箱へ直行だったとか

まあ、グロタン先生の基準は、日本の「小ぎれいにまとまった論文」という基準ではなく
「自分の研究に役だつアイデアがあるか？」であって、”小ぎれい”よりも、荒削りの方がまだましだと
そういうことではないかと、自分なりに納得したね（＾＾；

>>268
>Kindle 本なんて、小学生や中学生にでも読またいのか？
小中学生には読めないと思う。
取り敢えず、Kindle 本で無料配布すればいい。

佐藤幹夫の論文もウェイユに否定されたことがあるらしいとのこと。

>>243 追加参考

https://ncatlab.org/nlab/show/pure+set
nLab
pure set
Examples of APGs

https://ncatlab.org/nlab/show/axiom+of+foundation
nLab
axiom of foundation

https://ncatlab.org/nlab/show/inhabited+set
nLab
inhabited set

https://en.wikipedia.org/wiki/Axiom_of_regularity
Axiom of regularity
External links
Inhabited set and the axiom of foundation on nLab

>>269は「ヴェイユ」ね。

>>269
>小中学生には読めないと思う。
>取り敢えず、Kindle 本で無料配布すればいい。

Kindle 本を読む対象には、数学論文を読む人（読める人）は少ないだろうと
数学論文を読める人が居ても、自分に興味がなければ、無料と言われても、断るだろう（時間が無駄）
（Kindleなんて、小説とか気楽に読めるものに使うだろうね、数学者ならね。まあ、例外はあるかもしれないが）
普通、論文などPDFベースでしょ？

arXiveにでもなっている方が、自分が引用するときも、気楽
Kindle 本なんて、引用があほらしいだろ？（＾＾

>佐藤幹夫の論文もウェイユに否定されたことがあるらしいとのこと。

それ、正確には、「サトウの数学」に書いてある
プリンストンに留学したとき、ウェイユから、「おまえのはシュワルツのとどう違う」と聞かれて
「シュワルツのと同じことができる」とかなんとか、日本人らしい謙遜も入れて、答えたらしい
で、ウェイユが「同じことしかできないのか？（後から出して？）」みたいに受け止められてしまったらしい
「サトウの数学」読め（＾＾

>>259
＞1971年には、ウェズリアン大学の客員教授も兼任することになった[11]。これはカナダの国際会議で知り合ったアメリカ化学会会長のマックス・ティシュラーに対して留学を打診し、採用に至ったものである。

おっちゃん、ここ良く読んどきな
結局、職だとか、人の評価になると
属人的なんだよ
客観性より先にね
大村 智先生も、アメリカにコネができて、メルクから金出させて、研究して、治療薬として大成功したからこそのノーベル賞なんだよ

>>272
Kindle 本を書く過程で pdf ファイルを作ることにもなり、柔軟に対応出来る。
ガチで英文にするには、元の pdf のテキストを英訳して作り直して投稿すればいいだけ。
ページ数は普通の数学のテキストより薄い。
その他の利点は、別の Kindle 本を書いて販売することも出来る。

>>212
>>>209
>>書いた pdf 形式のファイルをワードで書き出すとどうなるんだろうね。

いま、チラっと浮かんだのは
「おっちゃん、PDFファイルの読み書きが、自由にできないのか？」
「だから、Kindleに拘っているのか？」

いまどきありえないと思うが
おっちゃんに限っては
ありえない話が、アリエル（＾＾；

>>275
>いま、チラっと浮かんだのは
>「おっちゃん、PDFファイルの読み書きが、自由にできないのか？」
>「だから、Kindleに拘っているのか？」
Kindle 本を書く過程PDF ファイルを書く作業も含まれている。

>>275
>Kindle 本を書く過程「には」 PDF ファイルを書く作業も含まれている。
ね。pdf を出力結果を確認する前に、それを書くことになる。

>>274
>Kindle 本を書く過程で pdf ファイルを作ることにもなり、柔軟に対応出来る。
>ガチで英文にするには、元の pdf のテキストを英訳して作り直して投稿すればいいだけ。

分かってないね〜（＾＾
ワードでまず原文作れば良いんよ
ワードでPDFにエクスポートすれば良い
あとは、訳は、その文を一文づつでも、google翻訳にかければ、英文下書きは簡単にできる
（勿論、段落単位でも良いけどね）

例えば
＜google翻訳サイト＞
https://translate.google.co.jp/?hl=ja&;tab=mT#view=home&op=translate&sl=ja&tl=en
（和文入力例）
Kindle 本を書く過程で pdf ファイルを作ることにもなり、柔軟に対応出来る。
（google翻訳出力例）
You can create pdf files in the process of writing a Kindle book, and you can respond flexibly.

あとは、手直しだけすれば良い
数式部分は、訳いらんしね

>>275
今では大学で TeX で文書やレポートを書くことになっているようだが、
私のときはローテクで手書きが当たり前だった。
まあ、今まで伏せていたけど、個人的に海外への長期出張は出来ない。

それじゃ、おっちゃんもう寝る。

>>278
>>277な。
個人的にというのについては、具体的事情は余り書かない。

じゃ、おっちゃん寝る。

>>279
伏せなくても仕事も金もないことくらいわかるわ

>>281
こういうのが出て来るから困る。

じゃ、寝る。

別にお前の生活が変わるわけでもないのに一体なにに困るんだよ

>>276-277 & >>279-280

そうか
やはりね
Kindleなしで、PDFを出力する方法を知らないということね（＾＾
ようやく、Kindleに拘る意味が分かったよ
ありえない話が、アリエルということが（＾＾；

>>256
ここのスレ主のようなピエロになりたくないなら専門家に見てもらうべき
逆に専門家に見てもらうことを拒否するならスレ主のようなピエロになるのは必定

「オレはスレ主とは違う！」といくら吠えても無駄

>>284
目糞が鼻糞を笑ってるな

ああ、くだらん

>>286
耳糞のレスとしては面白い

>>287
それ面白ね
柔道の技ありやね（＾＾

おっちゃんが数学でマトモなこと書いてるの見たことないわw
独創性も全くない。本当にツマラナイ。
本に書いてある内容を間違って理解して適用した結果
すごいことが（間違って）証明できたとかそんなんばっかり。

>>289
どうせKindle本もつまらない「定理」に対して
意味不明な式変形を延々と繰り返して
なんか偶然（誤って）「証明」できた
とかいう山も谷もない展開なんだろう

トンデモ本としてもつまらないとか最低だな

>>254 追加

http://fuchino.ddo.jp/index-j.html
渕野先生
http://fuchino.ddo.jp/papers/speedup-th.pdf
数学と集合論 ゲーデルの加速定理の視点からの考察 渕野昌 科学基礎論研究 (2018)

P812
上で書いた
ように，現代の集合論では，集合論の体系内数学と超
数学の間を行き来する議論のスタイルが通常となって
いる．

1960 年代以降の集合論研究では，加速定理現象を
直接意識したものではないにしても，(多くの場合は無
矛盾性の強さの異る) 異る公理系の体系の間や，集合
論の体系の中での議論と超数学との間を，頻繁に往復
しながら研究を行なう，というスタイルの数学が恒常
的に行なわれるようになってきている．そのような研
究の典型的な例として，Saharon Shelah による基数
算術(Cardinal Arithmetic) の理論を挙げることがで
きる28．この理論の本体はZFC での数学理論である
が，そこでは，もともとは可測基数との関連で導入さ
れた超積による論法や，超積を必ずしも超フィルター
でないフィルターに一般化したreduced product を
用いる論法，強制拡大や，巨大基数の下での状況の知
見やそこでの論法のアナロジーによるZFC での議論
などが駆使され，ZFC で成立しうる理論の可能性(の
うち人間にとってeligible なもの) の限界への挑戦が
なされている．加速定理現象(の，このような研究に
よる回避) が，人間にとっての証明の限界を押し広げ
てくれる可能性が高いように思える．
集合論の一般位相空間論，代数，解析などへの応用
の研究などを除くと，このような集合論の複数の拡張，
論理学の積極的な活用や数学と超数学の間の視点を含
む研究形態は，集合論以外の数学の研究分野ではまだ
見られることの少ないものであるが29，来たる22 世
紀の数学の究極の姿の可能性の一つを示しているもの
とも考えられるだろう．上で議論したような意味での
加速定理の解釈が，数学の未来がこのような超数学を
内包するスタイルの数学研究に向わざるを得ない，と
いう主張の正統性に対する主要な論拠の一つとなって
いる，と筆者は考えるものである．

おっちゃんです。
>>285
最近の専門家は素人を当てにする程暇がないようだ。
むしろ、専門家は引退した人が多く、連絡を取ることが難しい。
日本評論社に送ってみようかとも思ったが、長さの都合上余り送らない方がよいと思う。
ピエロになることを覚悟の上で、Kindle 本にしてみましょう。

>>290
元々、無理性の判断や超越数論の証明は、方法がパターン化されていて、山も谷もなくつまらない。
まあ、トンデモ本の事情に詳しいようだが、トンデモ本を読んだことがあるのか？

>>282
素人を当てにする → 素人を相手にする

>>292

ふーん、なるほど下記か
まあ、やってみたらぁ〜（＾＾
https://ferret-plus.com/9079
Webマーケティングメディア ferretニュース意外と簡単！Amazon Kindleで電子書籍を出版する超基本4ステップ 2017年12月6日

Amazonの電子出版、なぜこれほど盛り上がっている？

http://design-zero.tv/kdp/
3時間で学ぶ Kindleストアで販売する電子書籍の作り方

>>292
誤　ピエロになることを覚悟の上で
正　ピエロになりたくて仕方ないので

おっちゃんはスレ主に憧れる●違い

＞無理性の判断や超越数論の証明は、方法がパターン化されていて、

既存の方法をなぞる時点で新しいことを考える意欲がないつまならいヤツ

方法がパターン化されているなら尚の事ド素人が入り込める余地は無いだろｗ

>>296
パターン化された時点でそもそも数学として終わってるけどな

>>294
試してみる。

>>295-296
事前の批判だけなら思う存分してくれ。

またやってもいないことを事前に明かしたアンタが悪いｗ

>>299
これから書く具体的内容は明かしていない。

>>299
そもそも本書く前から書くぞと宣言したがる時点で
「ただの目立ちたがりだな」と思った

>>300
是非出版前に専門家に見せて
完膚なきまでダメ出しされてください
面白くもないトンデモ本なんてクソだから

まあ見てくれる奇特な専門家がいればの話だけどねｗ
おっちゃんにコネを作れる能力があるとも思えないしｗ

>>303
まあ頼まれた専門家はいい迷惑
あんな読みにくい「怪文書」読まされるほうが地獄

>>302
やはり、専門家ではなかった。

>>305
5chの「一般人」にも証明の誤りを指摘される時点でもう終わってるけどね

現在の局面：素人同士の泥仕合。

●っちゃんは理科大卒だそうだが、別に驚きはない
相対論は間違ってる、と主張する
早大応用物理卒のトンデモもいたからな

>>306
お前さんに研究能力はなさそうだ。

>>307
出版前に専門家に見てもらって
思う存分ダメ出しされてくださいｗ

>>309
そう　君と全く同じだよ　ただの馬鹿ｗ

闇雲に数式を弄る行為を研究と思うほど狂ってない

身の程を知らぬ奴は最高に恥ずかしい

>>310
一つだけ気になる点は、何故か以前のように「お前は……をしている」というような
文体で何レスにも亘る長文で間違いを鋭く指摘する人からのメッセージがないことな。
この人は、「トンデモ」という言葉を用いたことはないと思う。

>>313
なにいってんだ？こいつ

ただkindle本を出したいっていうだけの書き込みで
これから書く本の中身の誤りを指摘したらオカルトだろｗ

ダメ出ししてほしいなら、ここに中身を書けばいい
ここのハゲタカどもがいつものように
いやというほどつついてくれるぞｗｗｗ

>>314
中身、文体からして、>>313に書いたその人に該当しないということが分かった。
その人は数学を理解している。

>>205 補足（キューネン読んで）
（>>58）
http://blacaman.tripod.com/cursos/pdf/2012-2_0941.pdf
An Introduction to Independence Proofs K KUNEN 著 First edition: 1980 Seventh impression: 1999
https://www.amazon.co.jp/dp/4535783829/ref=pd_lpo_sbs_14_t_1?_encoding=UTF8&;psc=1&refRID=8NKTZE2Q63MR3BRQEWQX
集合論―独立性証明への案内 単行本 ? 2008/1/1
ケネス キューネン (著), Kenneth Kunen (原著), 藤田 博司 (翻訳)

P100
§4. The Axiom of Foundation
AXIOM 2. Foundation.
∀x(∃y(y∈x)→∃y(y∈x ∧ ¬∃z(z∈x ∧ z∈y))).

Equivalently, if x ≠ 0, ∃y ∈ X (x ∩ y = 0), or every non-empty set has
an ∈-minimal element, or, if we extend the definition of well-founded to
proper classes (see §5), ∈ is well-founded on V.
(引用終り)

”if x ≠ 0, ∃y ∈ X (x ∩ y = 0)”について
http://www.math.is.tohoku.ac.jp/~obata/student/subject/
東北大学大学院情報科学研究科 システム情報科学専攻 尾畑研究室−システム情報数理学II研究室−
尾畑伸明：集合・写像・数の体系　数学リテラシーとして
http://www.math.is.tohoku.ac.jp/~obata/student/subject/file/2018-3_shugo-enzan.pdf
第3章 集合の演算 GAIRON-book : 2018/6/21(19:23)
P34
x ∈ A ∩ B ←→ (x ∈ A) ∧ (x ∈ B) (3.2)
(引用終り)

なので
z∈x ∧ z∈y → z ∈ x ∩ y
¬∃z(z∈x ∧ z∈y) → z＝0 つまり x ∩ y = 0
よって
AXIOM 2. Foundation.
∀x(∃y(y∈x)→∃y(y∈x ∧ ¬∃z(z∈x ∧ z∈y))).
　↓
if x ≠ 0, ∃y ∈ X (x ∩ y = 0)
こっちの表現で記されているものが多い
多分、上の”AXIOM 2. Foundation”では、x,y,zと３つ出てくるが、こっちの表現だとx,yの２つで、よりシンプルってことだろうね
でも、x,y,zと３つ使う表現も、それはそれで意味あるんだろうね（キューネン先生が書いているんだから（＾＾ ）

つづく

>>316

つづき

P101
Foundation
does rule out certain pathologies. For example, we remarked in §2 that there
is no x ∈ WF such that x ∈ x, so Foundation implies that ¬∃x (x ∈ x) (or,
apply the axiom directly to show ∃y ∈ {x} (y ∩ {x} = 0), so x ∩ {x} = 0,
or x not∈ x). Likewise, there cannot be an x, y with x ∈ y ∧ Y ∈ X (or, apply
the axiom directly to {x, y}).
(引用終り)

”there cannot be an x, y with x ∈ y ∧ Y ∈ X (or, apply the axiom directly to {x, y})”
について

the axiom directly to {x, y}なので、c＝{x, y}とおくと
AXIOM 2. Foundation より
∀x(∃y(y∈x)→∃y(y∈x ∧ ¬∃z(z∈x ∧ z∈y)))
　↓
　C(∃y(y∈C)→∃y(y∈C ∧ ¬∃z(z∈C ∧ z∈y)))
ここで、zとしてxを取る。x∈C (={x, y}) かつ、仮定よりx ∈ y
よって
∃x(x∈C ∧ x∈y)
　↓
∃z(z∈C ∧ z∈y)が成立して、
AXIOM 2. Foundationに矛盾する。

以上

>>316 追加

ここ、尾畑伸明先生（下記）に詳しい解説があったね（＾＾
http://www.math.is.tohoku.ac.jp/~obata/student/subject/
東北大学大学院情報科学研究科 システム情報科学専攻 尾畑研究室−システム情報数理学II研究室−
尾畑伸明：集合・写像・数の体系　数学リテラシーとして
http://www.math.is.tohoku.ac.jp/~obata/student/subject/file/2018-3_shugo-enzan.pdf
第3章 集合の演算 GAIRON-book : 2018/6/21(19:23)
P45
(S9) 基礎の公理 空でない集合 A には, すべての y ∈ A に対して y not∈ x を満たす x ∈ A が存在する.4)
∀A(A ≠ Φ → ∃x ∈ A∀y ∈ A(y not∈ x))
4)順序集合における用語を流用して, このような x を ∈ に関する A の極小元という.

以上の公理から導かれる簡単な性質をいくつか述べておこう.

補 題 3.14 x ∈ y と y ∈ x を同時に満たす集合 x, y は存在しない.
証 明 まず, 2 つの集合 x, y に対して, 対の公理によって A = {x, y} も集合である.
もし x ∈ y と y ∈ x が同時に成り立てば, A に基礎の公理を適用して,
x または y が極小元になる.
前者であれば x not∈ x と y not∈ x が同時に成り立ち,
後者であれば x not∈ y と y not∈ y が同時に成り立つことになるが,
いずれも仮定に反する.
したがって, x ∈ y と y ∈ x は両立しない.

定 理 3.15 集合 x, y に対して次が成り立つ.
(1) x ∈ x を満たす集合は存在しない.
(2) x ∈ y, x = y, y ∈ x のうち高々1 つだけ成り立つ.
(3) {x} ⊂ x を満たす集合 x は存在しない.
したがって, x = {x} を満たす集合も存在しない.
証 明
(1) 補題 3.14 において x = y とおけば, x ∈ x を満たす集合は存在しないことがわかる.
(2) (1) と補題 3.14 を合わせればよい.
(3) {x} ⊂ x から x ∈ x が得られて (1) に矛盾する.

つづく

>>318

つづき

定 理 3.16 集合の元の列 x1, x2, . . . , xn, . . . で
x1 ∋ x2 ∋ ・ ・ ・ ∋ xn ∋ ・ ・ ・
を満たすもの (無限下降列という) は存在しない.
証 明
集合 A = {xn | n ∈ N} が基礎の公理に反する.5)
5)A が集合になるのは, 置換公理によって写像の像集合は確かに集合になることを使う.
(引用終り)

これ、(>>194)
「２）∈を使った順序で、∈に等号（=）を含ませず、極小元を保証しているものだという視点」
をしっかり意識すれば、理解しやすいだろう（＾＾
なお、”∀A(A ≠ Φ → ∃x ∈ A∀y ∈ A(y not∈ x))”の形の表現は、分り易いね
以上

>>315
おっちゃん、どうも、スレ主です。
おっちゃんのその証明は正しい！（＾＾

>>320
その人は、私が昔メンターさんと呼んでいた人だが
おっちゃんも、メンターさんの指摘には、頷いていたね
あの人は、レベル高かったなーｗ（＾＾

>>315 >>321
また目糞鼻糞がなんかほざいてるな

麗しの「メンター」様はお亡くなりなったようだ
デキの悪い「メンティ」二匹もくたばりやがれ

スレ主への問い

∃x∀y(y∈x⇔¬(y∈y))
から矛盾を導け

>>320
まあ、オイラーの定数γが有理数であることについては飛躍があったが、
人工的な操作を加えてはいなく、自然に導かれるから正しい。

γを無理数とすると、自然に自動的に矛盾が導かれる。
人工的な操作は何も施していない。

>>325-326
自分が天才だと思ってるのか知らんが頭おかしい

>>327
微分積分レベルのことに気付けないとは……。

>>328
微分積分レベルの問題でないと気づけないとは・・・白痴？

この間の似非証明でこのスレで指摘された
明白な誤りを認められないなら
数学を研究する能力のない白痴

>>329
一般に、解析の論理は意外に難しいところがある。