[過去ログ] 集合論について (615レス)
前次1-
抽出解除 レス栞

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
171: 2014/04/06(日)11:52:46.06 AAS
ラッセルのは反例というよりは、じゃあこの場合は本当に選択関数はあるの?という問いかけでしょう。あるというなら具体的に示して、と。
ヒルベルトの「神学」や、カントールの実無限に対する批判を見れば感じると思うけど、20世紀に抽象数学が発達する以前は具体的手段がないのに選択ができるというのは数学者のスタンダードから外れていた。
まだ選択公理批判が始まった頃はその感覚は相当残っていたんじゃないかと。
187: 2014/04/06(日)19:40:29.06 AAS
非可算無限ある全単射: X→N から一個の f を取り出すのはまさに選択公理でしょう
290: 2014/04/29(火)20:12:32.06 AAS
>>287の前半
>集合論の知識の無い非専門家の数学者に聞くと、
>V=Lが成り立つ方が尤もらしいと答える人が多い。
それは違うのじゃないかな?一般人(非専門家)はむしろ「世界は具体的
に構成したり定義したり出来るような対象だけとは限らないだろう」と
考えて、not{V=L}はあり得ることと考えるのではないか?「V=Lだ!」
とも言わないだろうが。つまり、一般人は、V=Lとnot(V=L)のどちらも
あり得ることだと直感しているのじゃないかな?
376: 2014/05/27(火)11:19:46.06 AAS
オレ的には躊躇なくKunen。Awodeyは時間を無駄にする可能性が大いにある。
474: ◆2VB8wsVUoo 2017/05/16(火)16:36:23.06 ID:gCXIlyDM(24/30) AAS

485: 2017/06/03(土)16:56:47.06 ID:RTi6aQi3(1) AAS
痴漢公理@徳島
603: ◆2VB8wsVUoo 2017/10/28(土)06:46:33.06 ID:uzh5RSYp(9/10) AAS

前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.020s