Category: наука

Типа резюме

Федотов Валерий Павлович



Анкетные данные


Родился 26 июля 1951г. в Ленинграде.
Оба родителя — русские (дальние предки происходят из Тургиновской и Елисеевской волостей Тверской губернии), оба — участники войны и ветераны труда, состояли в КПСС с 1940-х годов до 1991г.

Образование


В 1968г. окончил 239 физ.-мат. школу в Ленинграде и стал победителем Х Международной математической олимпиады.
В 1973г. с отличием окончил математико-механический факультет Ленинградского госуниверситета. Специальность — математика. Основная специализация — геометрия. Дополнительная специализация — математическое обеспечение ЭВМ. Специализация по индивидуальному учебному плану (научный руководитель — проф. И.В.Романовский) — исследование операций.
В 1979г. окончил идеологический факультет Университета марксизма-ленинизма при Карельском обкоме КПСС.

Научная квалификация


В 1980г. утверждён в учёной степени кандидата физико-математических наук. Защита прошла годом раньше в Институте математики Сибирского отделения АН СССР. Специальность — геометрия и топология. Научный руководитель — проф. В.А.Залгаллер.
В 1999г. избран член-корреспондентом Международной академии информатизации.
Автор более 180 научных и методических работ, наиболее значимые из которых выставлены на http://orcid.org/0000-0002-6230-7492 . Большинство публикаций относится к математике, информационным технологиям, методологии и методике их преподавания, а также к методам машинного обучения и применению математического моделирования в естественных науках и гуманитарной сфере.

Знание языков


Русский — в совершенстве. Украинский — родной, но без знания орфографии.
Английский — школьный курс + кандидатский минимум. Французский — госэкзамен на матмехе ЛГУ. Испанский изучал факультативно в течение года на филфаке ЛГУ.
В 1972-97гг. был внештатным референтом РЖ «Математика», где опубликовал более трёхсот рефератов на статьи, оригиналы которых были опубликованы на названных выше языках, а также немецком, румынском, польском и др.
В начале 1990-х годов разработал авторскую методику матричного обучения иностранным языкам с целью развития математических и общеинтеллектуальных способностей в раннем возрасте. На базе одной из библиотек в Иванове была организована «Школа иностранных языков», в которой моя методика получила экспериментальное подтверждение.

Педагогический опыт


Первые математические кружки начал вести на общественных началах ещё будучи школьником. В студенческие годы был общественным директором ЮМШ при ЛГУ, секретарём и зам. председателя жюри Ленинградской городской математической олимпиады школьников.
В 1995-2000гг. был куратором проекта «Международный заочный математический кружок» в СПб и России, под который в 1998г. получил грант фонда Сороса.
Лауреат международного конкурса «Дистанционный учитель» 2000г.
В 2001г. инициировал проведение международной математической олимпиады «Третье тысячелетие» в формате 2 тура Соросовских олимпиад, проведение которых прекратилось в 2000г. До 2013г. возглавлял жюри олимпиады «Третье тысячелетие», которая на протяжении ряда лет собирала до миллиона участников из 40-60 стран.
Стаж работы в вузах — более сорока лет. В том числе, на штатных должностях по конкурсу: ИТМО с 2006 по 2017гг., где читал лекции по теории искусственного интеллекта, системному анализу, теории случайных процессов и др., Северо-западный институт печати с 2000 по 2010гг. (информационные технологии, включая интернет), Ивановский госуниверситет с 1985 по 1995гг. и Петрозаводский госуниверситет с 1976 по 1981гг. (общий курс высшей математики и спецкурсы по геометрии) и др.
В числе моих учеников: народный учитель РФ С.Е.Рукшин, сотни докторов наук, бизнесмены, депутаты и пр.

Политический опыт


