「ルベーグ積分と、... 第41章 完全加法性2 （2024/11/18)」
ルベーグ積分と、面積の測れない不思議な図形達
第41章 完全加法性2
(前回の完全加法性1と合わせて)
ハルナックの能力。
「∞個までの図形」を測れるということは、
つまり
//最大でも、∞個の操作しか完了できない
for (int i = ;;i++)
{
～
}
ハルナックのような、
正方形を∞に分割してゆく図形など、
「プログラム的に記述できる、あらゆる図形」。
実質的には「人間が作れるあらゆる図形」の
面積を測れると言う事です。
「アルゴリズム」よりも強い。
それがルベーグ測量なのです。