rupertmccallum at yahoo.com
Thu Nov 2 16:36:22 EST 2006
Yes, he claimed to have a proof of the consistency of ZF with any
finite number of inaccessible cardinals. Unfortunately it seems to be
hard to get hold of a copy of this proof. I would really like to know
in which axiomatic theory he claimed it could be done.
--- Gabriel Stolzenberg <gstolzen at math.bu.edu> wrote:
> Alik Volpin's "ultra-finitist" program had the aim of proving
> the consistency of mathematics.
> Gabriel Stolzenberg
> FOM mailing list
> FOM at cs.nyu.edu
Access over 1 million songs - Yahoo! Music Unlimited
More information about the FOM