Why does a 'many to one' function not have an inverse?

Because its hypothetical inverse would be 'one to many' which is not a function. This is because a single x-value would map to several y-values at the same time.