Inter-universal geometry と ABC予想 (応援スレ) 73 (882レス)
上下前次1-新
抽出解除 必死チェッカー(本家) (べ) 自ID レス栞 あぼーん
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
314(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/04(月)07:01 ID:IiqX04eZ(1/3) AAS
>>296-301
踏みつけたゴキブリが、まだ動いているw ;p)
グダラ グダラと愚にもつかぬ言い訳を・・ww
1)>>271の 数理論理学II 坪井明人 筑波大 (2014年) 外部リンク[pdf]:www.math.tsukuba.ac.jp
と対比してみれば、その誤りは 一目瞭然だ
2)分かり易く 院試の口頭試問で「ZFCで 自然数Nの存在を証明してください」と言われたとしよう
まず最初にやることは、無限公理のステートメントを述べることだ
省26
315(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/04(月)07:14 ID:IiqX04eZ(2/3) AAS
>>314 補足
数理論理学II 坪井明人 筑波大 (2014年) 外部リンク[pdf]:www.math.tsukuba.ac.jp
より
P6
1.1.3 内包性公理
各論理式 φ に対して,
∃y∀z(z ∈ y ↔ (z ∈ x ∧ φ(z))).
省27
317(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/04(月)07:32 ID:IiqX04eZ(3/3) AAS
>>262 追加
(引用開始)
>囲碁は大局観だけでは勝てず
>詰碁とかで培った読みの力
>細かい地の計算力なども必要になる
仰る通りです 下記 テレンスタオ
”There’s more to mathematics than rigour and proofs”
省13
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.026s