[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 76 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

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

---

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

---

140(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 10/11(土)19:49 ID:CwzPU071(13/17) AAS
>>136
>ε計算をやってみた（笑）

ありがとう
ε計算か・・・
『ϵ 計算は，D・ヒルベルトにより，数学の基礎付けのために導入される．
ヒルベルトは，ϵ計算がもつ性質を用いることで，算術および解析学の無矛盾性を証明しようとした．』か
なるほど

外部ﾘﾝｸ[pdf]:www2.kobe-u.ac.jp
1階述語論理に対するϵ計算
高橋優太名古屋大学日本学術振興会
省20

---

143: 10/11(土)20:14 ID:lPtR1Iej(14/16) AAS
>>140
>ε計算か・・・
一階述語論理も分からない縁なき衆生には無縁

---

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

---

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

---

ぬこの手 ぬこTOP 0.042s