(mathematics) The conjecture that the process of taking a number n and, if n is even, dividing it by 2, or if n is odd, multiplying it by 3 and adding 1, then repeating this process, will eventually yield 1.