« first day (3886 days earlier)      last day (576 days later) » 

Martin Sleziak
Martin Sleziak
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...

logic first-order-logic meta-math transfinite-induction
 

« first day (3886 days earlier)      last day (576 days later) »