В годы перестройки входил в состав оргкомитетов по подготовке учредительных съездов ряда неформальных движений общероссийского и союзного уровня. В 1990г. баллотировался в народные депутаты РСФСР по Ивановскому национально-территориальному округу. В 1991г. вошёл в топ-100 политиков СССР и был выдвинут движением «Демократическая Россия» в числе кандидатов на пост губернатора Ивановской области. В 1992-95гг. возглавлял региональное отделение Российского движения демократических реформ (по Ивановской, Владимирской, Костромской и Ярославской областям). В 1993г. баллотировался в ГосДуму РФ по Ивановскому территориальному округу и в составе федерального списка Российского движения демократических реформ (лидер — А.А.Собчак), а в 1995г. — в составе федерального списка «Возрождение отечества» (лидер — Э.Э.Россель).

Журналистский опыт


В годы перестройки регулярно публиковался в газетах Ивановской и соседних областей. Единичные публикации в СМИ общероссийского и союзного уровня.

Опыт программирования


Программировать в машинных кодах начал с 1964г. Ассемблер М-222 изучал в ЛГУ под руководством проф. С.С.Лаврова. В 1970-е годы работал в НТО «Ленсистемотехника» (оптимизация транспортных сетей) и СКБ Аналитического приборостроения АН СССР (распознавание образов в задачах масс-спектрометрии).
В 1987г. занял первое место после призовых на первом и последнем в СССР конкурсе школьных учебников по Основам информатики и вычислительной техники. В качестве утешительного приза Минпрос СССР выделил учебный класс КУВТ «Ямаха», на базе которого в Иванове был создан «Дом компьютерной техники». Фрагменты учебника в 1989г. были опубликованы в журнале «Информатика и образование».
В начале 1990-х годов попытался изложить грамматику русского языка в форме алгоритма на языке Basic-MSX. Законченный фрагмент этой работы — программа «Грамотей». Всего две страницы её кодов служили полной функциональной заменой примерно четверти огромного тома «Грамматического словаря» А.А.Зализняка.
На рубеже тысячелетий вместе со своими учениками опубликовал серию работ, посвящённых информационным системам счисления. Придуманные мною башенные системы счисления позволяют резко расширить диапазон доступных для вычисления чисел, повысить точность вычислений в случаях её критичной потери, создать новые методы шифрования и пр. Недавний прорыв на этом направлении позволяет надеяться на реализацию этой затеи «в железе».
Около 2010г. консультировал группу разработчиков систем видеораспознавания.

Опыт в социальных сетях


Оба моих аккаунта в Живом Журнале долго держались в топ-200 рейтинга. После взлома первого из них «легендарным хакером Хэллом» обучил команду студентов из института печати активным методам защиты информации в интернете и программированию чат-ботов. Позднее провёл эксперимент, в ходе которого около сорока чат-ботов на протяжении многих месяцев входили в топ-3000 рейтинга.
Создатель и модератор сообщества «История и культура Ингерманландии» в Живом Журнале.

promo nemihail 13:00, вчера 271
Buy for 20 tokens
Когда происходит смена власти или развал страны, действует только одно правило... Фото: Яндекс Картинки Во время развала или революции никого не щадят и никого не жалеют, а банальные провокации можно легко спутать с идеологической или национальной травлей. Мы с вами прямо сейчас становимся…

Из истории доказательных рассуждений

С http://scipro.ru/conf/proceedings_17122019.pdf (стр. 31-38):

