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

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

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

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

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

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

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

???

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

> открыл глаза – another fucking day to live
> съел пол кг курицу (не люблю курицу)
> сделал анжумания (не люблю тренировки)
> учеба
> учеба
> учеба
> day ruined

Извлечение философски значимых выводов из использования этого аппарата в математической практике, а также в теоретической концептуализации этой практики является вдвойне нетривиальной задачей.

посвящена чрезвычайно сложному комплексу логико-математических проблем

о сегодня концерт дес грипс

day good

научная смелость и высокая квалификация

more like научная smallость

охуеть количество дел на ближайшие две недели просто зашкаливает надо попытаться не умереть от сердечного приступа в процессе

2 hours to go

> european tour
> only in the UK

mfw

по очереди ходит чел и предлагает всем пончики из dunkin donuts

ебать тут очередь хорошо что я просто занял место в начале и всем похуй

буквально очередь тянется на всю улицу метров 70

death grips

sold out

очередь в туалет?
а может лучше в КАЖДУЮ СУКА КАБИНКУ

направляемся к сцене и жесткому слэму