技術書ランキング
タグ一覧
Home
>
ゲーデルの世界―完全性定理と不完全性定理
ゲーデルの世界―完全性定理と不完全性定理
著者: 横田一正
Amazonで見る
紹介記事
「ゲーテル・不完全性定理」吉永良正 ブルーバックス が 不完全燃焼（自分）。参考文献一覧を作成中
👍 1
手続き型じゃない言語を齧っても別にバチは当たらないんじゃないの？というポエム
👍 35
関連するタグ
ゲーテル
不完全性定理
名古屋のIoTは名古屋のOSで
関数型言語
プログラミング全般
関数型プログラミング
