述語論理で書く

書いてみる

関連タグ

#エッセイ (1,563,608)
#エッセイ部門 (41,097)
#ゲーデル (84)
#ゲーデルの不完全性定理 (41)
#ゲーデルの哲学 (8)
#不完全 (833)
#人間 (74,167)

数学と論理学の違い

深海瀬船
5か月前

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

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