New posts in Ultrafinitism

Did Edward Nelson accept the incompleteness theorems?

The inconsistency of Graham Arithmetics plus $ \forall n, n < g_{64}$

Can FPA really prove its consistency?

Is there any formal foundation to ultrafinitism?