Barber paradox and existence of truth
The barber paradox: If the barber shaves everyone who does not shave himself, who shaves the barber? The barber paradox may strike as a trivial witty remark to many, but it is related to something far more serious. It is an example of Gödel’s incompleteness theorem, which says that formal logic (arithmetically expressible logic) cannot be both self-consistent and self-provable. In other words, the consistency of formal logic cannot be proved in the formal logic… Read More »Barber paradox and existence of truth