バルキスの定理 - アンサイクロペディア

バルキスの定理（バルキスのていり、Balquis unprovable theorem）とは、未証明の定理。「バルキスの定理は決して証明できない！」を指す。未証明なので、定理ではなく予想と呼ぶべきという意見があるが、実際証明されてないから正しいじゃないかとの多数派の意見に従い、一般的に定理として用いられる。これを主張した自称フランス人の数学者バルキス（Balquis, 19**-）の名前に因む。なお同様の命題は、現チェコ出身の頭文字Ｇの数学者も、とある定理の証明の都合上思いついているが、当人はこれが定理だとは主張しなかった。またイギリス人の頭文字Ｐの数学者は、人間が機械より賢いと主張する根拠にバルキスの定理と同様の命題を用い、バルキス本人から無断借用で訴えられた。 フェルマーの最終定理よりも証明の困難な問題とされ、証明したものはフィールズ賞確実と言われている。現在、[math]\displ

[gigi-net]

フェルマーも真っ青。