$ \newcommand{\LEQ}{\leqq} $

 2019-01-30    書籍    ゲーデル    不完全性定理    ゲンツェン    チューリング    PvsNP  

 書籍『コンピュータは数学者になれるのか?』

コンピュータは数学者になれるのか? -数学基礎論から証明とプログラムの理論へ- | 照井一成 |本 | 通販 | Amazon

ツイート


 2019-01-30    書籍    ゲーデル    不完全性定理    ゲンツェン    チューリング    PvsNP