/lit/ - Literature

I was nowhere because it wasn't?

>>6374333
>math is just a human concept
Typed into a fucking computer

>>6374333
where were you in ninety two
where were you in ninety two

> existing separated, one and one

>>6374333

He didn't just kill math, he killed all of logic in general. It's astonishing to see sciencefags still doing their logical shit when this guy proved that logic is wrong.

>>6376372
> proved that logic is wrong
typed into a fucking logic

catchpa: adque,

i.e. the Universe thinks this response to be

adequate

>>6376372
logic is incomplete doesn't mean logic is wrong

>>6376378
typed into ur mum's pussy

How many people ITT have read a textbook on mathematical logic and how many just read the Wikipedia article for Gödel?

>>6376378
>computer

>>6376873
I didn't read either.

>>6377504
enderton has a good one for undergrads if u are in the market

>>6377515
>implying I'm in undergrad

>>6374333
>mathematics
>killed
if math is kill then why do i still have to take this bullshit in school?

https://www.marxists.org/reference/subject/philosophy/works/at/godel.htm

>>6376372
>we should stop actually improving the world because some guy said that we are actually wrong, even though in real life we aren't

Difference between proving that logic is bad and proving that certain kinds of logic are incomplete. And either way, all mathematics up to the early 19th century and most afterwards would still be safe.

>>6374333
it wasn't; only math founded in set theory founded in logic was broken

How many times, OP? You've posted this retarded misinterpretation of Godel at least two other times. Godel only breaks the Hilbert program, he doesn't break math and you are a FUCKING RETARD

sincerely,
A concerned math major

>>6376372
GODEL ONLY PROVED THAT MATH FOUNDED IN SET THEORY FOUNDED IN LOGIC DOES NOT WORK

THIS HAS NOTHING TO DO WITH LOGICAL REALISM, MODAL REALISM, OR ANYTHING BEYOND A VERY TINY SECTION OF OBSCURE, OUTDATED MATH PROJECTS

ZFC EXISTS AND WORKS, SHUT THE FUCK UP RETARDS

>>6376873
I've studied set theory. I know it's outdated and baby's first math, I have a long way to go I don't understand why philosophy people and math people don't get along in threads like these.

>>6376873
I've read a shitload on Godel, everyone in this thread is a fucking idiot.

>>6379276
set theory isn't outdated

"philosophy" and math people get along fine, it's retarded faggot cunt "philosophers" who read a line of skeptical argument and believe they are edgemasters of doubt 3.0 that no one likes

>>6379281
It isn't?

I thought it's ability to explain anything besides simple mathematics was severely limited?

>>6379303
...not under the right axioms, you're probably thinking of naive set theory, which was outdated before it began.

ZFC is still the standard of higher maths education today, and many proofs rely on it's axioms to function. It IS the foundation for math.

Godel's incompleteness theorem doesn't apply, because Godel's incompleteness theorem only applies when operators are codified into a logical, strict language. It defeats basically computer-based proofs; or a logical, calculus means to do proofs, which only stands in relation to the hilbert program and is more of an interesting bit of mathematical history than anything. Mostly people who make it into something grand don't understand what it's about.

>>6379322
is it true that the geometry escape the consequences of the theorem since the natural number system cannot be coded geometrically ?

>>6379322
My professor told me that something like this would take place in the next set theory course but I graduated before that quarter. Still I remember him saying something like, eventually set theory's explanatory power fails at a serious level.

Set theory will be moving up the to read list thanks to your post.

Where were you when philosophy was killed once and for all?

>>6379323
What?

>>6379326
I have no clue, maybe something to do with category theory replacing set theory to some capacity, I heard some noise about that

>>6379334
Nice b8 m8

>>6379337
Do you study philosophy of mathematics? Pretty rare to find fans of on /lit/ that give a damn about math or linguistics.

>>6379273
ZFC is bad actually, see Wildberger for details

'Infinity was a mistake' - Cantor

>>6379322
>ZFC is still the standard of higher maths education today, and many proofs rely on it's axioms to function. It IS the foundation for math.
Not for all math up to the early 19th century

>>6379381
A little, I lean towards non-realist interpretations, because realists are fucking fags for the most part. Honestly at this point I just admit I have no idea what any of it means. It's possible to be skeptical about anything to doubt, so I pretty much run with how things seem.

>>6379390
>Infinity
which one ?

>>6379393
sure, and quantum mechanics didn't exist before Heisenberg either

No one knows what maths really are

>>6379387
i'll check it out, thanks

>something "dies" from a theorical standpoint
>remains practically valid
I don't see the "dead" part here.

Perhaps we need to review mathematics and see what part of it works and which doesnt, because is quite clear that mathematics work in the real world.

Where were you when science was killed once and for all?

>>6379592
when yu b8 so gr8 you r8 8/8

>>6379334
He changed his mind, though.

>>6374333
>>6379334
>>6379592

Where were you when history was killed once and for all?

Where were you when it was objectively proven beyond a doubt that blacks were more ugly than whites?

the fact that there exists true things that cannot be proved true doesn't mean that things that have been proven true are wrong.

>>6380833
North tower

>Later in his life, Gödel suffered periods of mental instability and illness. He had an obsessive fear of being poisoned; he would eat only food that his wife, Adele, prepared for him. Late in 1977, she was hospitalized for six months and could no longer prepare her husband's food. In her absence, he refused to eat, eventually starving to death.[20] He weighed 65 pounds (approximately 30 kg) when he died. His death certificate reported that he died of "malnutrition and inanition caused by personality disturbance" in Princeton Hospital on January 14, 1978.[21] Adele's death followed in 1981.

>>6380882
Truly an inspiration.

>>6380882
le ad hominem

>>6380876

kek nice one

>>6379395

Brouwer was right.

>>6379276
Because a lot of philosophers are sophists who don't have the intellectual rigor necessary to engage with mathematics

>>6379404
He's trolling you

>ITT nobody actually knows what Gödels proved because /lit/ consists entirely of English Major drop-outs.

Where does one start in the study of logic?

Aristotle?

>>6379473
Fucking retard. Not only are you as dumb as the LOL MATH CODES PERFECTLY TO THE NATURAL WORLD :)))), you also manage to be dumber than the OP (who is a le epic baiter).

>>6381737
lol

LOL

ahahahahahAHAHHA

>>6381737
no

>>6379387
wildberger is a fucking kook

>>6381261
kekky kek kek. one of my fave pics of all time. thanks for posting.

Sincerely,
The meme-loving anon