Scisne?

Пределы доказуемости // Грегори Чейтин ≫ Похожее

Публикации: 274
|1|2|3|4|5|…|14| >>>
  • Как развивается научная модель в естественных науках? Накапливается житейский либо научный опыт, его вехи аккуратно формулируются в виде постулатов и образуют базу модели: набор утверждений, принимаемых всеми, кто работает в рамках этой модели.
  • Всякая система математических аксиом начиная с определенного уровня сложности либо внутренне противоречива, либо неполна.
  • Анатолий Вассерман
    В 1930 году Курт Гедель доказал две теоремы, которые в переводе с математического языка на человеческий означают примерно следующее: Любая система аксиом, достаточно богатая, чтобы с ее помощью можно было определить арифметику, будет либо не полна, либо противоречива. Не полная система – это значит, что в системе можно сформулировать утверждение, которое средствами этой системы нельзя ни доказать, ни опровергнуть. Но Бог, по определению, есть конечная причина всех причин. С точки зрения математики это означает, что введение аксиомы о Боге делает всю нашу аксиоматику полной. Если есть Бог, значит любое утверждение можно либо доказать, либо опровергнуть, ссылаясь, так или иначе, на Бога. Но по Геделю полная система аксиом неизбежно противоречива. То есть, если мы считаем, что Бог существует, то мы вынуждены прийти к выводу, что в природе возможны противоречия. А поскольку противоречий нет, иначе бы весь наш мир рассыпался от этих противоречий, приходиться прийти к выводу, что существование Бога не совместимо с существованием природы.
  • Сосинский А. Б.
    Теорема Гёделя, наряду с открытием теории относительности, квантовой механики и ДНК, обычно рассматривается как крупнейшее научное достижение ХХ века. Почему? В чем ее суть? Каково ее значение? Эти вопросы в своей лекции в рамках проекта «Публичные лекции "Полит.ру"» раскрывает Алексей Брониславович Сосинский, математик, профессор Независимого московского университета, офицер Ордена академических пальм Французской Республики, лауреат премии Правительства РФ в области образования 2012 года. В частности, были даны несколько разных ее формулировок, описаны три подхода к ее доказательству (Колмогорова, Чейтина и самого Гёделя), и объяснено ее значение для математики, физики, компьютерной науки и философии.
  • Успенский В. А.
    Лекции летней школы «Современная математика», г. Дубна.
  • Успенский В. А.
    Лекция посвящена синтаксической версии Теоремы Гёделя о неполноте. Сам Гёдель доказал синтаксическую версию, используя более сильное, чем непротиворечивость, предположение, а именно так называемую омега-непротиворечивость.
  • Опираясь на известные теоремы о неполноте, их доказал Курд Фридрих Рудольфович Гёдель в 1930 году, можно выстроить цепочку рассуждений показывающую, что бытие божие во-первых — невозможно, во-вторых — ненужно. Невозможно в том смысле, что несовместимо с существованием нашей вселенной в том виде в каком мы её наблюдаем. И ненужно в том смысле, что ссылками на бога можно обосновать любые утверждения о природе, любые утверждения об обществе, любые правила поведения в том числе и совершенно человеконенавистнические.
  • Иванов Е. М.
    Речь в данной работе пойдет о так называемом "геделевском аргументе", который используется как аргумент против возможности создания искусственного интеллекта. Суть аргумента заключается в следующем: полагают, что из теоремы Курта Геделя о неполноте формальных систем вытекает принципиальное различие между искусственным ("машинным") интеллектом и человеческим умом.
  • Питер Эткинз
    Эта книга предназначена для широкого круга читателей, желающих узнать больше об окружающем нас мире и о самих себе. Автор, известный ученый и популяризатор науки, с необычайной ясностью и глубиной объясняет устройство Вселенной, тайны квантового мира и генетики, эволюцию жизни и показывает важность математики для познания всей природы и человеческого разума в частности.
  • Губин В. Б.
    Математика изучает принципы и результаты деятельности вообще, как бы вырабатывая заготовки для описания реальной деятельности и ее результатов, и в этом заключается один из источников ее универсальности.
  • Пифагорейцы утверждали, что числа правят миром, а Александр Суворов называл математику «гимнастикой ума». Сейчас интерес к этой науке постепенно возрождается. T&P поговорили с пятью известными математиками, чтобы разобраться, зачем формулы и уравнения нужны в повседневной жизни, почему математика — интересный и творческий предмет, и что теряет гуманитарий, отмахиваясь от этой науки.
  • Дмитрий Фон-Дер-Флаасс
    Мы предлагаем вашему вниманию запись (с небольшими сокращениями и с сохранением авторского стиля) лекции, прочитанной Дмитрием Фон-Дер-Флаассом во Всероссийском детском центре «Орленок» в 2009 году.
  • Янов Ю. И.
    В связи с разными точками зрения на природу математики рассматриваются вопросы о метаматематическом понятии истины и возможности убедительного доказательства истинности математических теорем.
  • Могут ли у внеземной цивилизации быть другие основы математики?
  • Ричард Фейнман
    Представьте себе электрические и магнитные поля. Что вы для этого сделали? Знаете ли вы, как это нужно сделать? И как я сам представляю себе электрическое и магнитное поля? Что я на самом деле при этом вижу? Что требуется от научного воображения? Отличается ли оно чем-то от попытки представить себе комнату, полную невидимых ангелов? Нет, это не похоже на такую попытку.
  • Как известно, Галилей заявил, что Вселенная является "великой книгой", написанной на языке математики. Почему же наша Вселенная кажется нам столь математичной? Как это понимать? Вселенная не просто описывается при помощи математики, но она сама и есть математика в том смысле, что все мы представляем собой элементы гигантского математического объекта, который, в свою очередь, является частью мультивселенной – столь гигантской, что по сравнению с ней остальные мультивселенные, о которых говорили в последние годы, выглядят малыми.
  • Согласно гипотезе, наша внешняя физическая реальность является математической структурой. То есть, физический мир является математическим в определённом смысле. Все математические структуры, которые можно вычислить, существуют. Гипотеза предполагает, что миры, соответствующие различным наборам начальных состояний, физических констант, или совсем других уравнений, можно рассматривать как одинаково реальные.
  • Дебора Нолан, профессор статистики в Университете Калифорнии в Беркли, предлагает своим студентам выполнить очень странное на первый взгляд задание. Первая группа должна сто раз подбрасывать монетку и записывать результат: орёл или решка. Вторая должна представить, что подбрасывает монетку – и тоже составить список из сотни «мнимых» результатов.
  • Морис Клайн
    Что такое математика? Каковы ее происхождение и история? Чем занимаются математики сегодня и каков ныне статус науки, которая составляет предмет их интересов и профессиональной деятельности? Ответы на эти и многие другие вопросы читатель найдет в книге известного американского математика, профессора Нью-Йоркского университета Мориса Клайна. В этой работе автор в увлекательной и популярной манере описывает историю развития и становления современной математики от античности до наших дней, а также рассказывает о глубоких изменениях, которые претерпели взгляды человека на существо математической науки и ее роль в современном мире.
|1|2|3|4|5|…|14| >>>