0の0乗をめぐる議論の歴史は古く、18世紀の大数学者レオンハルト・オイラーは $0^0 = 1$ を支持していましたが、19世紀初頭にオーギュスタン=ルイ・コーシーらが解析学の厳密性を追求する過程で「不定形」と位置づけ、論争が激化しました。
長年の議論を経た現代において、数学界の見解は「どちらか片方だけが正しいのではなく、文脈に応じた使い分けが定着した」という地点に落ち着いています。
思考を整理するための基準は非常にシンプルです。
・「関数の極限」を扱う解析学の文脈:安易に固定値とみなさず「未定義(不定形)」として扱い、前後の関数の挙動から個別に極限値を求める。
・「離散的な数式展開」を扱う代数・集合論・コンピュータ科学の文脈:表記の整合性と計算の利便性を最優先し、「$0^0 = 1$」という定義(規約)を採用する。
「0の0乗=1」は絶対不変の自然法則ではなく、数学という体系を人間が最もエレガントに運用するために定められた合理的なルールなのです。