不完全性定理入門 from「コンピュータは数学者になれるのか」 - Qiita
不完全性定理をちょっとでも分かりたい 理性の限界を示した、なんて言われることもある不完全性定理。しかし、その意味を厳密に掴むのは難しい。かの天才物理学者ペンローズすらも誤用したほどです。 深く掘り下げるには、数学的にも哲学的にも難しい、と言われます。 今回は、コンピュータ...