[FOM] Potential and Actual Infinity

sambin at math.unipd.it sambin at math.unipd.it
Fri Mar 13 20:14:16 EDT 2015

Quoting "Timothy Y. Chow" <tchow at alum.mit.edu>:

> Arnon Avron also claimed that potential infinity was all that was  
> needed to prove the consistency of PA, but unless I missed  
> something, has not responded to my request for a more formal  
> justification of this claim.
> Tim

Gerhard Gentzen in the 30s proved that PA is consistent using  
induction up to the famous ordinal epsilon-zero. To define such an  
ordinal, no actual infinity is necessary.

Giovanni Sambin

This message was sent using IMP, the Internet Messaging Program.

More information about the FOM mailing list