In a undeniable town, there are the subjoined decisions about the town barber: Anysingle who does referable interdivergence himself must be interdivergenced by the barber. Whomever the barber interdivergences, must referable interdivergence himself. Demonstration that no barber can view these requirements. That is, formulate the requirements as sentences of FOL and demonstration that in any sense where the earliest decision is penny, the remedy single must be spurious. (This is designated the barber’s absurdity and was formulated by Bertrand Russell.)
These brace sentences leads to contradictions if we deem whether barber interdivergences himself or referable.The barber canreferable interdivergence himself as he merely interdivergences those who do referable interdivergence themselves.If he interdivergences, then he stops to be a barber.if the barber does referable interdivergence himself, then he belongs to the clump of nation who would be interdivergenced by the barber, and thus, as the barber, he must interdivergence himself.