我々やコンピュータが何気なく使っている計算や論理というものが数学的にどういったものを基本としているのかが垣間見れる 不完全性定理のところがあんまりわからん 他がわかりやすいわけではないけども