Mathlog
×
Mathlog
アカウント
アカウント作成
ログイン
その他
ヘルプ
利用規約
意見箱
@meizen_os
めいぜんおーえす
58
9525
Follow
39
Followers
21
Traces
0
Follow
39
Followers
21
Traces
0
未登録
未登録
meizen_os
所属組織
高評価数順
新着順
11
Articles
0
Books
26
Goods
解説
大学数学以上
by
めいぜんおーえす
at
2021年12月02日
5つの圏の定義とCoqによる実装
圏論
,
Coq
364
7
文献あり
解説
大学数学以上
by
めいぜんおーえす
at
2021年10月10日
単射のよくある間違い
集合論
,
単射
,
選択公理
195
4
文献あり
議論
大学数学以上
by
めいぜんおーえす
at
2021年02月21日
なんで証明中の選択公理が目立つのかって話
集合論
,
選択公理
282
7
文献あり
解説
大学数学以上
by
めいぜんおーえす
at
2021年01月13日
外延性公理は等号の定義じゃないよ!
集合論
624
7
解説
大学数学以上
by
めいぜんおーえす
at
2021年01月03日
naive comprehension axiom が矛盾することをCoqで実装してみた
集合論
,
Coq
44
0
文献あり
議論
大学数学以上
by
めいぜんおーえす
at
2020年12月19日
ZFCの公理一覧と誤解しやすいポイント
集合論
,
ZFC
1885
7
文献あり
議論
大学数学以上
by
めいぜんおーえす
at
2020年12月16日
ペアノの公理で誤解しやすいポイント
ペアノの公理
,
ペアノ算術
,
自然数
5196
10
文献あり
問題
大学数学以上
by
めいぜんおーえす
at
2020年12月02日
たのしいめいだいろんり!
形式的証明
,
命題論理
,
Coq
207
2
議論
大学数学以上
by
めいぜんおーえす
at
2020年11月24日
ぼくがコンピューターで数学をするようになった理由
数学
,
形式的証明
,
定理証明支援系
219
9
議論
大学数学以上
by
めいぜんおーえす
at
2020年11月22日
数学で「わからない」を悪化させないためには
数学
116
0
議論
大学数学以上
by
めいぜんおーえす
at
2020年11月20日
実際に出会った数学ができない人の特徴
数学
393
5