Лайфхаки для дебетовых карт: как экономить и защитить баланс
24.08.2025 —
Прогрессивный научный журнал
Есть подозрения
lex_kravetski — 26.08.2025
Дошёл всё-таки до доказательств при помощи Lean — благо мне
подсказали материалы, основанные на примерах.И обнаружил странное: в эту игру можно играть не приходя в сознание.
В том смысле, что я не совсем ещё понял что там чему соответствует и как работает. То есть как это соотносится с реальными суждениями, мне не совсем ясно. А временами неясно совсем. И точно так же мне не совсем ясно, как это на самом деле работает в Lean. А временами… ну… вы знаете.
Однако закономерности всё равно видны, поэтому я настрочил за очень короткий срок штук тридцать доказательств, которые в материалах даются в качестве упражнений.
Выглядит сие очень подозрительно: как будто настолько чистый формализм, что достаточно уметь, скажем так, переставлять строки, а остальное неважно — язык будет рапортовать, что «ура, у нас тут ещё одно строжайшее доказательство». А к таким штукам я отношусь с большим подозрением.
Сохранено
|
|
</> |
Есть подозрения
Оставить комментарий
Популярные посты:
Предыдущие записи блогера :
Архив записей в блогах:
Посмотрела видео, в котором афроамериканец рассказывает о культурном шоке- его в Австралии считают американцем. Не чёрным, потому что в сортах американцев местные не разбираются, а обычным человеком независимо от цвета кожи. Не могут понять, что он угнетённый. ...
© REUTERS/Darrin Zammit Lupi 21.08.2010, Мальта | Во время финала футбольного Суперкубка между командами Биркиркара и Валетта на национальном стадионе в Та Кали.Продолжение сюжета:Фотографии: © REUTERS/Darrin Zammit ...
А знаете вот что? Этот ваш Будда, ну и весь буддизм в целом- они очень неплохо распедалили все за страдание, за муки, которые мы тут все с вами принимаем, за пытку и каторгу, что здесяка с нами происходит. То есть все мы страдаем. Тут хуй поспоришь. Нет никого, кто бы не страдал. Время ...
Историк-алкоголик "Видео трех дурочек-ректоров, которые на слушаниях в Конгрессе отказываются наказывать своих студентов и преподавателей за призывы геноцидить евреев, поскольку «все надо воспринимать в контексте» третий день крутят по всем интернетам планеты. А что они еще могли сказать? ...
Субботнее "дообедье" -- время хороших женщин в зале. Хорошие женщины -- это дамочки неопределенного возраста неопределенных габаритов (вроде, и есть живот, а, вроде, и не очень). У них всегда аккуратные причесочки, которые лет 10 как уже не в моде, ...
