めいぜんおーえす
総高評価数
58
総閲覧数
13856
23
followers
39
follow
0
tags
23
followers
39
follow
0
tags
Home
Contents
Goods
人気の記事
議論
...
2020年12月16日
形式的なペアノの公理で誤解しやすいポイント
ペアノの公理
,
ペアノ算術
,
自然数
6915
11
文献あり
議論
...
2020年11月24日
ぼくがコンピューターで数学をするようになった理由
数学
,
形式的証明
,
定理証明支援系
321
10
解説
...
2021年1月13日
外延性公理は等号の定義じゃないよ!
集合論
1058
8
4
解説
...
2021年12月1日
5つの圏の定義とCoqによる実装
圏論
,
Coq
526
7
文献あり
5
議論
...
2021年2月20日
なんで証明中の選択公理が目立つのかって話
集合論
,
選択公理
411
7
文献あり
新着の記事
解説
...
2月6日
環やベクトル空間の定義から可換性が除けることについての一般化
代数学
168
1
文献あり
解説
...
2021年12月1日
5つの圏の定義とCoqによる実装
圏論
,
Coq
526
7
文献あり
解説
...
2021年10月10日
単射のよくある間違い
集合論
,
単射
,
選択公理
314
4
文献あり
議論
...
2021年2月20日
なんで証明中の選択公理が目立つのかって話
集合論
,
選択公理
411
7
文献あり
解説
...
2021年1月13日
外延性公理は等号の定義じゃないよ!
集合論
1058
8
新着の本
このユーザは本を投稿していません。