Conférences  >  Physique  >  Physique numérique  >  Chine

Institute for Advanced Study in Mathematics (IASM) in Hangzhou, China

This is a 5-day workshop with about 42 participants. It will focus on the study of the theoretical partial differential equations and application in fluid dynamics, emphasizing the study on the structure of solutions and their large-time behavior to Navier-Stokes equations, Euler equations, Boltzmann equations, and so on. The conference will serve as a platform to report new breakthroughs, exchange research ideas, extend academic networks, and promote diversity and inclusion in this research field. New collaborations are also expected during and after the meeting. Topnotch speakers and talks will be carefully selected to make the conference attractive to a diverse audience.

Mathématiques appliquées (en général),    Calcul infinitésimal, équations différentielles et intégrales

Institute for Advanced Study in Mathematics (IASM) in Hangzhou, China

Recursion theory measures the complexity of mathematical objects in terms of what is computable, in other words, what can be determined by a computer with no space or time limitations. We can define, for example, computable sets of natural numbers, computable (continuous) functions on the real numbers, or computably enumerable open subsets of the reals. Adding an oracle---an outside source of information---allows us to extend the reach of recursion theory beyond the computable. For example, every continuous function on the real numbers is a computable function relative to some oracle. For another example, a set of real numbers has Hausdorff dimension zero if and only if there is an oracle relative to which every real in the set can be significantly compressed. In this way, recursion theory offers a fine-grained way to analyze some of the most central notions in mathematics. This has recently led to deep applications to analysis, number theory, and set theory. The focus of this workshop is on understanding and extending these applications of recursion theory.