↑↑↓↓←→←→ⒷⒶ Войти !bnw Сегодня Клубы
УНЯНЯ. У нас есть немножечко инфы об этом пользователе. Мы знаем, что он понаписал, порекомендовал и даже и то и другое сразу. А ещё у нас есть RSS.
Теги: Клубы:

Сегодня узнал, что Гельфанды-математики и Гельфанд-биоинформатик не просто так имеют общую фамилию, они родственники. И что ударение на 'а', все время сомневался. https://ru.wikipedia.org/wiki/Гельфанд,_Михаил_Сергеевич https://ru.wikipedia.org/wiki/Гельфанд,_Сергей_Израилевич https://ru.wikipedia.org/wiki/Гельфанд,_Израиль_Моисеевич
#LVLYOP (2) / @ckorzhik / 1931 день назад
>А сложность в том, что классический матан неконструктивен очень сильно, а первое пригодное для нормальной конструктивной теории определение вещественных чисел появилось всего-то четыре, что ли, года назад. Причём работает только в рамках 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).
#RC5UQ0 (5) / @ckorzhik / 1931 день назад
Наткнулся на новость про присуждение премии Иву Мейеру, в новости было про использование вейвлетов для отпечатков пальцев. Нашел про отпечатки 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/
#CS3832 (0) / @ckorzhik / 1975 дней назад
http://distill.pub/2016/deconv-checkerboard/ Хорошая статья про артефакты при использовании deconv. Сегодня видел артефакты, похожие на halftone dithering https://en.wikipedia.org/wiki/Halftone https://en.wikipedia.org/wiki/Dither#Algorithms
#RTB4CM (1+1) / @ckorzhik / 2086 дней назад
На лекториуме есть замечательный курс по алгебре (лекции Вавилова): https://www.lektorium.tv/course/26552 С одной стороны, начальные требования невысокие, судя по всему, он читает первокурсникам. С другой стороны, он часто использует понятия до того, как определит их, и среди прочих даёт примеры, которые людям, далёким от математики, вряд ли будут понятны. В какой-то книге говорилось примерно так: "непонятно - иди дальше". Лучше так и делать. Ещё интернетах можно найти его книги (незаконченные), но люди пишут, что он почему-то не хочет распространения этих книг.
#GHHFA0 (1+1) / @ckorzhik / 2454 дня назад
>Во время Второй мировой войны венгерский математик Пал Туран вынужден работать на кирпичной фабрике, толкая тележку, гружёную кирпичами, от обжиговых печей в склады. На фабрике имелись колеи от каждой печи до каждого склада, и тележку труднее толкать в местах пересечения колей, что привело Турана к постановке задачи кирпичной фабрики: каково минимальное число пересечений рисунка полного графа? В общем случае проблема ещё не решена. https://ru.wikipedia.org/wiki/Число_пересечений_(теория_графов) или https://en.wikipedia.org/wiki/Crossing_number_(graph_theory)
#CZQY5I (0+3) / @ckorzhik / 2460 дней назад
http://mathforum.org/mathimages/index.php/Dihedral_Groups - диэдрические группы и их связь с музыкой https://www.maa.org/sites/default/files/pdf/upload_library/22/Hasse/Crans2011.pdf - некий папир на эту же тему
#EIDN39 (0) / @ckorzhik / 2781 день назад
http://mathforum.org/mathimages/index.php/Main_Page - математика в картинках
#CBK4DD (0) / @ckorzhik / 2781 день назад
#GW9O00 (0) / @ckorzhik / 2803 дня назад
http://www.ega-math.narod.ru/Singh/Cantor.htm - Георг Кантор и рождение теории трансфинитных множеств
#LZ91I5 (0) / @ckorzhik / 2822 дня назад
Сегодня рассказывали про циклические группы, про периодические последовательности, элементами которых являются элементы группы, про то, как из одной последовательности сгенерировать последовательность с бОльшим периодом. При этом использовались термины вроде "характеристический элемент последовательности". Встречались ли вы с таким матанцом?
#ZBREFN (10) / @ckorzhik / 2872 дня назад
ipv6 ready BnW для ведрофона BnW на Реформале Викивач Котятки

Цоперайт © 2010-2016 @stiletto.