「好き」をブチ抜く
id:asc_meta
【数理論理学、数学基礎論、プログラム理論、計算論】 おすすめ入門本 まとめ
記事の内容 この記事では、数理論理学、数学基礎論、プログラム理論、計算論などの分野にまたがるおすすめな本を紹介したい。 軸として、「コンピュータは数学者になれるか」という本を挙げたい。この本では、巻末にて、さらなる専門書が紹介されている。この本の紹介が、初学者である私にはとても参考になった。それらの…