BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//wp-events-plugin.com//7.2.3.1//EN
TZID:Europe/Paris
X-WR-TIMEZONE:Europe/Paris
BEGIN:VEVENT
UID:6378@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20210614T140000
DTEND;TZID=Europe/Paris:20210614T150000
DTSTAMP:20241120T201416Z
URL:https://www.i2m.univ-amu.fr/evenements/fusible-numbers-and-peano-arith
 metic/
SUMMARY:Gabriel Nivasch (Ariel University\, Israel): Fusible numbers and Pe
 ano Arithmetic
DESCRIPTION:Gabriel Nivasch: Inspired by a mathematical riddle involving fu
 ses\, we define a set of rational numbers which we call "fusible numbers".
  We prove that the set of fusible numbers is well-ordered in R\, with orde
 r type eps_0. We prove that the density of the fusible numbers along the r
 eal line grows at an incredibly fast rate\, namely at least like the funct
 ion F_{eps_0} of the fast-growing hierarchy. Finally\, we derive some true
  statements that can be formulated but not proven in Peano Arithmetic\, of
  a different flavor than previously known such statements\, for example\, 
 "For every natural number n there exists a smallest fusible number larger 
 than n." Joint work with Jeff Erickson and Junyan Xu. https://arxiv.org/ab
 s/2003.14342\n\n\n\nWe will also briefly mention some recent progress on g
 eneralizations of fusible numbers\, joint work with Alexander Bufetov and 
 Fedor Pakhomov.\n\n\n&nbsp\;\nLecture room link: https://bbb1.cirm-math.
 fr/b/org-n9z-3je\n\n\n\n\nAccess code: see mail\n\n\n\n\nJoint seminar of 
 SIMC and HSE by A. I. Bufetov\, A. V. Dymov\, A. V. Klimenko\, M. Mariani 
 and G. I. Olshanskii “Representations and Probability”\nJune 14\, 2021
  15:00–16:20\, Moscow\, online via BigBlueButton. To get the link\, writ
 e to klimenko@mi-ras.ru\n\n\n\n\n\n\n
ATTACH;FMTTYPE=image/jpeg:https://www.i2m.univ-amu.fr/wp-content/uploads/2
 021/06/Gabriel_Nivasch.png
CATEGORIES:Séminaire,Processus Déterminantaux (ERC IChaos),Virtual event
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:DAYLIGHT
DTSTART:20210328T030000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
END:VCALENDAR