Inter-universal geometry と ABC予想 (応援スレ) 74 (983ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
67(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/23(土)18:25 ID:KYsCHIBD(10/17) AAS
>>60 追加
・高階直観主義論理とトポス 荒武永史（下記）
『高階直観主義理論に対応する圏のクラスがトポスである。高階直観主義
論理とトポスについても、構文圏・函手的意味論・トポス値意味論を議
論できるがここでは扱わず、内部論理のみを扱う。以下の説明で
▶トポスの圏構造があれば高階直観主義論理を解釈できる』
・『位相空間上の層』
省36
69(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/23(土)18:34 ID:KYsCHIBD(11/17) AAS
>>66
>そして未だにこれだけ一階述語論理についての資料を読んでもまだその意味がとれてない。
なんだ？
これは これは ヒキコモリ数学者の 基礎論研究くんか？
お元気そうでなによりだ
ところで、一階述語論理は あくまで 叩きのネタだ
主張していることは、望月IUTは 圏論のキカだから
省4
71(1): 08/23(土)18:50 ID:18cyucpd(10/17) AAS
>>67
>要するに、グロタンディークは 圏論使いの達人だった
へぇ そうなの？
でも君は論理の初歩の初歩も分かってないよね
分かってるなら∩は公理から導けないから使えないとか超絶アホなこと言わないですから 残念！
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.029s