Man and machine, intuitive logic and arithmetic logic
The barber paradox If the barber shaves everyone who does not shave himself, who shaves the barber? The question is the so-called Barber paradox. It is paradoxical because it always leads to a self-contradictory answer. 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… Read More »Man and machine, intuitive logic and arithmetic logic