You see, if power was distributed over many thousands of independent miners, all such lists would have thousads names
This statement is logically false.
Are you sure you are really a computer science professor, because most of the ones I've actually known are really quite good with logic? I guess it goes to show the range of caliber is quite wide. Sorry to be blunt but your posts are full of logical fallacy after logical fallacy.