Finlands Akademi  
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.