<?xml version="1.0" encoding="utf-8" standalone="yes"?>
<oembed>
  <author_name>tyoshiki</author_name>
  <author_url>https://blog.hatena.ne.jp/tyoshiki/</author_url>
  <blog_title>頭の上にミカンをのせる</blog_title>
  <blog_url>https://www.tyoshiki.com/</blog_url>
  <categories>
    <anon>ことば</anon>
  </categories>
  <description>FGO「証明不能」がマジで意味が分からんかったので解説動画探してたら面白いネタバレ解説動画を見かけたのでメモ。 第二部6.5章は「爆発律」という概念を知らないと「証明不能」の意味が解けない仕組みになっているらしい。要するに「不能」はエラーのことであり、証明したと思ったものが「爆発律」によって導かれた偽の答えだということである。 今まで大人気だったシャーロックホームズの最後の奮闘の価値を否定し、貶める結末となってるわけだ。なんてえぐいことを……。何も考えずにプレイしているときは、戦いには敗れたけどホームズは自分の存在をかけてマスターを勝たせたという展開かと思ってたらそれすらもすべてトラップだった…</description>
  <height>190</height>
  <html>&lt;iframe src=&quot;https://hatenablog-parts.com/embed?url=https%3A%2F%2Fwww.tyoshiki.com%2Fentry%2F2022%2F06%2F25%2F001307&quot; title=&quot;FGO第二部6.5章：「証明不能」の下にある「Ex Falso Quodlibet（偽なる命題からは何でも導ける）」という言葉は爆発律という古典論理学の仕様（バグ）のことらしい - 頭の上にミカンをのせる&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/t/tyoshiki/20220625/20220625000900.png</image_url>
  <provider_name>Hatena Blog</provider_name>
  <provider_url>https://hatena.blog</provider_url>
  <published>2022-06-25 00:13:07</published>
  <title>FGO第二部6.5章：「証明不能」の下にある「Ex Falso Quodlibet（偽なる命題からは何でも導ける）」という言葉は爆発律という古典論理学の仕様（バグ）のことらしい</title>
  <type>rich</type>
  <url>https://www.tyoshiki.com/entry/2022/06/25/001307</url>
  <version>1.0</version>
  <width>100%</width>
</oembed>
