[過去ﾛｸﾞ]
現代数学の系譜 工学物理雑談 古典ガロア理論も読む76 (1002ﾚｽ)
現代数学の系譜 工学物理雑談 古典ガロア理論も読む76 http://rio2016.5ch.net/test/read.cgi/math/1566715025/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
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
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 103 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.012s