[過去ﾛｸﾞ]
現代数学の系譜 工学物理雑談 古典ガロア理論も読む76 (1002ﾚｽ)
現代数学の系譜 工学物理雑談 古典ガロア理論も読む76 http://rio2016.5ch.net/test/read.cgi/math/1566715025/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
921: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/09/09(月) 15:48:58.70 ID:w2gV7wtr >>897 (引用開始) ＞多くの大学数学科の教程で、「自然数論」はやらないでしょう？ やりますよ http://www.ocw.titech.ac.jp/index.php?module=General&action=T0300&JWC=201602397 上記は東工大の「数理論理学」ですが ・第10回 不完全性定理（１）。算術，ゲーデル数，表現可能性。 とあります。 上記の第10回にある「算術」が自然数論のことです。 (引用終り) 笑えますｗ（＾＾ 「自然数論」の定義は？ｗ（＾＾ （>>910より）前原氏は、狭く、ゲンツェンの1936年の意味で使っていますよｗ ”ゲーデル数，表現可能性”は、ゲンツェン 1936には無いでしょ、多分（読んでないけど年代的にね） ”ゲーデル数，表現可能性”は、ゲンツェン 1936より後でしょう？（＾＾ そして、URLを開くと ”教科書 鹿島亮 『数理論理学』 朝倉書店 (ISBN: 978-4-254-11765-3) ”となっていますよ その講義は、「自然数論」ではなく、 『数理論理学』じゃないのでしょうかｗ（＾＾ 『数学基礎論』とも、表現すると思いますけどね （参考） https://www.nippyo.co.jp/shop/book/7176.html キューネン数学基礎論講義 ケネス・キューネン 著 藤田 博司 訳 日本評論社 2016 http://rio2016.5ch.net/test/read.cgi/math/1566715025/921
922: １３２人目の素数さん [] 2019/09/09(月) 15:51:23.40 ID:Zxe0XtIu 05053577600 http://rio2016.5ch.net/test/read.cgi/math/1566715025/922
923: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/09/09(月) 15:59:33.92 ID:w2gV7wtr >>898 (引用開始) あなたはなぜ検索しないのですか？ 新井氏の研究は、証明論における順序数解析です https://www.ms.u-tokyo.ac.jp/teacher/tarai.html 証明論で扱う体系の中に当然自然数論も含まれます 論理学者で、自然数論について知らない人はいませんよ 論理学における一般常識ですから (引用終り) 笑えます。そのURLを開くと、下記 「研究分野 数学基礎論」「著書 数学基礎論 岩波書店(2011)」とあるじゃないですか！ｗ 「学会 科学基礎論学会」 「自然数論」という言葉は出てこないｗ（＾＾ 「基礎論」でしょ！ｗ https://www.ms.u-tokyo.ac.jp/teacher/tarai.html 新 井 敏 康 (ARAI Toshiyasu) 講 座 離散数理学大講座 教授 研究分野 数学基礎論 研究テーマ 証明論 研究概要 証明論は数学における証明を対象にしています。その中で主に順序数解析を研究しています。これは公理系に対して順序数を結びつけてその公理系の内部に潜む構造を解き明かそうとする分野です。 主要論文 Intuitionistic fixed point theories over set theories,Arch. Math Logic 54(2015), 531-553 Lifting proof theory to the countable ordinals: Zermelo-Fraenkel set theory,Jour. Symb. Logic 79(2014), 325-354 Proof theory of weak compactness, Jour. Math. Logic 13(2013), 1350003 Proof theories of ordinals I: recursively Mahlo ordinals, Ann. Pure Appl. Logic 122(2003), 1-85 Ordinal diagrams for recursively Mahlo universes, Arch. Math. Logic 39(2000), 353-391 著書 計算とは何か 東京図書(2009)（新井紀子と共著） 数学基礎論 岩波書店(2011) 集合・論理と位相 東京図書(2016) 学会 日本数学会、 Association for Symbolic Logic、 科学基礎論学会 受賞 日本数学会秋季賞(2003) http://rio2016.5ch.net/test/read.cgi/math/1566715025/923
924: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/09/09(月) 16:10:20.18 ID:w2gV7wtr >>899 (引用開始) 引用するならまず読みましょう 自分が読んで理解できないものを 引用するのは無責任な行為です (引用終り) お断りしますｗ（＾＾ このスレでは、私がスレ主です テンプレ>>1をお読みください（＾＾ 「スレ主の趣味で上記以外にも脱線しています。ネタにスレ主も理解できていないページのURLも貼ります。関連のアーカイブの役も期待して。 話題は、散らしながらです。時枝記事は、気が向いたら、たまに触れますが、それは私スレ主の気ままです。」 ってことです そもそも、５CHになにを期待していますか？ 学会ごっこ？ 来る場所を間違えている（＾＾ 無責任？ 責任は読む人にあります。PDFのURLを示している。各人が自分の責任で読めばいいだけのこと ここは、授業料を取る有料サイトではありませんよ。勘違い勘違い （５CHに対する幻想か妄想かｗ） http://rio2016.5ch.net/test/read.cgi/math/1566715025/924
925: １３２人目の素数さん [sage] 2019/09/09(月) 16:14:13.62 ID:uwfnXwUu >>921 >笑えます 虚勢は恥ずかしいですね >「自然数論」の定義は？ 数理論理学の本にありますよ ゲンツェンがどうとかいってますけど そこは別に変わらないですよ >「自然数論」ではなく『数理論理学』じゃないのでしょうか 鹿島氏の「数理論理学」でも 当然自然数論について定義してますよ 読めばわかりますよ 数理論理学の中身も知らずに 見当違い言いがかりをつけるのは 恥ずかしいだけですよ http://rio2016.5ch.net/test/read.cgi/math/1566715025/925
926: １３２人目の素数さん [sage] 2019/09/09(月) 16:17:01.28 ID:uwfnXwUu >>923 ＞笑えます あなたは反論できなくなると笑うクセがあるようですね みっともないのでやめたほうがいいですよ ＞「自然数論」という言葉は出てこない ＞「基礎論」でしょ 数学基礎論（数理論理学）で自然数論を扱うのは常識ですよ あなたが素人だから知らないだけでしょう http://rio2016.5ch.net/test/read.cgi/math/1566715025/926
927: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/09/09(月) 16:19:08.78 ID:w2gV7wtr >>900 >>「国立情報学研究所教授の新井紀子は妻」か >妻は別人なので関係ないですね それ、重要情報でしょｗ だから、wikipedia に入っているのですよ 私ら、ミーハーですから、旦那の顔を見たことは無いが 新井紀子さん、NHKとかいろんなTVで見ましたよ 本も出されている。ベストセラーを ＞分かってもいないのに分かったつもりでウソを書くなんて それあなた 「自然数論」？ いま、その名前で教える大学数学科なし 「自然数論」？ いま、その名前で出版される書籍なしｗ 2019年の常識を知らず、古い「自然数論」を振り回す 結構ですよ、面白いです。どんどん蘊蓄を頼んます（＾＾ http://rio2016.5ch.net/test/read.cgi/math/1566715025/927
928: １３２人目の素数さん [sage] 2019/09/09(月) 16:22:28.46 ID:uwfnXwUu >>924 >>引用するならまず読みましょう >>自分が読んで理解できないものを >>引用するのは無責任な行為です >お断りします 道徳心のかけらもないようですね >このスレでは、私がスレ主です 誰であろうと、人間であれば当然なすべきことがあります それができないなら人間ではないということです >無責任？ 責任は読む人にあります。 いいえ 全責任は引用したあなたにあります あなたが理解していなければあなた一人が非難されるのは当然です >各人が自分の責任で読めばいいだけのこと 人間として間違っています 書く人に全責任があります 読む人に責任を負わせる発言は全くの詐欺ですね http://rio2016.5ch.net/test/read.cgi/math/1566715025/928
929: １３２人目の素数さん [sage] 2019/09/09(月) 16:25:30.78 ID:uwfnXwUu >>927 >>妻は別人なので関係ないですね >それ、重要情報でしょ いいえ ここでは不必要な情報です >だから、wikipedia に入っているのですよ wikipediaは誰でも書けるので、つまらぬことを書く人もいます 書くのは自由ですが、引用する際に全部引用するのは馬鹿のすることでしょう >私ら、ミーハーですから 数学に興味もないくせに 数学を語るとカッコイイと勘違いしてる 変質者は出て行ってもらえますか？ 迷惑ですから http://rio2016.5ch.net/test/read.cgi/math/1566715025/929
930: １３２人目の素数さん [sage] 2019/09/09(月) 16:30:25.84 ID:uwfnXwUu >>927 ＞「自然数論」？ いま、その名前で教える大学数学科なし ＞「自然数論」？ いま、その名前で出版される書籍なし ＞2019年の常識を知らず、古い「自然数論」を振り回す キチガイが発狂してますね 昔から「自然数論」という名前の講義も書籍もないですよ 数理論理学の中で自然数論について扱っているのですから 大学の数学科で数学基礎論もしくは数理論理学と名の付く 講義を受けたことがあるなら、皆知っていることです だいたい内容は述語論理におけるゲーデルの完全性定理と 自然数論におけるゲーデルの不完全性定理ですから あなたは数学科出身ではないから上記の常識を知らずに 見当違いなことばかり書いてますが実に恥ずかしいですよ あなたのいってることは2019年の現在においても 完全な誤りであり嘘です いいかげん恥を知りましょう http://rio2016.5ch.net/test/read.cgi/math/1566715025/930
931: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/09/09(月) 16:34:52.50 ID:w2gV7wtr >>901 あ、それ https://togetter.com/li/1238972 面白いですね〜 あなたは、なるほど、ピエロ（>>2）とは別人みたいですね ピエロには、そのセンスないわ（＾＾ ＞論理学者が誰もこのことを指摘しなかったのは残念 論理学者は、みんな大人でしょ 「ゲーデル」という数学では超有名人を いったい一般人がどれほど知っているのか？ それが分かっているから、無益な論争をしないだけでしょうね 旦那（新井敏康）と学会で論争するならともかくもｗ（＾＾ http://rio2016.5ch.net/test/read.cgi/math/1566715025/931
932: １３２人目の素数さん [sage] 2019/09/09(月) 16:35:45.40 ID:uwfnXwUu 数学についてよく知らず、しかも学ぶ意欲もないのに 数学がカッコイイと思って、語りたがる人は昔からいます 最近だと、森田真生とかでしょうか 彼のいってることはだいたい数学と無関係なので 詐欺師と呼んでいいと思います 彼がなにかというと岡潔をひきあいにだすのも如何わしいです 岡潔は数学についてはともかく、それ以外の件については 実におかしなことしかいいませんから http://rio2016.5ch.net/test/read.cgi/math/1566715025/932
933: １３２人目の素数さん [] 2019/09/09(月) 16:44:26.10 ID:uwfnXwUu >>931 新井紀子の発言について、論理学者が非難してるのは 「リアリティ」という未定義の言葉で語ってる点でしょう 永島孝氏のいうようにモデルの範疇性についていってるのだろう と推察することはできますが、それは知ってる人だからわかることで 知らない人にはわかりようがありませんからね ただ、真の問題はなぜそんな物言いをしたのか？という点にあります そこは論理学の専門的な話とは別なので、論理学の立場でどうこういっても 意味がないと考えます ＞論理学者は、みんな大人でしょ ＞「ゲーデル」という数学では超有名人を ＞いったい一般人がどれほど知っているのか？ ＞それが分かっているから、無益な論争をしないだけでしょうね 馬鹿丸出しの見当違いな憶測は口にするだけ恥ずかしいですよ 学者ほど論争好きな人種はいませんよ 彼らは論争こそが仕事ですから どんな論争も彼らにとっては有益です 少なくともそれで論文が書けますからね http://rio2016.5ch.net/test/read.cgi/math/1566715025/933
934: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/09/09(月) 16:53:22.62 ID:w2gV7wtr >>907 >分かってないことに気づけず分かった気分になるのは >学習を阻害する最も重要な要因 そういう人もいますけど それ、レベル低い人か、あるいは大天才ですね 例えば、いま貴方が使っている5CHネットの掲示板 A）全てを理解してから使いましょう B）分からないところがあっても、使いながら、必要なところを理解しましょう ２択問題です A）タイプの人いますよね でも、現代社会では、A）＋B）のミックス戦略が必要じゃないですかね？ 天才は、A）で普通以上にやれる！ でも、凡人はA）＋B）でしょう で、自分の専門（プロとして負けない部分）は、選択肢A）かも でも現代数学の範囲は広いから、全分野でA）は難しい 凡人なのに、A）しかできない人、います（＾＾ しかし、低レベルのままです 英語で、自分で”英語使わずに”上達しようとして、英文法を完璧に理解しようとする人ですね http://rio2016.5ch.net/test/read.cgi/math/1566715025/934
935: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/09/09(月) 16:56:20.89 ID:w2gV7wtr >>908 ＞まあ、執拗に口答えする習性に関しては ”執拗に口答え”ねー 昔、小学校か中学で教えていましたか？ ”口答え”ねー 多分、大学教官で、”口答え”という言葉を使う人はいないでしょうね まあ、どんどん、「自然数論」の蘊蓄をお願いします 面白い人ですね http://rio2016.5ch.net/test/read.cgi/math/1566715025/935
936: １３２人目の素数さん [sage] 2019/09/09(月) 17:05:52.55 ID:uwfnXwUu >>934 ＞A）全てを理解してから使いましょう ＞B）分からないところがあっても、使いながら、必要なところを理解しましょう あなたの場合は C)全然わからなくても、とにかくコピペすれば、わかった風な顔ができる というだけですから論外です あなたの戦略は詐欺師のものです しかも自分自身を騙しているので、全然数学が学べません 多分英語もロクに話せないでしょう そのくせボディトークで通じると 「俺の「英語」が通じた」と言い張る こういう人は「失敗」しないから 向上する動機がなくしたがって全然進歩しません http://rio2016.5ch.net/test/read.cgi/math/1566715025/936
937: １３２人目の素数さん [sage] 2019/09/09(月) 17:07:47.78 ID:uwfnXwUu >>935 ＞昔、小学校か中学で教えていましたか？ いいえｗ あなたは小学校でも中学校でも教師に 「執拗に口答えする」といわれたんでしょうね 私はそんなことはありませんでしたよ http://rio2016.5ch.net/test/read.cgi/math/1566715025/937
938: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/09/09(月) 17:09:35.19 ID:w2gV7wtr >>912 >あなたこそコテハンとトリップはやめたらいかがですか？ >戸籍上の実名で書き込めないなら同じことですから 5CH初心者？ 数学板以外では、IDの無い掲示板もあります で、IDは、日替わりなんです。明日は、別のIDになります ”コテハンとトリップ”は、ペンネームですよ（＾＾ (引用開始) >前原「”命題の真偽”に,より精密な”定義”」ですよね、 >あなた「自然数論の真偽の定義」とは微妙に違うよ 文字面が一致しないと同じとみなさないなんて 今時のAIでもそこまで低性能ではないですよ (引用終り) 面白い人だね 数学における定義は、相手が勝手に趣旨をくんで読み取るものですか 初耳ですよ あなたは、そんな数学をやってきたのですか？（＾＾ 「定義は？」と聞かれて、定義が書かれていない論文を渡して、「これを嫁め、おまえはＡＩか！」ですかねｗ（＾＾ >>ここの、”命題の真偽”は、自然数論（内）の真偽ではなく、 >>外部の広く一般の論理における”真偽”でしょ？ >いいえ >まず自然数論における真偽の定義は、独自用語ではありません へへー、じゃ、両者の差 ”命題の真偽”、自然数論（内）の真偽と 外部の広く一般の論理における”真偽”と の差を、定義からきちんと書いて見て http://rio2016.5ch.net/test/read.cgi/math/1566715025/938
939: １３２人目の素数さん [sage] 2019/09/09(月) 17:11:21.26 ID:uwfnXwUu ID:w2gV7wtrは 「自分は数学が分かっている」 といいたいためだけに書き込みしている点で 実に恥ずかしい存在だといわざるを得ません おそらく、人生において何も自慢できることがなかったのだろう と思われますが、こんなところで詐欺トークしても意味ないので もっとましな趣味を見つけて、健全な老後を送ってください http://rio2016.5ch.net/test/read.cgi/math/1566715025/939
940: １３２人目の素数さん [sage] 2019/09/09(月) 17:14:30.46 ID:uwfnXwUu >>938 IDは根本的には必要ないですね IDは日替わりで結構でしょう そもそも複数の発言の一貫性を確認したくなるほど 有意義なものであるなら、こんなところには書きませんよ あなたは粋がってコテハンとトリップをつかってるみたいですが 間違いまくりで恥をさらしてるだけなのでやめたほうがいいですよ http://rio2016.5ch.net/test/read.cgi/math/1566715025/940
941: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/09/09(月) 17:15:18.30 ID:w2gV7wtr >>918 東ロボ君 http://scienceandtechnology.jp/archives/1880 それ、ちょっと面白いね そういう蘊蓄たのんます（＾＾ http://rio2016.5ch.net/test/read.cgi/math/1566715025/941
942: １３２人目の素数さん [sage] 2019/09/09(月) 17:16:59.48 ID:uwfnXwUu >>938 ＞数学における定義は、相手が勝手に趣旨をくんで読み取るものですか この件に関しては全くの見当違いですね あなたが文章を読んでなかったのが悪いということです http://rio2016.5ch.net/test/read.cgi/math/1566715025/942
943: １３２人目の素数さん [sage] 2019/09/09(月) 17:19:04.22 ID:uwfnXwUu >>938 >”命題の真偽”、自然数論（内）の真偽と >外部の広く一般の論理における”真偽”と >の差を、定義からきちんと書いて見て 論理学の教科書でモデルについて書かれたところを読みましょう 読んで理解できないなら、そもそもあなたには論理が分からない ということですから何をやっても無駄でしょう http://rio2016.5ch.net/test/read.cgi/math/1566715025/943
944: １３２人目の素数さん [sage] 2019/09/09(月) 17:21:29.33 ID:uwfnXwUu >>941 ＞それ、ちょっと面白いね 無理しなくていいですよ あなたには一生チンプンカンプンですから もっと身の丈にあった趣味をみつけましょう 大して考えなくても感覚だけでできることがいいですね あなたは考えることが嫌いのようですから http://rio2016.5ch.net/test/read.cgi/math/1566715025/944
945: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/09/09(月) 17:23:22.74 ID:w2gV7wtr >>920 > 1がAIについて知りたいなら情報学板でも行けば？ >https://rio2016.5ch.net/informatics/ 幻想でしょ。笑える 5ch 掲示板に何を期待しているの？（＾＾ 5ch 掲示板って落書きですよｗ あなたが、ガンガン書いているスレがあったら、教えて下さい 見に行きます それだけ書けるなら、数学板に自分でスレ立てたら？（＾＾ 「大体数学科の専門課程（３年以上）レベル」？ そんなスレがこの数学板にあるのか？ ＩＵＴは、定期巡回していますが、それ以外ではどこにｗ http://rio2016.5ch.net/test/read.cgi/math/1566715025/945
946: １３２人目の素数さん [sage] 2019/09/09(月) 17:24:02.51 ID:uwfnXwUu ID:w2gV7wtrは趣味とかないんですか？ 趣味がないとこういうところで くだらない書き込みして 人生を終わることになりますよ とにかく趣味をみつけましょうね こんなところで恥ずかしい書き込みして 人生終わるとか最低最悪ですよ 私があなたの息子ならこんな父親は持ちたくありませんね http://rio2016.5ch.net/test/read.cgi/math/1566715025/946
947: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/09/09(月) 17:27:05.94 ID:w2gV7wtr >>928 ＞道徳心のかけらもないようですね 笑えますね、本当に ５ＣＨ初心者？ 落書きに道徳心のかけら？ 来る場所間違っているよ そもそも、この数学板にスレがいくつある？ いま数えると707ある 道徳心のかけらのスレを探して、そちらにどうぞ（無いと思うけどねｗ） http://rio2016.5ch.net/test/read.cgi/math/1566715025/947
948: １３２人目の素数さん [sage] 2019/09/09(月) 17:27:18.23 ID:uwfnXwUu >>945 ＞5ch 掲示板って落書きですよｗ 数学板をニュース速報板とかと勘違いしてるようですね あなたは５ｃｈ以外の趣味がないのですか？ それはいけませんね 健全な趣味を持ちましょう 少なくとも恥ずかしい最期を遂げたくないならそうしたほうがいい http://rio2016.5ch.net/test/read.cgi/math/1566715025/948
949: １３２人目の素数さん [sage] 2019/09/09(月) 17:31:50.63 ID:uwfnXwUu >>947 ＞笑えますね、本当に 無理に笑おうとすると、鬱病になりますよ ＞５ＣＨ初心者？ ＞落書きに道徳心のかけら？ ＞来る場所間違っているよ まず、５ｃｈは落書きの場所だというのはあなたの妄想です すくなくとも他の人はあなたほど恥知らずではありません あなたが人生の敗北者であることは想像がつきます しかしこんなところで無暗に数学関係の記事をコピペしても 人生の勝者にはなれません むしろ恥ずかしいだけです あなたが今後の人生を有意義に過ごしたいなら ここへの無意味な書き込みはやめたがいいですね ここはあなたがいなくても他の人が有意義に使いますから 何も心配することはありません 数学なんてあなたには理解不能ですから忘れましょう http://rio2016.5ch.net/test/read.cgi/math/1566715025/949
950: １３２人目の素数さん [sage] 2019/09/09(月) 17:35:39.48 ID:uwfnXwUu ID:w2gV7wtrは完全に数学板依存症になってますね 数学板の自分の立てたスレに数学情報を書き込むことで 「俺は数学が分かってる！」と思い込んでいい気分になる ようです でも、はっきりいってそれは自分一人の勘違いです 他の人は書き込みをみて 「ああ、また病気の人が書き散らかしてる」 と思うだけ こんなことをしても病気は治りません 今すぐ書き込みをやめましょう そして空いた時間をもっと有意義なことに使いましょう http://rio2016.5ch.net/test/read.cgi/math/1566715025/950
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 52 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.038s