[ 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: 27 KB, 268x326, carl gauss.jpg [View same] [iqdb] [saucenao] [google]
8808568 No.8808568 [Reply] [Original]

like there is for physics

>> No.8808574

there was they called it "hilberts program"

>> No.8808575

>>8808574
you don't hear about that anymore though?

>> No.8808579

>>8808575
it failed

>> No.8808580

>>8808568
A modern mathematical "universe" is built from the ground up, not reduced to a set of laws. The foundational axioms of that universe ARE the grand unified theorem.

>> No.8808586
File: 22 KB, 212x270, godel.jpg [View same] [iqdb] [saucenao] [google]
8808586

>>8808575

>> No.8808646

>>8808586
That cheeky cunt. He trolled everyone then killed himself. Obviously /our guy/.

>> No.8808709

>>8808646
>killed himself.

That's a funny way of saying "he starved to death because he was too autistic to eat anything not made be his wife"

>> No.8808716

>>8808709
Potato potato. He's still our guy

>> No.8808780

>>8808568
you can't have a "theory" of an artificial construct in the same way that you can have a theory of natural phenomena. basically what >>8808580 said.

>> No.8809040

>>8808568

It's called category theory.

All mathematical concepts are Kan extensions.

>> No.8809050
File: 70 KB, 1230x1053, 1326500018524.jpg [View same] [iqdb] [saucenao] [google]
8809050

Can all categoryfags be banned already?

>> No.8809794

>he doesnt know about IUTT

>> No.8810295

For any set of axioms, anything that can be derived from using those axioms is true within the context of math of those axioms.

There it is, that's all there is to math. But most useful math will give the same answer whether it was derived one way or another, so you may want to make it stronger by also requiring the axioms to never contradict each other, or for one axiom to have precedence.

>> No.8811487

>>8808709
>tfw too intelligent to eat

>> No.8811560
File: 80 KB, 820x645, nuttedbutstillsuckin.jpg [View same] [iqdb] [saucenao] [google]
8811560

>>8810295
>the search for a consistent set of axioms

>> No.8811578

>>8808709
>making fun of a guy that dedicated to homecooking

>> No.8811653

>>8808568
Because chemistry > physics > astronomy > arhitecture > programming > maths

Anyone who ever tells you that math is at the top of the foodchain is a butthurt /a/utistic faggot that realized his invention is more imaginary than cyberspace, so he has to hide that fact by screeching as loudly as possible like your typical /a/utist who thinks anime is superior to everything.

>> No.8811655

>>8808568
Physics describes a single universe; mathematics describes an infinite amount of universes of one's own creation, and only some of those universes have applications in our own

>> No.8813410

There is no grand unified theory in a reductionist sense, the closet thing to unfying various ideas would probably be category theory?

>> No.8813723
File: 5 KB, 290x174, bertrand.jpg [View same] [iqdb] [saucenao] [google]
8813723

>>8808586
JUST

>> No.8813736
File: 81 KB, 500x443, tweet-russel-when-freges-logic-is-broken-and-hes-about-1406354.png [View same] [iqdb] [saucenao] [google]
8813736

>>8813723