Only if you suppose a fully decentralized system. Else, you would just send a transaction updating the sender's and receiver's accounts, and there would be no

Only if you suppose a fully decentralized system. Else, you would just send a transaction updating the sender's and receiver's accounts, and there would be no double spent either. You can build robust currency systems that are only partially decentralized, and partially distributed.