[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 65 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
534(1): 2022/04/23(土)20:50 ID:MU2asfqc(18/24) AAS
>>533
つづき
＜google訳＞
確かに、さらに基本的な観点から、ここで検討されている本質的な現象のおそらく最も単純な例は、次の純粋な組み合わせ現象です。記号の文字列を検討してください。
010
?つまり、「0」と「1」は正式な記号として理解されます。
次に、左側の長さ2の部分文字列01の観点から、この部分文字列の数字「1」は、その「この部分文字列に対する座標」によって、つまり、の右端の記号として指定できます。部分文字列01。同様に、右側の長さ2の部分文字列10の観点から、この部分文字列の数字「1」は、その「この部分文字列に対する座標」、つまり次のように指定できます。サブストリング10の左端にある記号。
一方、「サブストリングベースの座標系」によるこれらの仕様はどちらも、反対の長さの2つのサブストリングには意味がありません。つまり、両方の「部分文字列ベースの座標系」に対して、対象の数字を指定するためのデバイスとして、単独の抽象記号「1」のみが同時に意味を持ちます。
つづく
535(1): 2022/04/23(土)20:51 ID:MU2asfqc(19/24) AAS
>>534
つづき
外部ﾘﾝｸ:ja.wikipedia.org
強制法
強制法が初めて使われたのは1962年、連続体仮説と選択公理のZFからの独立性を証明した時のことである。強制法は60年代に大きく再構成されシンプルになり、集合論や、再帰理論などの数理論理学の分野で、極めて強力な手法として使われてきた。
直観的意味合い
直観的には、強制法は集合論の宇宙 V をより大きい宇宙 V* に拡大することから成り立っている。 この大きい宇宙では、拡大する前の宇宙には無かった ω = {0,1,2,…} の新しい部分集合をたくさん要素に持っている。
外部ﾘﾝｸ:ja.wikipedia.org
クラス (集合論)
集合論及びその応用としての数学におけるクラスまたは類（るい、英: class）は、集合(または、しばしば別の数学的対象)の集まりで、それに属する全ての元が共通にもつ性質によって紛れなく定義されるものである。「クラス」の正確な定義は、議論の基礎となる文脈に依存する。例えば、ツェルメロ＝フレンケル集合論 (ZF) ではクラスは厳密には存在しないが、他の集合論（たとえば、ノイマン＝ベルナイス＝ゲーデル集合論 (NBG)）では、「クラス」の概念は公理化されている（NBG の例だと、別の量 (entity) の要素にならないような量としてクラスが定義される）。
省3
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.032s