/sci/ - Science & Math

rip

>>10017798
This is what happens when gooks try their hand at the white man's game (mathematics).

>>10017798
Too bad, I wish he wouldve succeeded. Guess I just am too romantic and want to believe in then Don Quixote -like delusional underdog hero -tale.

>>10017798
So what is the gap?

>>10017798
>But the meeting led to an oddly unsatisfying conclusion: Mochizuki couldn’t convince Scholze and Stix that his argument was sound, but they couldn’t convince him that it was unsound.
It's fucking nothing.

>>10017798
Link?

>>10017841
Corollary 3.11

>>10017905
https://google.com/

>>10017906
Explain in detail why the Corollary is wrong.

>>10017915
>The proof of Theorem 3.11 essentially just says “The various assertions of Theorem 3.11 follow immediately from the definitions and the references quoted in the statements of these assertions”.

>>10017930
Because that's right.

>>10017931
>Anyone trying to understand Mochizuki’s proof thus needs to make their way through either 350 pages of Yamashita’s version, or IUT I, IUT II and the first 125 pages of IUT III (a total of nearly 500 pages).

>>10017936
Much less pages than the proof for the classification of the finite simple groups.
Do you also believe that proof to be wrong?

>>10017941
The 500 pages aren't the proof, those are the pages for the definitions

>>10017798
Can someone explain IUT?

>>10017798
I would like to see somebody run a program through Mochibazooka's papers and count what percentage of the text is bolded and/or italicized for literally no reason at all

BUT WHAT DOES IT MEAN FOR US, JEWS?

>>10017821
He has contributed to mathematics, you fucking retard.
>He is the leader of, originator and one of the main contributors to the branch of modern number theory called anabelian geometry. His contributions include his solution of the Grothendieck conjecture in anabelian geometry about hyperbolic curves over number fields. He initiated and developed several other developments in that area: absolute anabelian geometry, mono-anabelian geometry, and combinatorial anabelian geometry. Among other theories, Mochizuki introduced and developed Hodge–Arakelov theory, p-adic Teichmüller theory, and etale theta function theory.

>>10017798
That guy had to invent some parallel universe math with his own rules and shit in order to proof that a+b equals c. Wtf.

It's like using machine code to get access to vaginas.

>>10017821
you're a retard, and you ought to be sterilized.

>>10017798
i wonder if he'll try to solve sudoku after this

>>10018051
It means that - if lingling has been right - two natural numbers added together do equal another natural number. The complex formula is defined as:

a+b=c

Well....

>>10017915
>highly specialized field of mathematics that really only 5 of the people that have dedicated their entire lives to this area of mathematics, and then many years specifically to understanding this particular theory
>oy m8 explain it to me in 2000 characters xD

If you know math, the papers are online so you can read up to that corollary. If you can't do that, not even by shoving the 500 pages up your asshole would you get it.

>>10017798
This is just example of white aggression against Japanese that rise to spotlight. This is why I completely disagree with white people getting Fields medals in this day and age. It just inflates egos and pushes them to make ridiculous statements like this, disgracing Kyoto University like that. No fields medal for Japanese in recent times too. Just prove western hatred for the great Japanese people. Western jealous that Japanese mathematician about to steal all glory for them.

Sono chi no sadame
JOOOOOOOOOOJO

>>10018081
>It's like using machine code to get access to vaginas.

One day.

>>10017798
So much for his multiverse proposition.
The fact of the matter is that multiverse is absolutely case by case basis. You can find everything and anything in it. It is the gate to all. The everything. To summarize it in a paper would require the tomb to constantly shift to memorize and would certainly look like chaos to the mind of a mere mortal.

>>10018147
"Me Chink your ship with my plane"
-Japan

The Fields cartel trying to kill independent research again, this is the Perelman/Cao-Zhu scandal all over again.

>>10018183
This guy gets it.

YOU WILL NEVER DEFEAT MOCHIZUKI!
YOU WILL NEVER WIN!

Mochizuki has the power of God and anime on his side. I wouldn't worry too much about this.

>>10018133
>race baiting: the post
Read his paper retard

Is the guy hapa or part-ainu? Doesn't look like a full jap

>>10018224
Part Ainu, part Jewish, 100% phenotype ASHKENAZI women CRAVE

>>10018255
>jewish and Japanese
Fuck, it is not fair that one person can be the two of the best ethnicities at the same time. Makes me angry. I wasn't born Jewish nor Japanese. No one should have such a luxury.

>>10018263
imz just trolling, mochizuki is not Jewish, he's 100% jap

So, is the fight over or our guy can still recover?

Mochizuki's response

http://www.kurims.kyoto-u.ac.jp/~motizuki/Rpt2018.pdf

>>10018541
>It is not the first time a German has tried to persuade the Japanese and it ended horribly last time so in retaliation, I ask SS to consider my two follow-up papers as the payback nukes directed at each of their careers...

I think Mochizuki has lost it.

>>10018541
>Listing names in order of age to emphasize that Scholze is a youngster while Mochi is an elder
>Naming teams by initials so that the Germans are on team SS
Mochi is passive aggressive as fuck.

>>10018541
German mafia status:

TOLD STATUS:
[ ] NOT TOLD
[ ] TOLD
[x] FUCKING TOLD
[x] CASH4TOLD.COM
[x] KNIGHTS OF THE TOLD REPUBLIC
[x] TOLDERONE
[x] STONE TOLD STEVE AUSTIN
[x] CURE FOR THE COMMON TOLD
[x] BEN TOLDS
[x] THE 40 YEAR TOLD VIRGIN
[x] 007: TOLDENEYE
[x] TEXAS TOLD’EM
[x] AUSTIN POWERS IN TOLDMEMBER
[x] PTERODACTOLD
[x] TOLDTINO’S PIZZA ROLLS
[x] NO COUNTRY FOR TOLD MEN
[x] 24 CARAT TOLD
[x] ONLY SHOOTING STARS BREAK THE TOLD
[x] GOING ONCE… GOING TWICE… TOLD
[x] GARY TOLDMAN
[x] TOLD SPICE
[x] TOLD STONE CREAMERY
[x] BABY IT’S TOLD OUTSIDE
[x] POKEMON TOLD AND SILVER

