nuhsnuh https://blog.hatena.ne.jp/nuhsnuh/ nuhsnuh’s blog https://nuhsnuh.hatenablog.jp/ Goedel Carnap Frege カフェでつらつら読書しようかと思ったが、寒い。あまり集中できない。ぱらぱらと頼りなげに以下を拾い読む。 田中一之 「序 不完全性定理とその背景」、田中一之編、『ゲーデルと20世紀の論理学3 不完全性定理と算術の体系』、東京大学出版会、2007年 Robert Rogers Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results, North-Holland, 1971 で、田中先生の文を読んでいて「へぇ〜、そうなんだ」と知らなかったことに気づく。 1928年にゲーデルが本格的にロジック… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fnuhsnuh.hatenablog.jp%2Fentry%2F20070317%2Fp2" title="　軽く読書: Goedel on Carnap - nuhsnuh’s blog" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2007-03-17 00:00:01 rich https://nuhsnuh.hatenablog.jp/entry/20070317/p2 1.0 100%