形式欧元、形式比特币与虚拟货币
计算机与社会
2013-04-29 v2
摘要
本文从计算形式方法的角度审视了关于货币的形式主义立场。提出了形式欧元（FEUR）作为货币量的维度，以及形式比特币（FBTC）作为信息货币模型中可供流通的项目。本文试图从头理解货币的概念。为了给出货币的定义，有必要利用一种量身定制的定义理论。为此，提出了一种想象性定义理论，并概述了其对货币定义的含义。本文论证了货币理论可能依赖于其持有者的角色。给出了一些角色的调查，其中所谓的从属行政角色（SAR）处于中心位置。以虚拟内存和虚拟机的概念为出发点，定义了虚拟货币的概念。本文论证了从大型组织（ORG）的一个组成部分（部门）的角度来看，其本地金融系统（LFS）提供了一种虚拟货币 vm(LFS, ORG)，该虚拟货币很可能无法满足最普遍公认的货币性标准。逆货币性偏好这一短语被用来断言 ORG 高层管理者倾向于使其虚拟货币偏离这些标准。
引用
@article{arxiv.1008.0616,
title = {Formaleuros, Formalbitcoins, and Virtual Monies},
author = {Jan A. Bergstra},
journal= {arXiv preprint arXiv:1008.0616},
year = {2013}
}
备注
98 pages. Revision of arXiv.org/abs/1008.0616v1. The revision involves bringing the paper up to date with the appearance of Bitcoin, a significant update of the section on Islamic finance and interest prohibition, deletion of fragments of minor importance, an update of references, moving the ad hoc theory of definitions to an appendix, and a small change of the title