FOM: Who says paradoxes don't matter

Jon Barwise barwise at
Wed Jan 7 11:51:08 EST 1998

Today I needed a formal proof of the FOL version of russell's paradox (not
exists x forall y (E(x,y) iff not E(x,x))).  When I tried to save the
proof, my whole system crashed.  See, these things matter!

More information about the FOM mailing list