Scientists are trying to find a computer program to determine the optimal location of a production plant among 4 towns. Prove that if the distances from the production plant to the sales location are rational numbers, then the problem is algorithmically solvable, though, if the distances are constructive mathematical numbers, then the existence of the computer program will not be possible.