Этот текст представляет собой весьма тенденциозную подборку малоизвестных фактов из истории математики. Коллекция была собрана в качестве иллюстраций для лекционных курсов «Теория искусственного интеллекта» и «Математическая логика и теория алгоритмов», которые автор читал в университете ИТМО в 2006-17гг. Даже в качестве «давно забытого старого» автор не претендует на исторические открытия, но берёт на себя всю полноту ответственности за интерпретации.
Collapse ) Более половины своей истории геометрия обходилась вообще без доказательств. «Измерение земли» оставалось такой же эмпирической естественной наукой, как и весьма близкие география или астрономия.
Collapse ) Как и по-русски, в большинстве языков глагол «доказать» имеет несколько совершенно разных смыслов, что часто становится причиной их путаницы [14]. Первоначально истина рождалась в споре. Доказывание происходило в диалоге, формат которого складывался постепенно по мере накопления опыта убедительных рассуждений. Если оппонент соглашался с высказанным тезисом, то докладчик сразу переходил к следующему. Но возражения требовали детализации аргументов и их обосновывания.
Collapse ) Наконец, появились изданные массовыми тиражами учебники. В них структурированный текст исходных доказательств превратился в линейный текст, который ученику надлежало заучить и художественно продекламировать, даже не вникая в суть. От первоначальных смысла глагола «доказать» и цели убедить оппонента не осталось ничего.
Но вернёмся к античной геометрии. Радикальный переворот в ней совершил Гиппас Метапонтский (ученик Пифагора, которого по-русски часто называют Ипатием). Его теорему можно найти мелким шрифтом в некоторых школьных учебниках алгебры. На современном языке она утверждает иррациональность квадратного корня из двух [9]. Collapse )
Но как только практика перестаёт быть критерием истины, так сразу появляется возможность поставить под сомнение любое из «очевидных» утверждений. С другой стороны, в основе любой науки должны лежать какие-то общепризнанные соглашения. Это побудило Евклида (вслед за Евдоксом) формулировать определения, аксиомы и постулаты. В отличие от самого Евклида, его ученики и последователи не до конца осознали их роль, что привело к растянувшимся на две тысячи лет попыткам «очистить Евклида от пятен». Collapse )

Как Книги Писания и Природы предвосхитили теорию множеств

Протоиерея Кирилла Копейкина я знаю уже лет дцать по его ярким выступлениям на многих конференциях. Блестящий физик стал затем успешным богословом. Содержательная часть его доклада на конференции "Развитие научно-философского наследия Георга Кантора" началась с провокационного вопроса: "Почему Ньютон появился именно в Англии, а не в Китае?"
Действительно, для старта промышленной революции нужны три вещи: компас, порох и книгопечатание. Но все три были изобретены именно в Китае, а европейцами лишь украдены. Кстати, само это наблюдение тоже было украдено: Марксом у Бэкона. Последнему принадлежит и более важная мысль: "Бог дал нам две книги: Книгу Писания, в которой раскрывается воля Божия, а затем - Книгу Природы, раскрывающую Его могущество".
Эта цитата раскрывает суть конфликта Галилея с инквизицией. Мало кто знает, что за отсутствием достоверного доказательства (теперь оно как бы есть, но Галилей не сумел его предъявить), инквизиция запретила ему пропагандировать не только тезис о вращении Земли вокруг Солнца, но и прямо противоположный тоже запретила. Причина в том, что Галилей посмел утверждать, что математическое познание по объективной достоверности равно божественному. Но именно этот тезис инквизиторы сочли ересью.
Главный аргумент церкви в этом споре: Бог сотворил мир из ничего. И очень долго в опыте людей не находилось ничего подобного. Пока не появился Кантор, давший миру пустое множество. Именно из этого "ничего", Кантор затем строит натуральные числа и всю математику (моё добавление: в противоположность тезису Кронеккера, будто Бог создал натуральные числа).
IMG_20191122_134546
(С) Фотография Федотова (matholimp) Валерия Павловича 22 ноября 2019 года.

Развитие научно-философского наследия Георга Кантора

Международный Математический Конгресс в Санкт-Петербурге запланирован только на 2022 год, но подготовительная программа уже началась. В частности, 22-23 ноября Смольный институт проведёт конференцию под названным выше заголовком.
Некий курьёз состоит в том, что Кантор родился в нашем городе, хотя (кроме самого факта рождения) не имеет к его истории и культуре ни малейшего отношения. Годовщина рождения Кантора совсем не круглая, а столетие смерти прошло уже более полутора лет назад. Но круглая дата, связанная с Кантором всё же есть: полтора века назад стартовала его научно-педагогическая деятельность, в самом начале которой Кантор создал наивную теорию множеств. Сначала эта теория произвела сенсацию в математическом мире и заслужила весьма лестные оценки, но четверть века спустя была признана грубо ошибочной.
Мой доклад "Двойственность Галуа, как основа корректной классификации" запланирован на субботу.

Перспективы распределённых реестров