>>10018575
>The negative position of SS is a consequence of certain fundamental misunderstandings
Yo whats dis racist nazi shit?

>>10018588
>that part were Mochizuki analyzes one by one the fatal flaws in Operation Barbarossa

How will SS ever recover?

You can say what you want but Mochizuki at least provides copious amount of memes and OC.

>>10018607
>Their profound ignorance of the elementary theory of heights
Did he just call them manlets in both the physical and intellectual sense?

>>10018588
It's even funnier when you realize the guys that are referred to as SS are German.

>>10018607
It's like reading one of those memes made of cutout screenshots of words on /v/.

>>10018612
at least it shows how superficial the investement of SS has been

>>10018566
>Naming teams by initials so that the Germans are on team SS
Not only that but by the Last name initials so as you pointed out, the Germans are SS but HM stands for Hoshi Mochizuki. As we all know, the Mochizuki name typically means 'full-moon' and is derived from 'mochitsuki' which was a ceremony to celebrate the Gods coming down to earth, while Hoshi just a common word that means star. So team HM is the team of stars that have come down to earth from their status of Gods to speak with the tiny, weak Nazi humans known as Peter Scholze and Jakob Stix.

>>10018192
MOCHI MOCHI KIMOCHIIII KIMCHI

>>10018638
nice observation

>>10018607
I don't even use that website but shit like this made me wish Mochizuki had a twitter. He'd be the Trump of math.

>>10018607
where's he been hiding this wonderful writing style? germans btfo

>>10018607
>Peter Scholze is (not) smart

>>10018645
I hope you're only comparing him to trump in his penchant for not giving a fuck.

>>10018668
Well, of course. But I guess you could also say that they are both ridiculously smart compared to the other people in their field, and attractive.

>>10018081
so did Newton, except for the vagina part.

>>10018083
t. SEETHING chang

>>10018607
you mathfags need to read some physics shit and help the sane people in our field debunk that shit too. honestly it's ridiculous what witten and maldacena get away with using arguments like this

pic related, where an asterisk forms the basis for an entire 40 year research program

>>10018575
[x] CRACKING OPEN A TOLD ONE WITH THE BOYS
[x] TOLDILOCKS AND THE THREE BEARS

just came up with these important additions

>>10018672
One of the biggest mathematicians right now is a chang called Terence tao

>>10018687
tolden goose
going toldly where no man has gone before
jrr toldkien
as told as ice

>>10018696
terry is a meme

>>10018698
>>10018687

tolden caulfield
toldja boy tellem

>>10018708
crank that toldja boy* probably more recognizable

>>10018575
[x] Toldman Sachs

>>10018645
he is already grabing scholze by the boipussy tho

>>10017821
>t. resentful /pol/tard whose net contribution to science, or humanity for that matter, amounts to zero if not negative

SS have only themselves to blame. They began the folly which resulted in Japan obtaining literal superhumans.

>>10018541
>RREEEEEEEEEE
>The negative position of SS is a consequence of certain fundamental
misunderstandings
>the present report on the part of SS
concerning IUTch, and, in particular, does not imply the existence of
any flaws whatsoever in IUTch.

Holy shit how insecure can you be, is this how mathematics is done today? Arent they formalizing their arguments? Why don't they just start where they agree and work through the definitions to the point where they disagreed.

>>10018737
They did.
They couldn't agree

>>10018668
Careful, this guy is about to cry

>>10018732
>i.e. just like (You)

Are there potentially exciting things to come out of this other than the bland number theory proof or is it just autronium?

>>10017798
I fucking hate prime numbers so much. It's a perfect example of living in hyperreality.
>We need to know the properties of primes
why
>because aaaaaaaahm. Well nothing specific but the practice we get in working it out makes us better mathematicians
It doesn't seem like it does when nobody can understand what's going on except three people who don't agree
>hmhmhmaaam whatever primes are used in cryptography you use everyday cant be that obscure haha
But... the reason they're used is because.. they happen to be obscure and difficult for the sake of being difficult. That's why they're used as a hard to do math problem to make a code.
>hmhmhm waawwaawa
ugh

>>10018638
>As we all know, the Mochizuki name typically means 'full-moon' and is derived from 'mochitsuki' which was a ceremony to celebrate the Gods coming down to earth, while Hoshi just a common word that means star.
Wait
>moon
>star
come to me sweet nerevar...

>>10018767
I'd love to see math one day unlock certain aspects of prime numbers that obliterate modern cryptography like RSA and hash functions

>>10018767
"I don't know the properties of the primes, and thus they should be useless"

>But... the reason they're used is because.. they happen to be obscure and difficult for the sake of being difficult. That's why they're used as a hard to do math problem to make a code.
No, dumbass, it's because [math] \mathbb{Z}/p\mathbb{Z} [/math] is a group only if p is prime.

>>10018826
>this concept isn't obscure and difficult because of this other obscure and difficult concept

Mochizuki making a fool of himself even further. Hopefully when he realizes that he's wrong he'll an hero.

>>10018607
>breath-takingly (melo?)dramatic self-declaration on the part of SS of their profound ignorance of the elementary teory of heights
HAHAHAHAHA SCHOLZE THE MANLET JUST GOT [math] \mathbb{B}\mathbb{T}\mathbb{F}\mathbb{O} [/math].

>>10018169
>tfw even if you implement your own C compiler in raw machine code written by hand in a hex editor, you will still never have a girlfriend
its a bad feel bros

