新規作成
めいぜんおーえす
70
20933
24
Followers
39
Follow
ホーム
記事
10
本
0
高評価
人気の記事
大学数学基礎
議論
2020年12月16日
形式的なペアノの公理で誤解しやすいポイント
ペアノの公理
,
ペアノ算術
,
自然数
13
0
9767
0
文献あり
大学数学基礎
議論
2020年12月19日
ZFCの公理一覧と誤解しやすいポイント
集合論
,
ZFC
11
0
5962
3
文献あり
大学数学基礎
議論
2020年11月24日
ぼくがコンピューターで数学をするようになった理由
数学
,
形式的証明
,
定理証明支援系
10
0
537
0
4
4
大学数学基礎
解説
2021年1月13日
外延性公理は等号の定義じゃないよ！
集合論
10
0
1781
3
5
5
大学数学基礎
解説
2021年12月1日
5つの圏の定義とCoqによる実装
圏論
,
Coq
8
0
800
0
文献あり
新着の記事
大学数学基礎
解説
2021年12月1日
5つの圏の定義とCoqによる実装
圏論
,
Coq
8
0
800
0
文献あり
大学数学基礎
解説
2021年10月10日
単射のよくある間違い
集合論
,
単射
,
選択公理
4
0
491
0
文献あり
大学数学基礎
議論
2021年2月20日
なんで証明中の選択公理が目立つのかって話
集合論
,
選択公理
7
0
568
0
文献あり
大学数学基礎
解説
2021年1月13日
外延性公理は等号の定義じゃないよ！
集合論
10
0
1781
3
大学数学基礎
解説
2021年1月3日
naive comprehension axiom が矛盾することをCoqで実装してみた
集合論
,
Coq
0
0
127
0
文献あり
