Отчет

Вот была такая Meghan Claire Pike, большой авторитет по контактному жонглированию








Лет 15 назад сменила пол, стала мужиком

https://www.youtube.com/@MichaelCadenPike

Надо сказать, мужиком она убедительнее, на девку никак не тянула. Но вот уже скоро восемь лет, как тот мужик ничего нового не выкладывает. Это что, он испортился?

Графт-куеуе, ункуеуе-графт, (куеуе-графт), куеуе-графт, куеуе-унграфт. Перенеся операцию под общим наркозом, хотя всё хорошо, невольно задумался "как бы не унести в могилу накопленные знания". Надо писать ещё учебники, знаний накоплено много. Но возникает педагогическая проблема: если писать как все (намечать идею доказательства и писать "и так далее, заинтересованный читатель пусть разберётся"), почти никто разбираться не будет и деталей не поймёт. Более того, я сам попробовал восстановить доказательство после слов "и так далее" в одной хорошей книжке известного математика и нашёл большую незаделанную дыру (заделать можно, но трудно, заинтересованный читатель сам не заделает). Если же я сам добросовестно выписываю все доказательства, получается трудноперевариваемый (малолегкоусвояемый) кирпич. Учебник теории категорий спасали картинки-диаграммы, которые очень проясняют. Значит, что? Попробуем писать интерактивный учебник! Чтобы критические места подсвечивались, формулы преобразовывались на глазах изумлённого читателя и т.д. Для этого у нас есть язык Factor (на картинке), творение гениального Славы Пестова. И вот сижу, копаюсь в кишках Фактора, пытаясь понять как исправить отладку.

Пишут, что царь Михиракула развлекался, сбрасывая слонов в пропасть

Без боли и рубцов

Сейчас в Иране включат интернет, в телевизоре Ильич "Товаищи! Пголетарская геволюция победила! Всех гасст'елять архибеспощадно!"
Написал про устранение сечения 14 страниц, теперь буду писать теорему о полноте.

В телевизоре один сплошной гомосексуализм.

Ну, с Новым годом на новом месте. Написал ликбез по пруфчекеру Metamath, вставлю его в начале нового учебника

https://www.mediafire.com/file/ygq7hwwo7wxnnou/Metamath.pdf/file

P.S.Вспомнил, что у меня есть видео на эту тему (но сначала ликбез)

https://cloud.mail.ru/public/o9cs/qK8dWVtgJ

Решение суда -- отнять у Лурье деньги, а у Долиной квартиру и всё отдать сиротам.

Предлагаю новую погоду называть "бабья зима".

И действительно, FOM закрылся. Был такой "форум оснований математики" (foundations of mathematics), где собирались старики, заставшие Гильберта и обсуждали древние проблемы.