TOP カテ一覧 スレ一覧 100～終まで 2ch元 削除依頼
≒≒≒≒≒≒≒≒≒ 数学アカデミー
分からない問題はここに書いてね443
最古の未解決問題が解決されたのか
数学者 VS 東ロボ（ロボットは東大に入れるか）
志村逝く
\section{TeX の時間} %%% 第 XIII 節 %%%
暗黒通信団 02
数学記号を考案・改良するスレ
関東弁は下品なエビス言葉と認めるしかないのでは？
Y o u t u b e で ノ ー ト 授 業 ！
- 73 ：
- >>68 追加
http://kururu.hatenabloｇ.com/entry/20060608/1149748301
kururu_goedel’s diary 2006-06-08
正則性公理
(抜粋)
haskellもプログラミングにおける型理論もわかりませんが、正則性公理が型に通じているというのは多分鋭い考察です。ゲーデルがLの構成について講義したときに、まず最初にRから始めるバージョンをやったらしいです。そうすると、ラッセルの型理論に近い形で広がっていきます。
事実、ゲーデルはLの構成をラッセルの理論の拡張だと思っていたようです。これは、このあたりの歴史の本を見ると出ています(=ソース探すの面倒だから各自でお願い)。
もっとも、ZFCの発想自体がラッセルの型理論とは全く相容れないような気もするんですが。ま、ともかく。
むしろ言及したいのは「この公理ってないほうが」の部分でありまして。正則性公理がある意味adhocな公理であることは間違いないです。そして、そのことを攻撃するのは論理的には全く正しいし、ない方が楽しいかもねと言われればおき得ることの範囲が広がるんだから確かにそうかもしれないとしか言いようがありません。
ですが、正則性公理が現代集合論ではとても強力に使われていることだけは主張しておいたほうが良いかと思います。
正則性公理を仮定しない場合には、rankを持たない集合が出てきてしまいます。つまり、rankを用いて超限帰納法を適用することによって全ての集合について何かを証明することができなくなってしまいます。ってことは、例えば強制法とか超べきなんかですら既にいろいろ面倒ですね。
また、集合論ではよくV(集合全体のクラス)に似た構造を持った集合をとってくるのですが、これも正則性公理を使ってやる場合が多いです。例えば、Vκ(rankがκより小さい集合全体の集合)とかをとります。
そして、そのサイズの小さい初等部分モデルをとるのが定石です。このテクニックはおそらく現代集合論で最も重要なものであって、それ抜きでは集合論の議論は全く違ったものになっているでしょう。これに似た話を正則性公理抜きでやる方法が今のところ私には思いつきません。
ってわけで、私は正則性公理があって欲しいなと。もちろん、正則性公理のあるZFC上でエミュレーションしてやるって手はあるかと思うんですが、それはid:nucさんの意図には反しているのではないかと想像します。
【数学検定】数学検定1級 合格4
なぜ0^0=1なんですか？
なんで数学板は荒れているのか
(･ω･)俺が日々の数学的発見を書くスレ
RIMS京都大学数理解析研究所
♂♂♂♂♂♂♂♂♂ 暗号解読
【悲報】大学1年生「TeXよりWord」
３元数できたよ
分からない問題はここに書いてね425
数学の本 第84巻
--------------------
弾幕STGが衰退した理由は何なのか？
武漢コロナ感染のイギリス外務省駐ハンガリー次席大使が死去 37歳
男兄弟で、いくつまで一緒にお風呂入ってましたか？
[ALEXANDROS][38]
今日買った90年代ＴＶゲームを書くスレ
【アベノミクス】19年の出生数が急減 1～9月、5.6%減の67万人 ★13
TUBEスレッド Part135 ～continue編～
【中央日報】外信記者も驚いた韓国の「ドライブスルー」選別診療所 車に乗ったまま検査を受けることができる[2/27]
【絶縁したい】実親が嫌い 71【した】
僕は友達が少ない/妺さえいればいい 平坂読総合186
ｱｿﾊﾟｿﾏｿｽﾚｯﾄﾞ ～優雅な独身ﾊﾟｿ貴族～
朝のスープ
【寝たきり】廃人Part58【うつ病】
このメール信用していいですか！？
卓球平野美宇さん号泣、東京五輪出場逃す [963243619]
【東京】女性の下半身盗撮容疑で警視庁杉並署員を逮捕…目撃していた男性が取り押さえる
中村優一
【U17】ユース世代代表総合スレPart68【以下】
【川越市】兼江直続【小江戸】
【Switch】Xenoblade2 ゼノブレイド2 part362【モノリス】
TOP カテ一覧 スレ一覧 100～終まで 2ch元 削除依頼