I am looking for a math typesetting style guide. By this I don't mean the kind of stylesheet for journal submissions that says "Be sure to use the blah-blah-blah LaTeX package and the XYZ equation environment, and our army of editorial assistants will tie up the loose ends and knock off the rough edges." (Why not? Because my advisor is involved in starting a new journal, and suddenly my labmates and I are that army of editorial assistants.) [more inside]
posted by nebulawindphone on Nov 4, 2009 - 11 answers

∃x∀y∃z[Qx∧(My→Pyx)∧Wz ∧Pzx] ∨ ∃x[Qx∧∀y(My→Pyx)∧∃z(Wz∧Pzx)] ? [more inside]
posted by ed\26h on Sep 6, 2009 - 9 answers

I recently ran across a wonderful logic puzzle, but no solution was provided. I eventually worked out a complete solution myself, but it was rather ugly, and I would like to see if people smarter than me can come up with something more elegant. Are there any good Internet puzzle discussion forums floating around? [more inside]
posted by sappidus on Oct 11, 2008 - 13 answers

If a man’s wit be wandering, let him post a question about mathematics and reasoning to MetaFilter. [more inside]
posted by jason's_planet on Sep 25, 2007 - 20 answers

Is there a symbol for the phrase "and/or"? [more inside]
posted by jak68 on Sep 15, 2007 - 19 answers

math-and-logic-filter: only two more floors - I'm almost there! or am I? [more inside]
posted by krautland on Jul 20, 2007 - 31 answers

Help my friend schedule his bocce leauge: 8 bocce ball teams meet weekly, playing 8 games a week over 4 timeslots (7pm, 8pm, 9pm, 10pm) in 2 courts (courts E and W). [more inside]
posted by ao4047 on Apr 10, 2006 - 2 answers

I've read that Gödel's incompleteness theorem shows that there are definite limits to what logic, mathematics and by extension computers can do. This seems to be unknown among humanists such as myself. What are the things logic cannot do? Earlier AskMe questions about Gödel here and here (this answer is especially good).
posted by Termite on Apr 5, 2006 - 50 answers