Scisne?

Поиск > Публикации: Курт_Гедель

Поля поиска:




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