>>10018840
>Mochizuki making a fool of himself even further.
Stop posting, Stix. Mochizuki is GOAT!

>>10018854
>being this much of a braindead fanboy
just kill yourself, seriously

Mochizuki seems more interested in coming up with inventive insults than trying to explain anything, even when he's pointed to key flaws in his arguments.
He's a piece of shit in my eyes.

>>10018826
Under multiplication.

>>10018861
If you had actually read the pdf you would have seen that Mochizuki makes substantial points vis-a-vis the Scholze-Stix argument.

>>10017798
Scholze is just jealous that everyone thinks Mochizuki is a righteous dude.
https://www.youtube.com/watch?v=mHa1zTLrXO8

>>10018861
>Mochizuki seems more interested in coming up with inventive insults than trying to explain anything
You mean like /sci/
He is truly /ourguy/

>>10018868
I agree

>>10017821
lmao whites are retards

>>10018607
Wow that's crazy brutal for an academic. Literally every sentence in there has a severe burn.
>it is a very challenging task to document the depth of my astonishment
>breath-takingly (melo?)dramatic self-declaration
>profound ignorance of the elementary theory of heights, at the advanced undergraduate/beginning graduate level
>well within the framework of advanced under-graduate/beginning graduate-level mathematics
>entirely inconceivable that any researcher
>Anyone familiar with the proof of Faltings' theorem
Any student getting that sort of feedback from their prof or supervisor would be utterly devastated. Holy shit. Even the comments on it being advanced undergraduate/beginning graduate are the /sci/ equivalent of telling someone they fail at kindergarten math.

>>10018575
It's worth reading the section immediately after that as well. Link in: >>10018541
The tl;dr is:
>SS: Let [math]A=B[/math] and reach a contradiction.
>Mochi: The theory doesn't work that way. Within the situation being discussed it is assumed that [math]A[/math] and [math]B[/math] are distinct, this is obvious as the theory just doesn't make sense if [math]A=B[/math] and many of the main results fail to hold. If you assume something false and reach a contradiction then it literally says nothing about the theory. Here is a long list of other mathematical theories with analogous conditions. The fact that you assumed two things were equal and reached a contradiction should've been a big fucking sign that they were meant to be distinct and you obviously didn't understand shit.

Pic related is basically what that paper says. I almost feel bad for Scholze for getting savaged so bad but at the same time the dude is getting tons of publicity from pop-math retards all over the internet who think Scholze just took down a god.

>>10018676
Fuck off. We don't care about physics. The only reason any mathematician does work on physics is because the the funding is easy and physicists can't handle their own shit like adults. Also, pic related.

>>10018905
cringe

Hard to say whose correct at this point. Mochisuki has to convince the SS if he wants most mathematicians to accept it is a valid argument. Shitting all over them doesn't seem smart

