Question

角谷猜想为什么证不了

Answer 1

证明了。在2019年被证明了！具体方法叫“白言规则”：角谷猜想规律：白言规则。这个问题由将它带到日本的日本数学家角谷静夫的名字命名，被称作角谷猜想，这个猜想无人证明，也无人推翻。

猜想的提出

这个问题大约是在二十世纪五十年代被提出来的。在西方它常被称为西拉古斯Syracuse)猜想，因为据说这个问题首先是在美国的西拉古斯大学被研究的；而在东方，这个问题由将它带到日本的日本数学家角谷静夫的名字命名，被称作角谷猜想。

除此之外它还有着一大堆其他各种各样的名字，大概都和研究和传播它的数学家或者地点有关的：克拉兹(Collatz)问题，哈斯(Hasse)算法问题，乌拉姆(Ulam)问题等等。在数学文献里，大家就简单地把它称作“3x +1问题”。