Live data from Hacker News

Biggest mystery in mathematics in limbo after cryptic meeting

nature.com

51–60 of 74 posts

Re: Biggest mystery in mathematics in limbo after cryptic meeting

#51
post #19

If you don't follow how it came mathematicians have so much trouble with some papers: This is part I — http://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal%20...

>hyperbolic orbicurve

>global realified Frobenioid picture

You just made that up.

--Maths Professors

Re: Biggest mystery in mathematics in limbo after cryptic meeting

#52

Earlier quoted context omitted.

The summary is known. Have you read the abstracts?

Did you even read our article, jsprogrammer? That's what I'm reacting to. It says: >A consensus emerged that the highlight of the workshop was a lecture on 9 December by Kiran Kedlaya, an arithmetic geometer from the University of California, San Diego. He zeroed in on a result from a 2008 paper by Mochizuki that linked the statement of the abc conjecture to another branch of maths called topology. The link was immed…

What I understood from http://mathbabe.org/2015/12/15/notes-on-the-oxford-iut-works... (posted elsewhere here), is that the problem stems from differing motivations. On one hand, Mochizuki wants to make his proof fullyt complete and correct (being both fully general and covering all special cases), but the community wants broad strokes intuitions. From Mochizuki's perspective, he has told everyone how things fit together, but fit together means something different for others. The workshop attendees want to know what things they can gloss over to get the big picture, but as of yet, nobody who understands the proof has succeeded in communicating that information, probably because they don't share the same motivation.

Re: Biggest mystery in mathematics in limbo after cryptic meeting

#53
post #45

Earlier quoted context omitted.

It's the only pure way to describe existence. That isn't meaningful? Mathematics is a language, first and foremost. To argue otherwise is to fundamentally misunderstand its goals, methods, and form. You can draw all the squiggly lines on paper that you want, but it won't mean anything until someone else interpets it. You cannot prove logic that only exists in your own head, because you cannot prove yourself rational.…

Languages do not require human interaction. I do not argue that there is no mathematical language.

Language without human interaction is an undefined operation, like raising zero to the zeroth power, or clapping with one hand.

Re: Biggest mystery in mathematics in limbo after cryptic meeting

#54
post #15

I view some of these math researchers like startup founders who are absolutely brilliant technically, but who lack almost all ability to interact with customers, investors, etc. As a solo founder, they will fail. However, if they attract a co-founder who complements their skills, they can be wildly successful. It sounds like Mochizuki would have benefited greatly from such a co-author, in order to truly prove his res…

Math is objective. The proof is either correct or not. Human interaction doesn't matter, except for perhaps marketing the importance of the results. In this case, the history of the problem itself has done the marketing, so any valid solution would be a wild success regardless of how socially eccentric the researcher is. Another recent example of such a mathematician is Grigori Perelman.

Mathematics as done by humans is not just objective. There's a very social aspect to it; if you dress up the most amazing result in a drab and ununderstandable manner then nobody will notice it. You have to take the effort to make your result digestible and relatable, even for experts.

The proof can be completely fine, but if no one can understand it then it won't be accepted.

Re: Biggest mystery in mathematics in limbo after cryptic meeting

#55
post #45

Earlier quoted context omitted.

Languages do not require human interaction. I do not argue that there is no mathematical language.

Language without human interaction is an undefined operation, like raising zero to the zeroth power, or clapping with one hand.

Are you including interacting with oneself?

Re: Biggest mystery in mathematics in limbo after cryptic meeting

#56

I just learned about Math 55 and would trade plenty to teach that course. The problem here is that Mochizuki uses too many German Nazi references. Those people had no academic integrity whatsoever; and their works are exclusively stolen, through war crimes and the Holocaust. After you do the right thing, and translate Mochizuki's nomenclature into French and Slavic; the proof is no longer valid, and the problem is ne…

I dont understand what you mean. Can you clarify?

[deleted]

Re: Biggest mystery in mathematics in limbo after cryptic meeting

#57
post #45

Earlier quoted context omitted.

Languages do not require human interaction. I do not argue that there is no mathematical language.

Language without human interaction is an undefined operation, like raising zero to the zeroth power, or clapping with one hand.

Uh, OK. Sure. Whatever

Re: Biggest mystery in mathematics in limbo after cryptic meeting

#58

I just learned about Math 55 and would trade plenty to teach that course. The problem here is that Mochizuki uses too many German Nazi references. Those people had no academic integrity whatsoever; and their works are exclusively stolen, through war crimes and the Holocaust. After you do the right thing, and translate Mochizuki's nomenclature into French and Slavic; the proof is no longer valid, and the problem is ne…

Interesting how Teichmueller has a bunch of stuff named after him, yet there's very little information about him to be had. There are some references on Google Scholar: https://scholar.google.de/scholar?q=%22o+teichmueller%22&btn.... He is certainly published in more than a single journal, however.

However there are no references to him on his "discoveries". Note the lack of a history section https://en.wikipedia.org/wiki/Teichm%C3%BCller_space and compare that to the section on Hilbert space: https://en.wikipedia.org/wiki/Hilbert_space#History

On the other hand, Felix Hausdorff, who also appears to have worked in the same field (though topology is probably a far broader field than I can understand) has plenty of information readily available. This is conjecture, but the mere lack of solid information on Teichmueller could lend credence to some of what you say.

There is a book about mathematics under the Nazis, which would likely cover a lot of ground http://www.jstor.org/stable/20453494?seq=1#page_scan_tab_con...

Anyway, bit of a mystery ¯\_(ツ)_/¯

Re: Biggest mystery in mathematics in limbo after cryptic meeting

#59
post #5
post #4

Earlier quoted context omitted.

There is literally only a handful of mathematicians that are qualified and they have gone to Oxford to sort it out - bar mochizuki.

Yes, part of what I was trying to say is why not get that handful of folks together and go to Japan, to the source. Logistics? Ego? Funding? Perhaps a trip is in the cards...

Money and time. I'm sure you could straight-up pay some of the qualified mathematicians to figure it out, but you'd need to make it worth their while. Offer to buy out their salary for a couple of years, plus hire them a few postdocs and grad students to further their own projects, and I'm sure a few would be happy to help. But it would cost the better part of $1M for each guy.

Re: Biggest mystery in mathematics in limbo after cryptic meeting

#60

I view some of these math researchers like startup founders who are absolutely brilliant technically, but who lack almost all ability to interact with customers, investors, etc. As a solo founder, they will fail. However, if they attract a co-founder who complements their skills, they can be wildly successful. It sounds like Mochizuki would have benefited greatly from such a co-author, in order to truly prove his res…

Mochizuki would have benefited greatly from such a co-author, in order to truly prove his result to the community.

Except that, from reading the article, it sounds like he doesn't much care about proving his result to the community. Don't make the mistake of assigning the motives and values of a founder to a late-career tenured mathematician. According to the article, he doesn't care for travel. It's not a stretch to conclude that he doesn't care to communicate his proof to other mathematicians.

I'm guessing he found an argument that was sufficient to convince him (and only him), put it online as a slight concession to his colleagues, and then kicked his feet back.

Surely everyone else would benefit from his having a co-author, but it sounds like he can't be bothered, and doesn't care if no one else understands his ideas.

Post reply on HN