Empty Name
лишь одна мысль успокаивает меня: завтра в зал
ебашить ебашить ебашить ебашить ебашить
Empty Name
ебашить ебашить ебашить ебашить ебашить
наблюдение: под death grips слишком агрессивно выходит, перехожу обратно на mitski и Гульда
Empty Name
кто не слушает радиохэд тот лох
moon shaped pool лучший альбом
change my mind
change my mind
>не приняли доклад на конфу
>чел в частном порядке предложил опубликоваться в Q1 журнале
>чел в частном порядке предложил опубликоваться в Q1 журнале
решил посмотреть какую именно статью Гедель написал в этот журнал
это первая часть двух статей его доказательства теоремы Геделя о неполноте, где он доказывает полноту арифметики, но "But no actual continuation of Gödel's 1931 paper ever appeared."
хорош конечно
это первая часть двух статей его доказательства теоремы Геделя о неполноте, где он доказывает полноту арифметики, но "But no actual continuation of Gödel's 1931 paper ever appeared."
хорош конечно
Empty Name
The acceptance rate over the last ten years is 7.76% Our turn-around time is reasonably quick (median of 102 days)
уважаемые люди конечно публиковались, но смешно что в списке нет Гейтинга
Empty Name
все эти конференции и выездные школы дают false confidence, что я че то понимаю
главное не забывать что это все хуйня
Empty Name
Photo
все таки надеюсь, что не приняли меня из-за темы, а не из-за качества доклада, иначе письма не было
Empty Name
https://www.sciencedirect.com/science/article/abs/pii/S0019357718303227
And in fact, it turns out that the homotopical interpretation "closes the triangle" in a particularly neat way, because it also extends the already well-known topological interpretation of the (simply-typed) λ -calculus.