Top all-time · #1941
S
Shinichi Mochizuki
Personal blog · kurims.kyoto-u.ac.jpmath
Shinichi Mochizuki's personal blog at kurims.kyoto-u.ac.jp covers math. Since 2009, 41 different Hacker News readers have linked it 63 times, most often “Motizuki explains inter-universal Teichmüller theory”. No feed was found, so read it on the site itself.
No feed foundVisit the blog
63mentions?
41HN people?
2009–2026first – last linked?
Most-linked posts?
- /~motizuki/top-english.html4 people · 4 mentions · first linked 2012-09-11
- /~motizuki/papers-english.html3 people · 3 mentions · first linked 2012-09-09
- /~motizuki/Inter-universal%20Teichmuller%20Theory%20I.pdf2 people · 3 mentions · first linked 2012-09-11
- Motizuki explains inter-universal Teichmüller theory2 people · 3 mentions · first linked 2012-09-12
- Proof of the ABC Conjecture?2 people · 2 mentions · first linked 2012-09-14
- /~motizuki/IUTch-discussions-2018-03.html2 people · 2 mentions · first linked 2018-09-20
- /~motizuki/thoughts-english.html2 people · 2 mentions · first linked 2012-09-11
- /~motizuki/SS2018-08.pdf2 people · 2 mentions · first linked 2019-08-18
- /~motizuki/Inter-universal%20Teichmuller%20Theory%20III.pdf2 people · 2 mentions · first linked 2012-11-26
What Hacker News says?
http://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal%20... — oh, I need some time to accept this is not machine generated :)
Comment linking /~motizuki/Inter-universal%20Teichmuller%20Theory%20I.pdf
on “Proof Claimed for Deep Connection between Prime Numbers”Submitted Motizuki explains inter-universal Teichmüller theory as a story · 3 points
HN discussionShinichi Mochizuki's homepage is worth a look :) http://www.kurims.kyoto-u.ac.jp/~motizuki/top-english.html
Comment linking /~motizuki/top-english.html
on “Proof Claimed for Deep Connection between Prime Numbers”Submitted Inter-Universal Teichmüller Theory: A Progress Report (December 2013) as a story · 3 points
HN discussionMochizuki has also been keeping an informational, yet succinct diary of his progress for a few years: http://www.kurims.kyoto-u.ac.jp/~motizuki/thoughts-english.h... .
Comment linking /~motizuki/thoughts-english.html
on “Proof Claimed for Deep Connection between Prime Numbers”Submitted The Formalization of IUT: A Preliminary Progress Report [pdf] as a story · 1 points
HN discussionHere's a presentation of the mathematician the article is about. It's on the nature of "Inter-universal Teichmuller Theory"[1] which apparently was the work leading up to the proof. [1] http://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal%20...
Comment linking /~motizuki/Inter-universal%20Teichmuller%20Theory%20---%20a%20Progress%20Report.pdf
on “Proof Claimed for Deep Connection between Prime Numbers”Submitted Proof of the ABC Conjecture? as a story · 1 points
HN discussionhttp://www.kurims.kyoto-u.ac.jp/~motizuki/IUTch-discussions-...
Comment linking /~motizuki/IUTch-discussions-2018-03.html
on “Titans of Mathematics Clash Over Epic Proof of ABC Conjecture”Submitted Inter-universal Teichmüller Theory, beautifully introduced by Shinichi Mochizuki as a story · 1 points
HN discussionMy God! This Titans' website needs urgent attention: http://www.kurims.kyoto-u.ac.jp/~motizuki/top-english.html
Comment linking /~motizuki/top-english.html
on “Titans of Mathematics Clash Over Epic Proof of ABC Conjecture”Here is the link to the proof: http://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal%20... And the preceding three for context: http://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal%20... http://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal%20... http://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal%20...
Comment linking /~motizuki/Inter-universal%20Teichmuller%20Theory%20III.pdf
on “An ABC proof too tough even for mathematicians”Mochizuki has this 1 page pdf posted on his website that tries to explain Inter-universal Teichmuller Theory through analogy to a Japanese animation: http://www.kurims.kyoto-u.ac.jp/~motizuki/sokkuri-hausu-link... I wish I could find the animation itself, but that link is broken.
Comment linking /~motizuki/sokkuri-hausu-link-english.pdf
on “The Paradox of the Proof”In case anyone wants to give it a try, here is the paper: http://www.kurims.kyoto-u.ac.jp/~motizuki/Invitation%20to%20... and it looks like he is about to give a lecture in Tokyo: http://www.kurims.kyoto-u.ac.jp/~motizuki/news-english.html And here is a FAQ on the theory: http://www.kurims.kyoto-u.ac.jp/~motizuki/FAQ%20on%20Inter-U...
Comment linking /~motizuki/FAQ%20on%20Inter-Universality.pdf
on “The Paradox of the Proof”Complementing this situation, there are also cases where a proof hinges on a critical corollary or theorem where "no importance, I made another one!" did not or does not come as easily. One recent example is Corollary 3.12 in Mochizuki's series of papers on Inter-universal Teichmüller Theory. This single corollary is the main topic of "Why abc is is still a conjecture" by Peter Scholze and Jakob Stix: http://www.kur…
Comment linking /~motizuki/SS2018-08.pdf
on “Why doesn't mathematics collapse, though humans often make mistakes in proofs?”Mochizuki is a badass, elitist rock star of mathematics and he takes his time to roast the entire field in his papers [1]. P.115 >The adoption of strictly linear evolutionary models of progress in mathematics of the sort discussed [previously] tends to be highly attractive to many mathematicians in light of the intoxicating simplicity of such strictly linear evolutionary models, by comparison to the more complicated…
Comment linking /~motizuki/Alien%20Copies,%20Gaussians,%20and%20Inter-universal%20Teichmuller%20Theory.pdf
on “The ABC conjecture has still not been proved”"An overview of Inter-universal Teichmüller Theory and [...] how we can begin to understand this theory": http://www.quora.com/Joseph-Heavner/Posts/An-overview-of-Int... Also, from an anonymous post on 4chan @ http://boards.4chan.org/sci/thread/6931488/are-you-ready-for... : "How to understand IUTeich from the bottom up: - Algebra (Israel Gelfand) - The Method of Coordinates (Israel Gelfand) - How to Prove It: A Str…
Comment linking /~motizuki/papers-english.html
on “Mathematician's anger over his unread 500-page proof”On a side note: What is the Latex font name used in this document (Published by Shinichi Mochizuki)? http://www.kurims.kyoto-u.ac.jp/~motizuki/IUTeich%20Verifica... Looks really nice to eye.
Comment linking /~motizuki/IUTeich%20Verification%20Report%202014-12.pdf
on “Mathematician's anger over his unread 500-page proof”He will be doing a workshop: RIMS Joint Research Workshop: On the verification and further development of inter-universal Teichmuller theory (in Japanese) http://www.kurims.kyoto-u.ac.jp/~motizuki/2015-03%20IUTeich%... March 9-20 2015
Comment linking /~motizuki/2015-03%20IUTeich%20Program%20(English).pdf
on “Mathematician's anger over his unread 500-page proof”The proof apparently rests on an entirely new (not yet vetted) branch of number theory developed by the proof's author, "Inter-universal Teichmüller Theory". 45-page overview linked: http://www.kurims.kyoto-u.ac.jp/%7Emotizuki/Panoramic%20Over...
Comment linking /%7Emotizuki/Panoramic%20Overview%20of%20Inter-universal%20Teichmuller%20Theory.pdf
on “Baffling ABC maths proof now has impenetrable 300-page ‘summary’”Some bitter conflict is referenced in footnote 1 of the 300 page summary. """ The author hears that a mathematician (I. F.), who pretends to understand inter-universal Teichm¨uller theory, suggests in a literature that the author began to study inter-universal Teichm¨uller theory “by his encouragement”. But, this differs from the fact that the author began it by his own will. The same person, in other context as wel…
Comment linking /~gokun/DOCUMENTS/abc_ver6.pdf
on “Baffling ABC maths proof now has impenetrable 300-page ‘summary’”This (purported) proof is 500+ pages. For a mathematical proof, that’s enormous. Sampling a few of the issues of the journal in question, its longest papers seems to be about 40 pages ( http://www.kurims.kyoto-u.ac.jp/~prims/pdf/43-1/contents-43-... , http://www.kurims.kyoto-u.ac.jp/~prims/pdf/42-3/contents-42-... ) And those are papers that an expert can skim to get an idea about the flow of the proofs. This one, i…
Comment linking /~prims/pdf/42-3/contents-42-3.pdf
on “Mochizuki's proof of the ABC conjecture accepted for publication”Update: Here is Mochizuki's website that contains links to many more details of the discussion: http://www.kurims.kyoto-u.ac.jp/~motizuki/IUTch-discussions-...
Comment linking /~motizuki/IUTch-discussions-2018-03.html
on “Mochizuki's proof of the ABC conjecture accepted for publication”The comment from "PS" and the reply from "BCnrd" on this blog post https://www.galoisrepresentations.com/2017/12/17/the-abc-con... (which was linked elsewhere in this comment section) claim, more or less, that there are 49 lemmas which are presented in sufficient detail to be computer-checkable, and one lemma which is not presented in enough detail for either computers or (most) humans to check, but is stated to fol…
Comment linking /~motizuki/SS2018-08.pdf
on “Mochizuki's proof of the ABC conjecture accepted for publication”Although if you look at his rather colourful webpage, the strong, almost defensive, warning that Japanese will be the language used (at a Japanese institution of course) doesn't detract from the anecdotal suggestions that have dogged the saga of a reluctance to engage more fully with the world beyond his local region. Scholze and Stix had to go to him. http://www.kurims.kyoto-u.ac.jp/~motizuki/students-english.h...
Comment linking /~motizuki/students-english.html
on “Mochizuki's proof of the ABC conjecture accepted for publication”Not a mathematician, but I've kept up with this story as a non-mathematician. > For instance, imagine the proof is made of 50 lemmas. One could check the main theorem derives from the 50 lemmas. And checking each individual lemma could be left to other mathematicians. To my understanding, some mathematicians have gone ever further and checked the work themselves. Peter Scholze (a 32-year-old who won the Fields medal…
Comment linking /~motizuki/Inter-universal%20Teichmuller%20Theory%20III.pdf
on “Mochizuki's proof of the ABC conjecture accepted for publication”> At this point there is a major and clearly stated objection to the proof out in public to which no reasonable refutation has been offered. The problem is: Scholze and Stix formulated their objections to a "simplified" version of IUTT (i.e. they did quite some identifications). Their claim is that these simplifcations do not matter for whether IUTT holds or not, but Mochizuki claims that the details that Scholze an…
Comment linking /~motizuki/Rpt2018.pdf
on “Mochizuki's proof of the ABC conjecture accepted for publication”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...
Comment linking /~motizuki/Inter-universal%20Teichmuller%20Theory%20I.pdf
on “Biggest mystery in mathematics in limbo after cryptic meeting”Some linear type systems garantee that functions defined in them have polynomial time complexity: http://www.cs.cmu.edu/~fp/courses/15816-s12/misc/hofmann03ic... http://www.kurims.kyoto-u.ac.jp/~terui/lalcjournal.pdf It appears however that the ones developed so far are awkward to "program" in.
Comment linking /~terui/lalcjournal.pdf
on “Haskell’s State monad is not a monad (2014)”William Hamilton has an interesting variation of Euler's Seven Bridges puzzle [0] which asks whether there is a path visiting every vertex of a polyhedron exactly once. Strangely, while the complexity of detecting Eulerian paths is linear in the number of edges [1], the complexity of detecting Hamiltonian paths is NP-complete [2]! Hamilton (who was also fond of crossing bridges [3]) developed some interesting algebr…
Comment linking /EMIS/classics/Hamilton/PRIAIcos.pdf
on “Seven Bridges of Königsberg”
