Monday, June 7, 2010

4 comments:

  1. Could you please explain what the fuck this is? Some logical notation? Some bullshit you made up? If so, thanks for wasting my time...

    ReplyDelete
  2. This is first order logic showing the contradiction in the barber's hypothetical you once tried to explain to me.

    ReplyDelete
  3. It's been a hot minute, but I think that the sentence above isn't quite right. Or, at least, it implies only that "There is a barber who shaves all who do not shave themselves," which is not enough to create the contradiction.

    ReplyDelete
  4. I think you might be right Bobby. Its only a contradiction if x can be substituted for y. I don't think its written correctly.

    ReplyDelete