[過去ﾛｸﾞ]
現代数学の系譜 工学物理雑談 古典ガロア理論も読む76 (1002ﾚｽ)
現代数学の系譜 工学物理雑談 古典ガロア理論も読む76 http://rio2016.5ch.net/test/read.cgi/math/1566715025/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制
です｡10分ほどで解除するので､
他のﾌﾞﾗｳｻﾞ
へ避難してください｡
899: １３２人目の素数さん [sage] 2019/09/09(月) 10:33:02.70 ID:uwfnXwUu >>895 >>前原昭二氏が「自然数論の真偽の定義」でいおうとしていたのは >>ε-代入法のことであるらしいと想像される >「あるらしいと想像される」とは、どういう物言いなんですかね 前原氏が明確に書かれていないので、 その意図するところを私が想像した ということです >そもそも、ε-代入法は、前原昭二氏の論文について書いたことではない >新井氏論文より引用 あなたは内容を理解していないので 見当違いな引用ばかりしますね 引用するならここでしょう 「次々 に,ε-公理 を正しくしないという意味で誤った値を 正しいもの に訂正していく。こうして, 列S0,S1,...(H-process)が 生成される。 問題は「この列が有限回の後に解を得て停止する」こと を示すことになる。 [Ackermann 1940]は,適切なH-processを見い出し, その停止性を,順序数 ε0まで のrecursionにより示した。 これは[Gentzen 1936]で のinfinite descentに還元し得る。」 つまりAckermannの1940年の論文は 論理式のε項の正しい解を得るためのH−Processと Gentzenの1936年の論文のカット除去のプロセスの 対応を見出したということ 引用するならまず読みましょう 自分が読んで理解できないものを 引用するのは無責任な行為です http://rio2016.5ch.net/test/read.cgi/math/1566715025/899
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
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.031s