wedrifid comments on The role of mathematical truths - Less Wrong

14 Post author: SilasBarta 24 April 2010 04:59PM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (81)

Sort By: Best

You are viewing a single comment's thread. Show more comments above.

Comment author: Alicorn 25 April 2010 07:52:32PM 3 points [-]

∃x∃y ( ~(x=y) & ( ∀z ( ~(z=x) ⊃ (z=y) ) & ( ~(z=y) ⊃ (z=x) ) )

Only works in a limited universe of discourse, though.

Comment author: wedrifid 26 April 2010 06:40:04AM 4 points [-]

Only works in a limited universe of discourse, though.

In lower brow discourse, try: (.)v(.)

Comment author: [deleted] 02 August 2010 05:15:34AM 2 points [-]

I think you may have meant (.Y.)

Comment author: wedrifid 03 August 2010 02:46:10AM 2 points [-]

That works too. Although I must confess I prefer the smaller cup size. :P