Aussi connu sous le nom du paradoxe du crocodile, l’origine de ce problème logique est attribuée à Quintilien, un rhétoricien et pédagogue romain du Ier siècle. Il est un genre de problème indécidable, similaire au paradoxe du menteur, soit un énoncé qui fait référence à lui-même ou qui utilise un double sens. Voyons voir comment on peut analyser ce problème du crocodile…

Énoncé

Un crocodile capture un enfant pour le dévorer. Sa mère intervient alors pour prendre sa défense et supplie le fauve de le relâcher. Le reptile lui propose un marché : « Je libérerai ton enfant si tu prédis correctement ce qu’il va lui arriver et le mangerai sinon. Dis-moi : vais-je le manger ou le libérer ? »

Que va-t-il se produire ?