Coordination: Thomas Berthod, Clément Bonvoisin, Karine Chemla, Sara Confalonieri, Frédéric Jaëck (AMU, & SPHere), Nicolas Michel (Bergische Universität Wuppertal, Fakultät für Mathematik und Naturwissenschaften, & SPHere), Ivahn Smadja (Université de Nantes, & SPHere), Paul-Emmanuel Timotei

Contact : F. Jaëck

Archives |

2011-2012, 2012-2013, 2013-2014,
2014-2015, 2015-2016, 2017-2018, 2018-2019, 2019-2020, 2020-2021, 2021-2022 |

**PROGRAM 2022-2023**

We will meet at the Université Paris Cité* once a month, in Room Rothko, 412B, except on March 6, in Room Gris, 734A.. The session wil also be on webconfernce (Zoom). Languages will be French and English.

Details of sessions will be displayed during the semester.

Tuesday 01/17 | 2pm–4pm | Claudio Bartocci / Jean-Jacques Szczeciniarz | 412B |

9:30am-12:30am | Peter Ullrich / Valeriya Chasova | 412B | |

1:30pm-4:30pm | Walter Dean / Réunion des organisateurs | !! 734A !! | |

1:30pm-4:30pm | Karine Chemla / Clément Bonvoisin | 412B | |

Tuesday 05/16 |
9:30am-12:30am | Patrick Popescu-Pampu / Paul-Emmanuel TimoteiPaul-Emmanuel Timotei | 412B |

2pm–5pm | Tinne Hoff Kjeldsen / Klaus Volkert | 412B |

**ABSTRACTS**

Tuesday January 17, 2pm–5pm, Room Rothko, 412B, hybrid

- Claudio Bartocci (DIMA, Università di Genova) et Jean-Jacques Szczeciniarz (Université Paris Cité, HPS, SPHere)

*The existence of the non-existent, a new problematic, that of the one-element body*[in Fr]

Three points will be addressed:

1. History and presentation of the problem since the appearance of FUN in the work of Jacques Tits (1958) through the results of some mathematicians, Manin, Kapranov, Soulé, Deitmar.

2. A new presentation through the works (summaries) of Toën Vaquié, and our understanding (CB AG JJS) of the problem. What the categorical point of view brings.

3. Philosophy of mathematics, how to non-exist? Quick comparison with root minus 1. The synthetic power of object distortion.

Tuesday February 14, 9:30am-12:30am, Room Rothko, 412B, hybrid

- Peter Ullrich (Universität Koblenz-Landau)

*The theory of analytic factorials - a quarrel between proofs and computations*

Already at the beginning of the 19th century it was known that the factorial can be interpolated as an analytical function, at least on the positive real numbers, by means of the Gamma integral. However, some mathematicians tried to end interpolations in other ways, by setting up functional equations that these analytic factorials should satisfy and then trying to compute analytic expressions for them.

A. L. Crelle, for example, published a whole book on the subject in 1823, which led to a sharp response from M. Ohm in 1829. K. Weierstraÿ brought clarification here, who clearly recognized that the interpolation problem has no unique solution and was thus able to correct Crelle and refute Ohm. Regarding the publication of his results, Weierstraÿ declined Crelle's o er of the Journal für die reine und angewandte Mathematik for this purpose, choosing instead his school’s 1843 program. It was not until 1856 that he published an expanded version in Crelle’s Journal.

- Valeriya Chasova (PLUS, GW Fakultät, Fachbereich Philosophie; Archives Henri-Poincaré, UniStra/ULorraine/CNRS; CEFISES, UCLouvain)

*Physical significance versus mathematical surplus in philosophy and history*

Not all there is in physical theory has physical significance (in the sense of contributing to predictions or to ontology of the physical world). There are also elements coming from mathematics and usually interpreted as idle. Separating this mathematical surplus from physical content is an important and non-trivial task. I will tell more (where possible in simple terms) about ways to accomplish it and related topics in recent philosophy and in XX century history.

