FOM: certainty

Andrzej Trybulec trybulec at math.uwb.edu.pl
Thu Dec 24 10:21:02 EST 1998



On Tue, 22 Dec 1998, Martin Davis wrote:

> I fail to understand why the formulas of PA, the set of axioms, and the
> notion of a proof in PA are considered to be easier to understand than the
> set of natural numbers and its members.

OK. But try to convince these guys that they have to try to think.

Andrzej Trybulec



More information about the FOM mailing list