[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む76 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
913: 2019/09/09(月)14:14 ID:uwfnXwUu(17/60) AAS
>>910
自然数論の定義は数理論理学の教科書にありますからご覧ください
知りもせずに見当違いなことかいてもあなたが恥かくだけですよ
914: 2019/09/09(月)14:17 ID:uwfnXwUu(18/60) AAS
>>911
あなたは無矛盾性証明を「無矛盾性を保証するために必要なもの」
と思っているようですが、今時そんな発想で研究する人はいませんよ
おいくつだか知りませんが あなたの知識は昭和時代のものであって
もう平成も終わった令和の時代では完全に時代遅れです
915: 2019/09/09(月)14:18 ID:uwfnXwUu(19/60) AAS
ついでにいうと、昭和とか平成とか令和とかいうのも
日本とかいう島国の土民が使う下らぬ風習
916(1): 2019/09/09(月)14:25 ID:uwfnXwUu(20/60) AAS
>>1の知っている数学は高卒程度と思われる
一方この板に書き込まれる数学は
大体数学科の専門課程（３年以上）レベル
だから全然足りない
917: 2019/09/09(月)14:28 ID:uwfnXwUu(21/60) AAS
＞最近、AIと数学の関係が気になって、その関係の記事を集めています
AIについて知りたければ数学板でなく別の板にいくことをお勧めします
高卒程度の数学の知識でもなんとかなるでしょう
別に数学者になるわけじゃないですからね
918(1): 2019/09/09(月)14:34 ID:uwfnXwUu(22/60) AAS
ちなみに東ロボ君は量化子消去法とか
結構難しい数学（数理論理学）を使ってますね
外部ﾘﾝｸ:scienceandtechnology.jp
ただ、これは数学の問題を解く以外では必要ない技なんで
多くのAI研究者の関心事ではないでしょうね
919: 2019/09/09(月)14:37 ID:uwfnXwUu(23/60) AAS
充足可能性問題（SAT問題）を解くアルゴリズムは
より一般的な利用価値がありそうですけどね
しかし>>1の人がこういうことについて
ちょっとでも語ってるのを見たことないので
きっと視線が見当違いな方向に向いてるんでしょう
勉強する努力を避けてるみたいだし
もう齢で本を読むのもキツイのかもしれませんね
それなら数学なんてもう諦めて、もっと楽な趣味を見つけましょう
920(1): 2019/09/09(月)15:42 ID:uwfnXwUu(24/60) AAS
1がAIについて知りたいなら情報学板でも行けば？
2ch板:informatics
921(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/09(月)15:48 ID:w2gV7wtr(10/38) AAS
>>897
(引用開始)
＞多くの大学数学科の教程で、「自然数論」はやらないでしょう？
やりますよ
外部ﾘﾝｸ[php]:www.ocw.titech.ac.jp
上記は東工大の「数理論理学」ですが
・第10回 不完全性定理（１）。算術，ゲーデル数，表現可能性。
とあります。
上記の第10回にある「算術」が自然数論のことです。
(引用終り)
笑えますｗ（＾＾
「自然数論」の定義は？ｗ（＾＾
（>>910より）前原氏は、狭く、ゲンツェンの1936年の意味で使っていますよｗ
”ゲーデル数，表現可能性”は、ゲンツェン 1936には無いでしょ、多分（読んでないけど年代的にね）
”ゲーデル数，表現可能性”は、ゲンツェン 1936より後でしょう？（＾＾
そして、URLを開くと
”教科書 鹿島亮 『数理論理学』 朝倉書店 (ISBN: 978-4-254-11765-3) ”となっていますよ
その講義は、「自然数論」ではなく、
『数理論理学』じゃないのでしょうかｗ（＾＾
『数学基礎論』とも、表現すると思いますけどね
（参考）
外部ﾘﾝｸ[html]:www.nippyo.co.jp
キューネン数学基礎論講義 ケネス・キューネン 著 藤田 博司 訳 日本評論社 2016
922: 2019/09/09(月)15:51 ID:Zxe0XtIu(1) AAS
05053577600
923(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/09(月)15:59 ID:w2gV7wtr(11/38) AAS
>>898
(引用開始)
あなたはなぜ検索しないのですか？
新井氏の研究は、証明論における順序数解析です
外部ﾘﾝｸ[html]:www.ms.u-tokyo.ac.jp
証明論で扱う体系の中に当然自然数論も含まれます
論理学者で、自然数論について知らない人はいませんよ
論理学における一般常識ですから
(引用終り)
笑えます。そのURLを開くと、下記
「研究分野 数学基礎論」「著書 数学基礎論 岩波書店(2011)」とあるじゃないですか！ｗ
「学会 科学基礎論学会」
「自然数論」という言葉は出てこないｗ（＾＾
「基礎論」でしょ！ｗ
外部ﾘﾝｸ[html]:www.ms.u-tokyo.ac.jp
新 井 敏 康 (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)
924(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/09(月)16:10 ID:w2gV7wtr(12/38) AAS
>>899
(引用開始)
引用するならまず読みましょう
自分が読んで理解できないものを
引用するのは無責任な行為です
(引用終り)
お断りしますｗ（＾＾
このスレでは、私がスレ主です
テンプレ>>1をお読みください（＾＾
「スレ主の趣味で上記以外にも脱線しています。ネタにスレ主も理解できていないページのURLも貼ります。関連のアーカイブの役も期待して。
話題は、散らしながらです。時枝記事は、気が向いたら、たまに触れますが、それは私スレ主の気ままです。」
ってことです
そもそも、５CHになにを期待していますか？ 学会ごっこ？ 来る場所を間違えている（＾＾
無責任？ 責任は読む人にあります。PDFのURLを示している。各人が自分の責任で読めばいいだけのこと
ここは、授業料を取る有料サイトではありませんよ。勘違い勘違い
（５CHに対する幻想か妄想かｗ）
925: 2019/09/09(月)16:14 ID:uwfnXwUu(25/60) AAS
>>921
>笑えます
虚勢は恥ずかしいですね
>「自然数論」の定義は？
数理論理学の本にありますよ
ゲンツェンがどうとかいってますけど
そこは別に変わらないですよ
>「自然数論」ではなく『数理論理学』じゃないのでしょうか
鹿島氏の「数理論理学」でも
当然自然数論について定義してますよ
読めばわかりますよ
数理論理学の中身も知らずに
見当違い言いがかりをつけるのは
恥ずかしいだけですよ
926: 2019/09/09(月)16:17 ID:uwfnXwUu(26/60) AAS
>>923
＞笑えます
あなたは反論できなくなると笑うクセがあるようですね
みっともないのでやめたほうがいいですよ
＞「自然数論」という言葉は出てこない
＞「基礎論」でしょ
数学基礎論（数理論理学）で自然数論を扱うのは常識ですよ
あなたが素人だから知らないだけでしょう
927(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/09(月)16:19 ID:w2gV7wtr(13/38) AAS
>>900
>>「国立情報学研究所教授の新井紀子は妻」か
>妻は別人なので関係ないですね
それ、重要情報でしょｗ
だから、wikipedia に入っているのですよ
私ら、ミーハーですから、旦那の顔を見たことは無いが
新井紀子さん、NHKとかいろんなTVで見ましたよ
本も出されている。ベストセラーを
＞分かってもいないのに分かったつもりでウソを書くなんて
それあなた
「自然数論」？ いま、その名前で教える大学数学科なし
「自然数論」？ いま、その名前で出版される書籍なしｗ
2019年の常識を知らず、古い「自然数論」を振り回す
結構ですよ、面白いです。どんどん蘊蓄を頼んます（＾＾
928(1): 2019/09/09(月)16:22 ID:uwfnXwUu(27/60) AAS
>>924
>>引用するならまず読みましょう
>>自分が読んで理解できないものを
>>引用するのは無責任な行為です
>お断りします
道徳心のかけらもないようですね
>このスレでは、私がスレ主です
誰であろうと、人間であれば当然なすべきことがあります
それができないなら人間ではないということです
>無責任？ 責任は読む人にあります。
いいえ 全責任は引用したあなたにあります
あなたが理解していなければあなた一人が非難されるのは当然です
>各人が自分の責任で読めばいいだけのこと
人間として間違っています
書く人に全責任があります
読む人に責任を負わせる発言は全くの詐欺ですね
929(1): 2019/09/09(月)16:25 ID:uwfnXwUu(28/60) AAS
>>927
>>妻は別人なので関係ないですね
>それ、重要情報でしょ
いいえ ここでは不必要な情報です
>だから、wikipedia に入っているのですよ
wikipediaは誰でも書けるので、つまらぬことを書く人もいます
書くのは自由ですが、引用する際に全部引用するのは馬鹿のすることでしょう
>私ら、ミーハーですから
数学に興味もないくせに
数学を語るとカッコイイと勘違いしてる
変質者は出て行ってもらえますか？
迷惑ですから
930: 2019/09/09(月)16:30 ID:uwfnXwUu(29/60) AAS
>>927
＞「自然数論」？ いま、その名前で教える大学数学科なし
＞「自然数論」？ いま、その名前で出版される書籍なし
＞2019年の常識を知らず、古い「自然数論」を振り回す
キチガイが発狂してますね
昔から「自然数論」という名前の講義も書籍もないですよ
数理論理学の中で自然数論について扱っているのですから
大学の数学科で数学基礎論もしくは数理論理学と名の付く
講義を受けたことがあるなら、皆知っていることです
だいたい内容は述語論理におけるゲーデルの完全性定理と
自然数論におけるゲーデルの不完全性定理ですから
あなたは数学科出身ではないから上記の常識を知らずに
見当違いなことばかり書いてますが実に恥ずかしいですよ
あなたのいってることは2019年の現在においても
完全な誤りであり嘘です いいかげん恥を知りましょう
931(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/09(月)16:34 ID:w2gV7wtr(14/38) AAS
>>901
あ、それ 外部ﾘﾝｸ:togetter.com
面白いですね〜
あなたは、なるほど、ピエロ（>>2）とは別人みたいですね
ピエロには、そのセンスないわ（＾＾
＞論理学者が誰もこのことを指摘しなかったのは残念
論理学者は、みんな大人でしょ
「ゲーデル」という数学では超有名人を
いったい一般人がどれほど知っているのか？
それが分かっているから、無益な論争をしないだけでしょうね
旦那（新井敏康）と学会で論争するならともかくもｗ（＾＾
932: 2019/09/09(月)16:35 ID:uwfnXwUu(30/60) AAS
数学についてよく知らず、しかも学ぶ意欲もないのに
数学がカッコイイと思って、語りたがる人は昔からいます
最近だと、森田真生とかでしょうか
彼のいってることはだいたい数学と無関係なので
詐欺師と呼んでいいと思います
彼がなにかというと岡潔をひきあいにだすのも如何わしいです
岡潔は数学についてはともかく、それ以外の件については
実におかしなことしかいいませんから
933: 2019/09/09(月)16:44 ID:uwfnXwUu(31/60) AAS
>>931
新井紀子の発言について、論理学者が非難してるのは
「リアリティ」という未定義の言葉で語ってる点でしょう
永島孝氏のいうようにモデルの範疇性についていってるのだろう
と推察することはできますが、それは知ってる人だからわかることで
知らない人にはわかりようがありませんからね
ただ、真の問題はなぜそんな物言いをしたのか？という点にあります
そこは論理学の専門的な話とは別なので、論理学の立場でどうこういっても
意味がないと考えます
＞論理学者は、みんな大人でしょ
＞「ゲーデル」という数学では超有名人を
＞いったい一般人がどれほど知っているのか？
＞それが分かっているから、無益な論争をしないだけでしょうね
馬鹿丸出しの見当違いな憶測は口にするだけ恥ずかしいですよ
学者ほど論争好きな人種はいませんよ
彼らは論争こそが仕事ですから
どんな論争も彼らにとっては有益です
少なくともそれで論文が書けますからね
934(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/09(月)16:53 ID:w2gV7wtr(15/38) AAS
>>907
>分かってないことに気づけず分かった気分になるのは
>学習を阻害する最も重要な要因
そういう人もいますけど
それ、レベル低い人か、あるいは大天才ですね
例えば、いま貴方が使っている5CHネットの掲示板
A）全てを理解してから使いましょう
B）分からないところがあっても、使いながら、必要なところを理解しましょう
２択問題です
A）タイプの人いますよね
でも、現代社会では、A）＋B）のミックス戦略が必要じゃないですかね？
天才は、A）で普通以上にやれる！
でも、凡人はA）＋B）でしょう
で、自分の専門（プロとして負けない部分）は、選択肢A）かも
でも現代数学の範囲は広いから、全分野でA）は難しい
凡人なのに、A）しかできない人、います（＾＾
しかし、低レベルのままです
英語で、自分で”英語使わずに”上達しようとして、英文法を完璧に理解しようとする人ですね
935(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/09(月)16:56 ID:w2gV7wtr(16/38) AAS
>>908
＞まあ、執拗に口答えする習性に関しては
”執拗に口答え”ねー
昔、小学校か中学で教えていましたか？
”口答え”ねー
多分、大学教官で、”口答え”という言葉を使う人はいないでしょうね
まあ、どんどん、「自然数論」の蘊蓄をお願いします
面白い人ですね
936(1): 2019/09/09(月)17:05 ID:uwfnXwUu(32/60) AAS
>>934
＞A）全てを理解してから使いましょう
＞B）分からないところがあっても、使いながら、必要なところを理解しましょう
あなたの場合は
C)全然わからなくても、とにかくコピペすれば、わかった風な顔ができる
というだけですから論外です
あなたの戦略は詐欺師のものです
しかも自分自身を騙しているので、全然数学が学べません
多分英語もロクに話せないでしょう
そのくせボディトークで通じると
「俺の「英語」が通じた」と言い張る
こういう人は「失敗」しないから
向上する動機がなくしたがって全然進歩しません
937: 2019/09/09(月)17:07 ID:uwfnXwUu(33/60) AAS
>>935
＞昔、小学校か中学で教えていましたか？
いいえｗ
あなたは小学校でも中学校でも教師に
「執拗に口答えする」といわれたんでしょうね
私はそんなことはありませんでしたよ
938(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/09(月)17:09 ID:w2gV7wtr(17/38) AAS
>>912
>あなたこそコテハンとトリップはやめたらいかがですか？
>戸籍上の実名で書き込めないなら同じことですから
5CH初心者？ 数学板以外では、IDの無い掲示板もあります
で、IDは、日替わりなんです。明日は、別のIDになります
”コテハンとトリップ”は、ペンネームですよ（＾＾
(引用開始)
>前原「”命題の真偽”に,より精密な”定義”」ですよね、
>あなた「自然数論の真偽の定義」とは微妙に違うよ
文字面が一致しないと同じとみなさないなんて
今時のAIでもそこまで低性能ではないですよ
(引用終り)
面白い人だね
数学における定義は、相手が勝手に趣旨をくんで読み取るものですか
初耳ですよ
あなたは、そんな数学をやってきたのですか？（＾＾
「定義は？」と聞かれて、定義が書かれていない論文を渡して、「これを嫁め、おまえはＡＩか！」ですかねｗ（＾＾
>>ここの、”命題の真偽”は、自然数論（内）の真偽ではなく、
>>外部の広く一般の論理における”真偽”でしょ？
>いいえ
>まず自然数論における真偽の定義は、独自用語ではありません
へへー、じゃ、両者の差
”命題の真偽”、自然数論（内）の真偽と
外部の広く一般の論理における”真偽”と
の差を、定義からきちんと書いて見て
939: 2019/09/09(月)17:11 ID:uwfnXwUu(34/60) AAS
ID:w2gV7wtrは
「自分は数学が分かっている」
といいたいためだけに書き込みしている点で
実に恥ずかしい存在だといわざるを得ません
おそらく、人生において何も自慢できることがなかったのだろう
と思われますが、こんなところで詐欺トークしても意味ないので
もっとましな趣味を見つけて、健全な老後を送ってください
940: 2019/09/09(月)17:14 ID:uwfnXwUu(35/60) AAS
>>938
IDは根本的には必要ないですね
IDは日替わりで結構でしょう
そもそも複数の発言の一貫性を確認したくなるほど
有意義なものであるなら、こんなところには書きませんよ
あなたは粋がってコテハンとトリップをつかってるみたいですが
間違いまくりで恥をさらしてるだけなのでやめたほうがいいですよ
941(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/09(月)17:15 ID:w2gV7wtr(18/38) AAS
>>918
東ロボ君 外部ﾘﾝｸ:scienceandtechnology.jp
それ、ちょっと面白いね
そういう蘊蓄たのんます（＾＾
942: 2019/09/09(月)17:16 ID:uwfnXwUu(36/60) AAS
>>938
＞数学における定義は、相手が勝手に趣旨をくんで読み取るものですか
この件に関しては全くの見当違いですね
あなたが文章を読んでなかったのが悪いということです
上下前次1-新書関写板覧索設栞歴
あと 60 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.030s