Comments on: Pie is greater than not pie.
http://ask.metafilter.com/180067/Pie-is-greater-than-not-pie/
Comments on Ask MetaFilter post Pie is greater than not pie.Sat, 05 Mar 2011 10:48:04 -0800Sat, 05 Mar 2011 11:05:09 -0800en-ushttp://blogs.law.harvard.edu/tech/rss60Question: Pie is greater than not pie.
http://ask.metafilter.com/180067/Pie-is-greater-than-not-pie
I'm trying to express my love for a certain dessert in a math/logic formula.
I have this: <strong>π > ∼π </strong>, which I take to mean "Pi is greater than not Pi", and this: <strong>π > ∞-π</strong>, which I take to mean "Pi is greater than Everything but Pi". Do these make any sense or hold up in any legit way?post:ask.metafilter.com,2011:site.180067Sat, 05 Mar 2011 10:48:04 -0800TheCougmathlogicnotationpiebakingnerdresolvedBy: grouse
http://ask.metafilter.com/180067/Pie-is-greater-than-not-pie#2590549
Your notation is wrong. Here are some alternative formulations in TeX, with links to the rendering thereof.<br>
<br>
This means that π is greater than anything that is not π:<br>
<br>
<a href="http://i.imgur.com/MUMHe.png">x \neq \pi \Rightarrow \pi > x</a><br>
<br>
This means that π is greater than all the things that are not π combined:<br>
<br>
<a href="http://i.imgur.com/wHtlL.png">\pi > \bigcup_{x \neq \pi} x</a>comment:ask.metafilter.com,2011:site.180067-2590549Sat, 05 Mar 2011 11:05:09 -0800grouseBy: spitefulcrow
http://ask.metafilter.com/180067/Pie-is-greater-than-not-pie#2590553
Pretty much not. The "not" symbol is for Boolean logic, which doesn't have a concept of "greater than". And pi is most certainly not greater than an infinite quantity minus pi, which is still infinity.<br>
<br>
If you wanted "pi is greater than not pi", you could say π > 0π, since 0 multiplied by anything is 0, and π is most certainly greater than 0. Here 0π is "the absence of pi".<br>
<br>
For "pi is greater than everything but pi", I don't think there really is a concept that fits. "Everything but pi" is conceptually closer to a <a href="http://en.wikipedia.org/wiki/Set_(mathematics)">set</a> than a number, and sets themselves aren't automatically comparable in terms of "greater than" and "less than". (The relevant concept here is the existence (or lack thereof) of a <a href="http://en.wikipedia.org/wiki/Well-ordered">well-ordering</a> for a set of sets of numbers.<br>
<br>
On preview: if you just wanted things that use the correct symbols but weren't actually true, go with what grouse said.comment:ask.metafilter.com,2011:site.180067-2590553Sat, 05 Mar 2011 11:08:31 -0800spitefulcrowBy: spitefulcrow
http://ask.metafilter.com/180067/Pie-is-greater-than-not-pie#2590556
On what should have been preview: "an infinite quantity minus pi" is still "an infinite quantity", not "infinity".comment:ask.metafilter.com,2011:site.180067-2590556Sat, 05 Mar 2011 11:09:26 -0800spitefulcrowBy: robtoo
http://ask.metafilter.com/180067/Pie-is-greater-than-not-pie#2590570
∀ x, x + π > x + 0π<br>
<br>
for all x, x plus pi > x plus no pi<br>
<br>
rough translation: everything is improved by piecomment:ask.metafilter.com,2011:site.180067-2590570Sat, 05 Mar 2011 11:26:10 -0800robtooBy: grouse
http://ask.metafilter.com/180067/Pie-is-greater-than-not-pie#2590582
My answers obviously aren't true for the real numbers. They presupposes a partially ordered set where π is the greatest element. Including an element that is the set of all of the other elements, as is done in my second equation, seems like a contradiction, though.comment:ask.metafilter.com,2011:site.180067-2590582Sat, 05 Mar 2011 11:34:40 -0800grouseBy: Iosephus
http://ask.metafilter.com/180067/Pie-is-greater-than-not-pie#2590590
Other versions:<br>
<br>
∀ x. π > x ("pie is greater than everything" - suffers from the awkward "is pie greater than itself?")<br>
<br>
∀ x. x ≠ π → π > x (improved version of grouse's first formula above, makes explicit we mean it for eveythring that is not pie - in absence of quantifiers, one can't really claim so in a technical sense, though it IS standard mathematical practice to assume variables are universally quantified so this is mostly nitpicking)<br>
<br>
∀ x,y. Pie(x) ∧ ¬Pie(y) → x>y (for any x that is pie and any y that is not, x is greater than y)comment:ask.metafilter.com,2011:site.180067-2590590Sat, 05 Mar 2011 11:42:30 -0800IosephusBy: en forme de poire
http://ask.metafilter.com/180067/Pie-is-greater-than-not-pie#2590591
My stab at "pi is greater than everything that is not pi": ∀ x ∈ {x | x ≠ π}, π > x<br>
<br>
Maybe a little plodding and redundant, though.comment:ask.metafilter.com,2011:site.180067-2590591Sat, 05 Mar 2011 11:44:41 -0800en forme de poireBy: Nomyte
http://ask.metafilter.com/180067/Pie-is-greater-than-not-pie#2590592
Another option: ∀x ∈ {x : x ≠ π}, x < π.<br>
<br>
This is equivalent to the first expression grouse supplied. Of course, without an explicit link between π and pie, this is nonsense. Might want to replace π with the image of a pie, you know, to make sure you're talking about some set of things that includes pie, rather than just the set of real numbers.comment:ask.metafilter.com,2011:site.180067-2590592Sat, 05 Mar 2011 11:44:47 -0800NomyteBy: TheCoug
http://ask.metafilter.com/180067/Pie-is-greater-than-not-pie#2590594
Thanks guys, I think that gives me enough to go on, but feel free to keep 'em coming!comment:ask.metafilter.com,2011:site.180067-2590594Sat, 05 Mar 2011 11:46:26 -0800TheCougBy: Iosephus
http://ask.metafilter.com/180067/Pie-is-greater-than-not-pie#2590602
Risking being annoying by now (professional deformation, heh), yes there is a risk that the logic one works in falls into paradoxes when everything works at the same level (here, elements and sets of elements). Solving this typically involves some kind of type theory so the levels get separated.<br>
<br>
And yes, while ditching the pi symbol would diminish the joke, more logic representations of your notions can be found in the style of my last formula. In fact, this is the most straightforward way one goes around doing KR ("knowledge representation") in computer science. In such work, one even gets insufferable and does things like:<br>
<br>
∀ x,y. Pie(x) ∧ Food(y) ∧ ¬Pie(y) → x>y<br>
<br>
if one wants to say that pie is the greatest food of all, but not that pie is, say, greater than kittens, movies, or Mt Vesuvius.comment:ask.metafilter.com,2011:site.180067-2590602Sat, 05 Mar 2011 11:55:56 -0800IosephusBy: TheCoug
http://ask.metafilter.com/180067/Pie-is-greater-than-not-pie#2590606
Iosephus:<br>
I think grouse said it best when correctly presupposed that I was living in an unordered set where Pie is the greatest element. I mean, it's just the greatest!comment:ask.metafilter.com,2011:site.180067-2590606Sat, 05 Mar 2011 12:01:45 -0800TheCougBy: grouse
http://ask.metafilter.com/180067/Pie-is-greater-than-not-pie#2590614
Partially ordered set. Unordered means there is no greatest element.<br>
<br>
robtoo's formulation has the advantage that it actually makes sense with the standard conception of π and real numbers, and requires less advanced math.comment:ask.metafilter.com,2011:site.180067-2590614Sat, 05 Mar 2011 12:12:25 -0800grouseBy: d11
http://ask.metafilter.com/180067/Pie-is-greater-than-not-pie#2590619
There's a complication... if (F, ≤) is the set of foods (as represented by real numbers) partially-ordered by greatness, and π = max(F), then we have the problem that π < sup(F), where sup is the supremum (least upper bound). This could be interpreted to mean that pie is not as good as a soup made out of all possible foods. While we can't actually check this, it doesn't seem like a very desirable property of our theory. There's also the problem that sup(F) is not in F - i.e. said soup is not a food. In culinary terms this may be reasonable, but mathematically it is counter-intuitive at best.<br>
<br>
To fix this, I suggest that we allow combinations of foods to be considered separately - so that π < 2π < 3π < ... as we'd expect. Two pies are clearly better than one so this may in fact be a better model. The downside is that soup no longer exists, and a single pie is not the greatest any more. But thanks to Archimedes, we at least have that for any collection of food you care to take, you can do better simply by using a large enough number of pies.<br>
<br>
Hope that helps.comment:ask.metafilter.com,2011:site.180067-2590619Sat, 05 Mar 2011 12:18:24 -0800d11By: Iosephus
http://ask.metafilter.com/180067/Pie-is-greater-than-not-pie#2590643
d11, I think that is not correct. If my memory serves, any subset of the reals that has a greatest element has that same element as the supremum of the subset.comment:ask.metafilter.com,2011:site.180067-2590643Sat, 05 Mar 2011 12:51:51 -0800IosephusBy: tel3path
http://ask.metafilter.com/180067/Pie-is-greater-than-not-pie#2590692
(∀ q : (q ∉ J{ π })) ∧ (∀ p : (p ∈ J{ π })) • p > q<br>
<br>
Translation:<br>
for all q such that q is not a member of the set of all sets {pi}<br>
and<br>
for all p such that p is a member of the set of all sets {pi}<br>
it holds that p is greater than q<br>
<br>
or to put it another way<br>
<br>
for all things q that are not in the set of things that are pie,<br>
and<br>
for all things p that are in the set of things that are pie,<br>
p is greater than qcomment:ask.metafilter.com,2011:site.180067-2590692Sat, 05 Mar 2011 13:45:39 -0800tel3path