Thursday, February 13, 2020

Trivial but neat

at

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)

Your example: [(p-->q) + (q --> p)] [~(p-->q) v (~q --> p]).~[q p] Dot means "and." The above can be r...

  • Are the reals actually well-ordered?
    The well-ordering theorem, also known as Zermelo's theorem, says that every set can be well-ordered. A set X is well-ordered by a strict...
  • Trivial but cool
    Claim: Every odd integer square is an element of some Pythagorean triple. We first show that every positive odd number 2n+1 is equivalent ...
  • Toward footnote Xz.151
    Added Jan. 19, 2023 Footnote Xz.151. Freud in The Interpretation of Dreams (1914 translation by A.A. Brill) highlights the idea that the d...