Pragmatic Platonism

Martin Davis

A historical survey of mathematical practice in support of a pragmatic inductive philosophy of mathematics.