429
Obunachilar
Ma'lumot yo'q24 soatlar
-37 kun
-430 kun
Postlar arxiv
429
Я не помню, как я набрел на эту книгу – через модальную ли логику или теорию категорий. Скорее всего рутинно серфил книги по логике в надежде найти то, что меня заинтересует. Много книг было скачено, но немногие из них остались в моей памяти
Два года спустя, эта книга уже не представляется мне как артефакт, написанный на асболютно неизвестном языке. Чтобы понять, что здесь написано, пришлось отложить ее на долгое время. Три раза я начинал ее читать, доходил до 2 главы про зависимые типы и бросал. За это время я успел пообщаться с людьми, понять в чем "selling point" этой книги, удовлетворен ли ей автор на сегодня , etc
Год назад я кое как закрыл сессию, только закончил заниматься восстановлением руки и думал, что все лето буду заниматься логикой и математикой. В результате две трети лета ушло на обмен с Потсдамом, перевод в ЛСЕ и спасение накопленных денег. Чуть чуть логики и математики я все таки узнал
За эти два года (а на самом деле за последний полгода-год), мне кажется, я узнал больше, чем знал за всю предыдущую жизнь. Если конкретнее: узнал, что существует на несколько порядков больше вещей, чем я мог подумать (как в философии, так и в целом)
Можно было бы сказать, что я что-то "урезал", чтобы больше переключиться на эту тему. И на пианино, и на зал, потому что ими я тоже начал заниматься два года назад. Но на самом деле я очень ленивый и просто не могу заставить себя заниматься тем, что мне перестало быть интересно
Последний раз такое ощущение у меня было где то в 15-16 лет, когда я только узнавал "философию" или маленький кусок того, что из себя представляет философия
Вне зависимости от того, что из этого получится, я очень рад, что удалось вернуться к этому ощущению – но всегда можно лучше
429
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.
429
classical logic is inconsistent, not from the logical viewpoint ([falsity] is not provable) but from an algorithmic one
429
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"
429
ТОП 6 ПРИЧИН ИЗ-ЗА КОТОРЫХ КАЧИНСКИ ЕБНУЛСЯ:
1) хотел стать фембоем, но передумал
2) участвовал в (возможно) псиоп эксперименте ЦРУ
3) пропустил шестой класс, что привело к буллингу
4) восемь месяцев ребенком провел на карантине в больнице из-за крапивницы
5) сложная фамилия
6) 0 pussy (см работу "Apology to women" by T. Kaczynski)
429
boo hoo industrial revolution…
BITCH I CAN EAT 15 EGGS A
DAY AND WATCH BACH TUTORIALS ON YOUTUBE BECAUSE OF THE INDUSTRIAL REVOLUTION
429
boo hoo industrial revolution…
BITCH THE ONLY REASON YOU EXIST IS THE INDUSTRIAL REVOLUTION
