Pleme ljudoždera uhvati istraživača. Njihov poglavica mu reče:
"Moraš dati jednu suvislu izjavu. Ako ona bude istinita, ispeći
ćemo te i pojesti, a ako ona bude lažna, skuhat ćemo te i pojesti."
Može li se istraživač spasiti?
Ovo je klasičan primjer logičkog zadatka. Po shvaćanju B. Russella i njegove logicistične
škole, matematika je grana logike. Suprotno stajalište zauzima Brouwer i njegovi sljedbenici, tzv. intuicionisti:
matematika je primarna, a logika sekundarna i izgrađuje se apstrakcijom iz matematičkih misaonih konstukcija.
Naime, tad ga ne smiju ispeći, jer je pečenje predviđeno za istinitu izjavu,
a kad bi ga ispekli, izjava "Vi ćete me skuhati" bila bi lažna. No, ne smiju ga ni skuhati, jer je
kuhanje predviđeno za lažnu izjavu, a kad bi ga skuhali, izjava "Vi ćete me skuhati" bila bi istinita.
Prema tome, ako poglavica drži obećanja, neće ga ni skuhati ni ispeći.
"Vi ćete me skuhati" nije jedina spasonosna izjava istraživača.
Sličnim zaključivanjem možemo se uvjeriti da bi ga izjava "Vi me nećete ispeći" također spasila.