You are registered to the conference MATHEMATICAL EXPLANATION: IDEAS, MODELS, AND PERSPECTIVES, 9-11 May 2022, Paris.
step 1: get an offer from LSE (april)
step 2: fail to secure any financial support (july)
step 3: continue your education in HSE (september)
step 2: fail to secure any financial support (july)
step 3: continue your education in HSE (september)
надо наверное что то делать с тем, что статьи по теории игр я понимаю лучше чем статьи по логике
интересно насколько сложно сделать алгоритм для вычисления коррелированного равновесия
Papadimitriou, C., & Roughgarden, T. (2008). Computing correlated equilibria in multi-player games.
уже есть для ограниченного класса случаев
уже есть для ограниченного класса случаев
жесть че придумали
Mike Shulman, All modalities are Higher Inductive Types
https://homotopytypetheory.org/2012/11/19/all-modalities-are-hits/
Mike Shulman, All modalities are Higher Inductive Types
https://homotopytypetheory.org/2012/11/19/all-modalities-are-hits/
Homotopy Type Theory
All Modalities are HITs
Last Friday at IAS, Guillaume Brunerie presented a very nice proof that $latex \pi_k(S^n)=0$ for all $latex k <n$. I hope he will write it up and blog about it himself; I want to talk instead ab…