The 3x + 1 problem, is a math problem that has baffled mathematicians for over 50 years. It’s easy to explain: take any positive number, if it’s even, divide it by 2; if it’s odd, multiply it by 3 and ...

The purpose of this study is to prove the Collatz conjecture using a theorem proving system. First, the division sequence is defined as an alignment of the number of times division by 2 is performed ...

This is a rough solution to generate Thue-Morse Sequence in Python. Thue -Morse sequence is an infinite sequence of binary digits 0s and 1s. The sequence starts with a 0 and next set of digits are the ...

The fibonacci sequence is an infinite sequence of numbers where each number is the sum of the two numbers that precede it. For example, the first 4 numbers are 0, 1, 1, 2. As one can notice, 2 is the ...

If no human can check a proof of a theorem, does it really count as mathematics? That’s the intriguing question raised by the latest computer-assisted proof. It is as large as the entire content of ...