フォン・ノイマン＝ベルナイス＝ゲーデル集合論とは?

Mazii

Trải nghiệm ứng dụng Mazii

Tra cứu

Từ vựng Hán tự Mẫu câu Ngữ pháp

Nhật - Nhật

Kết quả tra cứu tiếng Nhât của từ フォン・ノイマン＝ベルナイス＝ゲーデル集合論

フォン・ノイマン＝ベルナイス＝ゲーデル集合論

数学基礎論において、フォン・ノイマン＝ベルナイス＝ゲーデル集合論 (NBG) とはツェルメロ＝フレンケル集合論＋選択公理 (ZFC)の保存拡大である公理的集合論である。NBGでは、量化子の範囲を集合に限定した論理式によって定義される集合の集まりとして、クラスの概念を導入する。NBGは、すべての集合と

Từ điển Nhật - Nhật

Các từ liên quan tới フォン・ノイマン＝ベルナイス＝ゲーデル集合論

フォン・ノイマン環

群作用から導かれる接合積 A がヒルベルト空間 H上の可換フォン・ノイマン環、局所コンパクト群GがA上に左から作用しているとする。Aの表現πとGのユニタリ表現 uで、u(g)π(a)u(g)* = π(g.a) を満たす普遍的なフォン・ノイマン環が次のように構成され、AとGの（このGの作用に関する）接合積（crossed

ジョン・フォン・ノイマン

of Standards Applied Math Series 12: 36. ^ ノーマン・マクレイ、渡辺正、芦田みどり訳 (1998). フォン・ノイマンの生涯. 朝日選書 ^ “フォン・ノイマンについて（5）戦争への協力”. 堤之智. 2020年10月30日閲覧。 ^ Norman

フォン・ノイマン・ボトルネック

フォン・ノイマン・ボトルネック (英: Von Neumann bottleneck) またはノイマンズ・ボトルネックは、コンピュータ・アーキテクチャの1つの型であるノイマン型に存在する性能上のボトルネック。ノイマン型では、記憶装置に命令を格納するので、プロセッサが命令を実行するには必ずバスを通

集合論

あたえている。集合論は数学の公理的な基礎付けをあたえ、数学的な対象を形式的に「集合」と「帰属関係」によって構成することが可能になる。また、集合論の公理として何を仮定するとどんな体系が得られるか、といった集合それ自体の研究も活発に行われている。集合論における基本的な操作には、あたえられた

フォン・ノイマン宇宙

数学の集合論とその周辺分野において、フォン・ノイマン宇宙 V とは、遺伝的（英語版）整礎集合全体のクラスである。この集まりは、ZFCによって定義され、ZFCの公理に解釈や動機を与えるためにしばしば用いられる。整礎集合の階数(rank)はその集合の全ての要素の階数より大きい最小の順序数として帰納的に

クラス (集合論)

（どのような定式化を選んだとしても）「全ての集合の集まり」はクラスである。（ZF では厳密な言い方ではないが）このクラスだが集合でないようなものは真のクラス (proper class) と呼ばれ、集合となるようなクラス（つまり集合）は小さいクラス (small class)

論集

ろんしゅう

論文を集めたもの。論文集。論叢。

フォン・ノイマン正則環

によって"正則環"という名前でフォン・ノイマン多元環や連続幾何の研究中に導入された。環の元 a は a = axa となるような x が存在するときにフォン・ノイマン正則元と呼ばれる。イデアル i {\displaystyle {\mathfrak {i}}} はフォン・ノイマン正則な非単位的環であるとき、すなわち i {\displaystyle