[過去ログ] 現代数学の系譜 カントル 超限集合論2 (1002レス)
上下前次1-新
抽出解除 レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
131(1): 132人目の素数さん [sage] 2019/12/29(日) 22:12:07.39 ID:DPIKsycu(1) AAS
【哲学上等】数学の本質はその自由性にあり【本質抽出】
無限の定義
無限とは部分と全体が等しいことである
数学そのものの定義
「2つの点を通って1本の直線を引くことができる」
「2つのコップを通って1本の椅子を引くことができる」
述語の定義によらず成り立つ構造が数学である
人工知能の定義
人間の男性と人間の女性が、チャット越しに男女を問わない第三者に対して、
「私が女です」「いいえ、私が女です」と競う
この片方をコンピュータが担って有意の差が出なければ、それが人工知能である
問題は、死や宗教について
哲学板では
「カントの『物自体』みたいに、死には何でも放り込めそうだ」「宗教は宗教板で」
というのが定説の様子というか基本的には神なんて克服するのが哲学らしい
チューリングが人工知能をうまく定義したように数学者が死や宗教を語ることはできないのか
というスレを立てようかどうか迷ってる
132: 132人目の素数さん [] 2019/12/29(日) 22:34:35.09 ID:/Zdz9M/3(7/10) AAS
>>131
>無限の定義
>無限とは部分と全体が等しいことである
デデキントは
「A と同数(equinumerous)であるようなA の真部分集合B が存在すること」
を無限の定義とした(デデキント無限)
https://ja.wikipedia.org/wiki/%E3%83%87%E3%83%87%E3%82%AD%E3%83%B3%E3%83%88%E7%84%A1%E9%99%90
通常の無限の定義は以下の通り
「どのような自然数 n に対しても、{0,1,2,..., n -1}(有限順序数)と A との間に全単射が存在しないこと」
選択公理ACを仮定しない場合、無限集合であるにもかかわらず
デデキント無限でない集合が存在することが知られている
(上記の無限集合は整列不可能である)
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.038s