A still common solution in philosophy of physics, going back to Leibniz in his debate with Clarke (1717), is to count as mathematical surplus what varies under theoretical symmetry transformations. However, it has been defended from Kosso (2000) on that symmetry-variant elements have physical significance provided the theoretical symmetries concerned are matched with symmetries in the world or with conservation laws.

Historically, Klein (1917) argued that energy-momentum conservation law is unphysical in Einstein’s just formulated general relativity (1915) because of not being linked appropriately with the field equations. However, Hilbert (Klein, 1917) took this to be a hallmark of that theory, while Noether (1918) showed that this feature is characteristic of a class of theories with certain symmetries. But her solution was itself mathematical, and its physical import only got better clarified later on.

Monday March 6, !! 1:30pm - 4:30pm, Room Gris, 734A !!, hybrid

- Walter Dean

*On models and computation in geometric consistency proofs*

The focus of the talk will be a method for transforming several of Hilbert’s (1899) model-theoretic consistency proofs for Euclidean and non-Euclidean geometries into syntactic demonstrations originally exposited by Paul Bernays (1935, 1939). Bernays’ method is of historical interest due its apparent relation to the Frege-Hilbert controversy. But it is also of mathematical interest because of the specific combination of proof-theoretic, analytic, and algorithmic techniques which it employs. Time permitting, I will also discuss how this method anticipates contemporary developments in reverse mathematics and automated theorem proving.

Tuesday April 18, 1:30pm - 4:30pm, Room Rothko, 412B, hybrid

- Karine Chemla (CNRS, SPHere)

*From computation to a practice of proof through the introduction of a concept: Poncelet’s ideal elements in geometry*

In a first part of this presentation, I intend to return to the nature of the “ideal elements” that Jean-Victor Poncelet introduced into geometry, notably in his*Traité des Propriétés Projectives des Figures*(1822). This analysis will require that I discuss some features of the diagrams used by Poncelet. Moreover, I will examine the use of elements of this kind in the practice of proof to which the Traité des Propriétés Projectives des Figures attests. In a second part, I will turn to the notebooks that Poncelet wrote in Saratov, as a prisoner of war, between March 1813 and June 1814, to shed light on the part played by Poncelet’s analytical approaches at the time in the genesis of the concept of ideal elements. This talk is based on joint work with Bruno Belhoste.

- Clément Bonvoisin (Université Paris Cité, ED 623, SPHere)

*Des*Schwarz-Weiß-Steuereungen*aux*bang-bang controls*. Traductions mathématiques d’un problème d’ingénierie dans la thèse de Donald Bushaw (1952)*

Friday June 2 juin, 9:30am - 12:30am,Room Rothko, 412B, hybrid

- Tinne Hoff Kjeldsen (University of Copenhagen )

*From Mathematical Programming to Convex Analysis: Duality as a driving force in history of mathematics*

The presentation will focus on the emergence of convex analysis in the 20th century in the context of mathematical programming with special attention to the significance of duality. More specific, we will look at duality in the history of mathematical programming from von Neumann’s work in game theory to Fenchel’s duality theorem in nonlinear programming and the role it played for the development of convex analysis. How did ideas of duality emerge in linear programming? What role did they play for the development of nonlinear programming? How did Fenchel introduce ideas of duality in nonlinear programming and how did his duality function as a driving force for the development of convex analysis?

. . . . . . . .

Building Condorcet, University Paris Cité, 4 rue Elsa Morante, 75013 - Paris*.Map

Calculate your itinerary with the public transport website RATP

Metro: lines 14 and RER C, stop: Bibliothèque François Mitterrand or line 6, stop: Quai de la gare. Bus: 62 and 89 (stop: Bibliothèque rue Mann), 325 (stop: Watt), 64 (stop: Tolbiac-Bibliothèque François Mitterrand)