FOM: Platonism and social constructivism

Martin Davis martind at
Wed Mar 25 15:04:47 EST 1998

At 06:30 PM 3/25/98 +0300, sazonov at wrote:

>Thus, I would say that mathematical objects exist *only*
>together with and via some *formal* axioms, rules and

How do you reconcile this with G"odel's incompleteness theorem which I
understand to tell us that there are arithmetic truths transcending any
given formal system?


More information about the FOM mailing list