Inter-universal geometry と ABC予想 (応援スレ) 46

Inter-universal geometry と ABC予想 (応援スレ) 46at MATH

Inter-universal geometry と ABC予想 (応援スレ) 46 - 暇つぶし2ch646:置換の型は正にそうした例に当る。高階述語論理では量化変数を用いてあらゆる性質や関係を渡るような記述ができる。 https://ja.wikipedia.org/wiki/%E5%9C%8F%E8%AB%96 圏論集合論に基づく定式化では不十分だった代数幾何学の公理化を与える言葉として進展した。さらに一般的な圏論、つまり、意味論的な柔軟性をもち高階論理との親和性があるようなより現代的な普遍的代数が発展し、現在では数学全体を通して応用されている。 (引用終り) 以上

次ページ

続きを表示

1を表示