Can I read International Congress of Mathematicians 2022 July 6–14 Proceedings: Plenary Lectures on EtoBox?

International Congress of Mathematicians 2022 July 6–14 Proceedings: Plenary Lectures by Dmitry Beliaev, Stanislav Smirnov (Editors) is a nonfiction available to read on EtoBox.

What is International Congress of Mathematicians 2022 July 6–14 Proceedings: Plenary Lectures about?

Front cover Front matter Contents Special plenary lectures K. Buzzard: What is the point of computers? A question for pure mathematicians 1. Introduction 2. Overview of the paper 3. A brief history of formally verified theorems 3.1. The 20th century 3.2. The prime number theorem 3.3. The four color theorem 3.4. The odd order theorem 3.5. The Kepler conjecture 3.6. Perfectoid spaces 3.7. Condensed mathematics 3.8. Other results 4. mathlib 5. A brief guide to type theory 5.1. What is a type? 5.2. Inductive types 5.3. Dependent types 5.4. Examples 5.5. Foundations 6. The future 6.1. A new kind of mathematical document 6.2. Semantic search in a mathematical database 6.3. Checking proofs 6.4. Teaching 6.5. Other ideas References F. Calegari: Reciprocity in the Langlands program since Fermat’s Last Theorem 1. Introduction 1.1. The Fontaine–Mazur conjecture 1.2. R = \mathbf{T} theorems 2. The early years 2.1. The work of Diamond and Fujiwara 2.2. Integral p-adic Hodge Theory, part I: Conrad–Diamond–Taylor 2.3. Integral p-adic Hodge Theory, part II: Breuil–Conrad–Diamond–Taylor 2.4. Higher weights, totally real fields, and base change 3. Reducible representations: Skinner–Wiles 4. The Arti

Who reads International Congress of Mathematicians 2022 July 6–14 Proceedings: Plenary Lectures?

Author

Dmitry Beliaev, Stanislav Smirnov (Editors)

Publisher

European Mathematical Society - EMS - Publishing House. EMS Press

Published

2023

Language

EN

ISBN

9783985470600

Category

nonfiction

Subjects

Mathematics, Mathematical Foundations, Stem