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 ...
  • Footnote cP28
    cP28. Donald Mackay, an information theorist and physicist, counters the Cartesian notion of Karl Popper and John Eccles that the brain must...