ガロア第一論文と乗数イデアル他関連資料スレ18 (541ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
490(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/18(木)07:39 ID:7g5jIWxi(1/3) AAS
突然ですが、ブルバキ
厳密性を重視して 下記より
”20世紀初頭、バートランド・ラッセルとアルフレッド・ノース・ホワイトヘッドがこのアプローチを適用した際、彼らは1+1=2と略される命題を確立するまでに、700ページ以上に及ぶ形式記号を費やしたことで有名である。ブルバキの形式主義は、この数字さえも矮小化し、数1を定義するだけで約4兆5000億もの記号を必要とした”
まあ・・、それもありでしょうけどね ；ｐ）
(参考)
外部ﾘﾝｸ:en.wikipedia.org
Nicolas Bourbaki
(google訳)
戦後から現在まで
1950年代から60年代にかけて、ブルバキは定期的に『原論』を刊行し、この時期に最大の影響力を享受した。 [ 66 ] [ 67 ]時が経つにつれ、創設メンバーは徐々にグループを離れ、ジャン＝ピエール・セールやアレクサンダー・グロタンディークといった若い新メンバーに交代していった。セール、グロタンディーク、ローラン・シュワルツは、それぞれ戦後1954年、1966年、1950年にフィールズ賞を受賞した。後継メンバーのアラン・コンヌとジャン＝クリストフ・ヨッコーも、それぞれ1982年と1994年にフィールズ賞を受賞した。[ 68 ]
グロタンディークの師匠にはブルバキの創設者も含まれていたため、彼はそのグループに加わった。グロタンディーク在籍中、ブルバキはグループの基礎的アプローチをめぐって行き詰まりに陥った。グロタンディークは、集合論ではなく圏論を理論的基礎としてグループの研究を再定式化することを提唱した。この提案は最終的に却下された[ 75 ] [ 76 ] [ 77 ]。その理由の一つは、グループが既に複数の既刊書を刊行し、逐次的な発表という厳格な方針を固めていたことにある。その後、グロタンディークは「怒り」のうちにブルバキのもとを去った[ 35 ] [ 62 ] [ 78 ] 。このグループの伝記作家たちは、ブルバキが圏論の観点からやり直そうとしなかったことを、機会を逸したと評している。[ 62 ] [ 79 ] [ 80 ]しかし、ブルバキは2023年にカテゴリー理論に関する本を現在準備中であると発表した（このセクションの最後の段落を参照）。
つづく
491(1): 09/18(木)07:40 ID:7g5jIWxi(2/3) AAS
つづき
作業方法
この方法は遅いが、ブルバキが論文で重視した点の1つである数学的厳密さに関するグループの基準を満たす最終成果物を生み出す。ブルバキが厳密さを重視したのは、自由な数学的直観を重視する一方で徹底したプレゼンテーションを犠牲にしたアンリ・ポアンカレのスタイルへの反発だった。
ブルバキの『原論』の最終稿の大部分は、図の使用を慎重に避け、文章と数式のみに基づいた形式的な表現を好んだ。例外はリー群とリー代数の扱い（特に第4章から第6章）で、図と図が用いられた。この部分に図が取り入れられたのはアルマン・ボレルによる。ボレルはフランス人が多数を占める共同体の中で少数派のスイス人であり、「スイスの農民」と自称し、視覚的な学習がスイスの国民性にとって重要であると説明した。[ 62 ] [ 95 ]この作品に図がほとんどないことについて尋ねられた元メンバーのピエール・カルティエは次のように答えた。
ブルバキ派はピューリタンであり、ピューリタンは信仰の真理を絵画で表現することに強く反対していました。ブルバキ派にはプロテスタントとユダヤ教徒が圧倒的に多く含まれていました。特にフランスのプロテスタントは精神的にユダヤ教徒に非常に近いことはご存知でしょう。
— ピエール・カルティエ[ 62 ]
Éléments de mathématique
（右の囲み記事より）
ブルバキは、先人たちと同様に、数学を「形式化された言語」で表現し、厳格な形式規則に基づく明快な演繹を主張した。20世紀初頭、バートランド・ラッセルとアルフレッド・ノース・ホワイトヘッドがこのアプローチを適用した際、彼らは1+1=2と略される命題を確立するまでに、700ページ以上に及ぶ形式記号を費やしたことで有名である。ブルバキの形式主義は、この数字さえも矮小化し、数1を定義するだけで約4兆5000億もの記号を必要とした。[ 119 ]
マイケル・バラニー[ 120 ]
(引用終り)
以上
492(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/18(木)08:14 ID:7g5jIWxi(3/3) AAS
まあ、面白いけど
逆に言えば、1階述語論理の限界を表しているとも
ゲーデルの加速定理の出番でしょうね（下記）
人は、1階述語論理だけでは 思考しない！ｗ ；ｐ）
外部ﾘﾝｸ:ja.wikipedia.org
ゲーデルの加速定理
ゲーデルの加速定理（英: Gödel's speedup theorem）は、クルト・ゲーデル[1]により証明された、数理論理学における定理である。この定理によれば、弱い形式的体系では非常に長い形式的証明しか存在しないが、より強い形式的体系では極めて短い形式的証明が存在する、というような文が存在する。より正確にいえば、それはn階算術の体系で証明可能な命題であって、n+1階算術ではより短い証明を持つものが存在するというものである。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.021s