Помните картинку с четырьмя задротами? https://meduza.io/shapito/2018/04/03/odin-ustroilsya-v-tesla-drugoy-uehal-v-kanadu-kak-slozhilis-sudby-geroev-mema-crazy-it-party > Петр Притыцкий (на снимке второй справа) живет в Канаде со своим мужем, польским математиком. Боже мой, и здесь...

че-т я совсем отупел, помогите посчитать вероятность есть 5 карты, нужно выбрать правильную из них, то есть вероятность 1/5 какая вероятность того, что человек сможет отгадать 7 и более раз из 10 попыток? я уже прогу написал, которая прогоняет это дело и получается примерно 0.1%, т.е. 1/1000, но найти это вручную не получается

Какой формат аукциона равновыгоден как для приобретателя, так и для продавца, и при этом товар достаётся наиболее желающему его человеку?

Сегодня узнал, что Гельфанды-математики и Гельфанд-биоинформатик не просто так имеют общую фамилию, они родственники. И что ударение на 'а', все время сомневался. 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/

TIL particle swarm optimization