<?xml version="1.0" encoding="utf-8" standalone="yes"?>
<oembed>
  <author_name>watto</author_name>
  <author_url>https://blog.hatena.ne.jp/watto/</author_url>
  <blog_title>しいたげられた🍄‍🟫しいたけ</blog_title>
  <blog_url>https://www.watto.nagoya/</blog_url>
  <categories>
    <anon>テレビ</anon>
    <anon>数学</anon>
    <anon>パラドックス</anon>
    <anon>再読</anon>
  </categories>
  <description>NHK地上波TVの『笑わない数学』は、目下大好きなTVシリーズの一つである。最新の「1+1=2」も、たいへん面白く視聴した。 www.nhk.jp 19世紀の非ユークリッド幾何学登場をきっかけに「自明と思われたことでも疑わなければならない」と数学界では数学の基礎付けに関心が集まり、ペアノの公理系による自然数の再定義が行われたという。今回の放送の目玉の一つは、同公理系による「1+1＝2」の証明だった。 そしてヒルベルトの提唱により矛盾のない数学体系の構築（ヒルベルト・プログラム）が構想された。しかし「ラッセルのパラドックス」が発見されたことによりその構想には疑念が生じ、ついには「ゲーデルの不完全…</description>
  <height>190</height>
  <html>&lt;iframe src=&quot;https://hatenablog-parts.com/embed?url=https%3A%2F%2Fwww.watto.nagoya%2Fentry%2F2023%2F10%2F22%2F230000&quot; title=&quot;NHKテレビ『笑わない数学』散髪屋の店主は自分でヒゲを剃ればいいんじゃね？ - しいたげられた🍄‍🟫しいたけ&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>https://cdn-ak.f.st-hatena.com/images/fotolife/w/watto/20231022/20231022223104.jpg</image_url>
  <provider_name>Hatena Blog</provider_name>
  <provider_url>https://hatena.blog</provider_url>
  <published>2023-10-22 23:00:00</published>
  <title>NHKテレビ『笑わない数学』散髪屋の店主は自分でヒゲを剃ればいいんじゃね？</title>
  <type>rich</type>
  <url>https://www.watto.nagoya/entry/2023/10/22/230000</url>
  <version>1.0</version>
  <width>100%</width>
</oembed>
