ﾚｽ書き込み

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

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

名前
ﾒｰﾙ
引用切替：ﾚｽｱﾝｶｰのみ

>>895
> >>888
> >以下の新井敏康氏の論文を読むと
> 
> 「国立情報学研究所教授の新井紀子は妻[2]」か、なるほど（＾＾
> 
> >前原昭二氏が「自然数論の真偽の定義」でいおうとしていたのは
> >ε-代入法のことであるらしいと想像される
> 
> 「あるらしいと想像される」とは、どういう物言いなんですかね
> 人に、”おまえは理解せず引用している”というお人がｗ（＾＾
> そもそも、ε-代入法は、前原昭二氏の論文について書いたことではない（前原昭二氏の論文は、新井氏の参考文献に挙げられていない）
> 
> 新井氏論文より引用
> ”Gentzenの証明は,証明図の正規化cut-elimination
> と呼ばれる方法によっており,説明には紙幅を要する。
> 一方,Hilbertがその無矛盾性証明の方法として提案
> し,[Ackermann 1940]においてPAに対して実行さ
> れたε-代入法(ε-substitution method)の発想は,単
> 純なものなのでこれについて少し説明する。”
> 
> なので、Gentzenの証明の代用として、ε-代入法を説明するとなっていますよ
> （Gentzen(1936)は、新井氏、前原氏で共通ではあるけれども）
> 
> ＞素人のID:KY2miv9Aには何のことやらチンプンカンプンでしょう
> 
> ”素人”は、正しい
> しかし、”チンプンカンプン”でもないみたい
> その直前の”ε0-ordering”については、過去ZFC公理系の話題のときに
> 英文で”ε-ordering”、正確には、∈を利用した順序があり読んだけど
> （面倒なので過去ログは探さないが、興味があればどうぞ。10スレくらい過去かな）
> その類推で、やりたいことは、なんとなく分かるよ
> 
> あと、どんどん蘊蓄書いてください
> あなた、面白いわ
> 
> （参考）
> https://ja.wikipedia.org/wiki/%E6%96%B0%E4%BA%95%E6%95%8F%E5%BA%B7
> 新井 敏康（1958年 - ）は、日本の数学者、論理学者。東京大学大学院数理科学研究科教授。専門は数学基礎論[1]。国立情報学研究所教授の新井紀子は妻[2]。
> 東京都生まれ。
> (抜粋)
> 略歴
> 1958年（昭和33年）- 東京都生まれ。
> 東京大学教養学部基礎科学科卒。
> 筑波大学数学系大学院博士課程修了。
> 2001年- 2007年- 神戸大学大学院自然科学研究科教授。
> 2019年- 東京大学大学院数理科学研究科教授。
> 
> https://researchmap.jp/tosarai/
> 新井　敏康

ﾛｰｶﾙﾙｰﾙ SETTING.TXT

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

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

上下板覧索設栞歴

ぬこの手ぬこTOP 0.013s