ﾚｽ書き込み

ｽﾚへ戻る 写 ﾚｽ栞 ﾚｽ消

---

現代数学の系譜 工学物理雑談 古典ガロア理論も読む76

PC,ｽﾏﾎ,PHSは ULA べっかんこ 公式(ｽﾏﾎ) 公式(PC) で書き込んでください｡

名前
ﾒｰﾙ
引用切替：ﾚｽｱﾝｶｰのみ
>>899 > >>895 > >>前原昭二氏が「自然数論の真偽の定義」でいおうとしていたのは > >>ε-代入法のことであるらしいと想像される > >「あるらしいと想像される」とは、どういう物言いなんですかね > > 前原氏が明確に書かれていないので、 > その意図するところを私が想像した > ということです > > >そもそも、ε-代入法は、前原昭二氏の論文について書いたことではない > >新井氏論文より引用 > > あなたは内容を理解していないので > 見当違いな引用ばかりしますね > > 引用するならここでしょう > > 「次々 に,ε-公理 を正しくしないという意味で誤った値を > 　正しいもの に訂正していく。こうして, > 　列S0,S1,...(H-process)が 生成される。 > 　問題は「この列が有限回の後に解を得て停止する」こと > 　を示すことになる。 > 　[Ackermann 1940]は,適切なH-processを見い出し, > 　その停止性を,順序数 ε0まで のrecursionにより示した。 > 　これは[Gentzen 1936]で のinfinite descentに還元し得る。」 > > つまりAckermannの1940年の論文は > 論理式のε項の正しい解を得るためのH−Processと > Gentzenの1936年の論文のカット除去のプロセスの > 対応を見出したということ > > 引用するならまず読みましょう > 自分が読んで理解できないものを > 引用するのは無責任な行為です
ﾛｰｶﾙﾙｰﾙ SETTING.TXT

---

他の携帯ﾌﾞﾗｳｻﾞのﾚｽ書き込みﾌｫｰﾑはこちら｡書き込み設定で書き込みｻｲﾄの設定ができます｡
・ULA
・べっかんこ(身代わりの術)
・べっかんこ(通常)
・公式(ｽﾏﾎ)
・公式(PC)[PC,ｽﾏﾎ,PHS可]

---

書き込み設定(板別)で板別の名前とﾒｰﾙを設定できます｡

---

ﾒﾓ帳

(0/65535文字)

---

上下板覧索設栞歴

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.029s