Why is there not a search for a grand unified theory of mathematics

there was they called it "hilberts program"

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

>>8808575
it failed

>>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.

File: godel.jpg (22KB, 212x270px) Image search: [Google]

22KB, 212x270px

>>8808575

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

>>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"

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

>>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.

>>8808568

It's called category theory.

All mathematical concepts are Kan extensions.

File: 1326500018524.jpg (70KB, 1230x1053px) Image search: [Google]

70KB, 1230x1053px

Can all categoryfags be banned already?

>he doesnt know about IUTT

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.

>>8808709
>tfw too intelligent to eat

File: nuttedbutstillsuckin.jpg (80KB, 820x645px) Image search: [Google]

80KB, 820x645px

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

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

>>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.

>>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

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

File: bertrand.jpg (5KB, 290x174px) Image search: [Google]

5KB, 290x174px

>>8808586
JUST

File: tweet-russel-when-freges-logic-is-broken-and-hes-about-1406354.png (81KB, 500x443px) Image search: [Google]

81KB, 500x443px

>>8813723