FOM: Wider cultural significance

Joe Shipman shipman at
Tue Mar 2 09:42:49 EST 1999

>In my opinion, the way to do
>so is to (a) accept the G"odelian conclusion that there is no *purely
>mathematical* secure foundation of mathematics, and (b) seek another,
>better foundation by integrating mathematics with the rest of human

>One approach to (b) would be to argue that PRA is consistent because
>the physical world provides a model of it, and then to justify at
>least a significant fragment of mathematics by reducing it to PRA, a
>la Hilbert's program of finite reductionism.

What arguments that the physical world provides a model of PRA do not
also apply to PA?

More information about the FOM mailing list