述語論理で書く

書いてみる

関連タグ

#エッセイ (1,526,777)
#エッセイ部門 (41,416)
#ゲーデル (81)
#ゲーデルの不完全性定理 (38)
#ゲーデルの哲学 (8)
#不完全 (793)
#人間 (70,521)

数学と論理学の違い

深海瀬船
3か月前

述語論理でケーキのレシピを書いてみる

おおむらしんいち
7か月前