watto https://blog.hatena.ne.jp/watto/ しいたげられた🍄‍🟫しいたけ https://www.watto.nagoya/ パラドックス 数学 再読 8月12日付拙記事『「グレリングのパラドックス」は疑似パラドックスにすぎないのではないかという試論』中で、背理法が絶対的に信頼できるのか？ (排中律は絶対的に成立するのか) という議論において、答は必ず存在するが検証に無限の手間がかかる一例として「円周率の10進表記において9が連続して現れる回数は最大何回か？」という試問が提示されたことがある旨を書いた。ただし出典を失念したので思い出したら追記するとも書いた。 その後、提唱者はオランダの数学者L.E.J.ブロウウェルで、私は吉永良正『ゲーデル・不完全性定理: 理性の限界の発見』(講談社ブルーバックス) P162～で知った旨を追記した。残念ながら… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fwww.watto.nagoya%2Fentry%2F2025%2F08%2F16%2F180000" title="「グレリングのパラドックス」と「カントールの定理」は推論の過程がそっくりな件 - しいたげられた🍄‍🟫しいたけ" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://cdn-ak.f.st-hatena.com/images/fotolife/w/watto/20250816/20250816175114.jpg Hatena Blog https://hatena.blog 2025-08-16 18:00:00 rich https://www.watto.nagoya/entry/2025/08/16/180000 1.0 100%