サクサク読めて、アプリ限定の機能も多数!
ホモトピー型理論 HoTT (Homotopy Type Theory) の univalence axiom
omega314 のブックマーク 2021/12/26 21:52
現象[数学][論理][圏論][人間の目線で数学を]ホモトピー型理論 HoTT (Homotopy Type Theory) の univalence axiom2021/12/26 21:52
このブックマークにはスターがありません。 最初のスターをつけてみよう!
mmfftt.blogspot.com2021/12/26
数学の対象は存在ではなく現象である。 というフレーズを思いついた。 1 という対象はどこにも存在しない。 整数という対象は存在しない。 整数の論理的条件に合致する現象について考えることしかできない。 最近...
1 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /
ホモトピー型理論 HoTT (Homotopy Type Theory) の univalence axiom
omega314 のブックマーク 2021/12/26 21:52
このブックマークにはスターがありません。
最初のスターをつけてみよう!
現象
mmfftt.blogspot.com2021/12/26
数学の対象は存在ではなく現象である。 というフレーズを思いついた。 1 という対象はどこにも存在しない。 整数という対象は存在しない。 整数の論理的条件に合致する現象について考えることしかできない。 最近...
1 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /