Un concours met au défi un mathématicien et un physicien de démontrer que la proposition
"tous les nombres impairs supérieurs à 1 sont premiers" est vraie ou fausse.
Le mathématicien s'attaque à la tâche et énonce :
"3 impair et premier,
5 impair et premier,
7 impair et premier,
9=3x3 impair et non premier.
Donc, la proposition initiale est fausse. Fin de la démonstration"
Ensuite, le physicien s'énonce à son tour :
"3 impair et premier,
5 impair et premier,
7 impair et premier,
9 est impair mais non premier,
11 impair et premier,
13 impair et premier,
9 doit être une erreur expérimentale. La proposition est donc vraie".