ﾚｽ書き込み
ｽﾚへ戻る
写
ﾚｽ栞
ﾚｽ消
現代数学の系譜11 ガロア理論を読む25 [無断転載禁止]©2ch.net
PC,ｽﾏﾎ,PHSは
ULA
べっかんこ
公式(ｽﾏﾎ)
公式(PC)
で書き込んでください｡
名前
ﾒｰﾙ
引用切替：
ﾚｽｱﾝｶｰのみ
>>330 > >>329 つづき > > 現代の数学者ならば、この公理が、他の公理をみたすシステム全体の無限集合の極大元の存在を主張する、極めて無限的な冶だと理解することができる。しかし、公理をブルバキ的な「モデルの集団を記述する条件」として捉えず、「有限的な言葉」としてとらえるヒルベルトには、これはカントールの完備性より、より有限的に見えたのだろう。 > > 4 ヒルベルトの公理論とはなんだったか? > では、ヒルベルトの公理論はなぜ、シンククティカルでなくては ならなかったのか?ヒルベルトが生涯、その影に悩まされたのは クロネッカーであった。そのクロネッカーは彼の代数理論を使うことにより解析学までも代数化・「算術化」することを企てた。 > スキーム理論のようなイメージを持っていた可能性もある。そのように して実数論を構築しようとすれば、クロネッカーの意図に反し無限集合が必要となる。クロネッカーはそれを許さないので、逆に無理数を捨てたのである。 > > 集合論を新時代の数学の強力な武器とみなすヒルベルトにとって はクロネッカーの無理数の否認など論外であった。後で説明するように、ヒルベルトは極めてクロネッカー的な世界である不変式論の おいて一集合論的方法がクロネッカー的な有限的方法を越える瞬間 を目撃したからである。 > しかし、この不変式論という膨大な手計算 を必要とした極めてアルゴリズミックな代数理論において、そのキャリアを開始したヒルベルトは同時にクロネッカー的精神を自らの 手による計算を通して理解していた人物でもあったはずなのでける。 > クロネッカーが対象を有限に限ったところを、ヒルベルトは「無限の対象の有限的記述形式」としての公理系を考えることにより、 「無限の有限化」を成し遂げようとした。彼の公理論実数論はクロネッカーと同じ精神で、しかし、方法を代数に限らず、「言語、論理、 証明」による有限的公理化という別な方法によって有限的実数論を 構築する試みだったのである。 > > つづく
ﾛｰｶﾙﾙｰﾙ
SETTING.TXT
他の携帯ﾌﾞﾗｳｻﾞのﾚｽ書き込みﾌｫｰﾑはこちら｡
書き込み設定
で書き込みｻｲﾄの設定ができます｡
・
ULA
・
べっかんこ(身代わりの術)
・
べっかんこ(通常)
・
公式(ｽﾏﾎ)
・
公式(PC)[PC,ｽﾏﾎ,PHS可]
書き込み設定(板別)
で板別の名前とﾒｰﾙを設定できます｡
ﾒﾓ帳
(0/65535文字)
上
下
板
覧
索
設
栞
歴
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.017s