曇りなき眼で見定めブログ

学生です。勉強したことを書いていく所存です。リンクもコメントも自由です! お手柔らかに。。。更新のお知らせはTwitter@cut_eliminationで

2022-08-25から1日間の記事一覧

ゲーデルの完全性定理と不完全性定理

完全性定理と不完全性定理は名前の割にほぼ関係ない別々な定理だとよく言われる。しかしじゃあどうして対になるような名前が付いているのだろう。歴史的経緯が気になる。不完全性定理は発見から暫く経ってからそう呼ばれるようになったというのは聴いたこと…