述語論理で書く

書いてみる

関連タグ

#エッセイ (1,508,342)
#エッセイ部門 (42,010)
#ゲーデル (78)
#ゲーデルの不完全性定理 (36)
#ゲーデルの哲学 (8)
#不完全 (771)
#人間 (68,363)

数学と論理学の違い

深海瀬船
2か月前

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

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