In a peculiar turn of events, Shinichi Mochizuki, a mathematician from Kyoto University, is really peeved — maybe even more than a little irksome — that nobody will read and review his solution to the ABC conjecture. To date, no errors have been uncovered, and yet the proof remains unverified. His work sits in a scientific nether region; his work is neither falsified nor supported as truth.
Part of the concern at work in this controversy, we learn, is that the ABC conjecture (also known as the Oesterlé–Masser conjecture) gets its name from a simple equation — a + b = c — but the implications run deep in the mathematical community, especially that it provides answer to deep questions in the theory of numbers (number theory).
“[F]ellow mathematicians,” he claims, “are failing to get to grips with his work.” On balance, however, his proof is 500 pages long of extremely dense material. Mochizuki’s current strategy: Put the proof on-line and wait.
The solution from the mathematical community is for him go on a world tour and share his proof in person. According to a New Scientist essay, however, Mochizuki’s refuses to share his work through a series of talks and lectures — I Will Not Lecture, he is all but saying. Instead, he is proposing to train a few scholars in his technique so that at least someone is able to review his work and determine if there are any errors. My understanding of the math community is limited, but I am fairly confident that this is seen as abnormal behavior among insiders.
I’d welcome some insight from the social studies of science community on this matter. The notion that some discoveries are, in effect, peerless — meaning, even seemingly equal peers in the scholarly community are unable to verify or falsify a truth claim — is relatively rare. Moreover, that Mochizuki won’t go on a “public tour” (let’s say) is also interesting because research in SSS has routinely shown that the frontier of math research is often a dynamic activity undertaken in person with others, which makes Mochizuki’s refusal all the more interesting.
The New Scientist piece chalks it up to pride. I can understand that. It is unconfirmed, but a few stories on Mochizuki indicate that it took him four solid years of work to complete this proof. Possibly, he expected to be warmly embraced by the mathematics community, rewarded, lauded, and raised-up as a public figure of math for the world. Who knows? Mochizuki won’t talk, so we don’t know yet.
This would be great to teach with: because his work sits in a scientific nether region; his work is neither falsified nor supported as truth, which makes this a good case study for teaching students about the philosophy of science, especially about the role of consensus among scholars as well as some more general notions of falsificationism and the work of the early logical positivists.