>>277
MSのABC予想の証明はまだ正当性が認められてないので
例としてあげるならオリバー・ヘヴィサイドとか

「1880年から1887年の間に、ヘヴィサイドは演算子法を発見した。
　しかし、その解法の導出過程は理論的厳密さを欠いていたため、当初は論議の的となった。
　ヘヴィサイドはこの問題について、
　「数学は実験的科学であり、定義が先にくるわけではない」、
　「私は消化のプロセスを知らないからといって食事をしないわけではない」
　という有名な言葉を残している。」