クルト・ゲーデルが証明した第1不完全性定理のパソコン実装を作りました。及び、天才について。