「コンピュータは数学者になれるのか？」という本は比較的平易で不完全性定理も学べると思う