Highly Influential

@inproceedings{White2015QeditasA, title={Qeditas : A Formal Library as a Bitcoin Spin-Off Bill White}, author={Bill C. White}, year={2015} }

- Published 2015

Formalization of mathematical theories is a time consuming process for which there is currently little reward. We describe how block chain technology can be used to support the formalization of mathematics by encouraging and rewarding useful work while discouraging repeating the work of others. The block chain will contain a record of definitions made and… CONTINUE READING

### Presentations referencing similar topics