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.
физика есть, метафизика есть, метаметафизика есть, а метаметаметафизики я пока не видел
Empty Name
https://youtu.be/2dzv1Hmcxn4
обнаружил его твиттер, там Radiohead, The Smiths, попытки съебаться на PhD в UCL, твиты про теорию категорий и lambda calculus, 11 reference letters и донаты доксе
Empty Name
мини-курс Рогозина по модальной логике досмотрен.
не зря его курс по модальной логике смотрел
Empty Name
обнаружил его твиттер, там Radiohead, The Smiths, попытки съебаться на PhD в UCL, твиты про теорию категорий и lambda calculus, 11 reference letters и донаты доксе
и шутки про Рыбникова еще (который ебанутый)
его твиттер это примерно как обобщенная олимпиадная тусовка, если бы все занимались логикой и программированием
Dear Arnold,
This is fine. As soon as we receive your application we will be in touch again with further instructions.
Kind regards,
Alex.
This is fine. As soon as we receive your application we will be in touch again with further instructions.
Kind regards,
Alex.