BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Stanislav Srednyak (Duke University)
DTSTART:20260409T180000Z
DTEND:20260409T190000Z
DTSTAMP:20260423T035929Z
UID:OLS/208
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/OLS/208/">On
  logical problems arising in atomic and particle physics</a>\nby Stanislav
  Srednyak (Duke University) as part of Online logic seminar\n\n\nAbstract\
 nIn this talk\, I will present certain ideas from quantum field theory tha
 t lead to mathematical problems typically addressed in mathematical logic 
 literature. This will be an overview talk\, accessible to a general logic 
 audience\, and it will have four main themes:\n\n1) evidence that non comp
 utable functions arise in dynamics of elementary particles. I will discuss
  how this non computability can manifest itself in precision measurements 
 and what this means for quantum computing.\n\n2) rigorous definition of pa
 th integral. I will formulate the problem in the language of Banach space 
 theory\, and discuss relations to recent work on Banach homological algebr
 a.\n\n3) higher quantizations and higher functionals. I will define a hier
 archy of symmetric functionals of low complexity but arbitrarily high in t
 he constructive universe\, and show the relevance of this construction to 
 physical observables.\n\n4) quantum randomness vs mathematical randomness.
  I will compare these two notions of randomness and discuss what is the in
 terplay with the hierarchies of definable function spaces and the problem 
 in 2) of defining integration over function spaces. I will touch upon the 
 measurement problem and its interpretation from a mathematical perspective
 .\n
LOCATION:https://researchseminars.org/talk/OLS/208/
END:VEVENT
END:VCALENDAR