サクサク読めて、アプリ限定の機能も多数!
“これまでに書かれた数学の証明などは全てこのZFCを用いることで文字列の操作に書き換えることができます”
tokyocat のブックマーク 2024/02/17 22:45
哲学など数学以外のことは専門外のため, あくまで数学に関することだけ言及..“これまでに書かれた数学の証明などは全てこのZFCを用いることで文字列の操作に書き換えることができます”2024/02/17 22:45
このブックマークにはスターがありません。 最初のスターをつけてみよう!
anond.hatelabo.jp2024/02/16
哲学など数学以外のことは専門外のため, あくまで数学に関することだけ言及させていただきます. ユークリッド幾何学に言及されているように数学の歴史は紀元前まで遡りますが, 数学の形式化が意識され始めたのは1...
151 人がブックマーク・26 件のコメント
\ コメントが サクサク読める アプリです /
“これまでに書かれた数学の証明などは全てこのZFCを用いることで文字列の操作に書き換えることができます”
このブックマークにはスターがありません。
最初のスターをつけてみよう!
哲学など数学以外のことは専門外のため, あくまで数学に関することだけ言及..
哲学など数学以外のことは専門外のため, あくまで数学に関することだけ言及させていただきます. ユークリッド幾何学に言及されているように数学の歴史は紀元前まで遡りますが, 数学の形式化が意識され始めたのは1...
151 人がブックマーク・26 件のコメント
\ コメントが サクサク読める アプリです /