После того, как думаки фактически запретили криптовалюты в РФ, развитие блокчейн-технологий ушло в другие сферы: отслеживание поставок (в том числе, на РЖД и с пересечением таможенных границ), электронные профили (портфолио компетенций), избирательные кампании и пр.
IMG_20191115_153830
(С) Фотография Федотова (matholimp) Валерия Павловича 15 ноября 2019 года.
В продолжение https://matholimp.livejournal.com/1820849.html .

Заявка на лидерство

В заголовке поста первые три слова, произнесённые три минуты назад на первом телеканале РосТВ. Нет, я сам перестал смотреть телевизор ещё 20 лет назад. Но жена позвала меня покомментировать ей про запредельный нарциссизм доцента Соколова. Продолжение не заставило себя ждать.
Куда же пропала наша знаменитая карательная психиатрия? Срочно бегом в Кремль!

Закат на Лесной

Сегодня в очередной раз по моей глупой башке ударил практикум по теории вероятностей. Планируешь одно, а огребаешь...
Утро началось со звонка средней дочке, надо ли забрать внучку из садика. Ладно, зять пока ещё здесь, а не в горячо "любимом" (ТМ) Северодвинске. Задним числом очень хорошо, что я даже не начал домогаться.
В институте зачёт у внезапно перекинутой мне не моей группы внезапно оказался экзаменом. Ладно, нам и такая беда - не беда. А уж если владеть "передовой методикой" (кавычек злобно не жалеть!)!
И возникла иллюзия, будто всё складывается, как никогда прекрасно. И я уже начал заходить в "Яндекс-Электрички", ради поиска вариантов выехать на огород. Размечтался! Да, по хорошей погоде.
Но на выходе из института меня (внезапно!) поймала уже пятая за полгода моя здесь деканша. И в ультимативной форме потребовала заполнить все журналы с проведёнными мною занятиями, ибо буквально завтра понаедет проверка. "Прощай, лето!" (ТМ)
"Я стар, я устал..."
Да, я суперстар.
IMG_20191028_170913
(С) Фотография Федотова (matholimp) Валерия Павловича 28 октября 2019 года.

Дорога к дому -1. Рефлексия

Если собственная лень или внезапный дефицит времени не пересилят желание дописать этот текст до самого конца, то я хотел бы зафиксировать всё это для самого себя на будущее. Этот и несколько последующих постов - вовсе не отчёт о поездке и не запоздалые путевые заметки. Пока ещё свежи воспоминания, я хотел бы продлить их, чтобы понять многое позже.
На протяжении уже нескольких десятков лет в числе преподаваемых мною дисциплин значится "Теория принятия решений". В своих лекциях я раскрываю лишь одну её сторону: математический аппарат, которым пользуются эксперты. Другая сторона стыдливо называется "человеческим фактором". О ней в лекциях лишь несколько фраз, как и почему ЛПР слишком часто кладут рекомендации экспертов коту под хвост.
Но тут я оказался сам себе ЛПР вместе с собственным человеческим фактором. Против стихии внезапных сиюминутных обстоятельств, побуждающих меня принимать решения, как потом выясняется, весьма далёкие от оптимальных. Как такое произошло? Почему?

Математические основания интеллекта

Собрал в единую программу избранные сюжеты своих лекций 2007-17гг. по "Теории искусственного интеллекта" для трёх потоков ИТМО. Несколько месяцев назад эксперты поставили ИТМО на первое место среди российских вузов по направлению "Искусственный интеллект". В тот момент я уже не работал в ИТМО, но тестировали моих бывших студентов.

1. Из истории доказательных рассуждений.
Как математика стала «сверхъестественной» наукой (Египет, Фалес, Пифагор, Гиппас). Алгебраические и философские аспекты «Логики» Аристотеля. Пятый постулат от Евклида до Римана. Теоретико-множественный подход против традиционного (Паш, Кантор, парадоксы, Гильберт, Гёдель, Коуэн). Минимум сведений из общей педагогики и теории искусственного интеллекта. Эволюция понятия машинного обучения. Основные алгоритмы машинного обучения. Современные трактовки глагола «доказать».

