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

[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 77 (1002ﾚｽ)
上下前次 1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

760: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/11/11(火) 12:53:27.65 ID:3Cq8ZFbO

当事者です （＾＾
　>>313より再録
ID:BZV1IQOW
>>306
(引用開始)
セタへの問題
>Pを集合論の論理式, Pのz,x以外の自由変数はw_0,,w_i-1で, yはPの自由変数でないとする.
のとき
>∀w_0…∀w_i-1∀x∃y∀z(z∈y⇔z∈x⋀P(z))
の自由変数をすべて書け
(引用終り)
ふっふ、ほっほ
あのな、それよりか
下記 Colin McLarty https://arxiv.org/abs/1102.1773
の圏論のロジック（矢印図）読めるのか？ キミはｗｗ　（＾＾；
どうも、読めなさそうに見えるけどよ どうなの？ｗｗｗ
いまどきは
圏論のロジック（矢印図）の方が重要だと思うよ
（例えば P15 "6.3. Duality and derived categories."とかね。なお 集合の論理式も P11辺りに 出てくるけどね）
　>>250 より再録
Colin McLarty has looked into this
The large structures of Grothendieck founded on finite order arithmetic, Review of Symbolic Logic 13 issue 2 (2020) pp. 296--325,
doi:10.1017/S1755020319000340, https://arxiv.org/abs/1102.1773
(引用終り)

１）趣旨は ”集合論の論理式 ∀w_0…∀w_i-1∀x∃y∀z(z∈y⇔z∈x⋀P(z))”は
　コンピュータ言語でいえば、低級のアセンブラみたいなもので
２）圏論は 、高級言語 あるいは フローチャー風の ノーコード（下記）だと
３）なので”ｗｗｗ”は、原始的なアセンブラを読めると自慢するが 高級言語の圏論 どうよとｗｗｗ

(参考)
https://ja.wikipedia.org/wiki/%E3%83%8E%E3%83%BC%E3%82%B3%E3%83%BC%E3%83%89%E9%96%8B%E7%99%BA%E3%83%97%E3%83%A9%E3%83%83%E3%83%88%E3%83%95%E3%82%A9%E3%83%BC%E3%83%A0
ノーコード開発プラットフォーム（英: No-code development platform, NCDP。NoCode（ノーコード）とも言う）
プログラマあるいはノンプログラマが、従来のプログラミングの代わりに、グラフィカルユーザインタフェース（GUI）や設定を通してアプリケーションソフトウェアを作成することを可能にする

https://ja.wikipedia.org/wiki/%E9%AB%98%E6%B0%B4%E6%BA%96%E8%A8%80%E8%AA%9E
高水準言語（high-level programming language、高級言語とも）とは、記述の抽象度が高いプログラミング言語のことである[1]。対義語は機械語やアセンブリ言語を指す「低水準言語」である。「高級言語」の対は「低級言語」である。
概要
抽象度が特に高いプログラミング言語という意味で代表的な言語としては、C言語やJavaがある。
高水準言語は、低水準言語と比べ、
・人間にとってわかりやすい
・プロセッサに依存した処理を書かなくてよい
・メモリ制御、IO制御等、低水準の操作を意識しなくてよい
といったことが特徴である[1]。

http://rio2016.5ch.net/test/read.cgi/math/1761878205/760

上下前次 1-新書関写板覧索設栞歴

あと 242 ﾚｽあります
ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.013s