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…
я с однокурсниками: вы занимаетесь не философией, а хуйней, я вот занимаюсь реальной философией (формальной то есть)
я дома: а это точно можно считать философией?
я дома: а это точно можно считать философией?
Many introductions to homotopy type theory and the univalence axiom neglect to explain what any of it means, glossing over the semantics of this new formal system in traditional set-based foundations.
физика есть, метафизика есть, метаметафизика есть, а метаметаметафизики я пока не видел