Consistent ultrafinitist logic

Michał J. Gajda

Ultrafinitism postulates that we can only compute on relatively short objects, and numbers beyond certain value are not available. This approach would also forbid many forms of inf…