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

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 лет, когда я только узнавал "философию" или маленький кусок того, что из себя представляет философия

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

???

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

> открыл глаза – 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