Is mathematics \'entangled\' with its various formalisations? Or are the central concepts of mathematics largely insensitive to formalisation, or \'Formalism free\'? What is the semantic point of view and how is it implemented in foundational practice? Does a given semantic framework always have an implicit syntax? Inspired by what she calls the \'Natural language moves\' of G del and Tarski, Juliette Kennedy considers what roles the concepts of \'entanglement\' and \'Formalism freeness\'.
Is mathematics \'entangled\' with its various formalisations? Or are the central concepts of mathematics largely insensitive to formalisation, or \'Formalism free\'? What is the semantic point of view and how is it implemented in foundational practice? Does a given semantic framework always have an implicit syntax? Inspired by what she calls the \'Natural language moves\' of G del and Tarski, Juliette Kennedy considers what roles the concepts of \'entanglement\' and \'Formalism freeness\'
