このサイトは学部では早稲田で物理を, 修士では東大で数学を専攻し, 今も非アカデミックの立場で数学や物理と向き合っている一市民の奮闘の記録です. 運営者情報および運営理念についてはこちらをご覧ください.

理系のための総合語学・リベラルアーツの視点から数学・物理・プログラミング・語学 (特に英語) の情報を発信しています. コンテンツアーカイブに見やすくまとめているのでぜひご覧ください.

次のようなことを呟いたら魔法少女がいろいろ教えてくれた.

コンピュー タで実数が表現できない（浮動小数点だか何かで表現できない）とかその辺、適当なことを言ったら前に何かで突っ込みを受けたような記憶があるのだが、それ が何だったか思い出せなくてつらい。とりあえずまずは単純にコンピュータで実数表現できないと言って何がまずいか知りたい方の市民

— 相転移P（市民） (@phasetr) 2015, 12月 7

鍵アカウントだがとりあえず引用しておく.

@phasetr 代数的数は計算機でexactに表現できて, 四則演算, 大小比較, 原理的には順序環の言葉で書かれた一階の論理式の真偽などがエフェクティヴに計算できる. 幾つかの操作がエフェクティヴにできなくてもよいなら, 計算可能数の成す体も扱える.

@phasetr その意味で「浮動小数点数のような方法では実数をexactに扱えない」「いかなる表現方式でも全ての実数を表現することはできない」は正しいが「コンピュータでは無理数などの実数をexactに扱う方法はない」は正しくない.

@phasetr 記憶領域は可算通りの状態しか取れないので, どれだけ上手い表現方法であっても実数体の可算部分しか尽くせない, という意味では全ての実数を取り扱えるような方法はない.

とりあえずきちんとメモだ.