09/05/06 09:01:29
well-definedかどうかを全く考慮せずに、メリット論だけで
「0.999…＝1が成り立つように各種演算を適切に定義すればいい」
とかゴリ押しをやってる奴もいた。彼曰く、これが一番シンプルな定義なんだと。
本当は、そうやって「適切に演算を定義する」ことが可能なのかチェックしないと
いけないのに、彼はゲーデルの不完全性定理を盾にして、チェックできる範囲での
無矛盾性さえ確かめない。
「とにかく0.999…＝1が成り立つようにすればいいんだ！」と宣言するだけなら、
シンプルに決まっている。でも意味が無い。