[過去ﾛｸﾞ] 現代数学の系譜　カントル　超限集合論 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん

---

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

---

447(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/21(月)22:18 ID:P3acsak1(1/2) AAS
>>446
コンピュータ言語の記法やね
「a=a+１」
いわゆる、再帰的な式な（＾＾

プログラミングが義務教育に入ったらしいね
（数学記法では、”a=a+１”はありえないだろうけどね）
http://ratan.dyndns.info/MicrosoftVisualC++/for.html
C言語 forを使った繰り返し条件(ループ)

サンプル　
変数【　a　】に整数『１』を代入し、【　a<=１０　】で『１０』以下なら繰り返し【　a=a+１　】で変数『a』に『１』を加え、そのつど『こんにちわ』を表示する。と言う繰り返し条件（ループ）です。
　for(a=1; a<=10; a=a+1){
　print("こんにちわ\n");
　}

---

448: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/21(月)22:24 ID:P3acsak1(2/2) AAS
”The existence of a nontrivial Grothendieck universe goes beyond the usual axioms of Zermelo?Fraenkel set theory; in particular it would imply the existence of strongly inaccessible cardinals. ”
なので、”beyond the usual axioms of Zermelo?Fraenkel set theory”で、ZFを含んでいるでしょ（＾＾

https://ja.wikipedia.org/wiki/%E3%82%B0%E3%83%AD%E3%82%BF%E3%83%B3%E3%83%87%E3%82%A3%E3%83%BC%E3%82%AF%E5%AE%87%E5%AE%99
グロタンディーク宇宙

https://en.wikipedia.org/wiki/Grothendieck_universe
Grothendieck universe
(抜粋)
The existence of a nontrivial Grothendieck universe goes beyond the usual axioms of Zermelo?Fraenkel set theory; in particular it would imply the existence of strongly inaccessible cardinals.

---

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

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.041s