>>10018908
For real though, math people care about priori truth and exploring formal systems, not unlike logicians. Empiricism is kind of shitty and not really that interesting (unless you're a consumer whore, money whore, or have altruistic self-delusions). Also, science research funding operates almost entirely on the whims of industry who just care about making measurable small improvements to existing stuff instead of developing risky new lines of research without obvious benefits.

>>10018316
>>10018316
>imz just trolling, mochizuki is not Jewish, he's 100% jap
KIKES BTFO HOW WILL THEY RECOVER

>>10018812

IUTeich is the heart. Mochizuki cannot be killed.

>>10018919
so you dismiss guys like witten, a fields medalist?

would this even help solve newer problems irl or was it more mathematician pissing matches?
I'd like to hope that it was somehow going to be something to help solve real problems

>>10018932
Shut the fuck up brainlet did you even read this post's pic:

>>10018905

>>10018929
No, he does math he's interested and cares about and figured out a way to make physicists pay for it. The people who think physics has become too mathematized dismiss him however.

>>10018607
>nigga we hit em up!

>>10018933
I already know this can happen and that in a future date something which seems useless becomes useful
you sound angry for no reason
all I was asking was if it was known that it was going to help something... already

people that obsesses about math are really awful people aren't they? look at him folks what a fag!

>>10018911
fuck that he should shit on them if he deems it appropriate

>>10018948
>>10018937
>>10018933
>>10018932
>>10018919
>>10018905
this is totally off topic, there are dozens of other topics to post this sort of cringeworthy boring shit
on the other hand we don't have mochi-memes everyday

>>10018952
you're off topic
you're a towel

Since this hasn't been posted.

Mochizuki's page addressing the issue with links to both Scholze's papers and his response.
http://www.kurims.kyoto-u.ac.jp/~motizuki/IUTch-discussions-2018-03.html

Woit's non-expert opinion.
http://www.math.columbia.edu/~woit/wordpress/?p=10560

David Robert's comment on Woit's article is good. Here's an excerpt:
>What I find most telling is that Scholze–Stix provide explanations of some of Mochizuki’s objects in terms that humans can understand, explain where their own simplifications may have been too strong, and where the simplifications are perfectly safe, whereas Mochizuki supplies yet more analogies based on manipulations of inequalities based on unspecified quantities, and then pages and pages of explanations about the importance of distinct labels. While Mochizuki is welcoming actual technical and precise discussion (while dismissing it at misunderstanding his work), I find his report not technically precise enough. As a category theorist I feel I’m capable of recognising the distinctions one makes between objects considered in different categories linked by various forgetful functors, and his treatment is less than clear. It’s entirely possible there was a simplification made that accidentally identifies two isomorphic objects by an incorrect isomorphism, and Scholze–Stix are aware of this, but aren’t convinced by M’s protestations on their specific choices. At this point, M could make a very short and concrete rebuttal of their rebuttal, but pointing to just one such incorrect choice, but no, it needs a 41-page report…
The rest is a good read too.

IMHO, it looks like SS are working in simplified versions of IUTch so making a short rebuttal might not be possible, especially since SS seemed to think that M's use of distinct labels for the same thing was meaningless. I suspect M would need to teach SS a great deal of theory in order to point out why they're wrong and after struggling to do it he's given up and moved on.

>>10018607
Not a great day for abc deniers.

>>10018831
>>this concept isn't obscure and difficult because of this other obscure and difficult concept
"I don't know any mathematics, so everythigs is obscure and difficult for me"

>>10017821
Fuck off /pol/tard you've never contributed anything to the world.

>>10018989
Then surely you can explain why the useless little factoid about groups of form Z/pZ is important, hmm?

>>10018979
>linking W*it's blog
Kill yourself. He's no more qualified to comment on this than anyone on /sci/.

>>10019003
>Then surely you can explain why the useless little factoid about groups of form Z/pZ is important, hmm?
Cryptography is nothing else than functions from Z/pZ to Z/pZ, where p is the number of symbols you are using.

>>10017798
GOOKS ON SUICIDE WATCH

>>10018905
>nobody could think of a practical use for waves in the 1800s
Really? Nothing vibrated back then?

>>10018607
Who did it better?

>>10018638
he's playing 5d chess against 4d chess masters

>>10019027
So you're saying I can only use alphabets with a prime number of symbols

>>10019027
>he doesn't know about elliptic curve cryptography

>>10019052
dude sounds really triggered. its like he is going to ask to see scholze's manager.

>>10017798
It's never over, my дpyг.
ЗA MOЦИЗУКA

>>10018607
Was this screenshot from
http://www.kurims.kyoto-u.ac.jp/~motizuki/Rpt2018.pdf
?
It's quoted on one of the math blogsites someone else posted, but it doesn't look like it's there anymore... in which case, does anyone have a copy of the old, more feisty pdf?

>>10019100
First page of [Cmt2018-08].

>>10018638
wow

>>10018575
you can tell how old this copypasta is based on the movie names

>>10019103
Cheers!

>when you're 150 years ahead of the establishment and you have to wait for them to catch up.

>that clickbait paper title

I'm all for debunking ITT but let's not be memers.

>>10017821
You know this is true because of all the backlash

>>10019176
sorry, *IUTT

>>10018979
Quick rundown on David Roberts? Is he our guy?

>>10018607
Based. Academic writing used to be more like this way back in the days, it's only in the last century or so that it has become emasculated and hence boring. I approve.

>>10018575
cant believe nobody thought of battle tolds

>>10018649
The closer you get to the final boss the more talkative he becomes.

Who else cheers for SS?

>>10017821
>clueless idiot that can only analize anyone and anything through snowflake identity politics
This your brain on terminal /pol/ rot. Euthenesia is usually recommended at this point.

>>10019293
Actually, this kind of high-handed, personalized writing is mostly uninformative and useless beyond pride and ego-rubbing. This is why most academic writing today is concise and to the point since the focus must be always the science, not the pettyness of the authors.

>>10019557
>cheering for SS
Oy vey ADL shut it down!

>>10017821
>when gooks try white man's game (mathematics).
Did you mean Jewish game?

>>10017798
Oh no no no laugh is best laugh

>>10019015
Your proof is dead, Shinichi.

We need a better name for the duo.

Stixze? Scholx?

>>10019750
SS is perfectly fine. Hitler did nothing wrong.

>>10017821
always fun to see how easily /sci/ gets baited
>me so smart
>falls for this shit

>>10019750
One thing is for sure, they are going to need many Stixzes to patch up their Scholxs after Mochizuki finishes penetrating their vulnerable German asshole with his mighty Big Jap Cock

>>10017821
>ramanujan

So basically yet another theory was debunked? How is this relevant at all?

>>10017821
lol at the retards falling for this obvious bait

>>10018607
This read like a Lubos blog post.

>>10019750
>>10019793
Instead of SS, how about /ss/?

>>10018547
what the fuck, he actually said it

Guys, I'm a brainlet. Explain Mochizuki to me.

I understand the conjecture, but nothing in that paper makes sense to me.

>>10019635
>muh Jews
Jews achieved jack shit in math before the 20th century.

>>10020163
https://www.youtube.com/watch?v=6HCz1tFqIcs
This is all they're doing, most math is basically cryptography to obscure the fact they're really just doing stuff like this.

>>10017798
So, let's say it has actually been solved, what's the practical purpose of having a super-advanced theory that barely can be understood by math profs that is solving some very niche niche niche mathematical problem? What use will society have from this?

>>10020213
>What use will society have from this?
The same as 99.9 percent of higher mathematics - absolutely none. Use to the unwashed masses is not a good criterion for human endeavors anyways.

>>10018687
>CRACKING OPEN A TOLD ONE WITH THE BOYS
>not A TALL TOLD ONE

>>10018701
your mother is a whore

>>10018743
well he isn't comparing himself to a mathematician you dumb fuck

>>10018081
No he just transfered the Problem into a different domain where it is easier to solve

>>10019189
>just like we know trump is retarded because of the backlash to his antics

>>10020213
>caring about purpose
fuck off

>>10020171

>>10017821
Mochizuki has about 20 years more experience than scholze tho. Gotta take that into consideration

Based Russian sides with Japan:
https://www.maths.nottingham.ac.uk/plp/pmzibf/rapm.pdf

>>10018541

>>10018541
>Scholze
>Stix
>SS

>>10017798
>Mr. Asian man abandons the fundamental axioms (Zermelo–Fraenkel set theory) in order to help solve the ABC conjecture.
>Further investigation leads to a questionable result.
>It has nothing to do with how he freely changed the axioms at whim.
kek

>Meanwhile in /lit/ land: But maths is nothing more than the result of its axioms! Arithmetic is nothing more than “what can be derived from the axioms!” it's useless and fake!
B T F O yet again.

>>10020213
>what use will society have from this
AHAHAHAHAHAHHAHAHAAHA OH NO NO NO HE CARES ABOUT WHETHER OR NOT THINGS ARE USEFUL TO BRAINLETS AHAHAHAHAHAH OH NO NOOOOOOOOO NOOOOOOOOOO AHHAHA

>>10020213
Please be bait

>>10020612
>he abandoned ZFC
Nope. Your desperation is cute though.

>>10018547
>>10018566
>>10018626
>>10020449

i think the ultimate irony here is that mochizuki's theory is called inter-universal Teichmuller theory

Teichmuller was a hardcore nazi, like actually died in combat on the eastern front

>>10019624
I agree with you, it makes me respect Mochizuki less. Although it's definitely entertaining

>>10020740
Well, it is basically an open secret that all the old folk in Japan are nostalgic of the old imperial times. Back then, it looked like Japan might unironically conquer all of Asia and share the world with the Germans in a system where Asia would be Japan, Europe would be Germany, and the other continents would be slave states. Unfortunately, Japan can't pursue its ambitions of expansion anymore so all they have left to do is public penis displays to show they are better. This in general is a power move by Mochizuki, he already planned to make his theory well known and now if he achieves that, it will have the consequence of exposing Scholze as a complete brainlet.

Mochizuki is playing 10D Go at this point. Even I know I am missing the deeper implications of his master plan but I am a brainlet myself that can only comprehend 9D go.

>>10020784
Bullshit, Germany united with all german speaking countries and wanted to have some additional Lebensraum in Poland but there was no plan to annex the whole continent.

>>10020794
except france and the czech republic and austria and denmark and ......

>>10018701
>anon claims Fields Medalist is a "meme"
Be honest with yourself, you are a pathetic sack of shit who will amount to nothing in life.

>>10020171
>t. covetous of his Jewish overlords

>>10018993
We got terrorists killed. And you?

>>10017821
>How to bait /sci/: The post

>>10018541
Kek, I understand fucking nothing! This turbo-aspergers math is all greek for me.

>>10020804
France and Denmark were not annexed.
Austria is a german speaking country and at the time the people of Austria considered themselves germans. It was only after the second world war that Austria distanced itself from Germany. Germany had a legitimate historical claim to parts of the Czech Republic and lots of germans were living there. Though, most of the annexed area of the Czech Republic had no basis apart from greed.
Similar in Poland, some areas could rightfully justified as belonging to Germany but most of the annexed land there was illegitimate.
This falls in line with me saying that the goal of the annexations was to unite all german-speaking people under one greater german Reich, plus grabbing some of dat dere Lebensraum as an extra in the east.

>>10020815
>We

>>10020853
>He doesn't know about Operation Barbarossa
Absolute brainlet

>>10020893
>He doesn't know the difference between occupation and annexation

I already repeatedly said that Germany tried to expand into the east but that's far from all of Europe.
Obviously they installed puppet governments in occupied countries and probably all of europe if they had the chance but that's not the same as complete annexation.
Russia didn't annex the GDR and the USA didn't annex South Korea or Chile.

>>10020901
>Operation Barbarossa (German: Unternehmen Barbarossa) was the code name for the Axis invasion of the Soviet Union, which started on Sunday, 22 June 1941, during World War II. The operation stemmed from Nazi Germany's ideological aims to conquer the western Soviet Union so that it could be repopulated by Germans, to use Slavs, especially Poles, as a slave-labour force for the Axis war effort, and to seize the oil reserves of the Caucasus and the agricultural resources of Soviet territories.
Like I said, absolute brainlet.

>>10020915
Please take a look at a map of Europe.
I'm done with this.

>>10020784
>Mochizuki is playing 10D Go at this point
>10D Go
litteraly inter-universal Teichmüller theory

>dude forgetful functors are like a robot arm swivelling around

>>10020804
>austria
Oh yeah, the country Hitler himself was born?

>>10020213
you can warp timespace anon

>>10021242
>>10020673
>>10020656
>>10020289
>>10020228
So just to wrap it up:

>higher math is barely understood by the people who are doing it, can't even communicate the ideas with each other, this means that it is probably all wrong anyways, since it can't get peer-reviewed properly
>Even if it happens to be right, benefit to society or other scientigic fields are absolute 0
>Mathematicians are so far up their ass although their contribution to society ranks lower than a WOW addict and his level 80 Paladins.

>>10020953
>mfw IUTT is 100% correct and the only reason nobody gets it is because god emperor autist Mochizuki can't even explain the most trivial things in mathematics without devolving into unintelligible babbling

>>10021291
Correct in last 50 years math fields become extreme close and high specialization subfields maybe 50 or less people work on it, usually some physics or statistics make some math applicable but today ... physics end up string theory,new quantum theory, astrophysics and statistics new math approach get BTFO by deep learning tricks.

Current state maths
https://www.quantamagazine.org/the-fight-to-fix-symplectic-geometry-20170209/

>>10021291
>>10021347
then it's true
ancient aliens are real

>>10021291
well this is true until a hundred years from now when you have A.I. opening black holes and then you need these exotic formula. Don't be so short sighted.

>>10021404
But think 200 years from now, when the world will be simulated and you are going to need the Level 80 Paladins.

Have SS replied yet?

>>10021570
Nope. Scholze is too busy applying medicine on his devastated rectum to do anything else at the moment.

>>10020808
He's not a meme because of what he does, he's a meme because of how brainlets view him.

>>10017821
This is simply true. Watch the suphumans cry /pol/ hahaha.

White race = best race

>>10021570
They are not going to reply. They have both agreed that they are going to publish their papers simultaneously and everybody can decide who he is believing. SS' point: There is a clear and wide gap in the proof. M's point: There isn't, you're just a brainlet, here's 30 pages of weird gibberish.

>>10021692
Ever heard of:
https://en.wikipedia.org/wiki/Terence_Tao

>an Australian-American mathematician who has worked in various areas of mathematics. He currently focuses on harmonic analysis, partial differential equations, algebraic combinatorics, arithmetic combinatorics, geometric combinatorics, compressed sensing and analytic number theory.

>>10021693
>30 pages of weird gibberish.
It's eminently intelligible you brainlet.

>>10021703
Tao is a fucking meme.

>>10020901
>they just wanted to conquer the whole world, not annex it

okay

>>10020709
Pretty much all cutting-edge mathematics goes beyond ZFC.

Theorem: I’m right and you’re wrong.

Proof:
>6000 pages of buzzwords

Corollary: kys fucktard
Proof:
The proof is trivial.

>>10017831
*snap*

>>10021693
Any citations for that?

>6 years since he put up his preprints
>Literally nobody understands it
Maybe Mochizuki should work more on his presentation and try to simplify things instead of shit posting.

>>10022163
presentation is for casuals and brainlets
if you don't get the intuition for any piece of mathematics after a first pass, you shouldn't bother attempting to be a mathematician

>>10022180
Based

>>10022180
A >/>> B

Y + C = C/D

There, this is the theory of everything. You don't get it? Well, sucks for you, you little brainlet. People with good enough intuition get it immediately.

>>10018547
lmao

未知の前に文法や言語から派生を引き出すためには、数学的純度の高さです。 私は言葉や文化の両方で、問題を変換するために、私の数学を使用しています。

>>10022214
ジェンダーアイデンティティ=社会的評価†個々の優先順位

>>10020784
>10d go
more like 10p go。

>>10022222

>>10019635 >>10020171 >>10020814
The fight isn't over yet.

The Jews Fear the Samurai

https://youtu.be/vhg-Nl2TP3E

>>10017821

>>10022180
That's not how it works my dude

>>10018547
The absolute mad lad.

>>10021707
Being as dense as reals

Finally my university is mentioned on /sci/
Now I can die in peace

>>10018822
Do the top number theorists actually entertain this possibility? I thought it was just a meme used in shitty movies.

>>10023485
P = NP would literally mean that all modern cryptography is useless although it would still be hard to find a poly time algorithm but if P = NP then such algorithm is guaranteed to exist so it would only be a matter of time.

>>10023524
the existence of a polynomial time algorithm to solve a problem does not mean that it is IRL easy.
>>10020213
it's not a "niche niche niche mathematical problem", it's a central problem in number theory. I don't really care about it's uses outside of math, but the basic statement is useful to many mathematicians, and the ideas developed in the proof - if understood - may help further understanding of the subject.

>>10023524
>P = NP would literally mean that all modern cryptography is useless
You're a clueless moron.

>>10023485
It's pointless anyway when all the major governments have backdoors in all our systems anyway.

>>10019990
Great minds think alike. They bring fun back into the boring academia. Too bad Motl is a pussy and left academia after getting BTFO once and now is just a grumpy old man autistically screeching from his frame of reference.

>>10017821
you didn't bait anyone as the other posts would imply, just did a roll call for all the chink masculinity cs fags

>>10023524
>P = NP would literally mean that all modern cryptography is useless

Nope, if these polytime algorithms were something like O(n^10).

>>10023921
As horrific as that sounds it gets even worse when you apply the conundrum of P ∝ NP.

cant they just write haskell programs to prove shit?
real question pls respond

>>10017906
3.12*

>>10025494
Haskell's type system isn't quite strong enough. They can however write Agda programs to prove shit. Agda is written in Haskell and is basically Haskell + dependent types.

That said, proving mathematics using a programming language requires not only a suitable type system but it requires mathematician developers to formalize all of the pre-requisite mathematics necessary to formalize the proof.

Other than the ABC conjecture, have there been any non-esoteric aplication of the IUTT?

>>10025506
>using CS-tier shit languages instead of Voevodsky's library for Coq specifically designed to help mathematicians

>>10023536
name 1 (one) thing i said wrong retard

>>10017821
Cringe, bluepilled, but above all embarrassing

>>10017798
If he doesn't explain what the flaw is, it's just as much of blind faith than Mochizuki's papers
Which I am arguably not at all trained to read, being a dumb memegineer who study maths as a hobby

>>10026678
He quoted it.

>>10026688
>racist
>bluepilled
Retarded much?

>>10026707
This is an ironical turn on the catchphrase

brainlet here
lets call interuniversal techmuller theory for the sake of the argument 3d number theory

using 3d number theory we can derive something akin to 3d geometry and from that we can develop something thats akin to 3d topology and so on and so on and maybe discover new frontiers and so on and then maybe bring it back to the special case of what we have today that might be one day called "classic mathematics" (or maths that was developed from Aristotle to Godel) and from there we can solve unsolvable things that we havent even thought of

>>10026707
is your whole world crumbling normie?

>>10021786
This is basically Mochizuki's """proof""" of the abc conjecture. A proof needs to be able to convince other Mathmatics, since other mathmaticans are not convinced, he has not supplied a proof.

>>10025712
No, which is even more halarious.

>>10018638
https://www.youtube.com/watch?v=NR-4qUeZyJo

>>10027542

Math is a social construct ><

Today is Full Moon. Praise the IUT God! Meme attack launched!

Thread theme
https://youtu.be/fTjIqtoLY2Y

>>10018638
Yeah we nobody even noticed all that autistic jap bullshit except other japs. Mochizuki as usual is too far up his own ass to smell the coffee.

Mochizuki will win

>>10028079
>make a Mochizuki themes song/video
>use simple calculations as background

Mochizuki on a recent interview (sorry if translation is a bit off, the transcript was in Japanese.)

Interviewer: What do you think of fields medalists?
M: Ah, yes. I also think it is important to reward talented undergrads.

>>10020213
>assuming other mathematicians/scientists/philosophers gave a fuck about what did or did not benefit society

>>10023485
This isn't really a number theory question.

Most probably believe that one-way functions exist (and therefore P != NP), but as for whether specific problems like discrete log and elliptic curves are feasible, it's definitely possible.

>>10020213
Fuck society.

>>10028210
edgy

>>10028170

>>10017798
based scholze dropping another nuke

>>10017798
No, Mochizuki will still win.

>>10017841
0 <<< 0
^ H ^~
0 >>> 0


B========D

>>10018575
wow, this sure brings back a few memories

>>10019624
t. doesn't lift, probably also a vegetarian

>>10018547
woah dude,its getting personal now.

>>10021291
>he needs his purpose and meaning in life be derived from usefulness in a society of uncaring brainlets
and you look at US as walking tumors

>>10023524
>such algorithm is guaranteed to exist so it would only be a matter of time
No? Why do you think something will be found just because something exists? We don't have infinite monkey on typewriters eternally trying to find it

>>10028760
They're called postdocs.

>I think you're wrong because of these reasons
>HAHAHA FAGGOT YOU TALK LIKE A FAGGOT IUTch HAS ELECTROLYTES
And here I thought Mochizuki was an adult.

>>10017915
Reading out of pure intuition I'm going to guess so that Mochizuki can get this shit rolling because it isn't incorrect it just can't be used in space.

It's for the planet, not the mind.


Okay so the point that the guy is making is that the situation Mochizuki presents in his example doesn't allow that the configured variables, the consequent variables that occur after instantiating that a derivation has occurred as an effect of the premises that physics is not the only plane. Much like the separations of principles deride cognitive influence the only situation he platforms and that manages to escape the credence of using conjecture to malleably apply confirmation principles to verify rather than garner more generalities. This implies that he isn't even able or willing to properly connect the two, just implies their existence as a formal matter of science ( implies nothing of science but derides a basis of logical fallacies, many of the principal functions and special reservations to the general fields of productive science) and then release, as a destructor would in computer sciences, to the mainframe of some kind obstructed giant of like grand scope, some sort of spire caught in a spore that makes the spore react to it and manage that the available properties to it do not touch the lattice so that the available confirmations reside on the appropriate lattice, the new variable dish (our little keyboard in the making) rather than in the sheets that describe the potential HUMORS of degenerative sciences rather than medical humors where the "spirit" of the science, the rigor, only applies an application of its own practice and not of science. Goethe is making a war again.

>>10029888
Schultz and Bonn simply got paid to sit there and read what the Koreans were already throwing around as a reality when the real papers came out and realized that the inquisition wasn't on the people but rather on the methods that we "found" by latticing over things like Fourier methods and math rather than convincingly applying these methods to encounter them in real life more succinctly, often and appropriately. Incorrect is a not a mathematical faculty. Luckily, I abridge over Japanese principles and store "data" not in places but by recognizing that a peripheral stage of action does not realize consequences on a scale but rather by magnitude. And I think that covers his basis there and Mochizuki at the top again.

>>10029891
Except that Minhyong Kim guy, omg im so sorry for saying that about him. Holy shit. I mean more like the government servants but yeah. That guy provided a lot of good insight, and apparently he was here for my last posting on this just as I managed to catch his posting on Math Exchange. Thanks for the topic and I hope that helps at least on the philosophical scale.

>>10018081
the abc conjecture is extraordinarily deep, it's a statement about the very heart and foundation of mathematics, well out of reach of current techniques. You would absolutely need some alien new mathematics to prove it.

brainlet here.

can someone explain what an abc conjecture proof would mean?

is the abc conjecture used in something?

>>10030033
it would be an asm compile complete exe . run excute log file of all keys typed users on the machine at the time, the fair use time for it, the only available machine, the best time for it to be on, the only way it can get up without help, the help, introducing a friend from way on far that has a lot to do with you, and then making sure that when it all wraps up NONE OF IT HITS AIR. Including up to the limited use of the code and not including the actual assignment periods. So when increasing to platitude that some event may occur, like you turning on the computer to make sure that you can even start logging asm files and typing them out to log that session into a manifold over a series of other conjectures, similarly based in principles that confer order to conjecture and not platitude to value so that the ordinary values in the machine would set themselves to absolute value theorems that apply methods of inquisition, not asking but rather rendering a fault of the surface or topology and having the returned result equal and added and adequate surface of interference for that lattice to introduce the concepts of that other far away friend that both you know and I know could very easily exist if only we were able to prove these kinds of things on the real planes of existence.

That last term is a psych term. Be careful. Also fuck Psych.

>>10030123
computers for allocating memory through amperage as a sort of clan of like thoughtful beliefs that add up to a noise level that almost permeates as sound. Medicine ( for timing release schedules), architecture for timing resistance beams and such, flying for making sure you turn right instead of falling in left and for making sure that when you drive a car and it is upside down the beta filter doesn't release fumes into the car and instead releases them in to the trunk! thats why some cng cars have that big ass tank in the back. Save that gas use all that pressure. No loss.

>>10029891
What the fuck are you talking about? I swear I read words but there is not one sentence in that post that makes sense.

>>10030132
Thats why we're on 4chan. So that when it does make sense you are out of the way and I am already going to be there with your wife your mother and your sister pointing at you and saying dont you wish you ordered that jack in the box meal instead of the stupid game you bought now HUH BITCH

I accessed her memory nigger!

>>10029888
>>10029891
>>10029912


what kind of shitposting is this

I don't like it

>>10030137
Reads like someone who is pretending to understand math... Complete and utter nonsense..

There is a guy called Adam on math stack exchange chat who types like this, it's really sad

>>10029326
hard to tap at that typewriter all day when you spend most of it crying at your desk

>WOW LET'S PUT THIS MATH IN ANOTHER DIMENSION

This means fucking nothing. Real science is about experimentation, not unprovable conjectures.

>>10030140
A lot of people type like this except that under philosophy the generalizes only eclipse to horizon and never actually manifest. So the understanding is necessarily requiring faciltation sic?.

Also you apply math and understand the principles. I understand english, as in the english version of the principia.

Also, I'm speaking from an engineering point of view, with a hopeful physics mind attached to it but no real physics yet, in order to properly include that I can make the transitions to my other work loads, things like the logo in elective, the logic in philo, the command line tools in c and then finally the core technical aspects in all the other courses in order to emerge at point doctorate or master with a thesis and introduction that has an array of variables and conjectures I can use to implement a system of varieties that can present useful connotation and factors for the modelling of systems in real life applications.


There's a guy on Math Exchange MinHwang something and he is doing work on Mochizuki's conjecture over the hilbert spaces that collided into the sun just prior to the 911 attacks in order to ascertain that the product faculties of that dangerous lesson were not those of entanglement but rather those of the entropy in our system allowing a return to the sender of faculty that some in a system may presume to be a bearer of will or deity. In this case, it wasn't random luck but it wasn't on purpose either. It didn't hit anything and we didn't break anything. We just didn't want to clean it up and now we seem to have a trail stuck behind us while we travel through space as if perhaps that same interaction could or would be coincided to produce that the earth is perhaps a few steps and walk away from the last space exploration technique we took on ourselves when we decided to drop a bomb somewhere we didn't properly introduce to our general society. I'm talking about the war.

Why's zucci so butthurt?

>>10026224
Agda has better syntax.

>>10030194

Math isn't science.

>>10030227
You have an IQ that is not bounded from below

>>10029888
Schizophrenics should stay on /x/

>>10030227
my iq drops reading only one sentence of this.

>>10030227
shrooms or schizo?

>>10026224
HoTT is formalized in both Agda and Coq in parallel, fool.

>>10018952
>we don't have mochi-memes everyday
Perhaps not though we seem to have them weekly.

>>10017798
>>10017798
>>10000000

>>10031702
>>9999999

>>10017798
Yes, it's over.
No matter what I do the result is the same.. Something or stuff like that.

>>10022180
>>HoTT
>>Coq
So this is the power of mathematics.

>>10030559
Markov chain

>>10030298
Maybe if you're a Haskeller, if you're a mathemagician you don't really give a fuck.
>>10030618
Yes, but using HoTT in Agda is 10x the work as it lacks tactics language so you're going to repeat yourself like a retard.
If you have any nontrivial use of HoTT, Coq will be much easier to use.

>>10030227
>this whole post

>>10020213
They're solving the problems for themselves. You're basically asking "What value does masturbation provide to society?" The answer is none, but you're not about to stop yanking on your dick, huh?

>>10030305
This is a spicey fucking meme.

>>10028023
Informal mathematics (ie most of mathematics) is. Formally verified (proof-checked) mathematics isn't.

>>10032371
Axioms are a social construct, so all of mathematics is.

>>10020213
"Why do we need to know the exact area under a curved line? Super-advanced math doesn't have any practical use." - your ancient Greek incarnation

>>10032375
Most axioms are socially awkward though

>>10018720
Kek

>>10017798
>mathematicians can't even agree on whether a proof acually proves anything

The absolute state of deductive science.

>>10032383
Do you honestly believe any of this nonsense will ever find an application anywhere? Mathematicians pretty much jumped the shark when they abandoned concreteness and constructions for existence """theorems""" and abstractions of abstractions around late 19th century.

>>10032477
Not too long ago people said Algebraic Topology was just mental masturbation.

Now the most effective optimisation algorithms (which are used to solve all numerical equations, and optimisation of dynamic processes) use AG. Not to mention the data science meme.

>>10032482
Of course, all the applicable AT is elementary shit that gets laughed upon by category cocksuckers...

>>10032175
math isn't science, it's not limited by empiricism.

>>10032486
>all the applicable AT is elementary shit that gets laughed upon by category cocksuckers...

I'm not a professional mathematician myself, but it seems to me that catogory cocksuckers get made fun of by geometers more often than the reverse.

Let's also not forget how trivial cat theory applications have been. Pic fucking related.

EXPOSED

>>10030227
I have fond memories of the mathgen fuckeries.

Mochizuki's face looks so smart that it's even intimidating

>>10031761
they wish, they're just there to steal.

>>10032493
THIS IS MAJOR

>>10028170

That is fucking amazing what a god

This seems to play at Mochizuki advantage:

https://thehighergeometer.wordpress.com/2018/09/28/on-mochiukis-report-on-discussions/

>>10034870
It's too long. summarize it, someone

who’s gonna make the next mochizuki thread?

i hope no one does, this thread got turned into trollville

>>10018566
That is kind of just japanese culture though....

>>10018541
>>10018547
>>10018566
Scholze & Stix in team SS
kek. Sieg Heil

>>10034883
it says the initially both parties wanted to agree but mochizuki established a minor edited system to challenge what would be a bounced rebuttle. The other guys just want to hinder progress and counymt bookmarks as like conquest and grabbing them by the pussy. They want to start a war for intelligence and or refugees. They will act out orders and manage the scale to behemoth sized nukes, nothing to do with nukes in there but space isnt a rivalry and they want to make sure mochizuki is altered it as the author of the prior like queen elizabeth did to shakespeare in his studies over in India regarding the spice convention bur thats neither clinical nor professional. So the end of the report states that this should be curbed to group theory next time. :)

>>10034972
it says group theory but curbs on catergory theory to undermine the logical basis because you guys are fucking with my ego.

>>10028170
Based.

Can someone redpill me on the german/fields medalist mafia thing?

>>10030137
>everything I don't like is shitposting
>>10030194
popsci fags are still gonna eat up every bit of it though
just like they do with shit like simulation theory
>inb4 BUT MUH SIMULATION THEORY IS REAL REEEEEE fags

>>10028170
Based and redpilled

>>10035747
>fags
Why the homophobia?