Scisne?

Поиск публикаций: теоремы_Геделя

Поля поиска:




Запрос:
Номер раздела:
Сортировать:
Публикации: 13
ПубликацияРазделКомм.
Всякая система математических аксиом начиная с определенного уровня сложности либо внутренне противоречива, либо неполна.
Математика 0 Ø
Лев Беклемишев
Какую часть математических доказательств можно поручить компьютеру? Какие существуют виды интерактивных систем поиска математических доказательств? В чем заключается теорема о четырех красках? И как она была доказана? Об этом рассказывает доктор физико-математических наук Лев Беклемишев.
Математика ≫ Видео 0 Ø
Питер Эткинз
Эта книга предназначена для широкого круга читателей, желающих узнать больше об окружающем нас мире и о самих себе. Автор, известный ученый и популяризатор науки, с необычайной ясностью и глубиной объясняет устройство Вселенной, тайны квантового мира и генетики, эволюцию жизни и показывает важность математики для познания всей природы и человеческого разума в частности.
Наука, образование ≫ Книги 22 Влад
27 Мая 2017 07:51:54 >>>
Хотя теория Пенроуза—Хамероффа в последнее время упоминается всё чаще, отношение к ней остаётся весьма сдержанным. Чем же она так плоха? И почему её недостатки до сих пор не отпугнули последователей?
Кибернетика, когнитивистика 5 arganiki
25 Мар 2016 14:55:44 >>>
Иванов Е. М.
Речь в данной работе пойдет о так называемом "геделевском аргументе", который используется как аргумент против возможности создания искусственного интеллекта. Суть аргумента заключается в следующем: полагают, что из теоремы Курта Геделя о неполноте формальных систем вытекает принципиальное различие между искусственным ("машинным") интеллектом и человеческим умом.
Кибернетика, когнитивистика 3 Ян Корчмарюк
15 Дек 2014 00:10:35 >>>
Как развивается научная модель в естественных науках? Накапливается житейский либо научный опыт, его вехи аккуратно формулируются в виде постулатов и образуют базу модели: набор утверждений, принимаемых всеми, кто работает в рамках этой модели.
Математика 0 Ø
Анатолий Вассерман
В 1930 году Курт Гедель доказал две теоремы, которые в переводе с математического языка на человеческий означают примерно следующее: Любая система аксиом, достаточно богатая, чтобы с ее помощью можно было определить арифметику, будет либо не полна, либо противоречива. Не полная система – это значит, что в системе можно сформулировать утверждение, которое средствами этой системы нельзя ни доказать, ни опровергнуть. Но Бог, по определению, есть конечная причина всех причин. С точки зрения математики это означает, что введение аксиомы о Боге делает всю нашу аксиоматику полной. Если есть Бог, значит любое утверждение можно либо доказать, либо опровергнуть, ссылаясь, так или иначе, на Бога. Но по Геделю полная система аксиом неизбежно противоречива. То есть, если мы считаем, что Бог существует, то мы вынуждены прийти к выводу, что в природе возможны противоречия. А поскольку противоречий нет, иначе бы весь наш мир рассыпался от этих противоречий, приходиться прийти к выводу, что существование Бога не совместимо с существованием природы.
Научно-философские вопросы религии и атеизма ≫ Видео 1 Гудвин
2 Мая 2016 18:06:18 >>>
Сосинский А. Б.
Теорема Гёделя, наряду с открытием теории относительности, квантовой механики и ДНК, обычно рассматривается как крупнейшее научное достижение ХХ века. Почему? В чем ее суть? Каково ее значение? Эти вопросы в своей лекции в рамках проекта «Публичные лекции "Полит.ру"» раскрывает Алексей Брониславович Сосинский, математик, профессор Независимого московского университета, офицер Ордена академических пальм Французской Республики, лауреат премии Правительства РФ в области образования 2012 года. В частности, были даны несколько разных ее формулировок, описаны три подхода к ее доказательству (Колмогорова, Чейтина и самого Гёделя), и объяснено ее значение для математики, физики, компьютерной науки и философии.
Математика ≫ Видео 0 Ø
Успенский В. А.
Лекции летней школы «Современная математика», г. Дубна.
Математика ≫ Видео 0 Ø
Успенский В. А.
Лекция посвящена синтаксической версии Теоремы Гёделя о неполноте. Сам Гёдель доказал синтаксическую версию, используя более сильное, чем непротиворечивость, предположение, а именно так называемую омега-непротиворечивость.
Математика ≫ Видео 1 Инт
23 Авг 2016 10:02:22 >>>
Морис Клайн
Что такое математика? Каковы ее происхождение и история? Чем занимаются математики сегодня и каков ныне статус науки, которая составляет предмет их интересов и профессиональной деятельности? Ответы на эти и многие другие вопросы читатель найдет в книге известного американского математика, профессора Нью-Йоркского университета Мориса Клайна. В этой работе автор в увлекательной и популярной манере описывает историю развития и становления современной математики от античности до наших дней, а также рассказывает о глубоких изменениях, которые претерпели взгляды человека на существо математической науки и ее роль в современном мире.
Математика ≫ Книги 0 Ø
Смаллиан Рэймонд
Книга известного американского математика и логика профессора Р. Смаллиана, продолжающая серию книг по занимательной математике, посвящена логическим парадоксам и головоломкам, логико-арифметическим задачам и проблемам разрешимости, связанным с теоремой Геделя. Рассчитана на интересующихся занимательной математикой.
Математика ≫ Книги 0 Ø
Опираясь на известные теоремы о неполноте, их доказал Курд Фридрих Рудольфович Гёдель в 1930 году, можно выстроить цепочку рассуждений показывающую, что бытие божие во-первых — невозможно, во-вторых — ненужно. Невозможно в том смысле, что несовместимо с существованием нашей вселенной в том виде в каком мы её наблюдаем. И ненужно в том смысле, что ссылками на бога можно обосновать любые утверждения о природе, любые утверждения об обществе, любые правила поведения в том числе и совершенно человеконенавистнические.
Научно-философские вопросы религии и атеизма ≫ Видео 1 simonoff
4 Янв 2019 21:54:07 >>>