暇つぶし2chat MATH - 暇つぶし2ch118:132人目の素数さん 20/02/11 07:08:42.41 yCL40qf3.net>>108 そもそも現実世界には無限個の箱はないだろ あったとしても、実数の無限列s、s’に対して 「sとs’がある箇所から先一致する」 と判定する手続きがないだろ (これ言い出すとそもそも尻尾の同値類が 構成できないということになる) で、上記の同値関係の判定ができたとしても 同値類の代表元r(s)を返す関数rが 具体的に構成できないだろ (rは選択公理で存在が云 次ページ続きを表示1を表示最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch