Learning Functional Programming in Go

Alfred Whitehead and Bertrand Russell (1903)

In a letter Russell wrote to Frege, the proposed the Barbers Paradox found a problem with Frege's logic:

Given that a town's only barber shaves everybody, except those who shave themselves. We can deduce two things:

• If a person does not shave her/himself, the barber will
• If person shaves her/himself, the barber won't

The paradox is: The barber cannot be shaven.

The first statement says that if the barber does not shave himself, then barber will shave himself. However, the second statement directly contradicts that first statement.

Russell and Whitehead collaborated to prove/solve the Barber's ...