File :-(, x, )
Anonymous
/b/ needs to know about Godel's Theorem.

In short, it says a formal system (read: mathematics) CANNOT prove all mathematical truths while simultaneously proving no falsehoods.

i.e. math is a flawed, less-than-universal language.

pic unrelated. good luck finding a related pic.
>> Anonymous
Actually, to say it simpler: Gödel's Incompleteness Theorem states that a mathematical system can be sound or complete, but not both. I'm guessing this is the time of year where they get to that in the Intro courses.

You could just go read wikipedia or, if 4chan actually reads, pick up "Gödel, Escher, Bach: An Eternal Golden Braid" for something somewhat enlightening that doesn't come from the anonymous coven.

In other news, SAGE for lack of /d/ :(
>> Anonymous
http://en.wikipedia.org/wiki/Godel%27s_theorem
>> friendsofsandwiches
hmmm... so you're saying, you can be happy, but not satisfied, satisfied, but not happy?

Sounds like sex and marriage to me.
>> Anonymous
     File :-(, x)
Not so much happy and satisfied as...
Its more like whether or not you have a name for everything in the universe and whether or not you can explain everything in the universe.
You might have a name for everything (completeness), but you might not be able to explain everything or your explanations might end up conflicting with each other (unsoundness). Or vice versa. Or both. Or neither.

PS: This is now a pegging thread