7

+1

YES!

Ich auch.

YES

+1

icwutudidthar

+2

My mind was thinking about how much it f*cking loves this.

+3

So much that it 1'd this...

Well I told my mind to stfu.

+1

I re-fav'd after some thought. I don't care for homosexuals much, but I like Queen. So to be 100% fair I have to fav it again. I don't care for your anti-semitic views, but you made a great site and I cant take that away. I'll pray for your soul though.

+1

What? I do not have anti-semitic views. Even though my username may suggest otherwise... well, I AM uncircumcised... And what do homos have to do with this?

This would achieve near-perfection if instead, a reflected image of Godel filled his glasses. But it 5's my jive.

+1

I agree, but I'm unable to do that.

I believe there is a shot like that in Dangerous Knowledge, but it's an actor, not Gödel.

I knew this was your site from the title. Also, THERE ARE THINGS THAT EXIST WITHIN A SYSTEM THAT CANNOT BE EXPLAINED BY THE RULES OF SAID SYSTEM.

+3

Wow, how did you know that? Also, FLICK THE SYSTEM!

We cannot observe our inner-selves. Why? Because there is not an observer inside the system: we are the system itself.

+2

If we could comprehend ourselves logically, we would be limited like a machine, is that what you are trying to say? "Either mathematics is too big for the human mind, or the human mind is more than a machine."

Um, I think you just mean what you said...

^^^^ What I meant was to fight the system of control built by the NWO.

A friend and I were thinking of making a short film about Godel. He really needs some recognition as the man whom Einstein "came to the Institute merely…to have the privilege of walking home with".

+4

I would love to hear Gödel's actual voice. I have talked to Gregory Chaitin, and he told me how he had spoken with him on the phone in 1974. He said he had a thick German accent, but spoke perfect English and very fast.

That's good to know, thanks.

+1

Didn't Gödel always make his wife test his food for fear of poisoning? After all if it was poisoned it would be a shame to loose a good mathematician so I can see why he did that. Wives are replaceable, incompleteness theorems are not.

+2

Yes, I've heard about that. He died from starvation, because he thought someone was trying to poison him. I've read that right before he died his weight was about 60 lbs or so (seriously).

She also defended him from some Nazi youths once, while they were walking together on a street in Germany. She chased them off with her umbrella. It's amazing how much he depended on her. It was when she was finally unable to be there for him (being hospitalized) that he stopped eating and began starving to death.

+1

Upon reflection, I'd like to apologize for my statement about "Nazi youths", which could be construed as a general condemnation of their character. Many Nazi youths were well-behaved, and simply wanted to grow up to be productive members of society. Additionally, nearly all boys of ten years and up were essentially being conscripted into the Hitler-Jugend by the time of World War II.

+1

In 1942 Gödel and his wife were on vacations in the Blue Hill. A certain mathematician visited that inn in the 80s, and met there the very same lady who worked there when Gödel was there. When he told her how Gödel died without leaving a descendant, she replied, "Of course! He didn't have the strength to make a baby!"...

Therefore I should have been more specific and cautious in my wording, and made it clear that the aforementioned trouble-making youths were merely delinquents who happened to be members of the Hitler Youth, rather than implying that this behavior was in any way commonplace among Hitler Youth members.

+1

Help! I was forced to write that retraction by a Hitler Youth with a gun to my head! He's making a peanut butter sandwich in the kitchen right now, but he'll be back any minute. Alert the authorities, please!

+1

"Additionally, nearly all boys of ten years and up were essentially being conscripted into the Hitler-Jugend by the time of World War II" Hmm... does that remind you of something...? *cough* Obama-Jugend *cough*

And yes, Uncircumcised, it's impressive that Godel lived to 71 what with all those neuroses.

+1

metamath.org

+1

Your math sites are awesome

+1

Wow, thanks!

I came here to write what Gordon already wrote

+1

This is a mysterious math site my friend made: http://consideryourmindblown.ytmnd.com/

