Empty Name – Telegram
Empty Name
445 subscribers
877 photos
73 videos
18 files
471 links
Download Telegram
минвайл я, вышел из дома играть на пианино и учить какую то хуйню
🏆83🤮2
нашел место для своей курсовой
🥰12🤮4😁2🏆21
неинтуитивный фингеринг
🤮4🥰2🥴2🤨2🏆1
boo hoo industrial revolution…

BITCH THE ONLY REASON YOU EXIST IS THE INDUSTRIAL REVOLUTION
🤮21🏆5❤‍🔥21👎1🥴1🤣1😈1
boo hoo industrial revolution…

BITCH I CAN EAT 15 EGGS A
DAY AND WATCH BACH TUTORIALS ON YOUTUBE BECAUSE OF THE INDUSTRIAL REVOLUTION
🤮21🏆6❤‍🔥3👍21👎1🔥1😁1🥱1
у уэса андресона выходит фильм про пришельцев че за пиздец
🤮4👍1🏆1
как я это пропустил
🤮4🏆1
из всех русских классиков для нас важнейшим является Колмогоров
❤‍🔥8🤡7🤮4🏆1
Empty Name
умер Тед Качински в прошлом блестящий математик, а в настоящем – автор банального манифеста и герой интернет мемов overrated его ценность для человечества стала равна нулю когда он перестал заниматься действительно хорошими вещами (математикой)
ТОП 6 ПРИЧИН ИЗ-ЗА КОТОРЫХ КАЧИНСКИ СОШЕЛ С УМА:

1) хотел стать фембоем, но передумал

2) участвовал в (возможно) псиоп эксперименте ЦРУ

3) пропустил шестой класс, что привело к буллингу

4) восемь месяцев ребенком провел на карантине в больнице из-за крапивницы

5) сложная фамилия

6) 0 pussy (см работу "Apology to women" by T. Kaczynski)
🤡17🙏4❤‍🔥2🏆1
me, march 10th in a letter about Applied Category Theory and Philosophy to David Corfield:

"Certainly, the idea of compositionality is the main topic here"


David Corfield, june 6th in his presentation on ACT:

"A key term is compositionality"
🤡14🏆1
> Thanks in advance for the answer and sorry for my writing style.
🤡12🏆2
уничтожил режим перед началом недели

day good
🤡10❤‍🔥8👍1🏆1
classical logic is inconsistent, not from the logical viewpoint ([falsity] is not provable) but from an algorithmic one
🤡10🤔1🙏1🏆1
Empty Name
Among the many ways of describing our specialness, I especially like Douglas Hofstadter’s wonderful maxim, quoted by Dennett: “Anything you can do, I can do meta.”
Admittedly, this example is silly enough in that it can be said to interpret formal classical logic by means of formal classical logic except that the new ingredient “· ” is interpreted in a more meaningful way. Indeed, derivability of formulas in PA is no longer the business of PA and its underlying logic, but rather of the meta-theory of PA and its underlying (meta-)logic which has been formalized by G ̈ odel within PA and its underlying logic.
🤡3🏆1
надо не забыть наебениться белым вином в ближайшую неделю
🤮7👍2🤡2🏆1
для всех друзей кто близок к окончанию своего BA или MA: СИЛ ВАМ 💪💪💪
❤‍🔥13🤡4🔥2🤮2🏆1
увидел ежа
17👍2👎2🐳2🏆2👌1