25 апреля 2003 г. исполнилось 100 лет со дня рождения Андрея Николаевича Колмогорова.  А. Н. Колмогоров (1903-1987) -– величайший русский математик ХХ столетия, создатель современной теории вероятностей, автор классических результатов в теории функций, в математической логике, топологии, теории дифференциальных уравнений, функциональном анализе, в теории турбулентности, теории гамильтоновых систем. Созданные им школы в теории вероятностей, теории функций, функциональном анализе и теории гамильтоновых систем определили развитие этих направлений математики в ХХ столетии. В истории российской науки его имя стоит рядом с именами М. В. Ломоносова, Д. И. Менделеева  -- ученых, всей своей жизнью прославивших Россию.

Детали см., например, на URL http://www.biometrica.tomsk.ru/kolmogorov/kolmogorov_100.htm

Как со мной связаться.
Дополнительная информация размещена на http://kuzichev.exponenta.ru .
В МГУ информацию для меня можно оставить в аудитории: кабинет истории и методологии математики и механики, раб. тел.: +7 (495) 939-38-60.

Спецсеминар: Проблемы оснований математики работает по четвергам с 16 час. 20 мин., ауд. 16-09, ГЗ МГУ. Приглашаются студенты 1-5 курсов, аспиранты, слушатели ФПК. Первое занятие -- по договоренности.

Спецкурс Новые, колмогоровские основания математики, являющиеся негеделевскими читается по понедельникам с 18 час. 05 мин., ауд. 16-08, ГЗ МГУ. Программа курса.

В МГУ я читаю курс неклассической логики, имеющий связь с проблематикой оснований математики. Разделы курса включают аппликативные вычисления (ламбда-исчисление и комбинаторную логику), построение дедуктивных систем. Курс обеспечен руководствами.

А.С. Кузичев Реализация программы А.Н. Колмогорова по основаниям математики в виде секвенциальной теории Кантора-Чёрча-Генцена (К Ч Г), строящейся ступенчато по А.Н. Колмогорову и А.А. Маркову

[Аннотация. Одновременно решаются две известные проблемы оснований наук: проблема введения логических операторов в алгоритмические комбинаторно полные (ламбда-полные) неразрешимые исчисления Шейнфинкеля–Карри–Чёрча и Центральная проблема Гильберта построения доказуемо полных и доказуемо непротиворечивых оснований классической теоретико-множественной математики.]

А.С. Кузичев Новые колмогоровские теоретико-множественные основания современной математики
[Аннотация. Работа содержит доказательство непротиворечивости всех (известных) теорий (1-го порядка), образующих основания современной математики. Доказательство включает как его неформальную часть историко-методологическое объяснение, почему оно стало возможным только в начале XXI века.
Ранее (в 1970–1990-х гг.) автор получал доказательство непротиворечивости некоторых теорий 1-го порядка, используя алгоритмический аппарат неразрешимых исчислений (но не логических теорий!) чистой комбинаторной логики Шейнфинкеля–Карри или ламбда-конверсии Чёрча. Настоящее доказательство является упрощением по Колмогорову этих доказательств заменой в них неразрешимого алгоритмического аппарата теоретико-множественной переформулировкой каждой теории 1-го порядка.
Доказательство проводится известными школьными комбинаторными средствами. Предлагается единый алгоритм доказательства непротиворечивости каждой известной теории К первого порядка.
О множествах выводов, образующих известные теории (исчисления), и примеры таких теорий см. ниже.]

А.С. Кузичев О негеделевской перестройке арифметики и других аксиоматических теорий первого порядка по Колмогорову. Доказательство их непротиворечивости. -- М.: Издательство механико-математического факультета МГУ, 2004. -- 36 с.
[Аннотация. Работа содержит неожиданный результат -- впервые получено синтаксическое по Гильберту доказательство непротиворечивости известных аксиоматических теорий (исчислений) первого порядка, лежащих в основаниях современной математики. Доказательство проведено известными школьными комбинаторными средствами на основе предварительно предложенной теоретико-множественной (негёделевской) переформулировки по Колмогорову каждой рассматриваемой теории с применением колмогоровской редукции множества (разбитого на бесконечные классы A0, A1, A2, ...) всех выводов теории в логику высказываний. Результаты работы могут быть внедрены в учебный процесс.]

А.С. Кузичев Решение проблемы Гильберта по Колмогорову, опубликованная в Докладах Академии Наук, 2000, том 371, N 3, с. 303-306.
[Аннотация. Предлагается решение по А.Н. Колмогорову представленной Д. Гильбертом проблемы построения полных и непротиворечивых оснований математики формально синтаксически в виде исчисления.]
Статья на английском языке

А.С. Кузичев Вариант формализации канторовской теории множеств, опубликованная в Докладах Академии Наук, 1999, том 369, N 6, с. 740-742.
[Аннотация. В данной работе секвенциальное исчисление M (не гильбертового, а генценовского типа) дает решение задачи Черча -- доказуемо полную и непротиворечиыую формализацию канторовской теории множеств.]
Статья на английском языке.