boo hoo industrial revolution…

BITCH THE ONLY REASON YOU EXIST IS THE INDUSTRIAL REVOLUTION

boo hoo industrial revolution…

BITCH I CAN EAT 15 EGGS A
DAY AND WATCH BACH TUTORIALS ON YOUTUBE BECAUSE OF THE INDUSTRIAL REVOLUTION

у уэса андресона выходит фильм про пришельцев че за пиздец

как я это пропустил

из всех русских классиков для нас важнейшим является Колмогоров

ТОП 6 ПРИЧИН ИЗ-ЗА КОТОРЫХ КАЧИНСКИ СОШЕЛ С УМА:

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

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

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

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

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

6) 0 pussy (см работу "Apology to women" by T. Kaczynski)

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"

> Thanks in advance for the answer and sorry for my writing style.

уничтожил режим перед началом недели

day good

classical logic is inconsistent, not from the logical viewpoint ([falsity] is not provable) but from an algorithmic one

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.

надо не забыть наебениться белым вином в ближайшую неделю

для всех друзей кто близок к окончанию своего BA или MA: СИЛ ВАМ 💪💪💪

увидел ежа

Я не помню, как я набрел на эту книгу – через модальную ли логику или теорию категорий. Скорее всего рутинно серфил книги по логике в надежде найти то, что меня заинтересует. Много книг было скачено, но немногие из них остались в моей памяти

Два года спустя, эта книга уже не представляется мне как артефакт, написанный на асболютно неизвестном языке. Чтобы понять, что здесь написано, пришлось отложить ее на долгое время. Три раза я начинал ее читать, доходил до 2 главы про зависимые типы и бросал. За это время я успел пообщаться с людьми, понять в чем "selling point" этой книги, удовлетворен ли ей автор на сегодня , etc

Год назад я кое как закрыл сессию, только закончил заниматься восстановлением руки и думал, что все лето буду заниматься логикой и математикой. В результате две трети лета ушло на обмен с Потсдамом, перевод в ЛСЕ и спасение накопленных денег. Чуть чуть логики и математики я все таки узнал

За эти два года (а на самом деле за последний полгода-год), мне кажется, я узнал больше, чем знал за всю предыдущую жизнь. Если конкретнее: узнал, что существует на несколько порядков больше вещей, чем я мог подумать (как в философии, так и в целом)

Можно было бы сказать, что я что-то "урезал", чтобы больше переключиться на эту тему. И на пианино, и на зал, потому что ими я тоже начал заниматься два года назад. Но на самом деле я очень ленивый и просто не могу заставить себя заниматься тем, что мне перестало быть интересно

Последний раз такое ощущение у меня было где то в 15-16 лет, когда я только узнавал "философию" или маленький кусок того, что из себя представляет философия

Вне зависимости от того, что из этого получится, я очень рад, что удалось вернуться к этому ощущению – но всегда можно лучше

???

люди умирают и умирают отвратительным образом.