





Finansieringsbeslut 

SÃ¶kande / Kontakt person 
Kennedy, Juliette 
Organisation 
Helsingfors universitet 
Projektets titel 
Mathematical Content, Natural Language: Entanglement and Formalism Freeness 
Beslutnr 
322488 
Beslutsdatum 
24.05.2019 
Finansierings period 
01.09.2019  31.08.2023 
Finansiering 
480 000 


Beskrivning av projektet 
In this project we seek to analyse the natural language of mathematics by studying how sensitive that language is to the different ways it can be reconstructed formally. Some mathematical definitions are very robust or indifferent to how one formalises them in a given logical system. This can be given a precise meaning but essentially it means that the definition remains stable even if we look at it in many fundamentally different ways. Other definitions are very sensitive to the underlying formalisation
in the sense that a very small change in the formal environment leads to a massive change in the structure. I call this phenomenon entanglement.
By studying robustness and entanglement from a specific philosophical, historical and mathematical point of view I hope to gain insight into how mathematicians use everyday language to pin down the exact structures they study. 
