Re: On Ultrafinitism

["Rupert"]

MoeBlee wrote:
> Rupert wrote:
> > Edward Nelson, on the other hand, has done
> > some interesting research about certain weak axiomatic theories in
> > arithmetic, which may embody his stance. See his book "Predicative
> > Arithmetic".
>

Check out Chapter 31, where he reports that he is trying to prove in
predicative arithmetic that exponentiation is not total. This would
imply that Elementary Function Arithmetic is inconsistent. Crazy stuff,
eh?