[ 3 / biz / cgl / ck / diy / fa / ic / jp / lit / sci / vr / vt ] [ index / top / reports ] [ become a patron ] [ status ]
2023-11: Warosu is now out of extended maintenance.

/sci/ - Science & Math


View post   

File: 48 KB, 615x323, proof.png [View same] [iqdb] [saucenao] [google]
1216505 No.1216505 [Reply] [Original]

http://en.wikipedia.org/wiki/G%C3%B6del%27s_ontological_proof

Yes, one of the most famous and greatest mathematicians even proved it.

>> No.1216511

Yea well too bad Gödel was mentally crazy in his later years.

>> No.1216523

That proof is logically a fallacy. Gödel, I am dispoint.

>> No.1216531

I can't read formal logic. Explain in Engrish plox?

>> No.1216539

http://en.wikipedia.org/wiki/G%C3%B6del%27s_ontological_proof#Critique_of_definitions_and_axioms

>> No.1216561

>>1216505

godel, like feynman, was of little consequence

>> No.1216593
File: 476 KB, 825x1600, 1274670512684.png [View same] [iqdb] [saucenao] [google]
1216593

>>1216561
inb4

>> No.1216622

Essentially this is the proof:

God exists.
I said so.
Therefore god exists, otherwise, I wouldn't say so.
Checkmate.

It's funny how all illiterates finds anything legit as long as it contains some functions, symbols and operators they can't follow.

>> No.1216638

>>1216622
Checkmate indeed, atheists!

>> No.1216647

wikipedia says it's essentially... "God, by definition, is that for which no greater can be conceived. God exists in the understanding. If God exists in the understanding, we could imagine Him to be greater by existing in reality. Therefore, God must exist." which is bullshit.

>> No.1216663

The jist of it is:

1. God is good.
2. To exist is good.
3. Therefore, God exists.

No, srsly, that's it. Don't let the fancy formal logic scare you, existence is not even considered a property per se in actual logic (as opposed to modal logic, which is used here).

>> No.1216668

"Gödel would not publish because he was afraid that others might think "that he actually believes in God, whereas he is only engaged in a logical investigation (that is, in showing that such a proof with classical assumptions (completeness, etc.) correspondingly axiomatized, is possible)."[1]" from that same wiki article

>> No.1216669

>>1216663
Well, it's really more like "God is perfect. To be perfect, you have to exist. Ergo, god exists."

Yes, it is a completely bullshit idea.

>> No.1216671

>>1216663
MAKES PERFECT SENSE!

Observe:
>Christian
-This Pizza is delicious! A skilled cook must have made it.
-I concur!

>Atheist
-This Pizza is delicious! A skilled cook must have ma-
-YOU CAN'T PROVE THAT!

>> No.1216680

Can someone explain to me this?

"Religions are, for the most part, bad -- but religion is not."

...What the fuck? Religions are bad, but religion is not?

...What the fuck?

>> No.1216682

Do any of you remember a delicious rage thread early in /sci/'s history involving a christian blog and a gross misinterpretation of this theory?

Great stuff.

>> No.1216685

lrn2Plantinga

>> No.1216687

inb4 epicurean paradox in formal language

>> No.1216693

funny that no one who buys this shit also buys into plato's Ideas

>> No.1216699

>>1216680

>> No.1216705

>>1216680
substitute the second "religion" with "faith" to get the general gist of it

>> No.1216708

>>1216680

I think they mean to say that the intention behind religion is good.

But so is the intention behind the idea of... Communism.

>> No.1216714

>>1216680
little r religon

>> No.1216719

>>1216708
>Communism
le gasp!

>> No.1216727

The odor coming from my urine is my god.

May my piss have mercy on you all.

>> No.1216799

>>1216671

We're not talking about pizzas here. We're talking about rocks. Just because a rock is pretty, doesn't mean someone made the rock. Your metaphor skills need work.

>> No.1216805
File: 50 KB, 615x348, gess.png [View same] [iqdb] [saucenao] [google]
1216805

just a gues (gess)?

>> No.1216810

>>1216671
Observe:
>Christian
-This Pizza is delicious! A skilled cook must have made it.
-I concur!

>Atheist
-This Pizza is delicious! A skilled cook must have ma-
-That's not delivery, it's DiGiorno.