TY  - JOUR
AU  - Bertran-San-Millán, Joan
PY  - 2022
DO  - 10.1007/s11229-022-03782-z
SN  - 1573-0964
UR  - https://hdl.handle.net/20.500.14352/132736
T2  - Synthese
AB  - Recent historical studies have investigated the first proponents of methodological structuralism in late nineteenth-century mathematics. In this paper, I shall attempt to answer the question of whether Peano can be counted amongst the early...
LA  - eng
KW  - Peano · Structuralism · Formal languages · Independence proofs · Symbolisation
KW  - Peano · Estructuralismo · Lenguajes formales · Pruebas de independencia · Simbolización
TI  - Peano’s structuralism and the birth of formal languages
TY  - journal article
VL  - 200
ER  -