Läsprov: Collected papers on finitist mathematics and phenomenalism