Predicate Logic and Popular Culture (Part 20): Mariah Carey

 

Let W(x) be the proposition “I want x for Christmas.” Translate the logical statement

W(\hbox{you}) \land \forall x (x \ne \hbox{you} \Longrightarrow \lnot W(x)),

where the domain is all things.

The clunky way of translating this into English is,”I want you for Christmas, and if something isn’t you, then I don’t want that for Christmas.”

green line

Context: This semester, I taught discrete mathematics for the first time. Part of the discrete mathematics course includes an introduction to predicate and propositional logic for our math majors. As you can probably guess from their names, students tend to think these concepts are dry and uninteresting even though they’re very important for their development as math majors.

In an effort to making these topics more appealing, I spent a few days mining the depths of popular culture in a (likely futile) attempt to make these ideas more interesting to my students. In this series, I’d like to share what I found. Naturally, the sources that I found have varying levels of complexity, which is appropriate for students who are first learning prepositional and predicate logic.

When I actually presented these in class, I either presented the logical statement and had my class guess the statement in actual English, or I gave my students the famous quote and them translate it into predicate logic. However, for the purposes of this series, I’ll just present the statement in predicate logic first.

How to Call Out Mistakes without Trampling the Mistaken

Math With Bad Drawings had a nice post about strategies teachers can use to address a student who volunteers an incorrect answer. This is a natural dilemma for teachers who want to encourage class participation but who don’t want to deflate students who make mistakes. I recommend this essay highly: http://mathwithbaddrawings.com/2014/11/05/wrong-but-not-stupid-or-how-to-call-out-mistakes-without-trampling-the-mistaken/

One recent strategy that I’ve employed is quoting the trolls from Frozen: https://meangreenmath.com/2014/06/14/a-bit-of-a-fixer-upper/

50,000 page views

I’m taking a one-day break from my usual posts on mathematics and mathematics education to note a symbolic milestone: meangreenmath.com has had more than 50,000 total page views since its inception in June 2013. Many thanks to the followers of this blog, and I hope that you’ll continue to find this blog to be a useful resource to you.

green line

Some other (probably useless) statistics: this blog has been viewed by readers from 167 different countries. Top viewership: the United States, India, the Philippines, Canada, the United Kingdom, Australia, Brazil, the European Union, United Arab Emirates, Germany, Taiwan, and Pakistan.

Twelve most viewed posts or series (written by me):

  1. All I want to be is a high school math teacher. Why do I have to take Real Analysis?
  2. Analog clocks
  3. Arithmetic and geometric series
  4. Exponential growth and decay
  5. Finger trick for multiplying by 9
  6. Full lesson plan: Platonic solids
  7. Fun with dimensional analysis
  8. Geometric magic trick
  9. My “history” of solving cubic, quartic and quintic equations
  10. Square roots and logarithms without a calculator
  11. Student misconceptions about PEMDAS
  12. Was there a Pi Day on 3/14/1592?

Twelve most viewed posts (guest presenters):

  1. Engaging students: Classifying polygons
  2. Engaging students: Congruence
  3. Engaging students: Distinguishing between axioms, postulates, theorems, and corollaries
  4. Engaging students: Distinguishing between inductive and deductive reasoning
  5. Engaging students: Factoring quadratic polynomials
  6. Engaging students: Laws of Exponents
  7. Engaging students: Right-triangle trigonometry
  8. Engaging students: Solving linear systems of equations by either substitution or graphing
  9. Engaging students: Solving linear systems of equations with matrices
  10. Engaging students: Solving one-step and two-step inequalities
  11. Engaging students: Solving quadratic equations
  12. Engaging students: Square roots

Top twelve search engine terms that landed people on my blog:

  1. systems of equations project / system of equations project ideas / system of linear equations project / system of equations projects / solving systems of equations projects / real life system of linear equations / solving systems of equations project / linear systems project / etc.
  2. log table / how to find square root using log book / how to find square root in log book / how to find square root using log / logarithms with square roots / log tables / how to find square root of a number using log table / how to use log table for square roots / etc.
  3. geometry tricks
  4. law of exponents foldable / exponent rules foldable / foldable exponent rules
  5. mean green math / green math / meangreenmath (hey, it works!)
  6. cavalieri’s principle / cavalieri’s principle proof
  7. tables / square root table / mathematical table / math tables
  8. law of exponents fun activity / law of exponents activity
  9. 5e lesson plan math
  10. congruent segments in real life
  11. student art work with circles and parabolas
  12. finger trick for multiplying by 9

Twelve other search engine terms that caught my attention:

  1. deercrossing sign phone call
  2. engaging students in reading lesson
  3. examples of inductive and deductive reasoning in the declaration of independence
  4. grape and triangle pun
  5. math and 2048
  6. common core and math number line
  7. meetkunde trucjes
  8. dominoes falling over
  9. slide rule advertisement
  10. the stereotypes about math that hold americans back
  11. youtube/danceofchanceprobabilityfromanormalcurve
  12. honey i shrunk the kids dilation project

