Saturday, October 2, 2010

Sets are functions

Sets are functions of type a -> Boolean. Stating that sets are well-defined is equivalent to stating that their function terminates.
at

2 comments:

  1. Richard KuliszSeptember 1, 2011 at 10:21 AM

    So wrong. EVERYTHING is of type a -> Boolean. Even functions. Since this is a universal property and universal properties are meaningless, this is meaningless.

    ReplyDelete
  2. Mathnerd314September 2, 2011 at 7:09 AM

    Math is about the creation of universal properties using other universal properties; I wouldn't call it meaningless.

    ReplyDelete