« first day (3886 days earlier)   

11:08 AM
0
Q: Arguments for Primitive Recursive Arithmetic + \epsilon_0 Induction being "True"

BENGGentzen presented a proof of the consistency of PA. This proof can be formalized in PRA (Primitive Recursive Arithmetic) + "Transfinite Induction up to $\epsilon_0$". In order to accept this proof as valid finitistically, you have to decide whether or not you accept the PRA + "$\epsilon_0$-indu...

 

« first day (3886 days earlier)