x, y, z

Поиск > Публикации: теория_множеств

Поля поиска:




Запрос:
Номер раздела:
Сортировать:
Публикации: 29
|1|2| >>>
ПубликацияРазделКомм.
Макар Светлый
Потенциальная и актуальная бесконечность. Наивная теория множеств Кантора. Мощность. Парадоксы теории множеств. Интуиционизм, логицизм, формализм. Теория доказательств. Программа Гильберта. Аксиоматики ZFC, ZFD, NBG. Полнота и непротиворечивость формальных систем, теоремы Геделя. Современное состояние оснований математики.
Математика ≫ Видео 0 Ø
Станислав Шапошников
Множества. Функции. Отношения эквивалентности и порядка. Вещественные и комплексные числа. Числовые последовательности и ряды. Метрические пространства. Сепарабельность. Полнота. Пополнение. Вещественные и pадические числа пополнения рациональных чисел. Топология вещественной прямой. Теорема Бэра. Компакты. Множество Кантора. Непрерывные функции и их свойства. Фундаментальная группа окружности. Поточечная и равномерная сходимость последовательности функций. Топологические пространства. Топология поточечной сходимости. Производная и дифференциал. Производные высокого порядка. Формула Тейлора. Интеграл. Теорема Лиувилля об интегрируемости в элементарных функциях.
Математика ≫ Видео 0 Ø
Валерий Опойцев
Комплексные числа: Как возникают и что обеспечивают. Как введение «странных» объектов проливает свет на реальные проблемы. Теория вещественных чисел: Пополнение прямой. Сечения Дедекинда. Зачем это нужно. Системы счисления: Что говорил Плутарх. Позиционная запись чисел. Десятичная система, двоичная. Игра «Ним» на шахматной доске. Двоичный выигрывающий алгоритм. Множества и операции: Наивная теория множеств. Сходство и различия с арифметическими операциями. Булевы структуры. Какими моделями их можно наполнять. Как эти модели перекликаются. Математическая индукция: Аксиома Пеано. Механизм индукции. Примеры.
Математика ≫ Видео 0 Ø
Александр Буфетов
В стандартной интерпретации гёделева неразрешимая формула A означает «не существует вывода формулы A», то есть утверждает свою собственную невыводимость в системе S. Таким образом, A является аналогом парадокса лжеца. Рассуждения Гёделя в целом очень похожи на парадокс Ришара. Более того, для доказательства существования невыводимых утверждений может быть использован любой семантический парадокс.
Математика ≫ Видео 0 Ø
Илья Егорычев
Любая научная теория содержит в себе модель, которая описывает ту или иную часть нашего мира и не важно, идет речь о физике или биологии. Для построения любых моделей используются строгие математические принципы, изучив которые можно понять, сколь невероятной полнотой и прогностической силой обладают научные теории. И в основе всего этого лежит математика — наука, которая может строго, но при этом лаконично и полно, описать любую научную теорию, ведь принципы, на которых она строится, невероятно глубинны и фундаментальны. Математика — не наука о числах или уравнениях, которые требуется запомнить, а фундаментальные закономерности мышления, которые мы обнаруживаем в самих себе. В ходе курса мы познакомимся и изучим: Аксиоматический метод; Формальные теории; Изоморфизмы; Модели в логике, физике, биологии.
Математика ≫ Видео 0 Ø
Галина Синкевич
Труды Кантора в России начали переводить и пересказывать с 1892 года в Одессе, Москве, Томске, Казани, Петрограде. Идеи теории множеств были с энтузиазмом восприняты в России как математиками, так и философами, в их популяризации приняли участие такие известные учёные, как И.Ю. Тимченко, С.О. Шатуновский, А.В. Васильев, П.А. Флоренский, Б.К. Млодзеевский, В.Л. Некрасов, И.И. Жегалкин, П.С. Юшкевич-отец, А.И. Фет, А.П. Юшкевич-сын, А.Н. Колмогоров, Ф.А. Медведев. В Москве в 1911 году возникла школа теории функций и дескриптивной теории множеств. В 1970 году академик Понтрягин оценил теорию множеств как ненужную для молодых математиков, и подготовленный перевод трудов Кантора не вышел в свет. Мы впервые расскажем о трагической судьбе этого перевода.
Математика ≫ Видео 0 Ø
Михаил Раскин
В теории множеств есть несколько известных вопросов о том, следует ли из некоторых аксиом другая аксиома (или гипотеза; аксиома — это просто гипотеза, которой пользуется подавляющее большинство). Как и в других областях математики, недоказуемость можно продемонстрировать с помощью модели, в которой верны предположения, но не верна гипотеза. Для построения одного из самых известных таких примеров, модели теории множеств, в которой есть промежуточная мощность между мощностями натурального ряда и вещественной прямой, Коэн разработал метод вынуждения.
Математика ≫ Видео 0 Ø
Джордана Цепелевич
Всякая надежда на создание единой математической теории, амбициозного проекта, который был предложен математиком Давидом Гильбертом в 19 веке и продолжил существовать, поддерживаемый многими, в 20 столетии, рухнула. Основы математики были далеко не столь надежными, как того хотел бы Гильберт. А Гëдель своими теоремами ясно продемонстрировал, что любая система аксиом, какой бы обширной она ни была, уязвима для возникновения невосполнимых пробелов. Попытки же восполнить их созданием более полной системы породили бы только бóльшее количество утверждений без доказательств — так что и тут возникнет необходимость в усовершенствовании системы, и так далее до бесконечности. И случилось нечто странное: математики решили не обращать на это внимания. Они посчитали, что неполнота систем не имеет непосредственного влияния на их работу.
Математика 0 Ø
Михаил Раскин
Современная математика в качестве своего основания использует теорию множеств. Традиционно при анализе теоретико-множественных тонкостей используется аксиоматика Цермело-Френкеля с аксиомой выбора, обозначаемая ZFC. На аксиому выбора опираются доказательства наличия базиса в любом векторном пространстве и существования неизмеримого множества в математическом анализе. К сожалению, теория множеств обязана работать и со множествами, которые не описываются достаточно подробно и конкретно, чтобы мы могли себе их представить. В курсе будет рассмотрен один пример, к чему это приводит. Оказывается, ценой ослабления аксиомы выбора можно получить теорию множеств, в которой любая ограниченная функция на отрезке интегрируема по Лебегу. То, что используется аксиома выбора, в каком-то смысле, произошло исторически. Курс основан на статье Р.М. Соловэя о построении теории множеств, в которой все множества вещественных чисел измеримы.
Математика ≫ Видео 0 Ø
Михаил Раскин
Все мы знаем, что математика доказывает импликации. Другими словами, мы доказываем не то, что какое-то утверждение верно, а то, что оно следует из принятых нами аксиом. Но при этом часто недооценивается, насколько сильно можно поменять набор аксиом. Одно из базовых понятий математики, на которых видна степень условности выбора конкретного набора аксиом – понятие множества. Сначала оно казалось совершенно очевидным. К сожалению, этот подход привёл к противоречиям. После этого стали развиваться разные способы работать со множествами не приходя к парадоксам. Понятие множества используется во многих разделах математики, из-за чего работать со множествами обычно учат постепенно, по кусочкам добавляя факты как естественные и самоочевидные основы, пока не получится теория, носящая имя ZFC. Из-за этого часто оказывается заметён под ковёр тот факт, что ZFC лишь один из возможных вариантов и что замена оснований теории множеств совсем не обязана рушить другие разделы математики. Курс будет посвящён рассказу о том, что может быть проблемой при пользовании какой-то аксиоматикой и сколь разнообразны варианты. Предварительные требования будут изменены в соответствии со знаниями и интересами аудитории; я надеюсь, что обозначения →, ∀, ∨, ∈, ∈, ∪, … всё же всем знакомы и привычны настолько, что ошибочно кажутся понятными.
Математика ≫ Видео 0 Ø
Мария Саямова
Математика отличается прежде всего неопределенностью предмета исследования. Объект, который она изучает, имеет ускользающую природу: вроде бы математика не занимается исследованием реального мира, и в то же время без математики его понимание невозможно. Один из подходов к обоснованию предмета математики получил название математического платонизма. Насколько он плодотворен и полезен с когнитивной точки зрения?
Математика 1 Кирилл Иванов
20 Дек 2021 09:26:25 >>>
Алексей Сосинский
Курс занятий посвящен тому, что в математике сделать нельзя. Но речь пойдет не о запрещенных действиях (типа деления на ноль или квадратуры круга), а об отсутствии общих методов для решения некоторых широких классов задач. Начиная от определения вычислимой функции (через машину Тюринга), мы узнаем про существование универсальной вычислимой функции, и как следствие – о существовании не вычислимых функций. Отсюда мы поймем, какие задачи никакой компьютер (даже сколь угодно мощный) решить не может в принципе. Затем мы определим «Колмогоровскую сложность» и изучим ряд ее «нехороших» свойств, именно, не вычислимость некоторых связанных с ней характеристик. Эти свойства сыграют решающую роль в доказательстве теоремы Гёделя о неполноте – одного из самых значительных научных открытий ХХ-го века.
Математика ≫ Видео 0 Ø
Леон Тахтаджян
Это будут четыре коротеньких рассказика. Начнем мы с чисел, потом поговорим о движении, об изменении, затем мы обсудим формы и размеры, а затем — начало и конец. В таком несколько зашифрованном стиле мы и попробуем посмотреть на математику изнутри и снаружи, причем именно как на предмет. То, о чем математики мыслят и чем живут, — об этом мы с вами сможем поговорить потом. Мы увидим, что некоторые вещи, которые нам кажутся очевидными, таковыми совсем не являются. Простые вещи могут оказаться сложными, а сложные — простыми.
Математика ≫ Видео 0 Ø
Корректно ответить на этот вопрос нельзя, поскольку числовой ряд не имеет верхнего предела. Так, к любому числу достаточно всего лишь прибавить единицу, чтобы получить число ещё большее. Хотя сами числа бесконечны, собственных названий у них не так уж и много, так как большинство из них довольствуются именами, составленными из чисел меньших. Понятно, что в конечном наборе чисел, которых человечество наградило собственным именем, должно быть какое-то наибольшее число. Но как оно называется и чему оно равно? Давайте же, попробуем в этом разобраться и заодно узнать, насколько большие числа придумали математики.
Математика 0 Ø
Немецкий математик Леопольд Кронекер писал: «Бог создал целые числа, всё остальное — дело рук человека». Число — основное понятие математики, используемое для количественной характеристики, сравнения, нумерации объектов и их частей. Возникнув ещё в первобытном обществе из потребностей счёта, понятие числа с развитием науки значительно расширилось.
Математика 1 arshak
12 Мар 2018 20:00:15 >>>
Парадоксы являются следствием дихотомии языка и мышления, выражением глубоких диалектических (теорема Гёделя позволила проявить диалектику в процессе познания) и гносеологических трудностей, связанных с понятиями предмета и предметной области в формальной логике, множества (класса) в логике и теории множеств, с употреблением принципа абстракции, позволяющего вводить в рассмотрение новые (абстрактные) объекты (бесконечность), со способами определения абстрактных объектов в науке и т. п. Поэтому не может быть дано универсального способа устранения всех парадоксов.
Математика 0 Ø
Виктор Викторов
Основные понятия, операции над множествами, тождества, свойства дополнения, правило Де Моргана, свойства симметрической разности; отображение (функция), факторотображение, отношение эквивалентности, парадокс брадобрея; упорядоченные множества, минимальный, наименьший, максимальный и наибольший элементы в упорядоченном множестве, мажоранта и миноранта; аксиома выбора, вполне упорядоченное множество.
Математика ≫ Видео 0 Ø
Иван Ященко
При развитии теории множеств, на которой базируется вся современная математика, возникали парадоксы. Например, парадокс брадобрея, формулируемый следующим образом: «Бреет ли себя брадобрей, если он бреет тех и только тех, кто сам себя не бреет?» В брошюре рассказывается о том, как теория множеств обходится с подобными ситуациями, а также о других парадоксах, в том числе возникающих при рассмотрении аксиомы выбора. В частности, вы узнаете, как из одного апельсина сделать два. Приведены задачи, самостоятельное решение которых поможет читателю более полно разобраться в материале. Брошюра рассчитана на широкий круг читателей, интересующихся математикой: школьников старших классов, студентов младших курсов, учителей.
Математика ≫ Книги 0 Ø
Юрий Лебедев
Когда у меня в руках оказалась старая картонная папка, я был уже уверен, что в ней не вырезки из газет о «царице полей» кукурузе. И совершенно не удивился тому, что моя уверенность оправдалась. В папке находились рукописи или, точнее, черновики двух статей — «Принципы семиотической термодинамики», «Отказ от исключения» — и целая пачка других, для прочтения которых потребуется еще много усилий. Ни имени автора, ни даты написания на листках не было. Вероятнее всего, папку забыл кто-то из «дикарей» прошлых лет. Не имея возможности объясниться с автором, я решил предложить вашему вниманию свой вариант расшифровки одной из этих до крайности небрежно написанных неудобочитаемым почерком статей.
Математика 0 Ø
Жан-Мишель Кантор
Лекция Жана-Мишеля Кантора "Философские истоки начала теории множеств" на конференции "Математика и философия". Переводит Алексей Семихатов. Научно-популярный фестиваль "Дни науки в Петербурге" Фонда "Династия". Санкт-Петербург, Дом ученых РАН. 21 апреля 2008 года.
Математика ≫ Видео 0 Ø
|1|2| >>>