Paola Cantù

Giuseppe Peano and formalism

The Italian mathematician Giuseppe Peano made major contributions to logical formalism by developing a symbolism for transcribing ordinary mathematical language. He also contributed to mathematical formalism by constructing systems of axioms for various fields.