Сегодня узнал, что Гельфанды-математики и Гельфанд-биоинформатик не просто так имеют общую фамилию, они родственники. И что ударение на 'а', все время сомневался. https://ru.wikipedia.org/wiki/Гельфанд,_Михаил_Сергеевич https://ru.wikipedia.org/wiki/Гельфанд,_Сергей_Израилевич https://ru.wikipedia.org/wiki/Гельфанд,_Израиль_Моисеевич

>А сложность в том, что классический матан неконструктивен очень сильно, а первое пригодное для нормальной конструктивной теории определение вещественных чисел появилось всего-то четыре, что ли, года назад. Причём работает только в рамках HoTT, делать которую вычислительной научились всего год назад, и не самым элегантным образом (кубическая теория типов, причём её крайне нетривиальная разновидность). Ещё из общих соображений понятно, что там должен работать Propositional Resizing и Judgemental K для обыкновенных индуктивных типов (которые не "высшие"), однако никакого языка, который бы это прямо сейчас умел не существует. Короче это Cutting Edge исследований. >Про то, как работать с вещественными числами, в целом надо читать в https://homotopytypetheory.org/book/ и https://arxiv.org/abs/1610.05072, последнее — довольно новая статья, там более новые результаты и проявлена связь между полуразрешимыми предикатами на вещественных числах (соответствуют открытым множетсвам) и тьюринг-полнотой/частично-вычислимыми функциями (http://www.cs.nott.ac.uk/~psztxa/publ/fossacs17.pdf, http://www.cs.bham.ac.uk/~mhe/papers/partial-elements-and-recursion.pdf).

Наткнулся на новость про присуждение премии Иву Мейеру, в новости было про использование вейвлетов для отпечатков пальцев. Нашел про отпечатки https://books.google.ru/books?id=_u9mYtrgbjwC&pg=PA24&lpg=PA24&dq=Yves+Meyer+fingerprint http://www.ams.org/notices/199511/brislawn.pdf вейвлеты там для сжатия, неудивительно. Погуглил картинки с Добеши, вместо них нашел страничку про женщин в математике https://en.wikipedia.org/wiki/List_of_women_in_mathematics страничку того, кому она помогала с phd https://en.wikipedia.org/wiki/Hearing_the_shape_of_a_drum какой-то сборник лекций https://math.washington.edu/milliman-lecture-archives и блог с картиночками https://mathsbyagirl.wordpress.com/category/pictures-of-maths/

http://distill.pub/2016/deconv-checkerboard/ Хорошая статья про артефакты при использовании deconv. Сегодня видел артефакты, похожие на halftone dithering https://en.wikipedia.org/wiki/Halftone https://en.wikipedia.org/wiki/Dither#Algorithms

На лекториуме есть замечательный курс по алгебре (лекции Вавилова): https://www.lektorium.tv/course/26552 С одной стороны, начальные требования невысокие, судя по всему, он читает первокурсникам. С другой стороны, он часто использует понятия до того, как определит их, и среди прочих даёт примеры, которые людям, далёким от математики, вряд ли будут понятны. В какой-то книге говорилось примерно так: "непонятно - иди дальше". Лучше так и делать. Ещё интернетах можно найти его книги (незаконченные), но люди пишут, что он почему-то не хочет распространения этих книг.

>Во время Второй мировой войны венгерский математик Пал Туран вынужден работать на кирпичной фабрике, толкая тележку, гружёную кирпичами, от обжиговых печей в склады. На фабрике имелись колеи от каждой печи до каждого склада, и тележку труднее толкать в местах пересечения колей, что привело Турана к постановке задачи кирпичной фабрики: каково минимальное число пересечений рисунка полного графа? В общем случае проблема ещё не решена. https://ru.wikipedia.org/wiki/Число_пересечений_(теория_графов) или https://en.wikipedia.org/wiki/Crossing_number_(graph_theory)

http://mathforum.org/mathimages/index.php/Dihedral_Groups - диэдрические группы и их связь с музыкой https://www.maa.org/sites/default/files/pdf/upload_library/22/Hasse/Crans2011.pdf - некий папир на эту же тему

http://mathforum.org/mathimages/index.php/Main_Page - математика в картинках

http://www.ega-math.narod.ru/Singh/Cantor.htm - Георг Кантор и рождение теории трансфинитных множеств

http://juick.com/4DA/1625583 http://erb-files.narod.ru/

Сегодня рассказывали про циклические группы, про периодические последовательности, элементами которых являются элементы группы, про то, как из одной последовательности сгенерировать последовательность с бОльшим периодом. При этом использовались термины вроде "характеристический элемент последовательности". Встречались ли вы с таким матанцом?

http://mathgifs.blogspot.ru/2013/10/conformal-maps.html взято у @4da