Collected papers on finitist mathematics and phenomenalism : A digital phen