green line

If I’m still here at that time, I’ll make a summary post like this again when this blog has over 100,000 page views.

Your Humble Servant, Isaac Newton

From the YouTube description:

Almost fifty years ago, Cambridge University Press published the correspondence of Isaac Newton, a seven-volume, 3000-page collection of letters that provides insight into this great, if difficult, genius. William Dunham shares his favorite examples of Newton as correspondent. He ends with Newton’s most-quoted line about standing on the shoulders of giants and how his search for its place of origin led him, improbably, to a library in Philadelphia.

Circumference

Source: http://www.xkcd.com/1184/

Further comments, from Nicholas Vanserg, “Mathmanship,” The American Scientist, Vol. 46, No. 3 (1958):

In an article published a few years ago, the writer intimated with befitting subtlety that since most concepts of science are relatively simple (once you understand them), any ambitious scientist must, in self-preservation, prevent his colleagues from discovering that his ideas are simple too…

The object of… Mathmanship is to place unsuspected obstacles in the way of the pursuer until he is obliged, by a series of delays and frustrations, to give up the chase and concede his mental inferiority to the author…

[U]se a superscript as a key to a real footnote. The knowledge seeker reads that S is -36.7^{14} calories and thinks, “Gee what a whale of a lot of calories,” until he reads to the bottom of the page, finds footnote 14 and says, “oh.”

25,000 page views

I’m taking a one-day break from my usual posts on mathematics and mathematics education to note a symbolic milestone: meangreenmath.com has had more than 25,000 total page views since its inception in June 2013. Many thanks to the followers of this blog, and I hope that you’ll continue to find this blog to be a useful resource to you.

green line

Some other (probably useless) statistics: this blog has been viewed by readers from 145 different countries. Top viewership: the United States, India, the Philippines, Canada, the United Kingdom, Australia, Brazil, Pakistan, Singapore, and France.

Ten most viewed posts (written by me):

  1. All I want to be is a high school math teacher. Why do I have to take Real Analysis?
  2. An infinite number of mathematicians walk into a bar
  3. Formula for a finite geometric series (Part 8)
  4. Full lesson plan: Platonic solids
  5. Fun with Dimensional Analysis
  6. Geometric magic trick
  7. My “history” of solving cubic, quartic and quintic equations
  8. MyScript MathPad: Handwriting LaTeX generator
  9. Square roots and logarithms without a calculator: Part 2, Part 3, Part 4, Part 5, Part 6
  10. Student misconceptions about PEMDAS

Ten most viewed posts (guest presenters):

  1. Engaging students: Deriving the Pythagorean theorem
  2. Engaging students: Distinguishing between axioms, postulates, theorems, and corollaries
  3. Engaging students: Distinguishing between inductive and deductive reasoning
  4. Engaging students: Factoring quadratic polynomials
  5. Engaging students: Laws of Exponents
  6. Engaging students: right-triangle trigonometry
  7. Engaging students: Solving linear systems of equations by either substitution or graphing
  8. Engaging students: Solving linear systems of equations with matrices
  9. Engaging students: Solving one-step and two-step inequalities
  10. Engaging students: Solving quadratic equations

Top five referrals not written by me (thank you!):

  1. http://ispeakmath.org/2012/05/03/square-roots-with-cheez-its-and-a-graphic-organizer/
  2. http://www.reddit.com/r/learnmath/comments/2alfmp/algebra_square_roots_how_do_you_find_a_square/
  3. http://www.reddit.com/r/mentalmath/comments/22mogi/square_roots_and_logarithms_without_a_calculator/
  4. http://hogamy.wordpress.com/2014/04/12/common-core-subtraction-and-the-open-number-line-part-4/
  5. http://mathwithbaddrawings.com/2014/01/22/39-ways-to-love-math/

Top ten search engine terms that landed people on my blog:

  1. systems of equations project / system of equations project / system of linear equations project / system of equations project ideas
  2. geometry tricks
  3. law of exponents foldable / exponent rules foldable
  4. tables
  5. cavalieri’s principle
  6. mean green math (hey, it works!)
  7. how to find square root using log book
  8. green math
  9. mathematical table
  10. student art work with circles and parabolas

Ten other search engine terms that caught my attention:

  1. deercrossing sign phone call
  2. engaging students in reading lesson
  3. examples of inductive and deductive reasoning in the declaration of independence
  4. grape and triangle pun
  5. great clean jokes 2013
  6. math rap on solving systems of equations with substitution
  7. meetkunde trucjes
  8. slide rule advertisement
  9. the stereotypes about math that hold americans back
  10. youtube/danceofchanceprobabilityfromanormalcurve