Mathematical Description of Physical Systems Federico Zalamea
Total Page:16
File Type:pdf, Size:1020Kb
Chasing Individuation: Mathematical Description of Physical Systems Federico Zalamea To cite this version: Federico Zalamea. Chasing Individuation: Mathematical Description of Physical Systems. Mathe- matical Physics [math-ph]. Université Paris Denis Diderot, 2016. English. tel-01412769 HAL Id: tel-01412769 https://hal.archives-ouvertes.fr/tel-01412769 Submitted on 8 Dec 2016 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Distributed under a Creative Commons Attribution - NonCommercial| 4.0 International License Université Sorbonne Paris Cité Université Paris.Diderot (Paris 7) ÉCOLE DOCTORALE : Savoirs scientifiques (ED 400) Laboratoire SPHERE, UMR 7219 Basic Research Community for Physics Projet ERC – Philosophie de la Gravitation Quantique Canonique Chasing Individuation: Mathematical Description of Physical Systems par Federico ZALAMEA Thèse de doctorat en Histoire et Philosophie des Sciences Dirigée par Gabriel CATREN Présentée et soutenue publiquement à l’Université Paris Diderot le 23 Novembre 2016 Président du jury: M. Olivier DARRIGOL, Directeur de recherche au CNRS Rapporteurs: M. James LADYMAN, Professeur à l’Université de Bristol M. Nicolaas P. LANDSMAN, Professeur à l’Université Radboud de Nijmegen Examinateurs: M. Marc LACHIÈZE-REY, Directeur de recherche au CNRS M. Thomas RYCKMAN, Professeur de l’Université de Stanford Directeur de thèse: M. Gabriel CATREN, Chargé de recherche au CNRS Université Sorbonne Paris Cité Université Paris.Diderot (Paris 7) ÉCOLE DOCTORALE : Savoirs scientifiques (ED 400) Laboratoire SPHERE, UMR 7219 Basic Research Community for Physics ERC Project – Philosophy of Canonical Quantum Gravity Chasing Individuation: Mathematical Description of Physical Systems by Federico ZALAMEA Ph.D. in Philosophy of Physics Under the supervision of Gabriel CATREN Presented and defended publicly at Paris Diderot University on November 23rd 2016 President of the jury: M. Olivier DARRIGOL, Directeur de recherche at CNRS Rapporteurs: M. James LADYMAN, Professor at the University of Bristol M. Nicolaas P. LANDSMAN, Professor at Radboud University Nijmegen Examinators: M. Marc LACHIÈZE-REY, Directeur de recherche at CNRS M. Thomas RYCKMAN, Professor at the University of Stanford Doctoral supervisor: M. Gabriel CATREN, Chargé de recherche at CNRS “All great insights and discoveries are not only usually thought by several people at the same time, they must also be re-thought in that unique effort to truly say the same thing about the same thing.” Martin Heidegger Acknowledgments The four years of research culminating with this dissertation were almost entirely funded by the European Research Council, under the European Community’s Seventh Framework Programme (Project Philosophy of Canonical Quantum Gravity, FP7/2007- 2013 Grant Agreement n° 263523). First, and foremost, I must thank my supervisor, Gabriel Catren, for providing me with the opportunity to be part of his project. During these past years, I have had the chance of evolving in the blurry borders between Physics, Mathematics and Philosophy. To be sure, the demand of navigating at ease within this triangle has oftentimes been a source of difficult challenges, and even of anguishing questions of identity. Butithas also significantly enlarged my curiosity and consolidated my thinking. I particularly appreciate the freedom I have enjoyed to explore many different fields and develop my own questions. I know this freedom to be the sign of a rare confidence in my work, for which I am the more grateful. I also would like to thank warmly James Ladyman and Klaas Landsman for ac- cepting to be the rapporteurs of my dissertation, for their careful reading and for the detailed comments which will greatly help me in improving my work; Olivier Darrigol, Marc Lachièze-Rey and Thomas Ryckman for accepting to be part of my jury, for their comments, suggestions and encouragements in the various occasions I have had the luck of meeting them. It is for me an honor to have my work evaluated by such a high-level group of thinkers whose several works I admire. Because my research would have been exceedingly more difficult without a vi- brant institution favoring exchanges and discussions, I am indebted to the laboratory i ii Acknowledgments SPHERE that hosted me during my graduate studies. In particular, I thank the former and current directors, David Rabouin and Pascal Crozet, as well as Roberto Angeloni for our discussions on the history of Quantum Mechanics, Karine Chemla for her inspir- ing and indefatigable enthusiasm, Nadine de Courtenay, Michel Paty and Jean-Jacques Szczeciniarz for their numerous advises and their generosity in sharing their valuable knowledge. The assistance of all the administrative staff has also been crucial all along the way. I thank Sandrine Pellé and Patricia Philippe for their help, Nad Fachard for her joyful presence and for her interest in all aspects of life, and Virginie Maouchi for her kindness and her unshakeable efficiency which rendered simple the otherwise labyrinthine administrative procedures. My colleagues of the ERC Project Philosophy of Canonical Quantum Gravity de- serve a special mention. In these four years, we spent countless hours together in informal discussions, meetings, seminars and workshops. My work would be signifi- cantly poorer had it not been confronted with their critical eye. I am extremely grateful to Alexandre Afgoustidis and Mathieu Anel for their patience and their generosity in guiding me through some regions of Mathematics which seemed inaccessible to me, to Christine Cachot for the many conceptual confusions she helped me dissolving and for her meticulous correction of the various drafts of my dissertation, to Julien Page for all the roads he has been suggesting me in order to broaden my investigations, and to Dimitri Vey for his encouragements and friendship in the most difficult times. Of course, I also think of all my fellow companions who shared with me the vicis- situdes of the daily life of a graduate student. It has been a truly rewarding experience to share so many lunches and coffees discussing our widely different experiences. In particular, I would like to thank: Nacéra Bensaou, Pascal Bertin, Pierre Chaigneau, João Cortese, Vincent Daudon, Simon Decaens, Sarah Erman, Fernando Gálvez, Fabien Grégis, Roberto Hastenreiter-Cruz, Zeinab Karimian, Ramzi Kebaili, Jonathan Regier, Eleonora Sammarchi, Philippe Stamenkovic, Sergio Valencia and Xiaofei Wang. During my PhD, I have had the chance of traveling and participating in several workshops which have lead to important encounters. Particularly inspiring for me was the meeting of Johannes Kleiner, Robin Lorenz and the Basic Research Community Acknowledgments iii for Physics of which I am now a proud member. I also thank Charles Alunni and Jean- Pierre Marquis for their interest in my work and their support, and Michael Wright for his help with my babbling English. Finally, I am beholden to the whole stackexchange community without which the present document would simply not exist. Last, my thoughts go to my closest friends—Alexandre, Ivan, Philippe, Lou and Vera—which laughed with me about my obstinate existential doubts, and to my par- ents. They have managed to create a serene atmosphere of insatiable curiosity and openness towards all regions of knowledge which has deeply influenced me. Their con- stant support and feedback during these four years, and beyond, has been invaluable. And, with all my heart, I thank Camila, who accompanied me in every step of this long journey, silently feeling helpless next to me without realizing she brought me the most essential facet of them all: beauty. Contents List of Figures viii List of Tables ix Introduction 1 I Mathematical Description of Physical Systems 11 I.1 A case study: the birth of Quantum Mechanics (1925–1932) . 18 I.1.1 Matrix and Wave Mechanics ....................... 19 I.1.1.a Matrix Mechanics .......................... 20 I.1.1.b Wave Mechanics ........................... 26 I.1.2 Extracting the physics (1): Schrödinger’s mathematical equivalence . 30 I.1.3 Extracting the physics (2): Dirac’s transformation theory . 40 I.1.4 Extracting the physics (3): von Neumann’s process of abstraction . 48 I.2 Abstract mathematical entities ........................ 58 I.2.1 Ontology: the abstract/particular as hierarchy of objects . 60 I.2.2 Epistemology: the abstract/particular as hierarchy of information . 68 I.2.3 Mixture: the abstract/particular as hierarchy of identities . 79 I.3 Abstract mathematical structures ...................... 88 I.3.1 Mathematical structuralism ....................... 90 I.3.1.a Characterizing structuralism .................... 91 I.3.1.b Eliminative vs. ante rem structuralism . 99 I.3.2 Identity within an abstract mathematical structure . 105 I.3.2.a The problem of the identity of indiscernibles . 105 I.3.2.b First attempts at a solution . 109 I.3.2.c The solution: primitive typed identity . 115 I.3.3 Individuation within an abstract mathematical structure . 119 v vi Contents I.3.3.a