>>12448661Finitism, no. Ultrafinitism, yes.
>Finitism is usually regarded as the most conservative of all positions on the foundations of mathematics, but finitism accepts all primitive recursive functions as being total on the grounds that the computations involved are finite. But I have argued that they are simply postulated to be finite, by a circular reasoning. The untamed use of induction in P is justifiable only by appeal to ? as a completed infinity. Finitism is the last refuge of the Platonisthttps://web.math.princeton.edu/~nelson/papers/warn.pdf 
