[過去ﾛｸﾞ]
現代数学の系譜 工学物理雑談 古典ガロア理論も読む76 (1002ﾚｽ)
現代数学の系譜 工学物理雑談 古典ガロア理論も読む76 http://rio2016.5ch.net/test/read.cgi/math/1566715025/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
913: １３２人目の素数さん [sage] 2019/09/09(月) 14:14:40.75 ID:uwfnXwUu >>910 自然数論の定義は数理論理学の教科書にありますからご覧ください 知りもせずに見当違いなことかいてもあなたが恥かくだけですよ http://rio2016.5ch.net/test/read.cgi/math/1566715025/913
914: １３２人目の素数さん [sage] 2019/09/09(月) 14:17:17.39 ID:uwfnXwUu >>911 あなたは無矛盾性証明を「無矛盾性を保証するために必要なもの」 と思っているようですが、今時そんな発想で研究する人はいませんよ おいくつだか知りませんが あなたの知識は昭和時代のものであって もう平成も終わった令和の時代では完全に時代遅れです http://rio2016.5ch.net/test/read.cgi/math/1566715025/914
915: １３２人目の素数さん [sage] 2019/09/09(月) 14:18:37.35 ID:uwfnXwUu ついでにいうと、昭和とか平成とか令和とかいうのも 日本とかいう島国の土民が使う下らぬ風習 http://rio2016.5ch.net/test/read.cgi/math/1566715025/915
916: １３２人目の素数さん [sage] 2019/09/09(月) 14:25:04.36 ID:uwfnXwUu >>1の知っている数学は高卒程度と思われる 一方この板に書き込まれる数学は 大体数学科の専門課程（３年以上）レベル だから全然足りない http://rio2016.5ch.net/test/read.cgi/math/1566715025/916
917: １３２人目の素数さん [] 2019/09/09(月) 14:28:49.30 ID:uwfnXwUu ＞最近、AIと数学の関係が気になって、その関係の記事を集めています AIについて知りたければ数学板でなく別の板にいくことをお勧めします 高卒程度の数学の知識でもなんとかなるでしょう 別に数学者になるわけじゃないですからね http://rio2016.5ch.net/test/read.cgi/math/1566715025/917
918: １３２人目の素数さん [sage] 2019/09/09(月) 14:34:06.98 ID:uwfnXwUu ちなみに東ロボ君は量化子消去法とか 結構難しい数学（数理論理学）を使ってますね http://scienceandtechnology.jp/archives/1880 ただ、これは数学の問題を解く以外では必要ない技なんで 多くのAI研究者の関心事ではないでしょうね http://rio2016.5ch.net/test/read.cgi/math/1566715025/918
919: １３２人目の素数さん [sage] 2019/09/09(月) 14:37:05.31 ID:uwfnXwUu 充足可能性問題（SAT問題）を解くアルゴリズムは より一般的な利用価値がありそうですけどね しかし>>1の人がこういうことについて ちょっとでも語ってるのを見たことないので きっと視線が見当違いな方向に向いてるんでしょう 勉強する努力を避けてるみたいだし もう齢で本を読むのもキツイのかもしれませんね それなら数学なんてもう諦めて、もっと楽な趣味を見つけましょう http://rio2016.5ch.net/test/read.cgi/math/1566715025/919
920: １３２人目の素数さん [sage] 2019/09/09(月) 15:42:11.52 ID:uwfnXwUu 1がAIについて知りたいなら情報学板でも行けば？ https://rio2016.5ch.net/informatics/ http://rio2016.5ch.net/test/read.cgi/math/1566715025/920
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.ht
ml キューネン数学基礎論講義 ケネス・キューネン 著 藤田 博司 訳 日本評論社 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(201
5), 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) 学会 日本数学会、 Associ
ation 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/1566715
025/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
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 60 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.023s