[ 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: 2.37 MB, 440x440, jenova.gif [View same] [iqdb] [saucenao] [google]
10570167 No.10570167 [Reply] [Original]

What's the future of math?

In 2059, what will they say was the new and different thing in 2019?

>> No.10570491
File: 280 KB, 487x487, alipa.png [View same] [iqdb] [saucenao] [google]
10570491

>> No.10570644

do you think that I have a fucking time machine or that if I knew new maths shit from 2059 I'd be here wasting my time?

>> No.10570646
File: 102 KB, 1080x1080, sadderhole.jpg [View same] [iqdb] [saucenao] [google]
10570646

>>10570167
only fucking thing they will remember from the 2010s is that shitty blurred black hole picture and twitter.

>> No.10570703

>>10570167
They will have a grand unified theory of math by then

>> No.10570789
File: 165 KB, 622x319, nick_land_anime.jpg [View same] [iqdb] [saucenao] [google]
10570789

>>10570167
Technocapital singularity arrives from the future, neochinese cartoon girls evacuate meatspace. Deteritorialization of everything you know. Real Malthusian crisis hours. Universalist cyber-inquisistions and racist cyber-guerilla libertarians arms race. Posthuman neochinese Aryan gene traders absolutist rule. Praise Gnon and the undead amphetamine god

>> No.10570823
File: 195 KB, 727x1093, What the fuck did you just say to me you fucking bitch.jpg [View same] [iqdb] [saucenao] [google]
10570823

>>10570703

*blocks ur path*

Someone had to do it...

>> No.10570954

Mathematical Physics: there are now over 200 different types of algebras. More mathematical wankery and the proliferation of distinct formalism with the same predictive capacities as each other. No GUT, no progress. More higher dimensional shapes discovered with no real world applications or intuitive content, but physicists go ape-shit over it (admittedly for understandable reasons)

Pure math: More algebraic geometry. Riemann hypothesis solved, not that it matters because analytic number theory is already dead.

TCS: Polydimension quantum computational game theory, multivariable non-Euclidean decision theory, algebraic combinatorics and formals languages are still going strong. Machine learning has fizzled out as an academic field, but ubiquitous in everyday life and "engineering" applications. Multiagents systems emerges as its own field and splits off from computer science. Basically just more of the interdiscipliniary applied math/CS/cognitive science/economics shit that is really bug right now.

>> No.10570965

Even the smartest among us don't really know what's going on. Let that sink in.

>> No.10570966

>>10570789
>>10570167
this reminds me of MDE schitzoposting

i like it

>> No.10570977

>>10570966
>MDE
Put your brain in a dumpster.

>> No.10571042

>>10570167
https://en.wikipedia.org/wiki/Langlands_program

>> No.10571078

>>10570789
The economy is an ASI.
Right and left unify as accelerating makes anything other than acceleration meaningless.
The future is as dark as it is brilliant.
You are part of it all, but at the same time you no longer exist. All that's left is the feedback loop.

>> No.10571095

>>10570954
Accurate
Logic:
Alternative logics will be much bigger.
Topos theory has replaced set theory. Game semantics has replaced model theory and kripke semantics as a conservative extension to all other semantics. An untyped logic is no longer considered valid for anything other than toy theories. Deep inference in proof theory has proven logic is best syntactically expressed like a circuit diagram where nodes are logical connectives.

>> No.10571781

>>10571095
Can you elaborate on the circuit part?

>> No.10571858
File: 117 KB, 701x466, TIMESAND___ RRR+rr35dd5rfgtttdd7rjRRfRRdryzz.png [View same] [iqdb] [saucenao] [google]
10571858

>>10570167
They will probably say, "It was weird how in 2019 it had been ten years since he solved dark energy with the 'go past infinity' model but no one had thought to do a survey of the arithmetic operations of infinity. What were they doing in those ten years? What did they think was right when they were saying, 'This is wrong?'" I think if I would have gotten put in a group of efficiency boosting collaborators as is normal for people who make great discoveries, then I would have gotten all of this in 2010. You can see I had all the pieces, I just didn't realize that I needed to write a supplemental treatise on basic arithmetic and Euclidean geometry. I thought the people who were telling me to fuck were surely more expert in those areas than I, but obviously not! During the course of my research program, I was mystified by the lack of follow on papers developing the MCM. I would have thought, as was the case for GR, the Schrodinger equation, the Dirac equation, etc. that my fellow researchers would have jumped on any chance to write their name on an application of my model. I always wondered (doubtfully, since I was sure that I was exactly correct all along) if there was be something really, really fucking hard which makes the physics all fall apart somewhere but there was no such thing and it was all exactly how I said it was. It turns out people were look at math without seeing the arithmetic. Functorisms and 'lEggioes of the second kind in Hodge theaters, and that kind of stuff instead of plus and minus and times. Basically, since I was unethically segregated, I had no easy answer to the question: what the fuck do you people not understand about this? I never would have guessed in 2009 that the probelm was arithmetic.

[math] \mathbb{PHENOTYPO} [/math]

>>10571781
>the circuit part?
Time Arrow Spinors for the Modified Cosmological Model
http://www.vixra.org/abs/1807.0454

>> No.10571866

>>10570167
Nothing will be remembered of 2019 maths. 2020 will be the year the whole sorry edifice collapses and we go back to conic sections and the heat equation.
>>10571858
Based.

>> No.10572729
File: 607 KB, 789x565, based_and_wife_pilled.png [View same] [iqdb] [saucenao] [google]
10572729

good thread

>> No.10572760

The hot meme fields of the 2030s:

Zygotropical geometry
Interdimensional proof excavation
Hyperwolframian cellular automata

(analysis departments are axed after the great real number riots of 2025-2028)

>> No.10572943

>>10570977
>Put your brain in a dumpster.
He'll get there if he gets into Land. Let nature take its course.

>> No.10572951

>>10570965
So, people other than you.

>> No.10574359

What will become of stochastics?

>> No.10574366
File: 17 KB, 220x317, 220px-Gerhard_Gentzen.jpg [View same] [iqdb] [saucenao] [google]
10574366

>>10570823
Excuse you

>> No.10574393

>>10574366
and where is the proof that PRA is consistent? checkmate

>> No.10574517
File: 7 KB, 195x172, 1553054133054.jpg [View same] [iqdb] [saucenao] [google]
10574517

>>10570167
Math gains sentience through the vehicle of capital.

>> No.10574520

Category M-theory

>> No.10574526

Computer Science will be the only field of math left for humans because computers will be doing all the other math.

>> No.10575018

>>10574517

On the contrary. The sentience of mathematics is inversely related to that of capital. And since capital presently has individuality and personality, to that exact extent, mathmatics lacks individuality and personality-being subordinated to capital through financial mathematics, business """math""", engineering generally, incentivized prize problems...

Euclid and Perelman: two individuals who refused to play the game. We can learn from their examples.

>> No.10575040
File: 80 KB, 657x539, 1525831016862.png [View same] [iqdb] [saucenao] [google]
10575040

>>10572951

>> No.10576248

>>10572729
Not expecting /sci/ to know JM

>> No.10576949

>>10570644
I sure as hell would. Gotta remember one's roots.

>> No.10576977

>>10574526
If a computer was smart enough to solve mathematical problems, pose new hypotheses etc... It would be smart enough to alter its own code...
Just like people are capable of altering their own genes.
But we are very far from really smart computers.