2. Двойственность Галуа.
Основные термины и операции теории множеств. Классификатор. Способы задания множеств . Двойственность между элементами множеств и их свойствами. Теорема Галуа. Построение замыканий. Примеры двойственности Галуа в различных математических дисциплинах (алгебра, топология, выпуклость). Требование замкнутости структурных единиц корректно построенной классификации и примеры его нарушений в естественных науках и гуманитарной сфере (вид, национальность). Биологический интеллект. Словари и задача машинного перевода.

3. Понятие информации.
Общеизвестные подходы и их слабые места. Информация как мера снятия неопределённости. Структурные уровни материального мира. Конструкция Белошапки. Байесовские интеллектуальные технологии. Хроногеометрические модели.

4. Системы счисления и их классификация.
Представление числовой информации. Римская запись и её аналоги. Основные системы счисления (в том числе, с основаниями 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 16, 20, 27, 32, 40, 60, 64). Признаки делимости. Двойные и сложные системы счисления (2-8, 2-16, 2-10, 10-1000; дата-время, факториальная, фибоначчиевская). Следы использования разных систем счисления в некоторых естественных языках.
Информационные, интервальные и вероятностные системы счисления. Золотая система счисления. Система счисления Штерна-Броко. Башенные системы счисления и логарифмическая тригонометрия.

5. Прямые алгоритмы.
Операции с многозначными числами в основных и других системах счисления. Алгебраические уравнения и системы. Полилинейные функционалы и их диагонали. Многогранники Ньютона и смешанные объёмы. Теорема Безу и её уточнение. Интегрирование систем однородных дифференциальных уравнений в частных производных в случае малого числа решений характеристической системы.

6. Моделирование языка.
Формализация фраз естественного языка. Модели Р.И.Пименова.
Объекты и имена, признаки и глаголы, указатели и союзы в естественных языках и их аналоги в языках программирования.

7. Матричные методы обучения.
Матрицы в алгебре и многомерные массивы в языках программирования. Матричные многоязычные словари. Матричная методика обучения иностранным языкам (история и основные принципы). Логические матрицы совместимости существительных с прилагательными или глаголами. Проверка двойственности с помощью логических матриц.
Авторская программа школьного курса. Программа для первого и второго года. Образцы матричных упражнений. Математические идеи.
Фиксация овладения иностранными языками в лексических матрицах. Адекватность перевода художественного текста: синонимия, омонимия, игра слов. Использование матричного представления для демонстрации сочетаемости различных терминов. Грамматические матрицы для склонения (спряжения), преобразования одних частей речи в другие и т.п. Пустоты в матрицах как средство мотивации обучения. Построение логических матриц и их использование в различных учебных дисциплинах.

Как важно не перепутать!

Автор поста https://matveychev-oleg.livejournal.com/9122039.html (профессор, между прочим, некоторое время занимавший высокие административные посты) явно не знаком с теорией катастроф в изложении покойного академика В.И.Арнольда. Принадлежащий самому Арнольду один из наиболее ярких примеров катастрофы называется "маньяк-гений". Арнольд показал, что гениальные идеи безжалостно отвергаются "общественным мнением"(ТМ) подавляющего большинства, которое составляют профаны. Поэтому 99,99% гениев неспособны доказать свою гениальность из-за дефицита маниакальной упоротости доказывать её. Тогда как оставшиеся 0,01% обречены стать изгоями.
Весьма выразительным примером (раскрывшимся уже после изложения Арнольдом его версии теории катастроф) стал другой великий математик - Григорий Перельман. Его маниакальности хватило для того, чтобы попасть в десятку признанных гениев нашего времени. Однако, подавляющее большинство российских обывателей продолжает считать его сумасшедшим. Идеальный пример для моей любимой поговорки: "Важно не перепутать, с которой стороны от забора находится дурдом".

UPD. При этом сам Арнольд вдохновлялся примером третьего великого математика - А.Т.Фоменко. Даже математики очень долго считали Фоменко только талантливым художником из-за того, что его карьера началась с рисования уникальных иллюстраций к учебнику гомотопической топологии Рохлина и Фукса. Но если математические работы Фоменко теперь общепризнанны, то его вклад в историю пока ещё отвергают 99,99% историков.