述語論理で書く

書いてみる

関連タグ

#エッセイ (1,618,788)
#エッセイ部門 (40,690)
#ゲーデル (97)
#ゲーデルの不完全性定理 (46)
#ゲーデルの哲学 (8)
#不完全 (960)
#人間 (80,116)

数学と論理学の違い

深海瀬船
7か月前

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

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