[ 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: 63 KB, 600x377, godel's proof of god.jpg [View same] [iqdb] [saucenao] [google]
10444638 No.10444638 [Reply] [Original]

Hello my fellow logicians. What are you working on today? I've been reading up about Godel's ontological proof of God's existence using modal axioms.

>> No.10444729

>>10444638
Replace God with Flying Spaghetti Monster in this argument and it still holds. Really though, this argument seems to be saying that God exists because existing is good and God is good, which isn't very convincing.

>> No.10444751

>>10444729
>Le Flying Spaghetti Monster

Kill yourself

>> No.10444766
File: 377 KB, 1764x759, chris langan chad.jpg [View same] [iqdb] [saucenao] [google]
10444766

https://www.youtube.com/watch?v=jxYbA1pt8LA

>> No.10444769

>>10444729
>A Flying Spaghetti Monster-like being possesses all positive properties
Being a being of pure spaghetti isn't positive.

>> No.10444774

>>10444638
So God exists because a human notion of 'godliness' exists? Isn't this just Descartes but slightly less insufferable? It doesn't prove anything, but it posits a possibility.

>> No.10444929

>>10444729
Godel defines a God-like being to possess all positive properties. You're right that the argument still holds, but replacing "God" to "Flying Spaghetti Monster" would only result in a change of name; it would not show that a flying monster made of spaghetti exists, idiot.

>> No.10444984

>>10444638
This is mental gymnastics on a whole other level

>> No.10445027

>>10444751
>i have no argument

>> No.10445098

>>10444751
lmao, someone triggered the christfag

>> No.10445112

>>10444774
no, we ask: does there exist something which is god like?
the answer is yes.

>> No.10445152

>>10444638
Writing my phil ba on Frege and George Boolos attempt to «save» Frege's project

>> No.10445156

>>10445152
nice

>> No.10445228

>>10444929
I define the best girlfriend ever to be a girlfriend with all the best properties. A girlfriend that exists and is mine would be better than a girlfriend which does not exist or isn't mine. Therefore the best girlfriend ever exists and is mine. Yet I have no girlfriend. Contradiction, thus the argument fails.

>> No.10445303

>>10444729
>Replace God with Flying Spaghetti Monster in this argument and it still holds
No it doesn't lmao are you retarded

>> No.10445305
File: 39 KB, 768x384, A-5-768x384.jpg [View same] [iqdb] [saucenao] [google]
10445305

>>10445228
Logical fallacy: that best girl exists IRL and is known to you.

>> No.10445309

>>10444729
>>10444774
>>10444984
>>10445027
>>10445098
>>10445228
These posters are all pseudo intellectual morons

>> No.10445319

>>10445305
By definition the best girlfriend ever must be my girlfriend.

>> No.10445326

>>10445309
Why no gf?

>> No.10445346

>>10444729
Argumentum ad absurdum

And we're done here

>> No.10445395

What kind of jobs might someone who completes a dual major in Pure Math (Algebra & Discrete Mathematics) and Philosophy look at? I ask because I think that such studies would constitute the typical logician's undergrad career. Would computer science be a field that is easy to break into if academia didn't work out?

>> No.10445485

>>10445346
why criticize with logical fallacy
just the word "no u" would be great

>> No.10445494

>Godel left the term "positive" undefined.
the ontological argument is worthless

>> No.10445549

>>10445395
Yes, follow the official Python tutorial on their website. It is very easy

>> No.10446865

>>10445549

I'm talking more in terms of employment opportunity. Is a Discrete Math and Philosophy major seen as relevant to CS? Or would an employer completely disregard it. In a broader sense, what kind of jobs can someone specialising in logic secure?

>> No.10447989

>>10445395
>Math
Any job you want

>> No.10448021

>>10446865
A high quality employer would definitely value it. Use a source like teachyourselfcs or ossu to self learn CS and DO REAL PROJECTS (it's what separates the theorists from real programmers, and showing you can actually get your hands dirty is extra important in your case; don't worry too much about algorithms [your background might lead to you sepnding too much time on them and not actual programming] until you can actually program well using things like assertions, monads, and lamdas). If you're willing to put in the money, consider an interview bootcamp like interviewkickstart (they teach you stuff like algorithms, whiteboard interviews[harder than they look, especially in a high stress situation], etc.) They're very expensive, so I would only consider them if you fail a bunch of interviews and need a fresh perspective.
If all else fails, consider something like triplebyte (although their interviews tend to be more production and less theory oriented).

More than anything, given your background I would recommend getting your feet wet by taking on a project about 2 sizes too big for you, and learn what you need on the go (https://github.com/tuvtran/project-based-learning).). Don't forget to use pedagogies such as spaced repetition[Anki is love, Anki is life], chunking, the Feynman technique, pomodoros, etc.
hope this helps

>> No.10448025

>>10444638
Which god exists? Humans all over Asia, Europe, Africa, Oceania, and the Americas have believed in the existence of thousands of different gods.