How do mathematicians calculate extremely large sets of numbers to prove theorems? Both now and in the past?
A modern example is the Collatz Conjecture, 2\^68 numbers were checked, so what resources do mathematicians use for this? Supercomputers?
And in the past, the Polya Conjecture was disproven by C. Brian Haselgrove in 1956, he calculated more than 2\^361 values, so how was this done when computers weren’t as powerful?
In: 40
Proofs arent generally made by brute force. The only one I can think of where the proof was brute forced was the sudoku one (A sudoku must have atleast 17 clues to have no more than 1 answer). When brute force is used it is on supercomputing clusters.
For the collatz conjecture, there are a lot of tricks you can do to check numbers. You might think the best way is asking “does 10 follow the collatz conjecture? how about 11? 12?” but this is pretty inefficient, you know the collatz conjecture says “if n is even, half it” this chain eventually lands on an odd number, so you never have to even check an even number. If all odd numbers follow it, so will all even ones. Speaking of odd numbers, the formula for that is 3n+1 which will always be an even number, so you can shortcut it with (3n+1)/2 or 1.5n+.5, if this ever hits a number you know satisfies the collatz conjecture, or a perfect power of 2 (even all the way down to 2) you are done, no need to check further. and you can go the other way too, if n satisfies the collatz conjecture, so does (n-1)/3 and 2n. Using these tricks you can vastly reduce the number of numbers that need to be checked the hard way. But we cant prove it this way, there is a chance we will find a counter example and disprove it, but we can never prove it for sure using brute force.
As for strangely large historical numbers, you can prove (and especially disprove) things about numbers without knowing them. For example, say we make a theorem that says “There are 10000 prime numbers, and no more” we can disprove this by saying “but if you multiply all of them together and add 1, you get a number that isnt divisible by any prime number, and is thus a new prime number” You can do that without knowing all the first 10000 prime numbers, and you can even estimate its size. Since 2 is the smallest prime number, this new prime is larger than 2^10000 and also 2*3^9999, etc. we can also know since not every number is a prime number, it is larger than 10000! (factorial), and we also know it is smaller than n^10000 (where n is the 10000th prime). You can narrow this range more, this is just an example, but the same process happens with other proofs.
Latest Answers