<?xml version="1.0" encoding="utf-8" standalone="yes"?>
<oembed>
  <author_name>levelfour</author_name>
  <author_url>https://blog.hatena.ne.jp/levelfour/</author_url>
  <blog_title>Handwriting</blog_title>
  <blog_url>https://lv4.hateblo.jp/</blog_url>
  <categories>
    <anon>科学</anon>
  </categories>
  <description>最近読んでる本を紹介します。不完全性定理とはなにか (ブルーバックス)作者: 竹内薫出版社/メーカー: 講談社発売日: 2013/04/19メディア: 新書この商品を含むブログ (2件) を見る竹内薫著ブルーバックスの『不完全性定理とは何か』です。 高校の頃から竹内薫氏のブルーバックスはとても読みやすく、結構な頻度で読んでいました。 GWのときに書店で見ていたら、新刊で出ていたので何も考えずに購入しました。内容はタイトル通り不完全性定理。 授業でも記号論理学をとっていたりしたので、とても興味深く読み進められました。 主な柱は不完全性定理の柱を理解すること。 そのために、ゲーデルの記号論理を用い…</description>
  <height>190</height>
  <html>&lt;iframe src=&quot;https://hatenablog-parts.com/embed?url=https%3A%2F%2Flv4.hateblo.jp%2Fentry%2F20130609%2F1370731840&quot; title=&quot;ゲーデルの不完全定理 - Handwriting&quot; class=&quot;embed-card embed-blogcard&quot; scrolling=&quot;no&quot; frameborder=&quot;0&quot; style=&quot;display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;&quot;&gt;&lt;/iframe&gt;</html>
  <image_url>http://ecx.images-amazon.com/images/I/51F0Dbt-LgL.jpg</image_url>
  <provider_name>Hatena Blog</provider_name>
  <provider_url>https://hatena.blog</provider_url>
  <published>2013-06-09 07:50:40</published>
  <title>ゲーデルの不完全定理</title>
  <type>rich</type>
  <url>https://lv4.hateblo.jp/entry/20130609/1370731840</url>
  <version>1.0</version>
  <width>100%</width>
</oembed>
