なぜ、ZFC公理まで遡らなくても数学が出来るの？ (123ﾚｽ)
上
下
前
次
1-
新
120
: 11/28(木)21:04
ID:ayAWCwBy(1/4)
AA×
[240|
320
|
480
|
600
|
100%
|
JPG
|
べ
|
ﾚｽ栞
|
ﾚｽ消
]
120: [sage] 2024/11/28(木) 21:04:55.65 ID:ayAWCwBy スレ 背理法と対偶って違うの？ の54より 竹内外史 転載 www.jstage.jst.go.jp/article/kisoron1954/28/2/28_2_55/_pdf 科学基礎論研究 2001 数学の回顧と展望 竹内外史* P2 ラッセル(B. Russell)はカントールの集合についての 矛盾を分析して,矛盾に必要なギリギリの性質を取り 出してラッセルのパラドックスを作りました。これで 素朴集合論の矛盾が決定的になりました。 之に対して,数学に用いられる集合概念の構成は可 で,上の矛盾はいずれも成立しない公理的集合論が ツェルメロ(E. Zermelo)に依って始められ,フレン ケル(A. Froenke1)に依って出来上がり,ZF集合論 1922年)と呼ばれています。今世紀の数学は公理的集 論のなかの数学と考えることが出来ます。之は現実 的な解法でした。しかし数学で常用される集合概念か ら矛盾が出たということは数学の危機としてとらえら れ,その原理的,根本的な解決を目指す動きが出て来 ました。 ヒルベルトは数学の体系を形式化し,その形式的な 体系から矛盾が生じないことを有限の立場で証明する というヒルベルトのプログラムを提唱しました。 ブラウワー(LEJ. Browner)は一般的に排中律を 用いることを禁じたconstructive mathematicsを構 成することを主張して直観主義と呼ばれています。 ラッセルとホワイトヘッド( A. N. Whitehead)は predicativeと呼ばれる直接定義が出来る命題に対し てのみ集合を定義し,数学を構成することを提唱して 論理主義と呼ばれています。 つづく http://rio2016.5ch.net/test/read.cgi/math/1731415731/120
スレ 背理法と対偶って違うの？ のより 竹内外史 転載 科学基礎論研究 数学の回顧と展望 竹内外史 ラッセル はカントールの集合についての 矛盾を分析して矛盾に必要なギリギリの性質を取り 出してラッセルのパラドックスを作りましたこれで 素朴集合論の矛盾が決定的になりました 之に対して数学に用いられる集合概念の構成は可 で上の矛盾はいずれも成立しない公理的集合論が ツェルメロ に依って始められフレン ケル に依って出来上がり集合論 年と呼ばれています今世紀の数学は公理的集 論のなかの数学と考えることが出来ます之は現実 的な解法でしたしかし数学で常用される集合概念か ら矛盾が出たということは数学の危機としてとらえら れその原理的根本的な解決を目指す動きが出て来 ました ヒルベルトは数学の体系を形式化しその形式的な 体系から矛盾が生じないことを有限の立場で証明する というヒルベルトのプログラムを提唱しました ブラウワー は一般的に排中律を 用いることを禁じた を構 成することを主張して直観主義と呼ばれています ラッセルとホワイトヘッド は と呼ばれる直接定義が出来る命題に対し てのみ集合を定義し数学を構成することを提唱して 論理主義と呼ばれています つづく
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 3 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
ぬこの手
ぬこTOP
0.045s