@article{chaitin_2011,  title={How real are real numbers?},  volume={34},  ISSN={0100-6045},  url={https://doi.org/10.1590/S0100-60452011000100006},  DOI={10.1590/S0100-60452011000100006},  number={1},  journal={Manuscrito},  publisher={UNICAMP - Universidade Estadual de Campinas, Centro de Lógica, Epistemologia e História da Ciência},  author={Chaitin, Gregory},  year={2011},  month={Jan},  pages={115–141} }