[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む76 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
899(1): 2019/09/09(月)10:33 ID:uwfnXwUu(7/60) AAS
>>895
>>前原昭二氏が「自然数論の真偽の定義」でいおうとしていたのは
>>ε-代入法のことであるらしいと想像される
>「あるらしいと想像される」とは、どういう物言いなんですかね
前原氏が明確に書かれていないので、
その意図するところを私が想像した
ということです
>そもそも、ε-代入法は、前原昭二氏の論文について書いたことではない
>新井氏論文より引用
あなたは内容を理解していないので
見当違いな引用ばかりしますね
引用するならここでしょう
「次々 に,ε-公理 を正しくしないという意味で誤った値を
正しいもの に訂正していく。こうして,
列S0,S1,...(H-process)が 生成される。
問題は「この列が有限回の後に解を得て停止する」こと
を示すことになる。
[Ackermann 1940]は,適切なH-processを見い出し,
その停止性を,順序数 ε0まで のrecursionにより示した。
これは[Gentzen 1936]で のinfinite descentに還元し得る。」
つまりAckermannの1940年の論文は
論理式のε項の正しい解を得るためのH−Processと
Gentzenの1936年の論文のカット除去のプロセスの
対応を見出したということ
引用するならまず読みましょう
自分が読んで理解できないものを
引用するのは無責任な行為です
924(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/09(月)16:10 ID:w2gV7wtr(12/38) AAS
>>899
(引用開始)
引用するならまず読みましょう
自分が読んで理解できないものを
引用するのは無責任な行為です
(引用終り)
お断りしますｗ（＾＾
このスレでは、私がスレ主です
テンプレ>>1をお読みください（＾＾
「スレ主の趣味で上記以外にも脱線しています。ネタにスレ主も理解できていないページのURLも貼ります。関連のアーカイブの役も期待して。
話題は、散らしながらです。時枝記事は、気が向いたら、たまに触れますが、それは私スレ主の気ままです。」
ってことです
そもそも、５CHになにを期待していますか？ 学会ごっこ？ 来る場所を間違えている（＾＾
無責任？ 責任は読む人にあります。PDFのURLを示している。各人が自分の責任で読めばいいだけのこと
ここは、授業料を取る有料サイトではありませんよ。勘違い勘違い
（５CHに対する幻想か妄想かｗ）
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.039s