x, y, z

Поиск публикаций: доказательство

Поля поиска:




Запрос:
Номер раздела:
Сортировать:
Публикации: 9
ПубликацияРазделКомм.
Владимир Тихомиров
В докладе на примере геометрий Евклида и Лобачевского будет обсуждаться вопрос о том, что такое математическая истина и что означает «непротиворечивость геометрии». Будет рассказано об эволюции геометрических идей от Фалеса и Евклида до Пуанкаре и Гильберта, а также о специальной теории относительности Эйнштейна и об учебнике А. Н. Колмогорова по геометрии.
Математика ≫ Видео 0 Ø
Лев Беклемишев
Аксиоматические системы, такие как арифметика Пеано и ее фрагменты, являются традиционными объектами изучения в математической логике. В докладе будет рассказано о сравнительно новом подходе к изучению таких систем с алгебраической точки зрения. Будут описаны алгебраические структуры, возникающие при изучении формальной доказуемости, и приведены некоторые применения этих структур к вопросу о порядках роста вычислимых функций для фрагментов арифметики и к построению простых утверждений комбинаторного характера, независимых от аксиом арифметики Пеано. Также будет рассказано о топологической точке зрения на алгебры доказуемости, которая приводит к изучению некоторого интересного класса пространств.
Математика ≫ Видео 0 Ø
Лев Беклемишев
В докладе рассмотрены два класса объектов, имеющих различную природу, но неожиданным образом аналогичные по своим свойствам. С одной стороны, так называемые алгебры доказуемости, возникающие при изучении свойств формальной доказуемости в арифметических теориях. С другой стороны, топологические пространства, наделённые одной или несколькими разреженными топологиями, то есть такими, что любое непустое подмножество X имеет хотя бы одну изолированную точку.
Математика ≫ Видео 0 Ø
Виталий Целищев
Доклад Виталия Целищева "Эпистемология математического доказательства" на конференции "Математика и философия". Научно-популярный фестиваль "Дни науки в Петерьурге" Фонда Династия. Санкт-Петербург, Дом ученых РАН. 21 апреля 2008 года.
Математика ≫ Видео 0 Ø
Алексей Сосинский
Теорема Гёделя, наряду с открытием теории относительности, квантовой механики и ДНК, обычно рассматривается как крупнейшее научное достижение ХХ века. Почему? В чем ее суть? Каково ее значение? Эти вопросы в своей лекции раскрывает Алексей Брониславович Сосинский, математик, профессор Независимого московского университета, офицер Ордена академических пальм Французской Республики, лауреат премии Правительства РФ в области образования 2012 года. В частности, были даны несколько разных ее формулировок, описаны три подхода к ее доказательству (Колмогорова, Чейтина и самого Гёделя), и объяснено ее значение для математики, физики, компьютерной науки и философии.
Математика ≫ Видео 0 Ø
Алексей Семёнов
Попытки дать математические определения понятий формального доказательства, истинности, формализованной деятельности по инструкции привели к построению математической логики и теории алгоритмов — области математики, результаты которой сформировали и продолжают формировать основы информатики и влиять на практическое использование цифровых технологий. Важнейшие результаты данной области, наряду с указанными определениями — это результаты о невозможности, в свою очередь тесно связанные с результатами об универсальности и диагональными конструкциями.
Математика ≫ Видео 0 Ø
Юрий Ершов
Программа Гордона
Доказательность — главнейшая особенность математики, науки, представляющей образцы точности рассуждений. Но понятие доказательства долгое время не имело точного математического определения. О парадоксах в теории множеств и основаниях математики — академик РАН Юрий Ершов.
Математика ≫ Видео 0 Ø
Брайан Дэвис
На протяжении большей части XX столетия в «чистой» математике царило замечательное единодушие относительно того, как нужно представлять результаты. Весь предмет сводился к комплексу теорем, каждая из которых, в конечном счете, выводилась из фиксированного набора аксиом путем так называемого строгого логического доказательства. В отдельных разделах математики, таких, например, как арифметика Пеано, справедливость аксиоматики выглядела самоочевидной, однако во многих случаях аксиомы попросту очерчивали рассматриваемую область вопросов. Для математиков, если только они не выходили за рамки математики, выступая в роли философов-любителей, принципиального различия между изобретением и открытием новых концепций не было.
Математика 0 Ø
Янов Ю. И.
В связи с разными точками зрения на природу математики рассматриваются вопросы о метаматематическом понятии истины и возможности убедительного доказательства истинности математических теорем.
Математика 0 Ø