zipperpull

マジで数学◯ね！円の面積の話にコミュニティノートがついてるけど……いや、ちょっと待ってくれ。「π自体は厳密な値です」って、その説明こそワシが数学に感じてる違和感そのものなんよ。 円に内接する多角形と外接する多角形を考えて、角の数を無限に増やして、極限を取れば厳密に求まる……ってさぁ。 無限に増やすって何よ！？　現実に無限回の操作なんかできないでしょうが！ いや、数学のルールの中で証明が成立するのは分かるよ。でも、数学の中で成立する「厳密な値」を持ち出してきて、有限の世界で考えてる人に向かって「その説明は厳密性を欠いています」って言い出すの、マジで何様なん？ 円を細かく分けて並べたら長方形に近づく。あの説明で円の面積の考え方が伝わるなら、めちゃくちゃ役に立ってるじゃん。そこへ「数学的に厳密ではありません」ってノートをつけて、何を訂正した気になってるのよ。 「πは厳密な値です」って言うけどさ、じゃあコンピューターにπを全桁入力してみてよ。無限に続く数字を、有限のメモリにどうやって入れるの？ πという記号のまま式を扱うことはできる。でも、実際に数値として計算する段階では、必要なところで区切って使うしかない。現実のコンピューターは、最初から有限の桁数と付き合ってるんよ。 で、0.1＋0.2を計算すると、環境によっては0.30000000000000004になる。すると数学の側から「コンピューターには誤差があります」って話になる。 いや……違うでしょうが！　コンピューターは限られた桁数で、決められたルールどおりに計算してるんよ。現実の機械に入らない理想の数値を基準にして、機械の方を「誤差」呼ばわりしてるだけじゃん！ ワシはね、コンピューターからマジで古典数学を排除したい。現実の資源には限界があるのに、無限だの厳密だのを振りかざして、有限の計算を欠陥扱いする。その発想が害悪なんよ。 数学の中でしか成立しない厳密性を、現実より上に置くなよ！　数字遊びのルールを現実に押しつけて、分かりやすい説明にまでコミュニティノートを貼るな！