---
title: Gödel's Incompleteness Theorems
description: 去年夏落ち込みすぎて仕事出来なくなって不完全性定理勉強してた時期あったけど(結局そんな理解できた気がしないけど)、ゲーデルの世界観人生観ゾクゾクする程惹かれる  baku89#icon 1:03 AM · Mar 30, 2015 baku89#icon ゲーデル本、三冊目にしてようやく分かった気に
date: 2026-05-27T10:11:23.405Z
updated: 2026-05-27T10:11:23.405Z
url: https://baku89.com/G%C3%B6del's_incompleteness_theorems
---

# Gödel's Incompleteness Theorems

> 去年夏落ち込みすぎて仕事出来なくなって不完全性定理勉強してた時期あったけど(結局そんな理解できた気がしないけど)、ゲーデルの世界観人生観ゾクゾクする程惹かれる\
> _[baku89#icon](/baku89#icon) 1:03 AM · Mar 30, 2015_

> [baku89#icon](/baku89#icon) ゲーデル本、三冊目にしてようやく分かった気になれる入門書に出会えた
>
> というより、[Lisp](/Lisp)インタプリタを実装する経験が効いているのかも
>
> [ゲーデルは何を証明したか: 数学から超数学へ](/%E3%82%B2%E3%83%BC%E3%83%87%E3%83%AB%E3%81%AF%E4%BD%95%E3%82%92%E8%A8%BC%E6%98%8E%E3%81%97%E3%81%9F%E3%81%8B_%E6%95%B0%E5%AD%A6%E3%81%8B%E3%82%89%E8%B6%85%E6%95%B0%E5%AD%A6%E3%81%B8)