« 羊のジョーク | メイン | 帰納法 »

すべての奇数は素数である

なんでもかんでも帰納的に論じようとする工学者を揶揄するジョーク。

工学者は次のようにして「すべての3以上の奇数が素数である」ことを証明する。

3は素数である。
5は素数である。
7は素数である。
9は素数ではない。しかしこれは例外である。
なぜならその後に続く11も13も素数ではないか。

以上より「すべての3以上の奇数が素数である」ことが示せた。