Gödel's proof in essence: Let us assume that all the one variable propositional functions of arithmetic are numbered in a sequence: f_1, f_2, f_3, ... Now, let f_n(k) denote the proposition that arises from subsituting the number k for the variable in the nth prop. function. It so happens that the prop. function asserting of a proposition x to be unprovable within the system can be expressed within the system (Gödel proved this), let us call it "Bew(x)". And now, let g(n) := ~Bew(f_n(n)), i.e., g(n) says th

that f_n(n) is unprovable. g is itself a one variable prop. function, so g=f_k for some k. The proposition f_k(k) is undecidable. PROOF: f_k(k) asserts that the kth prop. function with k substituted for the variable is unprovable. But the kth prop. function is f_k itself! So it says of itself that it's unprovable! Now, if it was provable, then it would also be true (otherwise the system is inconsistent), in other words, it would be unprovable, just like it states. A contradiction. Now if the negation of it,

~f_k(k), was provable, then this negation would also be true, i.e., f_k(k) would be provable, a straight contradiction. Therefore, f_k(k) is undecidable within the system. QED.

He smart man. Me like words.

-1

You know the other day, I was thinking about thinking about thinking about thinking about thinking and I thought to my mind, What a thoughtful thought you were thinking. We were thoughtfully thinking about the same thought. Then I woke up as paramedics were holding me down and trying to keep me from swallowing my tongue. One paramedic said" We THOUGHT we lost you". My brain exploded.

+2

don knots?

Thinking about thinking about thinking about thinking.

+1

I think there is a confusion here between self-referential paradoxes and the limitations of languages. Obviously the former is an instance of the latter, but an oversimplification is going on here that also tragically includes some misappropriation of continental philosophy.

What do you mean? Can you elaborate?

Well, the first quote describes using mathematics to show the limits of mathematics as contradictory. This isn't correct, as you can show the limits of any mathematical system by using a more potent system. The objection of course would be that this leads to an infinite regress, but of course. Godel's proof doesn't even apply to certain systems, like first order symbolic logic, which although weak can be used without incident.

+1

Additionally, to interpret Godel as "thinking about what the mind can do at the deepest level" or to introduce this "vertigo of the modern" is to interpret Godel along the lines of continental philosophy, which is a complete misappropriation of his work. One of the most famous proofs from continental philosophy of course being that consciousness cannot be conscious of itself.

+1

This would seem to offer a possible relevancy for Godel. However to treat it as such is to introduce consciousness to determinism, and hence to misunderstand the subject completely. Man is doomed to be free. He does not arise in logic, just as he does not arise in anything.

+1

The first quote talks only about how what Gödel did was PSYCHOLOGICALLY self-contradictory. Of course, it is not contradictory in the true sense of the word, Gödel did just that. Language syntax is basically arithmetic, is it not? So it was using arithmetic to describe arithmetic. (The arithmetical representation of) Gödel's theorem is really a theorem of arithmetic...

I agree with what you said about consciousness and determinism. Could you elaborate on this "proof from continental philosophy"? You mean, like an actual rigorous proof?

No, not a mathematical proof. An informal proof. I'm mostly thinking of Sartre, although I'm certain it predates him.

+1

Can you 5, please?

-1

^ Forget about that, vote whatever you like.

+1

Sure.

+1

I 5'd for good use of the comments section

+1

I am not sure what you mean by "continental philosophy", but Gödel definitely was not an advocate of the mainline 20th century philosophy...

lol college

+1

it's nice to come back to ytmnd after more than a year and still see your fads goin'.

+1

What do you mean? I wasn't around a year ago...

This site is better than the play, Copenhagen.

+1

1 for bad attempt at being "deep"

-3

Well at least their attempt at deep doesnt involve an *SS and a C*CK

+1

ASSC*CK isn't funny anymore.

+1

if ytmnd.com is consistent then this site cannot prove that

+3

Ha ha!

i listen to the guy's words as musical inflections, not language

+1

you sir, just f*cked my mind!

+1

1

Revenge downvoting? Cute.

Well done!

+1

Came back to see the rating. 4.02 seriously? This should be at least a 4.3-4.5

+1

Really? Well, thank you! To be honest, I never intended this site to be something great, I just randomly had this idea and did it.

smart man

+1

This ytmnd comment is untrue.

+1