@misc{indiciaee038b3d9ef18, title = {Martin Löf - Solovay - Chaitin Axiom of Reduction versus Von Mises - Church Axiom of Reduction}, author = {Gavriel Segre}, year = {2009}, url = {https://arxiv.org/abs/0904.2782}, note = {Source identifier: 0904.2782} }