[ 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: 523 KB, 1170x1458, C0C586B1-EDCE-4E02-AF04-3DCF8EB61289.jpg [View same] [iqdb] [saucenao] [google]
15389424 No.15389424 [Reply] [Original]

Gödel’s incompleteness theorems are bullshit.

https://www.jamesrmeyer.com/pdfs/FFGIT_Meyer.pdf

>> No.15389430

>>15389424
You can be correct for the wrong reasons, Anon.
Shit gets meta.
Getting mad is just part of the process.

>> No.15389621

>>15389424
Where do you people find these crazies?

>> No.15390001

>>15389424
Oh my Godel, someone just proved that Godel cannot prove Godel's incompleteness theorem

>> No.15390053
File: 1.78 MB, 3200x1618, godel.png [View same] [iqdb] [saucenao] [google]
15390053

Atheist cope

>> No.15390060

>>15390053
Refuted by reality

>> No.15390073

>>15390060
Define reality and derive your refutation from it.

>> No.15390075

>>15390073
Nope, word salads and logic chopping have nothing to do with reality

>> No.15390078

>>15389621
ad hominem
>>15390053
not an argument.

Just face it. There is no self-reference going on. There is a meta-language interacting with a sub-language. Self-reference isn’t real, actual infinities aren’t real, empty sets are meaningless, there aren’t different “sizes” of limitless quantities, undefinable numbers are useless and fake, etc. Even if Gödel’s theorems were true, it only proves things about pointlessly contrived “self-referential” statements. Whereas all statements that actually are contained by their formal system, and are meaningful, can be proven. The very fact that Gödel “proved” the statement true proves that he created the statement under the umbrella of a broader language

>> No.15390082

>>15390053
My imaginary magical unicorn exists by this same proof

>> No.15390089

>>15390082
Prove it.

>> No.15390097

>>15390089
just replace “God” with “magical unicorn.” Look, when you define something to have all positive properties (what does that even entail, exactly?), you basically assume what you are trying to prove, as existence is a positive property. If this proof were actually substantial and logical, then it would be famous

>> No.15390102

>>15390089
Axiom 3.5: The property of owning a magical pony is positive
By T3, God exists and owns a magical pony because god has all positive properties.

>> No.15390118

>>15390097
>if you rename god to unicorn it sounds stupid!! TRUST SCIENCE
>>15390102
no problem here, God in his omnipotence could make unicorns if he wished to

>> No.15390132

>>15390118
where is my unicorn

>> No.15390135

>>15390118
It's not a matter of wishing it. My proof shows that the magical pony necessarily exists whether god wants it or not. In fact, by including the axiom
Axiom 3.6: The property of gifting magical ponies to anon 15390102 on /sci/ on their 20th birthday is positive
it follows that I was gifted a magical pony on my 20th birthday

>> No.15390138

>>15390118
>TRUST SCIENCE
modern science and mathematics are religions too. You’re the one saying “TRUST MATH” and “TRUST RELIGION” and “TRUST GÖDEL.” And people like me are called “cranks” and “crazies” lol.

>> No.15390156

>>15390132
learn 2 read
>>15390138
>t. mathlet
nothing to trust here, it is all derived a priori

>> No.15390162

>>15390156
Why didn't you reply to my post? >>15390135
Are you jealous or afraid of my magical pony?

>> No.15390166

>>15390156
>it is all derived a priori
right, because monkeys on earth have developed perfect logical systems just based on their experiences on earth across millions of years and because of that we can prove the existence of infinities and gods and unicorns, how could I forget

>> No.15390312

>>15390156
>it is all derived a priori
the "symbols" and language used to set the axioms sure as fuck are not, those are 100% undiluted "trust me bro" copium

>> No.15390315

>>15389424
>This paper uses straightforward logic and does not rely on any philosophical or semantical arguments
Holy shit, what a retard.

>> No.15390358

>>15390078
>The very fact that Gödel “proved” the statement true proves that he created the statement under the umbrella of a broader language
If you think that isn't significant, it's only because you take it for granted. The same year Gödel published his incompleteness proof, Wittgenstein published his spergery concluding one must not do precisely what Gödel did.

Gödel is unpopular on /sci/ because he was the Diogenes to Hilbert's Plato. Incompleteness was his "behold, a man!" moment. Greyfaces who Take This bags Very Seriously don't like that.

>> No.15390361

>>15390358
*Take Things Very Seriously

or just roll with it, whatever

>> No.15390453

>>15390358
Are you a namefag, you sound familiar

>> No.15390464

>>15390358
Gödel is literally a Platonist though. Your analogy sucks

>> No.15390467

>>15390464
Ur mom’s a platonist when she plays witg my cock and balls a ton

>> No.15390532

>>15390453
never
>>15390464
>Gödel is literally a Platonist though
Ontologically, yes, kind of. Rhetorically, not really, no.
>Your analogy sucks
So does your mom when she's spending time with Anon here >>15390467

>> No.15390632

>>15389430
youth detected
likely a nigger

>> No.15390643

>>15390102
>pony
>>15390135
>pony
>>15390162
>pony
you guys really like to think there's a lot of leniency when it comes to enforcing the rule on ponies, don't you??

>> No.15390790

>>15390001
curses, the system of humanity can't prove its incompleteness using the system of humanity... wait ain't that just godel?

>> No.15390803
File: 110 KB, 720x641, 1666075609954819.jpg [View same] [iqdb] [saucenao] [google]
15390803

>>15390643

>> No.15390813

oh goodie, thread's gonna get nuked, have a good day lads, even the namespergs

>> No.15390815

>>15389424
>jamesrmeyer
huh, this guy's got a channel as well https://www.youtube.com/channel/UCod8RiRP3Ke1N2ezdQvYTUA

>> No.15390969

Gödel bros…

https://www.jamesrmeyer.com/blogs/blog-are-we-alone.php

>> No.15390978

>>15390815
>2 subscribers1 video

no one cares jimmy

>> No.15390994

>>15390803
you're a tolerated rule-breaker
posting ponies is a crime here